Lie theory of finite simple groups and the Roth property

DOI10.1017/S030500411600102XzbMATH Open1426.46047arXiv1003.5611OpenAlexW2962831166WikidataQ115335998 ScholiaQ115335998MaRDI QIDQ5360465FDOQ5360465

Authors: Shahn Majid, K. Rietsch, Javier López Peña 

Publication date: 28 September 2017

Abstract: In noncommutative geometry a `Lie algebra' or bidirectional bicovariant differential calculus on a finite group is provided by a choice of an ad-stable generating subset C stable under inversion. We study the associated Killing form. For the universal calculus associated to C=G {e} we show that the magnitude of the Killing form mu=sum_{a,bin C}K^{-1}_{a,b} is defined for all finite groups (even when K is not invertible) and that a finite group is Roth, meaning its conjugation representation contains every irreducible, iff mu is not equal to 1/(N-1), where N is the number of conjugacy classes. We show further that the Killing form is invertible in the Roth case, and that the Killing form restricted to the (N-1)-dimensional subspace of invariant vectors is invertible iff the finite group is almost-Roth group (meaning its conjugation representation has at most one missing irreducible). It is known that most finite simple groups are Roth and that all are almost Roth. At the other extreme from the universal calculus we prove that the generating conjugacy class in the case of the dihedral groups D_{2n} with n odd has invertible Killing form, and the same for the 2-cycles conjugacy class in any S_n. We also compute some eigenvalues of the Killing form in the case of the n-cycles class in S_n. Finally, we verify invertibility of the Killing forms of all real conjugacy classes in all nonabelian finite simple groups to order 75,000, by computer, and we conjecture this to extend to all nonabelian finite simple groups.

Full work available at URL: https://arxiv.org/abs/1003.5611

Recommendations

• Curvature spectra of simple Lie groups
• On a Certain Lie Algebra Defined by a Finite Group
• L 2 (q) and the Rank Two Lie Groups: Their Construction in Light of Kostant's Conjecture
• An approach to the Steinberg character of a finite group of Lie type via the orthogonal geometry of its adjoint module
• On the Killing form on Lie algebras

Mathematics Subject Classification ID

Quantum groups (quantized enveloping algebras) and related deformations (17B37) General theory for finite permutation groups (20B05) Noncommutative differential geometry (46L87) Noncommutative geometry (à la Connes) (58B34) Quantum groups and related algebraic methods applied to problems in quantum theory (81R50)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Differential calculus on compact matrix pseudogroups (quantum groups)
• Conjugacy action, induced representations and the Steinberg square for simple groups of Lie type
• A quantum groups primer
• The magnitude of metric spaces
• Noncommutative Riemannian geometry of the alternating group \({\mathcal A}_{4}\)
• Noncommutative Riemannian geometry on graphs
• Riemannian geometry of quantum groups and finite groups with nonuniversal differentials
• On the conjugating representation of a finite group
• SOLUTIONS OF THE YANG-BAXTER EQUATIONS FROM BRAIDED-LIE ALGEBRAS AND BRAIDED GROUPS
• Braided Lie algebras and bicovariant differential calculi over co-quasitriangular Hopf algebras
• Title not available (Why is that?)
• Quantum and braided-Lie algebras
• Theorem about the conjugacy representation of \(S_ n\)
• Passman's problem on adjoint representations.
• Ein weiterer Beweis, daß die konjugierende Darstellung der symmetrischen Gruppe jede irreduzible Darstellung enthält. (A further proof that the conjugating representation of the symmetric group contains every irreducible representation)
• Lie theory and coverings of finite groups
• The adjoint representation of group algebras and enveloping algebras

Cited In (7)

• Local-global invariants of finite and infinite groups: around Burnside from another side.
• Spectral measures for G2, II: Finite subgroups
• Entropic order parameters for the phases of QFT
• Hodge star as braided Fourier transform
• Strong property (T) for higher-rank simple Lie groups: Figure 1.
• Noncommutative Riemannian geometry on graphs
• Lie theory and coverings of finite groups

Uses Software

• GAP
• SageMath

This page was built for publication: Lie theory of finite simple groups and the Roth property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5360465)