Locally isotropic elementary groups

Egor Voronetsky

arxiv: 2310.01592 · v2 · submitted 2023-10-02 · 🧮 math.GR

Locally isotropic elementary groups

Egor Voronetsky This is my paper

Pith reviewed 2026-05-24 06:12 UTC · model grok-4.3

classification 🧮 math.GR

keywords elementary subgroupsreductive groupslocal isotropic rankprojective modulesautomorphism groupscommutative ringsalgebraic K-theory

0 comments

The pith

Elementary subgroups are constructed for all reductive groups of local isotropic rank at least 2 over rings, along with their basic properties.

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

The paper builds elementary subgroups inside every reductive group whose local isotropic rank is at least 2 at every prime ideal. The construction works over arbitrary rings and includes proofs of the subgroups' fundamental algebraic properties. One direct consequence is a uniform description of the elementary parts of automorphism groups of finitely generated projective modules over commutative rings whenever the module rank is at least 3 locally. This supplies a concrete tool for handling large classes of linear groups that appear in algebraic K-theory and related questions.

Core claim

We construct elementary subgroups of all reductive groups of the local isotropic rank ≥2 over rings and prove their basic properties. In particular, our results may be applied to the automorphism groups of any finitely generated projective modules over commutative unital rings of rank ≥3 at every prime ideal.

What carries the argument

locally isotropic elementary subgroup: the subgroup generated inside a reductive group by the elementary unipotent elements that satisfy the local isotropy condition of rank at least 2.

If this is right

The same construction yields elementary subgroups inside every automorphism group of a projective module of local rank ≥3 over a commutative unital ring.
Basic properties such as generation by elementary elements and compatibility with localization hold for these subgroups.
The results cover reductive groups over both commutative and non-commutative rings whenever the local rank condition is met.
The elementary subgroups sit inside the full group in a way that permits reduction of questions about the full group to questions about the elementary part.

Where Pith is reading between the lines

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

The method may allow explicit generators to be written down for concrete examples such as SL_n(R) when n≥3.
Similar rank conditions could be checked for other classes of groups to see whether the same elementary construction extends.
Applications to K_1 and K_2 functors become feasible once the elementary subgroup is known to be normal of finite index in many cases.

Load-bearing premise

The reductive groups must possess local isotropic rank at least 2 at every prime ideal, otherwise the stated construction does not apply.

What would settle it

Exhibit a single reductive group over a ring with local isotropic rank ≥2 at every prime for which no elementary subgroup with the claimed properties exists.

read the original abstract

We construct elementary subgroups of all reductive groups of the local isotropic rank $\geq 2$ over rings and prove their basic properties. In particular, our results may be applied to the automorphism groups of any finitely generated projective modules over commutative unital rings of rank $\geq 3$ at every prime ideal.

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 an explicit construction of elementary subgroups for reductive groups that are locally isotropic of rank at least 2, with a direct application to automorphism groups of projective modules of local rank at least 3.

read the letter

The central result is a construction of the elementary subgroup for reductive groups over rings whenever the local isotropic rank is at least 2 at every prime. The abstract indicates that basic properties are proved and that the same construction applies to automorphism groups of finitely generated projective modules once the local rank reaches 3. That is the concrete advance: it removes the need for global isotropy or special ring hypotheses that appear in earlier work on elementary subgroups. The local rank condition is stated cleanly and matches the weakest assumption needed for the claim to hold. If the proofs adapt the usual generation and normality arguments to the local setting without extra global assumptions, the work is useful for organizing examples in K-theory over general commutative rings. The application to projective modules follows directly once the rank hypothesis is met, so that part looks routine rather than surprising. A possible soft spot is the breadth of the claim: the abstract says the result covers all reductive groups, but without seeing the lemmas it is unclear how much case analysis by root system or by the type of the group is required. If the argument reduces to classical types plus a few exceptional cases handled separately, that is acceptable but should be stated explicitly. The paper is aimed at people already working with algebraic groups or automorphism groups over rings; a reader who needs explicit generators or normality statements for these elementary subgroups will find the construction directly usable. It is narrow enough that it does not need to be groundbreaking to be worth refereeing. I would send it to peer review.

Referee Report

0 major / 2 minor

Summary. The manuscript constructs elementary subgroups of all reductive groups of local isotropic rank ≥2 over rings and proves their basic properties. In particular, the results apply to automorphism groups of finitely generated projective modules over commutative unital rings with local rank ≥3 at every prime ideal.

Significance. If the construction and properties hold, the work extends classical results on elementary subgroups (e.g., for Chevalley groups or specific reductive types) by relaxing to a local isotropic rank hypothesis. This broadens applicability in algebraic K-theory and the study of automorphism groups without requiring global rank conditions. No mention of machine-checked proofs or reproducible code is present in the provided abstract, but the local-rank formulation itself is a clear technical strength for generality.

minor comments (2)

[Abstract] Abstract: the phrase 'all reductive groups' would benefit from a brief clarification of the precise class of reductive groups considered (e.g., whether split or non-split forms are included).
[Abstract] The application paragraph mentions 'rank ≥3 at every prime ideal' but does not indicate whether the main theorems are stated with explicit dependence on this local condition or if it is derived as a corollary.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work and the recommendation of minor revision. The local isotropic rank hypothesis is indeed intended to broaden the applicability of elementary subgroup constructions beyond global rank conditions, as noted in the significance evaluation.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper presents a construction of elementary subgroups for reductive groups satisfying an explicit local isotropic rank ≥2 hypothesis at every prime ideal, with application to automorphism groups of projective modules of local rank ≥3. No equations, fitted parameters, predictions, or self-citations are exhibited in the abstract or claim description that reduce any claimed result to its own inputs by definition or statistical forcing. The rank condition functions as a stated prerequisite rather than a derived output, and the central claim remains a direct construction under that hypothesis with no evident self-referential loop or renaming of known results.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Insufficient information from abstract only to identify specific free parameters, axioms, or invented entities; no equations or detailed arguments visible.

pith-pipeline@v0.9.0 · 5551 in / 959 out tokens · 20811 ms · 2026-05-24T06:12:31.830287+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/RealityFromDistinction.lean reality_from_one_distinction unclear

?

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

We construct elementary subgroups of all reductive groups of the local isotropic rank ≥2 over rings... isotropic pinning... root subgroups Uα... EG,T,Ψ(R,A)=Ker...
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

The Chevalley commutator formula... fαβij... 2-step nilpotent modules

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.

Locally isotropic Steinberg groups II. Schur multipliers
math.GR 2025-07 unverdicted novelty 6.0

Computes Schur multipliers for locally isotropic Steinberg groups and root graded Steinberg groups of rank at least 3 (excluding H3 and H4), proving the former are well-defined as abstract groups.
Weyl elements in isotropic reductive groups
math.RT 2026-01 unverdicted novelty 5.0

An explicit formula is given for squares of Weyl elements in isotropic reductive groups over commutative rings, with classification in rank one groups.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages · cited by 2 Pith papers

[1]

category

(see also [5]). The notion of isotropic reductive groups over ﬁelds [4] is gen- eralized to local rings (more generally, semi-local rings with connect ed spec- tra) in [6, Exp. XXVI]. Over arbitrary rings Victor Petrov and Anast asia Stavrova [15] considered reductive groups with globally deﬁned par abolic sub- groups (non-trivially intersecting all simpl...

work page
[2]

If x′∈ X ′(R) is any R-point, then x′ = u(x′

= ∏n i=1 f (ai)εi . If x′∈ X ′(R) is any R-point, then x′ = u(x′

work page
[3]

Theorem 2

for unique homomorphism u : ˆX ′→ R and f ′(x′) = u∗(f ′(x′ 0)) = n∏ i=1 f (u∗ (ai))εi . Theorem 2. Let G be a reductive group scheme of local isotropic rank ≥ 2 over a unital ring K. Then the elementary subgroup EG≤ G is scheme generated by a morphism f : AN→ G from an aﬃne space and its ind-structure is induced by f . In particular, EG(R× R′) = E G(R)× ...

work page
[4]

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

work page 1969
[5]

E. Abe. Normal subgroups of Chevalley groups over commutativ e rings. Contemp. Math. , 83:1–17, 1989. 20

work page 1989
[6]

Bak and N

A. Bak and N. Vavilov. Normality for elementary subgroup functo rs. Math. Proc. Cambridge Philos. Soc. , 118:35–47, 1995

work page 1995
[7]

Borel and J

A. Borel and J. Tits. Groupes r´ eductifs. Inst. Hautes ´Etudes Sci. Publ. Math., pages 55–150, 1965

work page 1965
[8]

B. Conrad. Reductive group schemes. In Autour des sch´ emas en groupes, volume I, pages 93–444. Soc. Math. France, 2014

work page 2014
[9]

Demazure and A

M. Demazure and A. Grothendieck. Sch´ emas en groupes I, II, III. Springer- Verlag, 1970

work page 1970
[10]

Dydak and F

J. Dydak and F. R. Ruiz del Portal. Monomorphisms and epimorphis ms in pro-categories. Topology and its Appl. , 154:2204–2222, 2007

work page 2007
[11]

The structure of orthogonal groups over arbitrary commutative rings

Li Fuan. The structure of orthogonal groups over arbitrary commutative rings. Chinese Ann. Math. Ser. B , 10:341–350, 1989

work page 1989
[12]

Hazrat, A

R. Hazrat, A. Stepanov, N. Vavilov, and Z. Zhang. The yoga of c ommuta- tors. J. Math. Sci. , 179:662–678, 2011

work page 2011
[13]

Hazrat and N

R. Hazrat and N. Vavilov. K 1 of Chevalley groups are nilpotent. J. Pure Appl. Algebra, 179:99–116, 2003

work page 2003
[14]

Jacqmin and Z

P.-A. Jacqmin and Z. Janelidze. On stability of exactness proper ties under the pro-completion. Adv. Math., 377, 2021

work page 2021
[15]

Kashiwara and P

M. Kashiwara and P. Schapira. Categories and sheaves . Springer-Verlag, 2006

work page 2006
[16]

V. I. Kope ˘iko. The stabilization of symplectic groups over a polynomial ring. Mathematics of the USSR-Sbornik , 34(5):655–669, 1978

work page 1978
[17]

Luzgarev and A

A. Luzgarev and A. Stavrova. Elementary subgroup of an isot ropic reduc- tive group is perfect. St. Petersburg Math. J. , 23(5):881–890, 2012

work page 2012
[18]

Petrov and A

V. Petrov and A. Stavrova. Elementary subgroups of isotrop ic reductive groups. St. Petersburg Math. J. , 20(4):625–644, 2009

work page 2009
[19]

Stavrova and A

A. Stavrova and A. Stepanov. Normal structure of isotorpic reductive groups over rings. J. Algebra, 2022

work page 2022
[20]

Stepanov

A. Stepanov. Structure of Chevalley groups over rings via univ ersal local- ization. J. Algebra, 450:522–548, 2016

work page 2016
[21]

A. A. Suslin and V. I. Kopeiko. Quadratic modules and the orthog onal group over polynomial rings. J. Soviet Mathematics , 20:2665–2691, 1982

work page 1982
[22]

K. Suzuki. Normality of the elementary subgroups of twisted Ch evalley groups over commutative rings. J. Algebra, 175:526–536, 1995. 21

work page 1995
[23]

G. Taddei. Normalit´ e des groupes ´ el´ ementaire dans les groupes de Chevalley sur un anneau. Contemp. Math. , 55:693–710, 1986

work page 1986
[24]

N. A. Vavilov. The structure of isotropic reductive groups. Tr. Inst. Mat. , 18(1):15–27, 2010. in russian

work page 2010
[25]

Voronetsky

E. Voronetsky. Centrality of K 2-functor revisited. J. Pure Appl. Alg. , 225(4), 2021

work page 2021
[26]

Voronetsky

E. Voronetsky. Lower K-theory of odd unitary groups . PhD thesis, St Petersburg University, Saint Petersburg, Russia, 2022

work page 2022
[27]

Voronetsky

E. Voronetsky. Twisted forms of classical groups. Algebra i Analiz , 34(2):56–94, 2022. in russian. 22

work page 2022

[1] [1]

category

(see also [5]). The notion of isotropic reductive groups over ﬁelds [4] is gen- eralized to local rings (more generally, semi-local rings with connect ed spec- tra) in [6, Exp. XXVI]. Over arbitrary rings Victor Petrov and Anast asia Stavrova [15] considered reductive groups with globally deﬁned par abolic sub- groups (non-trivially intersecting all simpl...

work page

[2] [2]

If x′∈ X ′(R) is any R-point, then x′ = u(x′

= ∏n i=1 f (ai)εi . If x′∈ X ′(R) is any R-point, then x′ = u(x′

work page

[3] [3]

Theorem 2

for unique homomorphism u : ˆX ′→ R and f ′(x′) = u∗(f ′(x′ 0)) = n∏ i=1 f (u∗ (ai))εi . Theorem 2. Let G be a reductive group scheme of local isotropic rank ≥ 2 over a unital ring K. Then the elementary subgroup EG≤ G is scheme generated by a morphism f : AN→ G from an aﬃne space and its ind-structure is induced by f . In particular, EG(R× R′) = E G(R)× ...

work page

[4] [4]

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

work page 1969

[5] [5]

E. Abe. Normal subgroups of Chevalley groups over commutativ e rings. Contemp. Math. , 83:1–17, 1989. 20

work page 1989

[6] [6]

Bak and N

A. Bak and N. Vavilov. Normality for elementary subgroup functo rs. Math. Proc. Cambridge Philos. Soc. , 118:35–47, 1995

work page 1995

[7] [7]

Borel and J

A. Borel and J. Tits. Groupes r´ eductifs. Inst. Hautes ´Etudes Sci. Publ. Math., pages 55–150, 1965

work page 1965

[8] [8]

B. Conrad. Reductive group schemes. In Autour des sch´ emas en groupes, volume I, pages 93–444. Soc. Math. France, 2014

work page 2014

[9] [9]

Demazure and A

M. Demazure and A. Grothendieck. Sch´ emas en groupes I, II, III. Springer- Verlag, 1970

work page 1970

[10] [10]

Dydak and F

J. Dydak and F. R. Ruiz del Portal. Monomorphisms and epimorphis ms in pro-categories. Topology and its Appl. , 154:2204–2222, 2007

work page 2007

[11] [11]

The structure of orthogonal groups over arbitrary commutative rings

Li Fuan. The structure of orthogonal groups over arbitrary commutative rings. Chinese Ann. Math. Ser. B , 10:341–350, 1989

work page 1989

[12] [12]

Hazrat, A

R. Hazrat, A. Stepanov, N. Vavilov, and Z. Zhang. The yoga of c ommuta- tors. J. Math. Sci. , 179:662–678, 2011

work page 2011

[13] [13]

Hazrat and N

R. Hazrat and N. Vavilov. K 1 of Chevalley groups are nilpotent. J. Pure Appl. Algebra, 179:99–116, 2003

work page 2003

[14] [14]

Jacqmin and Z

P.-A. Jacqmin and Z. Janelidze. On stability of exactness proper ties under the pro-completion. Adv. Math., 377, 2021

work page 2021

[15] [15]

Kashiwara and P

M. Kashiwara and P. Schapira. Categories and sheaves . Springer-Verlag, 2006

work page 2006

[16] [16]

V. I. Kope ˘iko. The stabilization of symplectic groups over a polynomial ring. Mathematics of the USSR-Sbornik , 34(5):655–669, 1978

work page 1978

[17] [17]

Luzgarev and A

A. Luzgarev and A. Stavrova. Elementary subgroup of an isot ropic reduc- tive group is perfect. St. Petersburg Math. J. , 23(5):881–890, 2012

work page 2012

[18] [18]

Petrov and A

V. Petrov and A. Stavrova. Elementary subgroups of isotrop ic reductive groups. St. Petersburg Math. J. , 20(4):625–644, 2009

work page 2009

[19] [19]

Stavrova and A

A. Stavrova and A. Stepanov. Normal structure of isotorpic reductive groups over rings. J. Algebra, 2022

work page 2022

[20] [20]

Stepanov

A. Stepanov. Structure of Chevalley groups over rings via univ ersal local- ization. J. Algebra, 450:522–548, 2016

work page 2016

[21] [21]

A. A. Suslin and V. I. Kopeiko. Quadratic modules and the orthog onal group over polynomial rings. J. Soviet Mathematics , 20:2665–2691, 1982

work page 1982

[22] [22]

K. Suzuki. Normality of the elementary subgroups of twisted Ch evalley groups over commutative rings. J. Algebra, 175:526–536, 1995. 21

work page 1995

[23] [23]

G. Taddei. Normalit´ e des groupes ´ el´ ementaire dans les groupes de Chevalley sur un anneau. Contemp. Math. , 55:693–710, 1986

work page 1986

[24] [24]

N. A. Vavilov. The structure of isotropic reductive groups. Tr. Inst. Mat. , 18(1):15–27, 2010. in russian

work page 2010

[25] [25]

Voronetsky

E. Voronetsky. Centrality of K 2-functor revisited. J. Pure Appl. Alg. , 225(4), 2021

work page 2021

[26] [26]

Voronetsky

E. Voronetsky. Lower K-theory of odd unitary groups . PhD thesis, St Petersburg University, Saint Petersburg, Russia, 2022

work page 2022

[27] [27]

Voronetsky

E. Voronetsky. Twisted forms of classical groups. Algebra i Analiz , 34(2):56–94, 2022. in russian. 22

work page 2022