Bourbaki

Exercise 16, § 4

Tag 03FK, permanent. Cite it as [Bourbaki, Tag 03FK].

Spectral Theories, V, p. 509

Let r⩾1r\geqslant 1 be an integer and G a compact connected subgroup of U(Cr)\mathbf{U}(\mathbf{C}^r) acting irreducibly on Cr\mathbf{C}^r. Let D denote the subgroup of diagonal matrices in U(Cr)\mathbf{U}(\mathbf{C}^r).

a) Let A be a subgroup of D contained in the normalizer of G in U(Cr)\mathbf{U}(\mathbf{C}^r). Let S be the subset of A^\widehat{A} formed by the diagonal coefficients a=(ai,j)↦ai,ia= (a_{i,j})\mapsto a_{i,i}, where 1⩽i⩽r1\leqslant i\leqslant r. Suppose that S contains rr elements and that the equation

χ1χ2−1=χ3χ4−1 \chi_1\chi^{-1}_2=\chi_3\chi^{-1}_4

with χi∈\chi_i\in S has only solutions of the form (χ1,χ1,χ3,χ3)(\chi_1, \chi_1, \chi_3, \chi_3) and (χ1,χ2,χ1,χ2)(\chi_1, \chi_2, \chi_1, \chi_2) (one then says that S is a Sidon set).

If G is semisimple, prove that G=SU(Cr)G =\mathbf{S}\mathbf{U}(\mathbf{C}^r). (Consider the representation of A on End(Cr\mathbf{C}^r), and deduce from the assumption that the complexified Lie algebra of G is stable under conjugation by D.)

b) The group G contains SU(Cr)\mathbf{S}\mathbf{U}(\mathbf{C}^r) if and only if there exists an element g∈Gg\in G such that the eigenvalues of gg are distinct and form a Sidon set in C∗\mathbf{C}^*.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5.4. Not checked by a person.