Sha-rigidity of adjoint Chevalley groups of types $A_1$, $A_2$, $B_2$, $G_2$ over commutative rings

Elena Bunina; Rachel Treskunov; Vazgen Kirakosyan

arxiv: 2604.07243 · v3 · submitted 2026-04-08 · 🧮 math.GR · math.AG

Sha-rigidity of adjoint Chevalley groups of types A₁, A₂, B₂, G₂ over commutative rings

Elena Bunina , Vazgen Kirakosyan , Rachel Treskunov This is my paper

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

classification 🧮 math.GR math.AG

keywords Chevalley groupsadjoint groupslocally inner endomorphismsclass-preserving mapsSha-rigidityroot systemselementary subgroupscommutative rings

0 comments

The pith

Locally inner endomorphisms of adjoint Chevalley groups of types A1, A2, B2 and G2 over commutative rings are inner, assuming 2 (and 3 for G2) is invertible.

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

The paper shows that any endomorphism of the adjoint Chevalley group or its elementary subgroup that sends each element to a conjugate of itself must be conjugation by a single fixed group element. This holds for root systems A1, A2, B2 when 2 is invertible in the ring and for G2 when both 2 and 3 are invertible. The proofs examine the images of root elements and use the combinatorial features of these low-rank systems directly. As a result the groups satisfy Sha-rigidity. The arguments avoid any appeal to the classification of all automorphisms.

Core claim

We prove that every locally inner endomorphism of adjoint Chevalley groups and their elementary subgroups over commutative rings is inner for the root systems A1, A2, B2 (assuming 2 is invertible in the ring), and for G2 (assuming 2 and 3 are invertible). As a consequence, these groups are Sha-rigid.

What carries the argument

A locally inner (class-preserving) endomorphism, which is shown to equal an inner automorphism by direct tracking of root subgroups and their commutators.

If this is right

The automorphism group induced by class-preserving maps reduces exactly to the inner automorphisms.
The same rigidity holds for the elementary subgroup generated by root elements.
Sha-rigidity follows immediately for all such groups over qualifying rings.
The conclusion is independent of any global classification theorems for automorphisms.

Where Pith is reading between the lines

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

The same direct combinatorial method might be tested on other root systems once suitable invertibility hypotheses are identified.
The result supplies a concrete tool for computing outer automorphism groups when paired with separate descriptions of diagonal and graph automorphisms.
One could check whether the rigidity persists for the same groups over rings of characteristic 2 by constructing candidate counterexamples.

Load-bearing premise

The endomorphism preserves conjugacy classes of every element and the ring makes 2 invertible (and 3 invertible for type G2).

What would settle it

An explicit locally inner endomorphism of one of these groups over a ring satisfying the invertibility conditions that fails to be conjugation by any fixed element would disprove the claim.

read the original abstract

We prove that every locally inner (class-preserving) endomorphism of adjoint Chevalley groups and their elementary subgroups over commutative rings is inner for the root systems A1, A2, B2 (assuming 2 is invertible in the ring), and for G2 (assuming 2 and 3 are invertible). As a consequence, these groups are Sha-rigid. The proofs are direct and do not rely on classification of automorphisms or structural results about injective endomorphisms.

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

This paper gives direct combinatorial proofs that locally inner endomorphisms of adjoint Chevalley groups of types A1, A2, B2, and G2 over rings are inner, under the stated invertibility conditions on the ring.

read the letter

The main takeaway is that Bunina, Kirakosyan, and Treskunov establish Sha-rigidity for these specific low-rank adjoint groups and their elementary subgroups by showing every class-preserving endomorphism is inner. They do this with direct arguments that stay inside the root system combinatorics and avoid any appeal to full automorphism classifications or general facts about injective endomorphisms. That independence is the clearest novelty here, and it works because the small ranks let them track the action on root elements and unipotents explicitly once 2 (and 3 for G2) is invertible in the ring. The proofs appear to reduce the problem to checking generators and relations in a way that stays local on the ring, which keeps the argument self-contained. This is useful concrete evidence for anyone who wants to see rigidity results without the heavier machinery that usually appears for larger ranks. The limitation is exactly the scope: only these four root systems, and the invertibility hypotheses are baked into the combinatorial steps. Nothing in the abstract or stress-test note suggests the argument collapses without them, but the paper does not claim a uniform proof that would cover arbitrary rings or higher ranks. The citation pattern looks standard for the area, with no obvious missing references to earlier direct approaches. Readers who work on endomorphisms of Chevalley groups over rings or on rigidity questions will find the explicit calculations worth looking at; the rest of the community can safely skip it. The work is coherent on its own terms and supplies a verifiable new route for these cases, so it is worth sending out for refereeing even if revisions are needed on the details of the localizations or generator checks.

Referee Report

0 major / 3 minor

Summary. The paper proves that every locally inner (class-preserving) endomorphism of the adjoint Chevalley groups of types A1, A2, B2 (with 2 invertible in the ring) and G2 (with 2 and 3 invertible), as well as their elementary subgroups, over arbitrary commutative rings is inner. Consequently these groups are Sha-rigid. The proofs are direct and combinatorial, relying on specific properties of the listed root systems and avoiding any appeal to automorphism classifications or structural results on injective endomorphisms.

Significance. If the result holds, it supplies an elementary, classification-free proof of Sha-rigidity for these low-rank adjoint Chevalley groups over rings. The direct combinatorial approach is a genuine strength: it yields parameter-free derivations for the listed types and makes the rigidity statement falsifiable by explicit root-system combinatorics rather than by reduction to prior global theorems.

minor comments (3)

[Abstract] The abstract and introduction should explicitly recall the precise definition of 'locally inner' (or 'class-preserving') endomorphism used in the paper, as this is the central hypothesis.
[Introduction] In the statements of the main theorems, the precise range of the endomorphism (full adjoint group versus elementary subgroup) should be stated uniformly to avoid any ambiguity when the two are treated separately.
All combinatorial lemmas that reduce the endomorphism to the action on root elements should be numbered and cross-referenced in the proof of the main theorem so that the logical flow is immediately visible.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the report and the recommendation of minor revision. No major comments appear in the provided referee report.

Circularity Check

0 steps flagged

No significant circularity; direct combinatorial argument self-contained

full rationale

The paper states its proofs are direct and combinatorial, explicitly avoiding any classification of automorphisms or structural results on injective endomorphisms. The central claim—that locally inner endomorphisms of the adjoint Chevalley groups (and elementary subgroups) are inner for the listed root systems under the stated invertibility conditions on the ring—rests on explicit verification using root-system combinatorics rather than any self-definition, fitted prediction, or load-bearing self-citation. No equation or step reduces by construction to its own inputs, and the Sha-rigidity consequence follows immediately from the endomorphism result without circular renaming or imported uniqueness theorems.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard definitions and properties of adjoint Chevalley groups, elementary subgroups, and commutative rings with invertibility conditions; no free parameters or new entities are introduced.

axioms (2)

domain assumption Commutative rings in which 2 (and 3 for G2) are invertible.
Required for the group constructions and proof steps to hold.
standard math Standard structural properties of adjoint Chevalley groups and their elementary subgroups over such rings.
Invoked throughout the definitions and endomorphism arguments.

pith-pipeline@v0.9.0 · 5392 in / 1227 out tokens · 64986 ms · 2026-05-10T17:05:20.835988+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

[1]

Abe,Chevalley groups over local rings, T¯ ohoku Math

E. Abe,Chevalley groups over local rings, T¯ ohoku Math. J. (2)21(1969), no. 3, 474–494

work page 1969
[2]

M. F. Atiyah, I. G. Macdonald,Introduction to Commutative Algebra, Addison–Wesley, Reading, MA, 1969

work page 1969
[3]

Bunina, B

E. Bunina, B. Kunyavskii, Sha-rigidity of Chevalley groups over local rings, J. Group Theory28(2025), no. 5, 1143–1161

work page 2025
[4]

Kunyavski˘ ı,Local–global invariants of finite and infinite groups: Around Burnside from another side, Expo

B. Kunyavski˘ ı,Local–global invariants of finite and infinite groups: Around Burnside from another side, Expo. Math.31(2013), 256–273

work page 2013
[5]

Ono,A note on Shafarevich–Tate sets for finite groups, Proc

T. Ono,A note on Shafarevich–Tate sets for finite groups, Proc. Japan Acad.74A(1998), 77–79

work page 1998
[6]

Shafarevich–Tate sets

T. Ono,“Shafarevich–Tate sets” for profinite groups, Proc. Japan Acad.75A(1999), 96–97

work page 1999
[7]

Sah,Automorphisms of finite groups, J

C.-H. Sah,Automorphisms of finite groups, J. Algebra10(1968), 47–68; addendum:ibid.44(1977), 573–575

work page 1968
[8]

R. W. Carter,Simple Groups of Lie Type, Wiley, London, 1972

work page 1972
[9]

Steinberg,Lectures on Chevalley Groups, University Lecture Series, Vol

R. Steinberg,Lectures on Chevalley Groups, University Lecture Series, Vol. 66, Amer. Math. Soc., Providence, RI, 2016

work page 2016
[10]

N. A. Vavilov,Structure of Chevalley groups over commutative rings, in:Proc. Conf. Non-associative algebras and related topics (Hiroshima, 1990), World Sci. Publ., 1991, pp. 219–335

work page 1990
[11]

N. A. Vavilov, E. B. Plotkin,Chevalley groups over commutative rings. I. Elementary calculations, Acta Appl. Math.45(1996), 73–115

work page 1996
[12]

Matsumoto,Sur les sous-groupes arithm´ etiques des groupes semi-simples d´ eploy´ es, Ann

H. Matsumoto,Sur les sous-groupes arithm´ etiques des groupes semi-simples d´ eploy´ es, Ann. Sci.´Ecole Norm. Sup. (4)2(1969), 1–62

work page 1969
[13]

Taddei,Normalit´ e des groupes ´ el´ ementaires dans les groupes de Chevalley sur un anneau, Contemp

G. Taddei,Normalit´ e des groupes ´ el´ ementaires dans les groupes de Chevalley sur un anneau, Contemp. Math.55(1986), Part II, 693–710

work page 1986
[14]

L. N. Vaserstein,On normal subgroups of Chevalley groups over commutative rings, Tˆ ohoku Math. J. (2) 38(1986), no. 3, 219–230

work page 1986
[15]

Cohn,On the structure of the GL2 of a ring, Publ

P. Cohn,On the structure of the GL2 of a ring, Publ. Math. Inst. Hautes ´Etudes Sci.30(1966), 365–413

work page 1966
[16]

J. E. Humphreys,Introduction to Lie Algebras and Representation Theory, Graduate Texts in Mathe- matics, Vol. 9, Springer-Verlag, New York, 1972

work page 1972
[17]

Abe,Automorphisms of Chevalley groups over commutative rings, Algebra i Analiz5(1993), no

E. Abe,Automorphisms of Chevalley groups over commutative rings, Algebra i Analiz5(1993), no. 2, 74–90; English translation: St. Petersburg Math. J.5(1994), no. 2, 287–303

work page 1993
[18]

E. Abe, J. Hurley,Centers of Chevalley groups over commutative rings, Comm. Algebra16(1988), no. 1, 57–74

work page 1988
[19]

J. E. Humphreys,Linear Algebraic Groups, Springer-Verlag, New York–Heidelberg–Berlin, 1975

work page 1975
[20]

Burnside,Theory of Groups of Finite Order, 2nd ed., Cambridge Univ

W. Burnside,Theory of Groups of Finite Order, 2nd ed., Cambridge Univ. Press, Cambridge, 1911; reprinted by Dover Publications, New York, 1955

work page 1911
[21]

Burnside,On the outer automorphisms of a group, Proc

W. Burnside,On the outer automorphisms of a group, Proc. Lond. Math. Soc.11(1913), 40–42. This work is licensed under the Creative Commons Attribution License. T o view a copy of this license, visithttps://creativecommons.org/licenses/by/4.0/or send a letter to Creative Commons, 171 Second St, Suite 300, San Francisco, CA 94105, USA, or Eisenacher Strasse...

work page 1913

[1] [1]

Abe,Chevalley groups over local rings, T¯ ohoku Math

E. Abe,Chevalley groups over local rings, T¯ ohoku Math. J. (2)21(1969), no. 3, 474–494

work page 1969

[2] [2]

M. F. Atiyah, I. G. Macdonald,Introduction to Commutative Algebra, Addison–Wesley, Reading, MA, 1969

work page 1969

[3] [3]

Bunina, B

E. Bunina, B. Kunyavskii, Sha-rigidity of Chevalley groups over local rings, J. Group Theory28(2025), no. 5, 1143–1161

work page 2025

[4] [4]

Kunyavski˘ ı,Local–global invariants of finite and infinite groups: Around Burnside from another side, Expo

B. Kunyavski˘ ı,Local–global invariants of finite and infinite groups: Around Burnside from another side, Expo. Math.31(2013), 256–273

work page 2013

[5] [5]

Ono,A note on Shafarevich–Tate sets for finite groups, Proc

T. Ono,A note on Shafarevich–Tate sets for finite groups, Proc. Japan Acad.74A(1998), 77–79

work page 1998

[6] [6]

Shafarevich–Tate sets

T. Ono,“Shafarevich–Tate sets” for profinite groups, Proc. Japan Acad.75A(1999), 96–97

work page 1999

[7] [7]

Sah,Automorphisms of finite groups, J

C.-H. Sah,Automorphisms of finite groups, J. Algebra10(1968), 47–68; addendum:ibid.44(1977), 573–575

work page 1968

[8] [8]

R. W. Carter,Simple Groups of Lie Type, Wiley, London, 1972

work page 1972

[9] [9]

Steinberg,Lectures on Chevalley Groups, University Lecture Series, Vol

R. Steinberg,Lectures on Chevalley Groups, University Lecture Series, Vol. 66, Amer. Math. Soc., Providence, RI, 2016

work page 2016

[10] [10]

N. A. Vavilov,Structure of Chevalley groups over commutative rings, in:Proc. Conf. Non-associative algebras and related topics (Hiroshima, 1990), World Sci. Publ., 1991, pp. 219–335

work page 1990

[11] [11]

N. A. Vavilov, E. B. Plotkin,Chevalley groups over commutative rings. I. Elementary calculations, Acta Appl. Math.45(1996), 73–115

work page 1996

[12] [12]

Matsumoto,Sur les sous-groupes arithm´ etiques des groupes semi-simples d´ eploy´ es, Ann

H. Matsumoto,Sur les sous-groupes arithm´ etiques des groupes semi-simples d´ eploy´ es, Ann. Sci.´Ecole Norm. Sup. (4)2(1969), 1–62

work page 1969

[13] [13]

Taddei,Normalit´ e des groupes ´ el´ ementaires dans les groupes de Chevalley sur un anneau, Contemp

G. Taddei,Normalit´ e des groupes ´ el´ ementaires dans les groupes de Chevalley sur un anneau, Contemp. Math.55(1986), Part II, 693–710

work page 1986

[14] [14]

L. N. Vaserstein,On normal subgroups of Chevalley groups over commutative rings, Tˆ ohoku Math. J. (2) 38(1986), no. 3, 219–230

work page 1986

[15] [15]

Cohn,On the structure of the GL2 of a ring, Publ

P. Cohn,On the structure of the GL2 of a ring, Publ. Math. Inst. Hautes ´Etudes Sci.30(1966), 365–413

work page 1966

[16] [16]

J. E. Humphreys,Introduction to Lie Algebras and Representation Theory, Graduate Texts in Mathe- matics, Vol. 9, Springer-Verlag, New York, 1972

work page 1972

[17] [17]

Abe,Automorphisms of Chevalley groups over commutative rings, Algebra i Analiz5(1993), no

E. Abe,Automorphisms of Chevalley groups over commutative rings, Algebra i Analiz5(1993), no. 2, 74–90; English translation: St. Petersburg Math. J.5(1994), no. 2, 287–303

work page 1993

[18] [18]

E. Abe, J. Hurley,Centers of Chevalley groups over commutative rings, Comm. Algebra16(1988), no. 1, 57–74

work page 1988

[19] [19]

J. E. Humphreys,Linear Algebraic Groups, Springer-Verlag, New York–Heidelberg–Berlin, 1975

work page 1975

[20] [20]

Burnside,Theory of Groups of Finite Order, 2nd ed., Cambridge Univ

W. Burnside,Theory of Groups of Finite Order, 2nd ed., Cambridge Univ. Press, Cambridge, 1911; reprinted by Dover Publications, New York, 1955

work page 1911

[21] [21]

Burnside,On the outer automorphisms of a group, Proc

W. Burnside,On the outer automorphisms of a group, Proc. Lond. Math. Soc.11(1913), 40–42. This work is licensed under the Creative Commons Attribution License. T o view a copy of this license, visithttps://creativecommons.org/licenses/by/4.0/or send a letter to Creative Commons, 171 Second St, Suite 300, San Francisco, CA 94105, USA, or Eisenacher Strasse...

work page 1913