Bourbaki

Exercise 5, § 5

Tag 02U7, permanent. Cite it as [Bourbaki, Tag 02U7].

Spectral Theories, III, p. 126

Let EE be a complex Hilbert space.

a) Let nn be an integer with n⩾2n\geqslant 2. We denote by I=N×{0,...,n}I =\mathbf{N}\times \{0, . . . , n\}. Let (σi)1⩽i⩽n(\sigma_i)_{1\leqslant i\leqslant n} be the family of permutations of I defined by

σi(m,i)=(m−1,i)\sigma_i(m, i) = (m-1, i) for m⩾1m\geqslant 1

σi(0,i)=(0,i−1) \sigma_i(0, i) = (0, i-1)

σi(m,i−1)=(m+1,i−1)\sigma_i(m, i-1) = (m+ 1, i-1) for m⩾0m\geqslant 0

σi(m,j)=(m,j)\sigma_i(m, j) = (m, j) for m⩾0m\geqslant 0 and j∉{i,i−1}j \notin \{i, i-1\}.

b) We denote by (em,i)(e_{m,i}) the canonical orthonormal basis of ℓ2(I)\ell^2(I). Let uiu_i be the endomorphism of ℓ2(I)\ell^2(I) such that ui(em,j)=eσi(m,j)u_i(e_{m,j}) =e_{\sigma_i(m,j)} for all (m,j)∈I(m, j)\in I. The endomorphism uiu_i is unitary.

c) The elements π(ui)\pi (u_i) are pairwise commuting.

d) There does not exist a family (v1,...,vn)(v_1, . . . , v_n) of unitary endomorphisms of EE, pairwise commuting, such that π(vi)=π(ui)\pi (v_i) =\pi (u_i) for all ii.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.