Elements of compact connected simple Lie groups with prime power order and given field of characters (Q1208693)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Elements of compact connected simple Lie groups with prime power order and given field of characters
scientific article

    Statements

    Elements of compact connected simple Lie groups with prime power order and given field of characters (English)
    0 references
    0 references
    16 May 1993
    0 references
    Let \(G\) be a compact connected simple Lie group of rank \(l\). Every finite-dimensional complex linear representation \(\rho : G \to \text{GL}(V)\) yields a character \(\chi = \text{tr}_ V \circ \rho\). If \(x \in G\) has finite order \(N\), then \(\chi(x)\) belongs to the cyclotomic field \(\mathbb{Q}(\zeta_ n)\) for every character \(\chi\), where \(\zeta_ N\) is a primitive \(N\)-th root of unity. The authors define \(A(x)\), the subfield of \(\mathbb{Q}(\zeta_ N)\) that is generated by all character values at \(x\). They concentrate on the case where \(N\) is a power of an odd prime, whence the extension \(\mathbb{Q}(\zeta_ N) /\mathbb{Q}\) is cyclic. In this case, \(A(x)\) is fully described by the degree of the extension \(\mathbb{Q}(\zeta_ N)/ A(x)\), which is called the depth \(b(x)\) of \(x\). Theorem 1 gives a polynomial formula for the number of conjugacy classes of elements of order \(N\) and depth \(b\). These polynomials may be expressed simply by means of the exponents of the Weyl group \(W\) of \(G\). For the proof, the authors employ a bijection between the set of conjugacy classes of elements of order \(N\) and certain Weyl group orbits. (Here \(W\) acts on the \(\mathbb{Z}\)-module \(\Gamma /N\Gamma\), where the lattice \(\Gamma\) is defined as the kernel of the exponential function for some maximal torus of \(G\).) The depth \(b(x)\) is then interpreted as the length of the orbit of the corresponding \(z \in \Gamma /N\Gamma\) under the stabilizer of the cyclic submodule \(\mathbb{Z} z\). Finally, Theorem 2 gives necessary and sufficient conditions for the existence of elements of depth \(b\) and order \(N = p^ k\).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    compact connected simple Lie groups
    0 references
    finite-dimensional complex linear representations
    0 references
    cyclotomic fields
    0 references
    characters
    0 references
    character values
    0 references
    polynomial formula
    0 references
    number of conjugacy classes
    0 references
    exponents
    0 references
    Weyl groups
    0 references
    elements of order \(N\)
    0 references
    Weyl group orbits
    0 references
    lattices
    0 references
    exponential functions
    0 references
    depth
    0 references
    0 references
    0 references