The rationality of elements of prime order in compact connected simple Lie groups (Q1180661)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The rationality of elements of prime order in compact connected simple Lie groups
scientific article

    Statements

    The rationality of elements of prime order in compact connected simple Lie groups (English)
    0 references
    27 June 1992
    0 references
    Let \(G\) be a compact connected simple Lie group of rank \(\ell\). The authors study conjugacy classes in \(G\) of elements of prime order whose character values generate a given extension field of \(\mathbb{Q}\). Let \(x\in G\) of prime order \(p\) and let \(A(x)\) be the field over \(\mathbb{Q}\) generated by the character values \(\text{tr}_ V\rho(x)\) as \((\rho,V)\) varies over all finite dimensional complex representations of \(G\). The field degree of \(\mathbb{Q}(\xi)/A(x)\), \(\xi=e^{i2\pi/p}\), is called the depth of \(x\). The authors consider \(A\)-polynomials \(A_ n(t)={1\over| W|}\sum^ \ell_{k=0}s_ k(n)(t^ k-1)\), where \(s_ k(n)\) is the number of elements of the Weyl group \(W\) that admit a primitive \(n\)th root of unity as an eigenvalue of multiplicity \(k\). Then they construct \(B\)-polynomials \(B_{d,D}(t)=\sum_{d| n| D}\mu({n\over d})A_ n(t)\), where \(\mu\) is the Möbius function. They prove that these \(B\)- polynomials are the counting polynomials for their conjugacy classes. Namely, let \(e(W)\) denote the exponent of \(W\) and let \(p\) be a prime number not dividing \(| W|\) such that the greatest common divisor of \(p-1\) and \(e(W)\) is \(D\). Then the number of conjugacy classes of elements of \(G\) of order \(p\) and depth \(d\) is obtained by \(B_{d,D}(p)\). They apply this result to get a simple criterion for the existence of such a conjugacy class and also some other consequences [cf. \textit{C. L. Morgan}, Can. J. Math. 31, 252-254 (1987; Zbl 0374.20058)].
    0 references
    compact connected simple Lie group
    0 references
    conjugacy classes
    0 references
    elements of prime order
    0 references
    character values
    0 references
    complex representations
    0 references
    \(A\)-polynomials
    0 references
    number of elements of the Weyl group
    0 references
    \(B\)-polynomials
    0 references
    Möbius function
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references