Elliptic Elements in Weyl Groups

• Elliptic element is defined as a Weyl group element with no fixed vectors in the reflection representation, meaning that 1 is not an eigenvalue.
• It underpins geometric constructions such as varieties defined by the relative position of Borel subgroups and rigid, homogeneous orbit spaces.
• The concept extends to twisted settings and determines the order of representatives in semisimple groups via the spin invariant.

An elliptic element, in the representation-theoretic setting of Weyl groups and reductive groups, is an element $w$ with no nonzero fixed vectors in the reflection representation; equivalently, $1$ is not among its eigenvalues in the standard reflection representation (Lusztig, 2010, Zaremsky, 2011). For elliptic conjugacy classes of minimal length, this condition governs a substantial geometric structure: it controls varieties defined by relative position of Borel subgroups, determines associated unipotent classes, produces affine orbit spaces and generalized Steinberg sections, and constrains the order of representatives in semisimple algebraic groups (Lusztig, 2010, Lusztig, 2010, He et al., 2011, Zaremsky, 2011). The same phrase also appears in other areas, but those meanings are distinct.

1. Definition and equivalent formulations

Let $W$ be the Weyl group of a connected reductive group $G$, and let $V$ be the reflection representation of $W$. For $w\in W$, the fixed-point dimension is

$\dim V^w=\dim\{v\in V\mid wv=v\}.$

An element $w$, or its conjugacy class $C\subset W$, is called elliptic if

$1$0

Thus ellipticity means that $1$1 has no nonzero fixed vectors in the reflection representation (Lusztig, 2010).

The same condition is described in equivalent spectral language: an element $1$2 of a Weyl group is elliptic if it has no eigenvalue $1$3 in the standard reflection representation. Equivalently, $1$4 is not among the eigenvalues of $1$5 acting on the real span of the root system (Zaremsky, 2011). In the untwisted setting, this is also equivalent to saying that the conjugacy class of $1$6 does not meet any proper parabolic subgroup $1$7; in the twisted setting one replaces ordinary conjugacy by $1$8-conjugacy or $1$9-conjugacy and requires avoidance of any proper $W$0-stable or $W$1-stable parabolic subgroup (He et al., 2011, Lusztig, 2013).

A second datum is the length function $W$2. For a conjugacy class $W$3, one writes

$W$4

The minimal-length condition is structurally decisive throughout the theory. Several of the geometric statements below are stated only for $W$5, and one paper explicitly notes that the key statements can fail if this hypothesis is dropped (Lusztig, 2010, He et al., 2011).

2. Relative position and the basic varieties attached to $W$6

Let $W$7 denote the variety of Borel subgroups of $W$8. For each $W$9, there is a corresponding $G$0-orbit

$G$1

and two Borel subgroups $G$2 are said to be in relative position $G$3 if $G$4. If $G$5 and $G$6, the condition relevant to elliptic elements is

$G$7

This relative-position condition is the basic bridge from Weyl-group combinatorics to the geometry of conjugacy classes in $G$8 (Lusztig, 2010).

For a unipotent class $G$9, one defines

$V$0

The group $V$1 acts on $V$2 by conjugation: $V$3 For fixed $V$4, one also considers

$V$5

which carries a natural action of the centralizer $V$6 (Lusztig, 2010).

Closely related constructions appear in two companion settings. In the $V$7 setting one has

$V$8

while for $V$9 one has the Deligne–Lusztig-type variety

$W$0

with $W$1 the Frobenius map. The same formalism extends to disconnected groups and twisted conjugacy classes: for a class $W$2 and $W$3,

$W$4

These variants retain the same conceptual role: they encode conjugacy-theoretic data by means of a minimal Bruhat position (Lusztig, 2010, Lusztig, 2013).

3. Homogeneity for elliptic minimal-length classes

A central theorem states that if $W$5 is elliptic, $W$6, and $W$7 is the unipotent class associated to $W$8 by Lusztig’s map $W$9, then

$w\in W$0

is a single $w\in W$1-orbit. Equivalently, $w\in W$2 is a homogeneous $w\in W$3-space (Lusztig, 2010). In the same framework, if $w\in W$4, then $w\in W$5 is a single orbit under the conjugation action of $w\in W$6. The theorem assumes that $w\in W$7 is reductive over an algebraically closed field whose characteristic is not a bad prime for $w\in W$8 (Lusztig, 2010).

This homogeneity statement gives a rigid geometric realization of the passage from elliptic conjugacy classes in $w\in W$9 to unipotent classes in $\dim V^w=\dim\{v\in V\mid wv=v\}.$0. It says that once $\dim V^w=\dim\{v\in V\mid wv=v\}.$1 is elliptic and minimal in its conjugacy class, all compatible pairs $\dim V^w=\dim\{v\in V\mid wv=v\}.$2 arise from one another by global conjugation, and for fixed $\dim V^w=\dim\{v\in V\mid wv=v\}.$3 the residual ambiguity is already exhausted by the centralizer action (Lusztig, 2010).

The proof is case-by-case. For type $\dim V^w=\dim\{v\in V\mid wv=v\}.$4, it is described as easy. For types $\dim V^w=\dim\{v\in V\mid wv=v\}.$5, the argument reduces to $\dim V^w=\dim\{v\in V\mid wv=v\}.$6 and uses explicit adapted bases together with detailed linear-algebraic analysis. For exceptional types, the result is reduced to computation using character tables of Hecke algebras, Green functions, and computer algebra. In the good-characteristic setting, one of the controlling formulas is

$\dim V^w=\dim\{v\in V\mid wv=v\}.$7

for the relevant parameter $\dim V^w=\dim\{v\in V\mid wv=v\}.$8; these pairing identities are used to force the orbit structure into the required homogeneous form (Lusztig, 2010).

A parallel homogeneity phenomenon appears in the disconnected and twisted setting. If $\dim V^w=\dim\{v\in V\mid wv=v\}.$9 is almost simple and $w$0, and in exceptional type one assumes additionally that $w$1 and $w$2 or $w$3 is good, then for any distinguished $w$4-conjugacy class $w$5 there exists an elliptic class $w$6 such that $w$7, meaning that for $w$8 the variety $w$9 is a single $C\subset W$0-orbit (Lusztig, 2013).

4. Affine orbit spaces and generalized Steinberg sections

When $C\subset W$1 is $C\subset W$2-elliptic and has minimal length in its $C\subset W$3-conjugacy class, the orbit space of the natural $C\subset W$4-action acquires an affine structure. In the $C\subset W$5 case, assuming additionally that $C\subset W$6 is semisimple, every isotropy group for the $C\subset W$7-action on $C\subset W$8 is trivial; for the auxiliary finite covering $C\subset W$9, every stabilizer is isomorphic to a subgroup of a finite torus $1$00, hence is a finite diagonalizable group. Moreover, $1$01 and $1$02 are affine varieties. The analogous affineness for $1$03 and $1$04 in the $1$05 case is also recorded (Lusztig, 2010).

In the classical types $1$06 with $1$07, the orbit space admits an explicit form. If $1$08 is elliptic and minimal in its conjugacy class, then

$1$09

for a natural action of the finite group $1$10. Thus in these cases the quotient is not merely affine; it is an affine space, or an affine space modulo a finite diagonalizable group (Lusztig, 2010).

A closely related construction generalizes Steinberg’s cross-section. For an elliptic element $1$11 of minimal length in its conjugacy class, the map

$1$12

is injective, and under the stated hypotheses is bijective. This yields a canonical slice inside $1$13, and the orbit space $1$14 is naturally an affine space of dimension $1$15 (He et al., 2011).

The corresponding closed subvariety is denoted $1$16, and in the untwisted case it is realized as

$1$17

It is isomorphic to affine space of dimension $1$18. The elliptic conjugacy class $1$19 determines a unipotent class $1$20 such that

$1$21

and

$1$22

is a finite set. In the Coxeter case this recovers Steinberg’s theorem: the section meets the regular unipotent class in exactly one point (He et al., 2011).

5. Representatives in semisimple algebraic groups and the spin invariant

Let $1$23 be a semisimple algebraic group with Weyl group $1$24, and let $1$25 be elliptic of order $1$26. The representative-order problem asks for the order of an element $1$27 mapping to $1$28. The basic theorem is that for elliptic $1$29, all representatives in $1$30 have the same order, and that order is always either $1$31 or $1$32 (Zaremsky, 2011).

This dichotomy is encoded by the spin invariant. One says that $1$33 has spin $1$34 if every representative $1$35 has order $1$36, and spin $1$37 if every representative $1$38 has order $1$39. If $1$40 is a standard representative, then for elliptic $1$41 one has

$1$42

and $1$43 is called the spin signature. Since $1$44 is abelian and all its elements have order dividing $1$45, the order of $1$46 is read off from whether $1$47 is trivial (Zaremsky, 2011).

Several general facts are established. If $1$48 is elliptic of odd order, then $1$49 has spin $1$50. If $1$51 is linked to $1$52 and $1$53 is simple, then $1$54 has spin $1$55. If $1$56 and $1$57 are both elliptic, then they have the same spin and spin signature (Zaremsky, 2011).

The global classification is especially restrictive. If $1$58 is simple and $1$59 is elliptic of order $1$60, then a representative $1$61 of $1$62 has order $1$63 in $1$64 for all types except $1$65 and $1$66 (Zaremsky, 2011). More precisely, every elliptic $1$67 has universal spin $1$68, while in type $1$69 exactly one elliptic conjugacy class, the class with Carter diagram $1$70, has spin $1$71. In all other simple types, elliptic elements lift without increasing order (Zaremsky, 2011).

6. Twisted ellipticity and distinguished conjugacy classes

For a possibly disconnected reductive algebraic group $1$72 with identity component $1$73, a connected component $1$74 acts on the Weyl group $1$75 of $1$76 via an automorphism

$1$77

preserving the length function. The relevant conjugacy classes are the $1$78-conjugacy classes, i.e. the orbits for

$1$79

A class $1$80 is elliptic if it does not meet any proper parabolic subgroup stable under $1$81; explicitly, if $1$82 is proper and $1$83, then

$1$84

This is the twisted analogue of the fixed-point-free condition in the ordinary Weyl-group setting (Lusztig, 2013).

On the group side, a $1$85-conjugacy class $1$86 is called distinguished if for any $1$87,

$1$88

is a unipotent group (Lusztig, 2013). The relation

$1$89

is defined by the condition that for $1$90, the incidence variety

$1$91

is a single $1$92-orbit. Thus the twisted elliptic class controls the geometry of the distinguished class through a minimal Bruhat position (Lusztig, 2013).

The resulting theorem states that every distinguished class in the component $1$93 comes from some elliptic twisted Weyl-group class. In the classical groups, the proof proceeds through explicit linear-algebra models: Jordan-block constructions, lines $1$94, transitivity of isometry-group actions, and explicit stabilizer calculations. In exceptional groups, the argument uses the classification of elliptic classes and distinguished classes together with Green-function computations and earlier results (Lusztig, 2013). This suggests a precise parallel between “elliptic” on the Weyl-group side and “distinguished” on the group side.

7. Distinct meanings in other areas

The phrase elliptic element is not unique to Weyl-group theory. In the Cremona group $1$95, it is defined dynamically through the action on the Picard–Manin hyperbolic space $1$96: an element $1$97 is elliptic if the corresponding isometry on $1$98 is elliptic, equivalently if there exists an ample divisor $1$99 on $W$00 such that the sequence $W$01 is bounded (Urech, 2018). This is unrelated to the reflection-representation definition in Weyl groups.

In free probability, an elliptic element is a non-self-adjoint operator of the form

$W$02

where $W$03 and $W$04 are freely independent semicircular elements, with variances parametrized by $W$05 and $W$06. In that setting the term interpolates between self-adjoint and circular behavior and is tied to the elliptic law for Brown measures (Ho, 2020).

These alternate usages are mathematically independent of the Weyl-group notion. In the representation theory of reductive groups, however, the term has a sharply defined role: it singles out those Weyl-group elements whose minimal-length representatives control especially rigid orbit geometry, affine quotient structures, generalized cross-sections, and the behavior of lifts to algebraic groups (Lusztig, 2010, Lusztig, 2010, He et al., 2011, Zaremsky, 2011).