pith. sign in

arxiv: 2410.14039 · v2 · submitted 2024-10-17 · 🧮 math.RT · math.GR· math.KT

Locally isotropic Steinberg groups I. Centrality of the mathrm K₂-functor

Egor Voronetsky This is my paper

Pith reviewed 2026-05-23 19:02 UTC · model grok-4.3

classification 🧮 math.RT math.GRmath.KT
keywords Steinberg groupsK2-functorcrossed modulesreductive groupspresheavesalgebraic K-theorylocally isotropic
0
0 comments X

The pith

The Steinberg group functor for locally isotropic reductive groups is a crossed module over G with the K2-functor central.

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

The paper constructs the Steinberg group functor for a locally isotropic reductive group G over an arbitrary ring as a group object in a completion of the category of presheaves. It shows that this functor is a crossed module over G in a unique way, which means the K2-functor is central. When G is globally isotropic in a suitable sense, the functor exists as an ordinary group-valued functor and every abstract Steinberg group is a crossed module over the groups of points of G. A sympathetic reader would care because the approach supplies a canonical definition and structure even when ordinary functoriality does not hold over general rings.

Core claim

The Steinberg group functor, constructed as a group object in the completion of the category of presheaves, is a crossed module over G in a unique way. In particular, the K2-functor is central. If G is globally isotropic in a suitable sense, then the Steinberg group functor exists as an ordinary group-valued functor and all such abstract Steinberg groups are crossed modules over the groups of points of G.

What carries the argument

The Steinberg group functor realized as a group object in the completion of the category of presheaves, which carries the unique crossed-module structure over G.

If this is right

  • The K2-functor is central.
  • When G is globally isotropic the functor is ordinary group-valued.
  • All abstract Steinberg groups are crossed modules over the groups of points of G.

Where Pith is reading between the lines

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

  • The presheaf-completion method may extend to other constructions in algebraic K-theory that lack direct functoriality.
  • Centrality of K2 could simplify explicit computations of relations among K-groups for specific reductive groups over rings.
  • The approach indicates that sheaf-theoretic completions can resolve similar non-functoriality issues for other functors attached to algebraic groups.

Load-bearing premise

The reductive group G is locally isotropic over an arbitrary ring and the proposed construction in the presheaf completion produces a well-defined group object.

What would settle it

An explicit locally isotropic reductive group G over some ring for which the constructed Steinberg group functor either fails to be a crossed module over G or admits more than one crossed-module structure over G would falsify the claim.

read the original abstract

We begin to study Steinberg groups associated with a locally isotropic reductive group $G$ over a arbitrary ring. We propose a construction of such a Steinberg group functor as a group object in a certain completion of the category of presheaves. We also show that it is a crossed module over $G$ in a unique way, in particular, that the $\mathrm K_2$-functor is central. If $G$ is globally isotropic in a suitable sense, then the Steinberg group functor exists as an ordinary group-valued functor and all such abstract Steinberg groups are crossed modules over the groups of points of $G$.

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.

Referee Report

1 major / 0 minor

Summary. The manuscript proposes a construction of the Steinberg group functor associated to a locally isotropic reductive group G over an arbitrary ring, realized as a group object in a completion of the category of presheaves. It claims to show that this functor forms a crossed module over G in a unique way (hence the K2-functor is central). When G is globally isotropic in a suitable sense, the functor exists as an ordinary group-valued functor and every abstract Steinberg group is a crossed module over the group of points of G.

Significance. If the proposed presheaf-completion construction is shown to be well-defined and to satisfy the uniqueness of the crossed-module structure, the result would supply a uniform framework for Steinberg groups and centrality of K2 in a broader class of reductive groups over rings than previously treated, with potential applications to algebraic K-theory and the study of abstract Steinberg groups.

major comments (1)
  1. [Construction of the Steinberg group functor (as described in the abstract and main body)] The central claim rests on the assertion that the presheaf-completion construction yields a well-defined group object under the local-isotropy hypothesis and admits a unique crossed-module structure over G; the manuscript must supply the explicit verification that the defining relations are preserved and that the uniqueness follows from the axioms of the completion (this is load-bearing for both the centrality statement and the reduction to the globally isotropic case).

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive feedback. We address the single major comment below, providing clarification on the construction while agreeing to strengthen the exposition for explicitness.

read point-by-point responses

  1. Referee: [Construction of the Steinberg group functor (as described in the abstract and main body)] The central claim rests on the assertion that the presheaf-completion construction yields a well-defined group object under the local-isotropy hypothesis and admits a unique crossed-module structure over G; the manuscript must supply the explicit verification that the defining relations are preserved and that the uniqueness follows from the axioms of the completion (this is load-bearing for both the centrality statement and the reduction to the globally isotropic case).

    Authors: We agree that explicit verification of relation preservation and uniqueness is essential for the load-bearing claims. The manuscript establishes well-definedness of the group object via the local-isotropy hypothesis in Section 3, with relation preservation shown through direct verification using the presheaf axioms (see the computations following Definition 3.1 and in the proof of Theorem 3.5). Uniqueness of the crossed-module structure is derived in Section 4 from the universal property of the completion (Theorem 4.1). However, we acknowledge the referee's point that these steps could be presented more explicitly. We will revise by adding a new subsection (3.3) that isolates each defining relation, verifies its preservation step-by-step under local isotropy, and derives uniqueness directly from the completion axioms. This will also clarify the reduction to the globally isotropic case. The core results remain unchanged. revision: yes

Circularity Check

0 steps flagged

No significant circularity; construction is self-contained categorical assertion

full rationale

The abstract and available description present a proposed construction of the Steinberg group as a group object in a presheaf completion, together with an assertion that it forms a crossed module over G in a unique way (making K2 central). No equations, fitted parameters, or self-citations are exhibited that would reduce any central claim to a definition or prior result by the same authors. The derivation chain is therefore treated as self-contained; the result is stated as following from the local isotropy assumption and the categorical setup rather than from any load-bearing self-reference or renaming.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No full text available; cannot enumerate free parameters, axioms, or invented entities from the abstract alone.

pith-pipeline@v0.9.0 · 5630 in / 1006 out tokens · 23671 ms · 2026-05-23T19:02:00.537553+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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 1 Pith paper

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

  1. 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.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    S. B¨ oge. Steinberggruppen von orthogonalen gruppen. J. Reine Angew. Math., 494:219–236, 1998

    work page 1998

  2. [2]

    Carboni and E

    A. Carboni and E. M. Vitale. Regular and exact completions. J. Pure Appl. Alg. , 125:79–116, 1998

    work page 1998

  3. [3]

    Demazure and A

    M. Demazure and A. Grothendieck. S´ eminaire de g´ eom´ etrie alg´ ebrique du Bois Marie III. Sch´ emas en groupes I, II, III . Springer-Verlag, 1970

    work page 1970

  4. [4]

    Gille and E

    Ph. Gille and E. Neher. Group schemes over LG-rings and applicatio ns to cancellation theorems and Azumaya algebras. Preprint, ArXiv:2407 .02021

    work page

  5. [5]

    Jacqmin and Z

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

    work page 2021

  6. [6]

    P. T. Johnstone. Sketches of an elephant. A topos theory compendium. Volumes 1 and 2 . Oxford University Press, 2002

    work page 2002

  7. [7]

    Kashiwara and P

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

    work page 2006

  8. [8]

    Kulikova and A

    E. Kulikova and A. Stavrova. Centralizer of the elementary subg roup of an isotropic reductive group. Vestnik St. Petersburg Univ. Math. , 46(1):22–28, 2013

    work page 2013

  9. [9]

    Lavrenov

    A. Lavrenov. Another presentation for symplectic Steinberg g roups. J. Pure Appl. Algebra , 219(9):3755–3780, 2015

    work page 2015

  10. [10]

    Lavrenov and S

    A. Lavrenov and S. Sinchuk. On centrality of even orthogonal K2. J. Pure Appl. Algebra, 221(5):1134–1145, 2017

    work page 2017

  11. [11]

    Luzgarev and A

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

    work page 2012

  12. [12]

    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

  13. [13]

    S. Sinchuk. On centrality of K 2 for Chevalley groups of type Eℓ. J. Pure Appl. Algebra, 220(2):857–875, 2016

    work page 2016

  14. [14]

    Stavrova

    A. Stavrova. On the congruence kernel of isotropic groups o ver rings. Trans. Amer. Math. Soc. , 373:4585–4626, 2020

    work page 2020

  15. [15]

    Stavrova

    A. Stavrova. A1-invariance of non-stable K 1-functors in the equicharacter- istic case. Indag. Math. , 33(2):322–333, 2022

    work page 2022

  16. [16]

    M. R. Stein. Generators, relations and coverings of chevalley g roups over commutative rings. Amer. J. Math. , 93(4):965–1004, 1971

    work page 1971

  17. [17]

    Stepanov and A

    A. Stepanov and A. Stavrova. Normal structure of isotropic reductive groups over rings. J. Algebra, 656:486–515, 2024

    work page 2024

  18. [18]

    M. S. Tulenbaev. Schur multiplier of the group of elementary mat rices of finite order. J. Sov. Math. , 17(4):2062–2067, 1981

    work page 2062

  19. [19]

    van der Kallen

    W. van der Kallen. Another presentation for Steinberg groups . Indag. Math., 80(4):304–312, 1977

    work page 1977

  20. [20]

    van der Kallen and M

    W. van der Kallen and M. R. Stein. On the Schur multiplier of Steinbe rg and Chevalley groups over commutative rings. Math. Z. , 155:83–94, 1977

    work page 1977

  21. [21]

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

    work page 2010

  22. [22]

    Voronetsky

    E. Voronetsky. Centrality of odd unitary K 2-functor. Preprint, arXiv:2005.02926, 2020

    work page arXiv 2005

  23. [23]

    Voronetsky

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

    work page 2021

  24. [24]

    Voronetsky

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

    work page 2022

  25. [25]

    Voronetsky

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

    work page 2022

  26. [26]

    Cosheaves of Steinberg pro-groups

    E. Voronetsky. Cosheaves of steinberg pro-groups, 2023. Preprint, arXiv:2305.18611

    work page internal anchor Pith review Pith/arXiv arXiv 2023

  27. [27]

    Voronetsky

    E. Voronetsky. Locally isotropic elementary groups. Algebra i Analiz , 36(2):1–26, 2024

    work page 2024

  28. [28]

    M. Wendt. On homotopy invariance for homology of rank two gro ups. J. Pure Appl. Alg. , 216(10):2291–2301, 2012

    work page 2012

  29. [29]

    Wiedemann

    T. Wiedemann. Root graded groups. PhD thesis, Justus Liebig University Giessen, 2024. 47

    work page 2024