Centralisers of semi-simple elements are semidirect products

Fran\c{c}ois Digne (LAMFA); Jean Michel (IMJ-PRG)

arxiv: 2512.19164 · v3 · submitted 2025-12-22 · 🧮 math.GR

Centralisers of semi-simple elements are semidirect products

Fran\c{c}ois Digne (LAMFA) , Jean Michel (IMJ-PRG) This is my paper

Pith reviewed 2026-05-16 20:43 UTC · model grok-4.3

classification 🧮 math.GR

keywords reductive algebraic groupssemisimple elementscentralizerssemidirect productsFrobenius endomorphismsgroups of Lie type

0 comments

The pith

The centralizer of a semisimple element in a connected reductive group is the semidirect product of its identity component and its component group.

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

The paper establishes that when G is a connected reductive algebraic group over an algebraically closed field and s is semisimple, the centralizer C_G(s) decomposes as the semidirect product C_G(s)^0 ⋊ π_0(C_G(s)). The same splitting holds for the F-fixed points C_G(s)^F whenever the centralizer is stable under a Frobenius endomorphism F coming from an F_q-structure. This decomposition separates the connected reductive part from the finite discrete part, which is useful for studying conjugacy classes, orders of centralizers, and representations in algebraic groups and groups of Lie type.

Core claim

We show that the centraliser of s is the semi-direct product of its identity component by its group of components. We then look at the case where G is defined over an algebraic closure of a finite field F_q, and F is a Frobenius endomorphism attached to an F_q-structure on G. We show that if the centraliser of s is F-stable we have a semi-direct product decomposition of the F-fixed points.

What carries the argument

The centralizer C_G(s) of the semisimple element s, shown to equal the semidirect product of its identity component C_G(s)^0 with its finite group of components π_0(C_G(s)).

If this is right

The component group of any such centralizer is finite.
The identity component C_G(s)^0 remains a connected reductive group.
When the centralizer is F-stable, the fixed-point group C_G(s)^F inherits the same semidirect-product decomposition.
Orders and characters of centralizers in groups of Lie type can be computed separately on the connected and component parts.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The splitting may simplify explicit computations of centralizer orders in finite groups of Lie type.
It suggests a uniform way to handle normalizers of semisimple elements across split and twisted forms.
The argument might extend to centralizers in non-connected reductive groups under suitable connectedness hypotheses on the ambient group.

Load-bearing premise

G must be connected and reductive while s is semisimple.

What would settle it

An explicit connected reductive group G over an algebraically closed field together with a semisimple element s whose centralizer fails to be isomorphic to C_G(s)^0 ⋊ π_0(C_G(s)).

read the original abstract

Let $\mathbf G$ be a connected reductive algebraic group over an algebraically closed field, and let $s\in\mathbf G$ be a semisimple element. We show that the centraliser of $s$ is the semi-direct product of its identity component by its group of components. We then look at the case where $\mathbf G$ is defined over an algebraic closure of a finite field ${\mathbb F}_q$, and $F$ is a Frobenius endomorphism attached to an ${\mathbb F}_q$-structure on $\mathbf G$. We show that if the centraliser of $s$ is $F$-stable we have a semi-direct product decomposition of the $F$-fixed points.

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 direct proof that centralizers of semisimple elements are semidirect products of identity component and component group, with a clean extension to F-fixed points when stable.

read the letter

The main point is that for a semisimple s in a connected reductive G over an algebraically closed field, the centralizer splits as C = C^0 ⋊ Γ with Γ finite. When G comes with an F_q-structure and C is F-stable, the fixed points also split as C^F = (C^0)^F ⋊ Γ^F. This is the kind of structural fact that gets used repeatedly in work on finite groups of Lie type, so spelling it out explicitly can shorten later arguments about classes or characters. The authors deliver a straightforward proof that relies on standard properties of algebraic groups rather than heavy machinery, and they handle the finite-field case without extra complications. That is the useful part: a short, self-contained reference for something that often sits in the background. The potential soft spot is exactly the one raised in the stress test. The algebraic-closure splitting is standard, but passing to fixed points requires the complement to be compatible with F. If the argument only invokes existence over the closure without an explicit F-equivariant section or a fixed-point theorem that guarantees it, the finite case rests on a small unstated step. In practice this is probably fine given the authors' experience, but a referee might ask for one extra sentence or lemma to make the equivariance transparent. The paper is aimed at people who already work with reductive groups or their finite analogues and need this decomposition written down cleanly. A reader who cites it to avoid reproving the splitting would get real value. It deserves peer review because the statement is precise, the proof is direct, and the result fills a small but recurring gap in the literature.

Referee Report

1 major / 1 minor

Summary. The manuscript proves that if G is a connected reductive algebraic group over an algebraically closed field and s is semisimple, then the centralizer C_G(s) equals the semidirect product of its identity component C_G(s)^0 by the finite component group C_G(s)/C_G(s)^0. It then shows that when G is defined over F_q with Frobenius endomorphism F and C_G(s) is F-stable, the fixed-point subgroup C_G(s)^F decomposes as the semidirect product (C_G(s)^0)^F ⋊ (C_G(s)/C_G(s)^0)^F.

Significance. The result is a standard structural fact in the theory of reductive algebraic groups with direct applications to the study of finite groups of Lie type, semisimple conjugacy classes, and Deligne-Lusztig theory. The F-fixed-point decomposition, if established, would streamline arguments involving centralizers in G^F. The algebraic-closure part rests on classical properties of algebraic groups; the finite-field extension is the novel contribution but requires careful handling of equivariant splittings.

major comments (1)

[finite-field case] The finite-field statement (second paragraph of the abstract and the corresponding section): the decomposition C^F = (C^0)^F ⋊ Γ^F presupposes an F-equivariant section of the extension 1 → C^0 → C → Γ → 1. The argument supplies the splitting over the algebraic closure but provides no explicit construction, averaging procedure, or appeal to a fixed-point theorem that guarantees an F-stable complement when char(k) > 0; this step is load-bearing for the fixed-point claim.

minor comments (1)

[abstract] The abstract introduces F and F_q without a one-sentence reminder of the standard definition of a Frobenius endomorphism attached to an F_q-structure; a brief parenthetical would improve readability for non-specialists.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for identifying the need for greater clarity in the finite-field case. We address the comment below and will revise the manuscript to strengthen the argument.

read point-by-point responses

Referee: [finite-field case] The finite-field statement (second paragraph of the abstract and the corresponding section): the decomposition C^F = (C^0)^F ⋊ Γ^F presupposes an F-equivariant section of the extension 1 → C^0 → C → Γ → 1. The argument supplies the splitting over the algebraic closure but provides no explicit construction, averaging procedure, or appeal to a fixed-point theorem that guarantees an F-stable complement when char(k) > 0; this step is load-bearing for the fixed-point claim.

Authors: We agree that an F-equivariant splitting is required for the fixed-point decomposition and that the current argument focuses primarily on existence over the algebraic closure. In the revised version we will add an explicit construction of an F-stable complement. Since C is reductive and F-stable, the set of splittings of the extension forms a torsor under the connected group Hom(Γ, C^0). The Frobenius F acts on this torsor, and Lang's theorem applied to the connected reductive group C^0 guarantees the existence of an F-fixed point in the torsor, yielding the desired F-equivariant section. This ensures C^F = (C^0)^F ⋊ Γ^F. We will insert a short subsection detailing this step immediately after the algebraic-closure splitting is established. revision: yes

Circularity Check

0 steps flagged

No significant circularity; standard structural theorem on centralizers

full rationale

The paper establishes that the centralizer C_G(s) of a semisimple element s equals C_G(s)^0 ⋊ π_0(C_G(s)) using standard facts about connected reductive groups over algebraically closed fields (identity component, component group finiteness). The F-stable extension to C^F = (C^0)^F ⋊ Γ^F follows by restriction of the algebraic-closure splitting under the induced Frobenius action, without any parameter fitting, self-definitional loops, or load-bearing self-citations that reduce the claim to its own inputs. No equations or steps equate a derived quantity to a fitted or renamed input by construction; the result is independent of the paper's own prior work.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on the standard definition of connected reductive groups and the notion of semisimple elements; no free parameters, new entities, or ad-hoc axioms are introduced.

axioms (2)

domain assumption G is a connected reductive algebraic group over an algebraically closed field
Standard setup assumed throughout the theory of algebraic groups.
domain assumption s is a semisimple element of G
Definition of semisimple element in the context of reductive groups.

pith-pipeline@v0.9.0 · 5419 in / 1197 out tokens · 21264 ms · 2026-05-16T20:43:23.504099+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We show that the centraliser of s is the semi-direct product of its identity component by its group of components.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 0.1. The sequence (*) always splits...

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Pinned Jordan Decomposition of Characters and Depth-Zero Hecke Algebras
math.RT 2026-05 unverdicted novelty 7.0

A pinned canonical Jordan decomposition gives a bijection from Lusztig series to unipotent characters for disconnected dual centralizers and induces canonical isomorphisms between depth-zero Bernstein Hecke algebras a...
Pinned Jordan Decomposition of Characters and Depth-Zero Hecke Algebras
math.RT 2026-05 unverdicted novelty 7.0

A pinned canonical bijection is constructed between Lusztig series and unipotent characters of possibly disconnected dual centralizers for finite reductive groups, with an enriched version for disconnected groups.

Reference graph

Works this paper leans on

7 extracted references · 7 canonical work pages · cited by 1 Pith paper

[1]

Vogan, Jr

Jeﬀrey Adams and David A. Vogan, Jr. Contragredient repr esentations and characterizing the local Langlands correspondence. Amer. J. Math. , 138(3):657–682, 2016

work page 2016
[2]

Quasi-isolated elements in reductive groups

C´ edric Bonnaf´ e. Quasi-isolated elements in reductive groups. Comm. Algebra, 33(7):2315–2337, 2005

work page 2005
[3]

Bourbaki

N. Bourbaki. ´El´ ements de math´ ematique. Fasc. XXXIV. Groupes et alg` ebres de Lie. Chapitre IV: Groupes de Coxeter et syst` emes de Tits. Chapitre V: Grou pes engendr´ es par des r´ eﬂexions. Chapitre VI: syst` emes de racines , volume No. 1337 of Actualit´ es Scientiﬁques et Industrielles. Hermann, Paris, 1968

work page 1968
[4]

Representations of ﬁnite groups of Lie type , volume 95 of London Mathematical Society Student Texts

Fran¸ cois Digne and Jean Michel. Representations of ﬁnite groups of Lie type , volume 95 of London Mathematical Society Student Texts . Cambridge University Press, Cambridge, second edition, 2020

work page 2020
[5]

The development version of the chevie package of gap3

Jean Michel. The development version of the chevie package of gap3. J. Algebra, 435:308–336, 2015

work page 2015
[6]

J. S. Milne. Algebraic groups , volume 170 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2017

work page 2017
[7]

J. Tits. Normalisateurs de tores. I. Groupes de Coxeter ´ etendus. J. Algebra, 4:96–116, 1966. (F. Digne) LAMF A, CNRS UMR 7352, Universit ´e de Picardie-Jules Verne, F-80039 Amiens, France. Email address : digne@u-picardie.fr URL: www.lamfa.u-picardie.fr/digne (J. Michel) Universit´e Paris Cit ´e, Sorbonne Universit ´e, CNRS, IMJ-PRG, F-75013 Paris, Fran...

work page 1966

[1] [1]

Vogan, Jr

Jeﬀrey Adams and David A. Vogan, Jr. Contragredient repr esentations and characterizing the local Langlands correspondence. Amer. J. Math. , 138(3):657–682, 2016

work page 2016

[2] [2]

Quasi-isolated elements in reductive groups

C´ edric Bonnaf´ e. Quasi-isolated elements in reductive groups. Comm. Algebra, 33(7):2315–2337, 2005

work page 2005

[3] [3]

Bourbaki

N. Bourbaki. ´El´ ements de math´ ematique. Fasc. XXXIV. Groupes et alg` ebres de Lie. Chapitre IV: Groupes de Coxeter et syst` emes de Tits. Chapitre V: Grou pes engendr´ es par des r´ eﬂexions. Chapitre VI: syst` emes de racines , volume No. 1337 of Actualit´ es Scientiﬁques et Industrielles. Hermann, Paris, 1968

work page 1968

[4] [4]

Representations of ﬁnite groups of Lie type , volume 95 of London Mathematical Society Student Texts

Fran¸ cois Digne and Jean Michel. Representations of ﬁnite groups of Lie type , volume 95 of London Mathematical Society Student Texts . Cambridge University Press, Cambridge, second edition, 2020

work page 2020

[5] [5]

The development version of the chevie package of gap3

Jean Michel. The development version of the chevie package of gap3. J. Algebra, 435:308–336, 2015

work page 2015

[6] [6]

J. S. Milne. Algebraic groups , volume 170 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2017

work page 2017

[7] [7]

J. Tits. Normalisateurs de tores. I. Groupes de Coxeter ´ etendus. J. Algebra, 4:96–116, 1966. (F. Digne) LAMF A, CNRS UMR 7352, Universit ´e de Picardie-Jules Verne, F-80039 Amiens, France. Email address : digne@u-picardie.fr URL: www.lamfa.u-picardie.fr/digne (J. Michel) Universit´e Paris Cit ´e, Sorbonne Universit ´e, CNRS, IMJ-PRG, F-75013 Paris, Fran...

work page 1966