[Paper Review] Cellini's descent algebra and semisimple conjugacy classes of finite groups of Lie type

Jason Fulman|ArXiv.org|Sep 21, 1999

Advanced Algebra and Geometry23 references4 citations

TL;DR

This paper proposes a conjecture linking semisimple conjugacy classes in finite groups of Lie type to conjugacy classes in the Weyl group via Cellini's descent algebra construction. It shows that the induced probability measure on Weyl group conjugacy classes from random semisimple elements matches that from Cellini's affine Weyl group-based descent algebra in special cases, such as type C in odd characteristic and the identity class in type A, with connections to card shuffling models and Ramanujan sums in type A.

ABSTRACT

By algebraic group theory, there is a map from the semisimple conjugacy classes of a finite group of Lie type to the conjugacy classes of the Weyl group. Picking a semisimple class uniformly at random yields a probability measure on conjugacy classes of the Weyl group. We conjecture that this measure agrees with a second measure on conjugacy classes of the Weyl group induced by a construction of Cellini which uses the affine Weyl group. This conjecture is confirmed in special cases such as type C odd characteristic and the identity conjugacy class in type A. Models of card shuffling, old and new, arise naturally. Type A shuffles lead to interesting number theory involving Ramanujan sums. It is shown that a proof of our conjecture in type C even characteristic would give an alternate solution to a problem in dynamical systems. An idea is offered for how, at least in type A, to associate to a semisimple conjugacy class an element of the Weyl group, refining the map to conjugacy classes. This is confirmed for the simplest nontrivial example.

Motivation & Objective

• To establish a correspondence between semisimple conjugacy classes in finite groups of Lie type and conjugacy classes in their Weyl groups.
• To investigate whether the probability measure induced by uniformly random semisimple classes on Weyl group conjugacy classes matches a second measure from Cellini’s descent algebra construction.
• To explore connections between this correspondence and models of card shuffling, particularly in type A and type C.
• To refine the map from semisimple classes to Weyl group elements, not just conjugacy classes, in type A.
• To suggest that a proof in type C even characteristic could resolve an open problem in dynamical systems.

Proposed method

• Use algebraic group theory to define a natural map from semisimple conjugacy classes of finite groups of Lie type to conjugacy classes of the Weyl group.
• Define a probability measure on Weyl group conjugacy classes by sampling semisimple elements uniformly at random.
• Construct a second probability measure on Weyl group conjugacy classes using Cellini’s descent algebra, which involves the affine Weyl group.
• Compare the two measures via explicit computation in special cases, including type C in odd characteristic and the identity class in type A.
• Apply models of card shuffling—particularly type A and type C shuffles—to analyze the measures and reveal connections to Ramanujan sums.
• Propose a refined lifting map from semisimple conjugacy classes to specific elements in the Weyl group, not just conjugacy classes, and verify it in the simplest nontrivial case.

Experimental results

Research questions

• RQ1 Does the probability measure on Weyl group conjugacy classes induced by random semisimple elements in finite groups of Lie type coincide with the measure from Cellini’s descent algebra construction?
• RQ2 What is the role of card shuffling models in understanding the distribution of semisimple conjugacy classes via the Weyl group?
• RQ3 How do Ramanujan sums arise in the context of type A shuffling models and semisimple conjugacy classes?
• RQ4 Can the map from semisimple conjugacy classes to Weyl group conjugacy classes be refined to a map to specific group elements?
• RQ5 Would a proof of the conjecture in type C even characteristic resolve a known problem in dynamical systems?

Key findings

• The conjectured equivalence between the two measures holds for the identity conjugacy class in type A and in type C when the characteristic is odd.
• In type A, the shuffling model leads to number-theoretic structures involving Ramanujan sums, linking representation theory to arithmetic functions.
• The paper provides a concrete construction for lifting semisimple conjugacy classes to specific elements in the Weyl group, verified in the simplest nontrivial case.
• A proof of the conjecture in type C even characteristic would yield an alternative solution to a problem in dynamical systems.
• The descent algebra construction of Cellini provides a natural second measure on Weyl group conjugacy classes that matches the semisimple random measure in special cases.
• The results suggest deep connections between finite group representation theory, combinatorics of shuffling, and number theory via Ramanujan sums.