Weyl Group Scheme Overview

• Weyl group scheme is a finite étale group scheme defined as the quotient N₍𝒢₎(𝒯)/𝒯 for a split reductive group, encapsulating Weyl symmetry in algebraic geometry.
• Its construction employs canonical representatives satisfying braid relations, and geometric convolution on flag varieties to capture the intrinsic group actions.
• The scheme appears in contexts ranging from grading automorphisms to positive-characteristic Lie algebras, demonstrating its broad applications in representation theory and algebraic group structures.

A Weyl group scheme is, in the most direct reductive-group sense, the finite étale group scheme

$\mathcal W:=N_{\mathcal G}(\mathcal T)/\mathcal T$

attached to a split reductive group scheme $\mathcal G$ over a base scheme $S$ and a split maximal torus $\mathcal T\subset \mathcal G$; when $S=\operatorname{Spec}(K)$, its $K$-points recover the finite Weyl group $W=N_G(T)(K)/T(K)$ (Rostami, 2015). The literature also uses closely related scheme-theoretic realizations of Weyl symmetry: constant group schemes acting on flag-variety or $q$-character spaces, quotient group schemes attached to gradings, and finite symmetry groups extracted from schemes of maximal tori in restricted Lie algebras (Elduque, 16 Jul 2025).

1. Classical definition for reductive group schemes

Let $G$ be a split connected reductive affine algebraic $K$-group, $\mathcal G$0 a split maximal torus, and $\mathcal G$1 its normalizer. The finite Weyl group is

$\mathcal G$2

and the corresponding group-scheme object is

$\mathcal G$3

a finite étale group scheme over the base $\mathcal G$4 (Rostami, 2015). On the level of group schemes one has the short exact sequence

$\mathcal G$5

A central structural question is whether this exact sequence splits as group schemes, equivalently whether there exists a group-scheme homomorphism

$\mathcal G$6

whose composite with $\mathcal G$7 is the identity. Passing to $\mathcal G$8-points, this becomes the existence of a group homomorphism $\mathcal G$9 splitting $S$0 (Rostami, 2015).

This formulation places the Weyl group scheme at the interface between the abstract Coxeter group $S$1, its realization inside $S$2, and the obstruction to realizing $S$3 as a subgroup of $S$4. In this strict sense, the Weyl group scheme is not merely a finite abstract group; it is the quotient group scheme $S$5 together with its extension by the torus.

2. Canonical representatives and the obstruction to splitting

After fixing a realization of the root system $S$6 in $S$7, one obtains canonical representatives of Weyl group elements inside $S$8. For each simple root $S$9,

$\mathcal T\subset \mathcal G$0

represents the simple reflection $\mathcal T\subset \mathcal G$1, and if

$\mathcal T\subset \mathcal G$2

is reduced, then

$\mathcal T\subset \mathcal G$3

is independent of the chosen reduced expression (Rostami, 2015).

These canonical representatives satisfy the braid relations, but they rarely form a subgroup. Their failure to be multiplicative is measured by a torus-valued $\mathcal T\subset \mathcal G$4-cocycle: $\mathcal T\subset \mathcal G$5 Rostami gives the explicit formula

$\mathcal T\subset \mathcal G$6

where

$\mathcal T\subset \mathcal G$7

is the flipping set (Rostami, 2015). The associated functionals

$\mathcal T\subset \mathcal G$8

encode the action of the defect element on root subgroups: as an automorphism of $\mathcal T\subset \mathcal G$9, the element $S=\operatorname{Spec}(K)$0 acts by the scalar $S=\operatorname{Spec}(K)$1 (Rostami, 2015).

A particularly important case is the diagonal obstruction

$S=\operatorname{Spec}(K)$2

where

$S=\operatorname{Spec}(K)$3

Rostami shows that these obstruction functionals are governed by the height function, including the summation formula

$S=\operatorname{Spec}(K)$4

for the inversion set $S=\operatorname{Spec}(K)$5, and a further formula for certain alcove-stabilizer elements in simply-laced irreducible root systems (Rostami, 2015).

A complementary viewpoint classifies sections $S=\operatorname{Spec}(K)$6 that satisfy the braid relations. Such a section is determined by lifts

$S=\operatorname{Spec}(K)$7

and the braid relations become explicit toric equations. The resulting set of sections carries a partial order via the order profiles of the lifted simple reflections, and optimal sections are those that are most homomorphic; these optimal sections can be used to produce homomorphic sections of the Kottwitz homomorphism in the split $S=\operatorname{Spec}(K)$8-adic setting (Adrian, 2019).

3. Intrinsic geometric reconstruction from the flag variety

A different construction avoids choosing a maximal torus at the outset. Let $S=\operatorname{Spec}(K)$9 be the flag variety of a connected reductive group $K$0. The set

$K$1

of $K$2-orbits in $K$3 is finite, and the orbit $K$4 corresponds, after choosing a pinning, to the usual Bruhat cell $K$5 (Suzuki, 25 Mar 2025).

The group law on this abstract Weyl group is characterized geometrically by convolution. For $K$6,

$K$7

is the set of pairs $K$8 admitting an intermediate Borel $K$9 with $W=N_G(T)(K)/T(K)$0 and $W=N_G(T)(K)/T(K)$1. Suzuki proves that the convolution has a unique closed $W=N_G(T)(K)/T(K)$2-orbit, and that orbit is $W=N_G(T)(K)/T(K)$3; this gives a geometric characterization of multiplication in $W=N_G(T)(K)/T(K)$4 (Suzuki, 25 Mar 2025).

The same paper defines the abstract Cartan

$W=N_G(T)(K)/T(K)$5

for a Borel $W=N_G(T)(K)/T(K)$6, and shows that these quotients are canonically identified as $W=N_G(T)(K)/T(K)$7 varies. If $W=N_G(T)(K)/T(K)$8, then the quotient

$W=N_G(T)(K)/T(K)$9

identifies canonically with both $q$0 and $q$1, yielding an action of $q$2 on the abstract Cartan $q$3 (Suzuki, 25 Mar 2025).

This construction is intrinsic and independent of a chosen maximal torus. The paper does not package $q$4 as a nontrivial group scheme; rather, $q$5 is a finite discrete group whose associated constant group scheme acts on $q$6. In that sense, it supplies a geometric model for a Weyl group scheme without passing through $q$7.

4. Constant group schemes acting on schemes and families

In representation-theoretic and geometric settings, “Weyl group scheme” often means a constant group scheme acting on a scheme attached to some algebraic structure. In the theory of $q$8-characters, Frenkel and Hernandez construct an action of the Weyl group $q$9 on the completed algebra

$G$0

by algebra automorphisms $G$1 satisfying $G$2 and the braid relations. The subring of $G$3-invariants in the diagonal copy of $G$4 is exactly the ring of $G$5-characters, and passing to spectra yields schemes such as $G$6, $G$7, and $G$8 with a $G$9-action (Frenkel et al., 2022).

That paper is explicit about the terminology: it does not construct a Weyl group scheme in the sense of a group scheme representing the Weyl group itself; rather, it constructs a discrete Weyl group acting by algebra automorphisms, which in algebro-geometric language is the action of the constant group scheme $K$0 on the relevant schemes (Frenkel et al., 2022).

A related globalization appears in multiplicative quiver varieties and wild character varieties. For a supernova graph $K$1, the associated Kac–Moody Weyl group acts on parameters $K$2 by simple reflections and induces algebraic symplectic isomorphisms

$K$3

This is realized as a discrete group acting on a parameter space and on a family of moduli spaces by algebraic symplectic automorphisms (Boalch, 2013). A plausible implication is that, in these contexts, the phrase “Weyl group scheme” designates not a new finite group scheme object but a scheme together with an explicit action of the constant group scheme attached to a Weyl group.

5. Weyl group schemes of gradings

For a finite-dimensional algebra $K$4 over an arbitrary field $K$5 with a grading

$K$6

a scheme-theoretic version of the automorphism group of the grading is available. One defines the stabilizer group scheme $K$7, the automorphism group scheme $K$8, and the diagonal group scheme

$K$9

where $\mathcal G$00 is diagonalizable and isomorphic to $\mathcal G$01 for the universal group $\mathcal G$02 of the grading (Elduque, 16 Jul 2025).

The basic structural theorem is

$\mathcal G$03

as subgroup schemes (Elduque, 16 Jul 2025). The Weyl group scheme of the grading is then defined as the image of the morphism

$\mathcal G$04

equivalently as the quotient group scheme $\mathcal G$05. It fits into an exact sequence of affine group schemes

$\mathcal G$06

and $\mathcal G$07 is a constant group scheme (Elduque, 16 Jul 2025).

After base change to an algebraic closure $\mathcal G$08, this Weyl group scheme becomes the constant group scheme associated to the ordinary Weyl group of the extended grading: $\mathcal G$09 Over arbitrary fields, however, the scheme-theoretic quotient need not be recovered from rational points. The paper’s cubic-field example

$\mathcal G$10

has trivial $\mathcal G$11-automorphism group, so the classical Weyl group over $\mathcal G$12 is trivial, but the Weyl group scheme is the constant group scheme $\mathcal G$13; the map $\mathcal G$14 is therefore not surjective (Elduque, 16 Jul 2025). This corrects the common simplification that quotienting $\mathcal G$15-points should recover the Weyl group scheme over $\mathcal G$16.

6. Positive-characteristic analogues from schemes of maximal tori

For a finite-dimensional restricted Lie algebra $\mathcal G$17 over an algebraically closed field of characteristic $\mathcal G$18, the scheme of maximal tori supplies another Weyl-type construction. Fix a torus $\mathcal G$19 of maximal dimension $\mathcal G$20, and consider the scheme $\mathcal G$21 of split injective restricted embeddings of $\mathcal G$22 into $\mathcal G$23. This is a smooth affine scheme of dimension

$\mathcal G$24

(Bois et al., 2010).

Let $\mathcal G$25 be the connected component of $\mathcal G$26 containing the inclusion $\mathcal G$27. The toral stabilizer is

$\mathcal G$28

Its conjugacy class is independent of the chosen maximal torus, so one writes $\mathcal G$29 (Bois et al., 2010).

For a generic maximal torus $\mathcal G$30, the classical Weyl group

$\mathcal G$31

identifies with the toral stabilizer $\mathcal G$32 (Bois et al., 2010). In the classical case this recovers the usual Weyl group. For simple Cartan-type restricted Lie algebras the result is striking: $\mathcal G$33 and $\mathcal G$34 is irreducible (Bois et al., 2010).

This Weyl-type group governs weight-space combinatorics and a Chevalley restriction theorem. For $\mathcal G$35 of type $\mathcal G$36, $\mathcal G$37, or $\mathcal G$38 with $\mathcal G$39, and a generic maximal torus $\mathcal G$40,

$\mathcal G$41

is an isomorphism (Bois et al., 2010). In this positive-characteristic setting, the scheme of maximal tori plays the role ordinarily played by a reductive-group normalizer, and $\mathcal G$42 functions as the Weyl group of that scheme-theoretic torus geometry.

Across these settings, the term “Weyl group scheme” ranges from the finite étale quotient $\mathcal G$43 of a reductive group scheme, to a constant group scheme acting on intrinsically defined schemes, to quotient group schemes attached to gradings, and to finite symmetry groups extracted from schemes of maximal tori. The unifying principle is that Weyl symmetry is realized functorially: either as a group scheme quotient, or as the action of a constant finite group scheme on a geometric object that encodes toral, flag-theoretic, or grading data.