Elements of finite order in the normalizer of a maximal torus of a semisimple group

Alexey Galt; Alexey Staroletov; Ivan Arzhantsev

arxiv: 2604.08108 · v1 · submitted 2026-04-09 · 🧮 math.GR

Elements of finite order in the normalizer of a maximal torus of a semisimple group

Ivan Arzhantsev , Alexey Galt , Alexey Staroletov This is my paper

Pith reviewed 2026-05-10 17:48 UTC · model grok-4.3

classification 🧮 math.GR

keywords semisimple algebraic groupsmaximal toriWeyl groupsnormalizersfinite order elementsirreducible varietiesconjugation orbits

0 comments

The pith

The set of elements of fixed finite order in each normalizer component of a maximal torus is a finite union of irreducible torus orbits with dimension given by the Weyl element's fixed space.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper proves a structure result for torsion elements inside the normalizer of a maximal torus in semisimple algebraic groups. Specifically, in each component N_w corresponding to a Weyl group element w, the elements of order dividing a fixed n are either absent or form finitely many irreducible subvarieties that are precisely the orbits under the torus conjugation action, each of dimension equal to the fixed vector space dimension of w. This matters because it gives an explicit geometric and dimensional control over these elements, which appear in the study of group actions and finite subgroups. The proof uses the standard decomposition of the normalizer and properties of algebraic group varieties.

Core claim

We prove that the set of elements of a given finite order in the connected component N_w of the normalizer N_G(T) of a maximal torus T of a semisimple group G is either empty or a disjoint union of finitely many irreducible subvarieties C_i. The dimension of each C_i equals the dimension of the subspace of fixed vectors for the action of the element w of the Weyl group W corresponding to the component N_w. Moreover, each C_i is an orbit of the action of the torus T on the component N_w by conjugation.

What carries the argument

The connected components N_w of the normalizer N_G(T) parametrized by Weyl group elements w, and the orbits of the conjugation action by the torus T.

Load-bearing premise

The normalizer decomposes into components N_w that are irreducible varieties and that the torus acts by conjugation with orbit dimensions determined solely by the fixed subspace of w.

What would settle it

Observe whether in a concrete example, such as the group SL_n over the complex numbers with a specific permutation matrix corresponding to w, the elements of order 2 in N_w form orbits of the predicted dimension or not.

read the original abstract

We prove that the set of elements of a given finite order in the connected component $N_w$ of the normalizer $N_G(T)$ of a maximal torus $T$ of a semisimple group $G$ is either empty or a disjoint union of finitely many irreducible subvarieties $C_i$. The dimension of each $C_i$ equals the dimension of the subspace of fixed vectors for the action of the element $w$ of the Weyl group $W$ corresponding to the component $N_w$. Moreover, each $C_i$ is an orbit of the action of the torus $T$ on the component $N_w$ by conjugation.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a clean geometric decomposition of finite-order elements in each normalizer component N_w into T-orbits whose dimensions match the fixed subspace dimension of the Weyl element w.

read the letter

The main point is that finite-order elements in N_w are either absent or break into finitely many irreducible T-orbits under conjugation, with each orbit dimension equal to the dimension of the subspace fixed by w. This follows from viewing N_w as a twisted T-torsor and restricting the conjugation action to elements satisfying the finite-order equation induced by w. The irreducibility of the resulting loci then gives the orbit decomposition directly from orbit-stabilizer in algebraic geometry. The dimension count comes out of the Lie algebra fixed space without extra work. The argument uses only the standard root system, Bruhat decomposition, and adjoint representation facts for semisimple groups over algebraically closed fields. No characteristic restrictions appear that would break the steps, and the proof avoids circularity or ad-hoc constructions. What is new is the explicit organization of the torsion locus as a union of these orbits with the dimension formula attached; earlier work on normalizers tended to focus on connectedness or component counting rather than this level of variety structure for fixed order. The paper does this part cleanly and without overclaiming. Soft spots are minor. The result is a structure theorem that organizes existing tools rather than computing new invariants or handling non-algebraically-closed fields, so its reach stays inside the subfield. An example computation for a low-rank group like SL_3 would have made the orbits more concrete, but the general case is already stated precisely. This is for readers working on algebraic groups, Weyl group actions, or torsion in homogeneous spaces. Someone already comfortable with the normalizer components and adjoint fixed spaces will get immediate use from the dimension formula when studying orbits or quotients. The paper shows clear thinking on its own terms and engages the literature through the usual citations, so it deserves a serious referee. I would send it out for review.

Referee Report

0 major / 3 minor

Summary. The paper proves that for a semisimple algebraic group G over an algebraically closed field with maximal torus T, and for each connected component N_w of the normalizer N_G(T) parametrized by a Weyl group element w, the locus of elements of any fixed finite order m is either empty or a finite disjoint union of irreducible subvarieties C_i. Each such C_i is a single orbit under the conjugation action of T, and has dimension equal to the dimension of the subspace of vectors in the Lie algebra fixed by the linear action of w.

Significance. If the result holds, it gives a clean geometric and representation-theoretic description of torsion elements in normalizer components, directly linking their dimensions and orbit structure to the fixed-space dimensions of Weyl group elements. This refines standard facts about Bruhat decomposition and conjugation actions, and may be useful for studying centralizers, conjugacy classes, or arithmetic invariants in semisimple groups. The argument invokes only classical properties of root systems, algebraic group actions, and irreducible varieties, with no ad-hoc parameters or characteristic restrictions.

minor comments (3)

The introduction would benefit from a brief comparison with known results on finite-order elements in G itself (e.g., via the work of Steinberg or Springer on regular semisimple elements) to clarify the novelty of the normalizer case.
Notation for the components N_w and the finite-order condition should be introduced with an explicit reference to the standard identification N_w ≅ T ⋊ <w> (or the corresponding twisted torsor) early in §2, to make the orbit-stabilizer step fully transparent.
A short remark on whether the result extends to non-algebraically-closed fields or to positive characteristic (where finite-order elements may behave differently) would strengthen the statement of the main theorem.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript, including the accurate summary of the main result and the favorable evaluation of its significance. We note the recommendation for minor revision. Since the report contains no specific major comments, questions, or suggested changes, we have no individual points to address. We will perform a final proofreading pass to correct any typographical issues or minor expository clarifications before resubmission.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The manuscript establishes a theorem on the finite-order locus in each connected component N_w of the normalizer by applying standard facts about algebraic group actions, Weyl group parametrization, conjugation by the torus T, and the geometry of fixed-point loci under finite-order conditions. The dimension formula is obtained directly from the fixed-space dimension of w via the adjoint representation and orbit-stabilizer, without any self-definitional loops, fitted parameters renamed as predictions, or load-bearing self-citations. All invoked properties (root systems, Bruhat decomposition, irreducibility of varieties) are external to the paper and do not reduce the claimed result to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

Only the abstract is available, so the full list of background results invoked in the proof is unknown. The claim rests on standard facts about semisimple groups and algebraic varieties.

axioms (3)

domain assumption G is a semisimple algebraic group over an algebraically closed field with maximal torus T
Stated in the abstract as the setup for the normalizer N_G(T)
domain assumption Connected components of N_G(T) are parametrized by elements w of the Weyl group W
The components are labeled N_w corresponding to w in W
standard math Standard properties of conjugation actions, irreducible varieties, and fixed subspaces under linear actions hold
Used to define dimensions and orbits in the statement

pith-pipeline@v0.9.0 · 5414 in / 1637 out tokens · 43190 ms · 2026-05-10T17:48:18.497547+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

[1]

Zaremsky

Peter Abramenko and Matthew C.B. Zaremsky. Strongly and Weyl transitive group actions on buildings arising from Chevalley groups. arXiv:1101.1113

work page arXiv
[2]

Lifting of elements of Weyl groups

Jeffrey Adams and Xuhua He. Lifting of elements of Weyl groups. J. Algebra 485 (2017), 142-165

work page 2017
[3]

Nicolas Bourbaki.Lie Groups and Lie Algebras: Chapters 4–6, Springer, Berlin, 2002

work page 2002
[4]

Roger W. Carter. Conjugacy classes in the Weyl group. Compos. Math. 25 (1972), 1-59

work page 1972
[5]

Normalizers of maximal tori

Morton Curtis, Alan Wiederhold, and Bruce Williams. Normalizers of maximal tori. In: Localization in group theory and homotopy theory, and related topics (Battelle Seattle Res. Center, Seattle, WA, 1974), Lecture Notes in Math.18, Springer, Berlin, 1974, 31-47

work page 1974
[6]

Dwyer and Clarence W

William G. Dwyer and Clarence W. Wilkerson. Centers and Coxeter elements. In: Homotopy Methods in Algebraic Topology, Contemp. Math. 271 (2001), 53-75

work page 2001
[7]

Affine algebraic groups with periodic components

Stanislav Fedotov. Affine algebraic groups with periodic components. Sb. Math. 200 (2009), no. 7, 1089-1104

work page 2009
[8]

On the splitting of the normalizer of a maximal torus in symplectic groups

Alexey Galt. On the splitting of the normalizer of a maximal torus in symplectic groups. Izv. Math. 78 (2014), no. 3, 443-458

work page 2014
[9]

On splitting of the normalizer of a maximal torus in linear groups

Alexey Galt. On splitting of the normalizer of a maximal torus in linear groups. J. Algebra Appl. 14 (2015), no. 7, article 1550114

work page 2015
[10]

On the splitting of the normalizer of a maximal torus in the exceptional linear algebraic groups

Alexey Galt. On the splitting of the normalizer of a maximal torus in the exceptional linear algebraic groups. Izv. Math. 81 (2017), no. 2, 269-285

work page 2017
[11]

On splitting of the normalizer of a maximal torus in orthogonal groups

Alexey Galt. On splitting of the normalizer of a maximal torus in orthogonal groups. J. Algebra Appl. 16 (2017), no. 9, article 1750174

work page 2017
[12]

The structure of the normalizers of maximal toruses in Lie-type groups

Alexey Galt. The structure of the normalizers of maximal toruses in Lie-type groups. Siberian Adv. Math. 34 (2024), no. 3, 209-230

work page 2024
[13]

Normalizers of maximal tori and real forms of Lie groups

Anton Gerasimov, Dmitrii Lebedev, and Sergey Oblezin. Normalizers of maximal tori and real forms of Lie groups. Eur. J. Math. 8 (2022), no. 2, 655-671

work page 2022
[14]

On normalizers of maximal tori in classical Lie groups

Anton Gerasimov, Dmitrii Lebedev, and Sergey Oblezin. On normalizers of maximal tori in classical Lie groups. St. Petersburg Math. J. 35 (2024), no. 2, 245-285 ELEMENTS OF FINITE ORDER IN THE NORMALIZER OF A MAXIMAL TORUS 13

work page 2024
[15]

Humphreys.Reflection Groups and Coxeter Groups

James E. Humphreys.Reflection Groups and Coxeter Groups. Cambridge Studies in Adv. Math. 29, Cambridge University Press, 1990

work page 1990
[16]

Elliptic elements in a Weyl groups: a homogeneity property

George Lusztig. Elliptic elements in a Weyl groups: a homogeneity property. Represent. Theory. 16 (2012), 127-151

work page 2012
[17]

Springer Ser

Arkadij Onishchik and Ernest Vinberg.Lie Groups and Algebraic Groups. Springer Ser. Soviet Math., Springer-Verlag, Berlin, 1990

work page 1990
[18]

Commutators in semisimple algebraic groups

Rimhak Ree. Commutators in semisimple algebraic groups. Proc. Amer. Math. Soc. 15 (1964), no. 3, 457-460

work page 1964
[19]

Shephard and John A

Geoffrey C. Shephard and John A. Todd. Finite unitary reflection groups. Canadian J. Math. 6 (1954), 274-304

work page 1954
[20]

Invariant of finite reflection groups

Louis Solomon. Invariant of finite reflection groups. Nagoya Math. J. 22 (1963), 57-64

work page 1963
[21]

Endomorphisms of linear algebraic groups

Robert Steinberg. Endomorphisms of linear algebraic groups. Mem. Amer. Math. Soc. 80 (1968), 1-180

work page 1968
[22]

Normalisateurs de tores I

Jacques Tits. Normalisateurs de tores I. Groups de Coxeter ´Etendus. J. Algebra 4 (1966), no. 1, 96-116

work page 1966
[23]

Zaremsky

Matthew C.B. Zaremsky. Representatives of elliptic Weyl group elements in algebraic groups. J. Group Theory 17 (2014), no. 1, 49-71 F aculty of Computer Science, HSE University, Pokrovsky Bulvar 11, Moscow, 109028 Russia Email address:arjantse@hse.ru School of Mathematical Science, Hebei Key Laboratory of Computational Mathematics and Applications, Hebei ...

work page 2014

[1] [1]

Zaremsky

Peter Abramenko and Matthew C.B. Zaremsky. Strongly and Weyl transitive group actions on buildings arising from Chevalley groups. arXiv:1101.1113

work page arXiv

[2] [2]

Lifting of elements of Weyl groups

Jeffrey Adams and Xuhua He. Lifting of elements of Weyl groups. J. Algebra 485 (2017), 142-165

work page 2017

[3] [3]

Nicolas Bourbaki.Lie Groups and Lie Algebras: Chapters 4–6, Springer, Berlin, 2002

work page 2002

[4] [4]

Roger W. Carter. Conjugacy classes in the Weyl group. Compos. Math. 25 (1972), 1-59

work page 1972

[5] [5]

Normalizers of maximal tori

Morton Curtis, Alan Wiederhold, and Bruce Williams. Normalizers of maximal tori. In: Localization in group theory and homotopy theory, and related topics (Battelle Seattle Res. Center, Seattle, WA, 1974), Lecture Notes in Math.18, Springer, Berlin, 1974, 31-47

work page 1974

[6] [6]

Dwyer and Clarence W

William G. Dwyer and Clarence W. Wilkerson. Centers and Coxeter elements. In: Homotopy Methods in Algebraic Topology, Contemp. Math. 271 (2001), 53-75

work page 2001

[7] [7]

Affine algebraic groups with periodic components

Stanislav Fedotov. Affine algebraic groups with periodic components. Sb. Math. 200 (2009), no. 7, 1089-1104

work page 2009

[8] [8]

On the splitting of the normalizer of a maximal torus in symplectic groups

Alexey Galt. On the splitting of the normalizer of a maximal torus in symplectic groups. Izv. Math. 78 (2014), no. 3, 443-458

work page 2014

[9] [9]

On splitting of the normalizer of a maximal torus in linear groups

Alexey Galt. On splitting of the normalizer of a maximal torus in linear groups. J. Algebra Appl. 14 (2015), no. 7, article 1550114

work page 2015

[10] [10]

On the splitting of the normalizer of a maximal torus in the exceptional linear algebraic groups

Alexey Galt. On the splitting of the normalizer of a maximal torus in the exceptional linear algebraic groups. Izv. Math. 81 (2017), no. 2, 269-285

work page 2017

[11] [11]

On splitting of the normalizer of a maximal torus in orthogonal groups

Alexey Galt. On splitting of the normalizer of a maximal torus in orthogonal groups. J. Algebra Appl. 16 (2017), no. 9, article 1750174

work page 2017

[12] [12]

The structure of the normalizers of maximal toruses in Lie-type groups

Alexey Galt. The structure of the normalizers of maximal toruses in Lie-type groups. Siberian Adv. Math. 34 (2024), no. 3, 209-230

work page 2024

[13] [13]

Normalizers of maximal tori and real forms of Lie groups

Anton Gerasimov, Dmitrii Lebedev, and Sergey Oblezin. Normalizers of maximal tori and real forms of Lie groups. Eur. J. Math. 8 (2022), no. 2, 655-671

work page 2022

[14] [14]

On normalizers of maximal tori in classical Lie groups

Anton Gerasimov, Dmitrii Lebedev, and Sergey Oblezin. On normalizers of maximal tori in classical Lie groups. St. Petersburg Math. J. 35 (2024), no. 2, 245-285 ELEMENTS OF FINITE ORDER IN THE NORMALIZER OF A MAXIMAL TORUS 13

work page 2024

[15] [15]

Humphreys.Reflection Groups and Coxeter Groups

James E. Humphreys.Reflection Groups and Coxeter Groups. Cambridge Studies in Adv. Math. 29, Cambridge University Press, 1990

work page 1990

[16] [16]

Elliptic elements in a Weyl groups: a homogeneity property

George Lusztig. Elliptic elements in a Weyl groups: a homogeneity property. Represent. Theory. 16 (2012), 127-151

work page 2012

[17] [17]

Springer Ser

Arkadij Onishchik and Ernest Vinberg.Lie Groups and Algebraic Groups. Springer Ser. Soviet Math., Springer-Verlag, Berlin, 1990

work page 1990

[18] [18]

Commutators in semisimple algebraic groups

Rimhak Ree. Commutators in semisimple algebraic groups. Proc. Amer. Math. Soc. 15 (1964), no. 3, 457-460

work page 1964

[19] [19]

Shephard and John A

Geoffrey C. Shephard and John A. Todd. Finite unitary reflection groups. Canadian J. Math. 6 (1954), 274-304

work page 1954

[20] [20]

Invariant of finite reflection groups

Louis Solomon. Invariant of finite reflection groups. Nagoya Math. J. 22 (1963), 57-64

work page 1963

[21] [21]

Endomorphisms of linear algebraic groups

Robert Steinberg. Endomorphisms of linear algebraic groups. Mem. Amer. Math. Soc. 80 (1968), 1-180

work page 1968

[22] [22]

Normalisateurs de tores I

Jacques Tits. Normalisateurs de tores I. Groups de Coxeter ´Etendus. J. Algebra 4 (1966), no. 1, 96-116

work page 1966

[23] [23]

Zaremsky

Matthew C.B. Zaremsky. Representatives of elliptic Weyl group elements in algebraic groups. J. Group Theory 17 (2014), no. 1, 49-71 F aculty of Computer Science, HSE University, Pokrovsky Bulvar 11, Moscow, 109028 Russia Email address:arjantse@hse.ru School of Mathematical Science, Hebei Key Laboratory of Computational Mathematics and Applications, Hebei ...

work page 2014