pith. sign in

arxiv: 2305.18611 · v1 · submitted 2023-05-29 · 🧮 math.GR · math.KT

Cosheaves of Steinberg pro-groups

Egor Voronetsky This is my paper

Pith reviewed 2026-05-24 08:39 UTC · model grok-4.3

classification 🧮 math.GR math.KT
keywords Steinberg pro-groupsZariski cosheafcrossed modulesgeneral linear groupsChevalley groupsodd unitary groupscommutator formulaerelative groups
0
0 comments X

The pith

Steinberg pro-groups for general linear, odd unitary, and Chevalley groups satisfy a Zariski cosheaf property as crossed pro-modules over the base groups.

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

The paper studies Steinberg pro-groups as tools for local analysis of ordinary Steinberg groups in the Zariski topology. It proves these pro-groups satisfy a cosheaf property when treated as crossed pro-modules over their base groups, specifically for general linear groups, odd unitary groups, and Chevalley groups. This leads to the result that base groups over localized rings act naturally on the corresponding pro-groups. The work also establishes an analogue of the standard commutator formulae for relative Steinberg groups. These findings support local-to-global passage in the study of such groups.

Core claim

Steinberg pro-groups associated with general linear groups, odd unitary groups, and Chevalley groups satisfy a Zariski cosheaf property as crossed pro-modules over the base groups. An analogue of the standard commutator formulae holds for relative Steinberg groups. As an application, the base groups over localized rings naturally act on the corresponding Steinberg pro-groups.

What carries the argument

The Zariski cosheaf property of Steinberg pro-groups viewed as crossed pro-modules over the base groups, which encodes gluing under localization.

If this is right

  • Base groups over localized rings act naturally on the corresponding Steinberg pro-groups.
  • An analogue of the commutator formulae holds for relative Steinberg groups.
  • The cosheaf property is established for general linear groups, odd unitary groups, and Chevalley groups.
  • The pro-groups are treated as crossed pro-modules to make the cosheaf structure well-defined.

Where Pith is reading between the lines

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

  • Local data from these pro-groups can be glued to recover global information about the base groups.
  • The crossed-module viewpoint may extend to define similar cosheaf structures for other pro-group constructions in algebraic group theory.

Load-bearing premise

The given constructions of Steinberg pro-groups as pro-objects in crossed modules correctly capture the local properties of ordinary Steinberg groups in the Zariski topology.

What would settle it

An explicit computation for a localized ring such as a localization of the integers showing that the natural action of the base group fails to commute with the cosheaf gluing maps for one of the listed families of groups.

read the original abstract

Steinberg pro-groups are certain pro-groups used to analyze ordinary Steinberg groups locally in Zariski topology. In this paper we show that Steinberg pro-groups associated with general linear groups, odd unitary groups, and Chevalley groups satisfy a Zariski cosheaf property as crossed pro-modules over the base groups. Also, we prove an analogue of the standard commutator formulae for relative Steinberg groups. As an application, we show that the base groups over localized rings naturally act on the corresponding Steinberg pro-groups.

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 / 1 minor

Summary. The manuscript claims that Steinberg pro-groups associated with general linear groups, odd unitary groups, and Chevalley groups satisfy a Zariski cosheaf property as crossed pro-modules over the base groups. It also proves an analogue of the standard commutator formulae for relative Steinberg groups and shows that base groups over localized rings naturally act on the corresponding Steinberg pro-groups.

Significance. If the central claims hold, the work supplies a pro-object framework for local Zariski analysis of Steinberg groups in the crossed-module setting, extending beyond the general linear case to unitary and Chevalley groups. This could support applications in algebraic K-theory and the study of algebraic groups over rings, provided the pro-constructions are shown to preserve the necessary identities.

major comments (1)
  1. [Definitions and constructions (likely early sections introducing the pro-groups)] The construction of Steinberg pro-groups as pro-objects in the category of crossed modules is taken as given (see the skeptic note on the weakest assumption and the abstract's reliance on external definitions). This is load-bearing for the Zariski cosheaf property, the commutator formulae, and the natural action claims, because it is not shown that the pro-limit preserves the relevant commutator identities or crossed-module actions under localization; without this verification the cosheaf statement does not follow from the ordinary Steinberg presentation.
minor comments (1)
  1. The abstract is concise and the claims are stated clearly, but the manuscript would benefit from explicit theorem statements cross-referenced to the relevant equations or propositions for the cosheaf property and commutator formulae.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful review and constructive feedback. We address the single major comment below, agreeing that an explicit verification of preservation under the pro-limit would strengthen the argument.

read point-by-point responses

  1. Referee: The construction of Steinberg pro-groups as pro-objects in the category of crossed modules is taken as given (see the skeptic note on the weakest assumption and the abstract's reliance on external definitions). This is load-bearing for the Zariski cosheaf property, the commutator formulae, and the natural action claims, because it is not shown that the pro-limit preserves the relevant commutator identities or crossed-module actions under localization; without this verification the cosheaf statement does not follow from the ordinary Steinberg presentation.

    Authors: We appreciate this observation on the foundational construction. The Steinberg pro-groups are defined explicitly in Section 2 as inverse limits of ordinary Steinberg groups (with crossed-module structures) over the directed system of Zariski localizations. The commutator formulae and base-group actions hold levelwise by the classical Steinberg relations for GL, odd unitary, and Chevalley groups. Since the pro-limit is taken in the category of crossed modules (which admits all limits), and the relevant operations (commutators, actions) are preserved by limits, the identities carry over. Nevertheless, we agree that an explicit verification would make the derivation of the cosheaf property fully transparent. We will add a new subsection (approximately 2.4) containing a lemma that verifies preservation of the commutator maps and crossed-module actions under the pro-limit and localization functors. revision: yes

Circularity Check

0 steps flagged

No circularity: results are independent theorems on given constructions

full rationale

The paper takes the definition of Steinberg pro-groups as pro-objects in the crossed-module category as given (per the abstract and reader's summary) and proves external properties such as the Zariski cosheaf property and commutator formulae. No quoted equations, self-citations, or steps reduce any claimed result to a fitted parameter, self-definition, or load-bearing self-citation chain. The derivation chain is self-contained against the stated external definitions and does not exhibit any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only; no explicit free parameters, axioms, or invented entities are visible. The work relies on prior definitions of Steinberg pro-groups and Zariski topology, which are treated as standard background rather than new postulates.

pith-pipeline@v0.9.0 · 5593 in / 1251 out tokens · 14687 ms · 2026-05-24T08:39:10.556578+00:00 · methodology

discussion (0)

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

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 I. Centrality of the $\mathrm K_2$-functor

    math.RT 2024-10 unverdicted novelty 7.0

    Constructs Steinberg group functors for locally isotropic reductive groups over rings and proves centrality of the K2-functor.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages · cited by 1 Pith paper · 3 internal anchors

  1. [1]

    eliminating

    The action on St ( Φ\ α, A (∞ ,k )) from the right hand side is given by the Chevalley commutator formula. Since all Steinberg relations involve o nly roots from saturated root subsystems of dimension at most 2, the seco nd claim of lemma 3 implies that these strong actions satisfy the Steinberg relat ions. This does not yet gives a strong action of St(Φ ...

    work page

  2. [2]

    } for some s∈ K

    In order to show the existence it suffices to consider only multiplica tive subset of type S ={1, s, s 2, . . . } for some s∈ K. Let g∈ G(Φ, A s). By lemma 5 there is a Zariski covering Spec( As) = ∪ n i=1 Spec(Aski ) (we may assume that s∈ ∑ i kiK) such that the image of g in every G(Φ, A ski ) lies in the product of various Dα (Φ, A ski ), so by lemma 3 g...

    work page

  3. [3]

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

    work page 1998

  4. [4]

    A. S. Cigoli, J. R. A. Gray, and T. Van der Linden. Algebraically cohe rent categories. Theory and applications of categories , 30(54):1864–1905, 2015

    work page 1905

  5. [5]

    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

  6. [6]

    Jacqmin and Z

    P.-A. Jacqmin and Z. Janelidze. On stability of exactness propert ies under the pro-completion. Preprint, arXiv:2002.02204, 2020

    work page arXiv 2002

  7. [7]

    F. Keune. The relativization of K 2. J. Algebra, 54:159–177, 1978

    work page 1978

  8. [8]

    Relative symplectic Steinberg group

    A. Lavrenov. Relative symplectic Steinberg group, 2014. Prepr int, arXiv:1412.2421

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  9. [9]

    Lavrenov

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

    work page 2015

  10. [10]

    Lavrenov and S

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

    work page 2017

  11. [11]

    Lavrenov, S

    A. Lavrenov, S. Sinchuk, and E. Voronetsky. Centrality of K 2 for Chevalley groups: a pro-group approach, 2020. Preprint, arXiv:2009.0399 9

    work page arXiv 2020

  12. [12]

    J.-L. Loday. Cohomologie et groupe de Steinberg relatifs. J. Algebra , 54:178–202, 1978

    work page 1978

  13. [13]

    Loos and E

    O. Loos and E. Neher. Steinberg groups for Jordan pairs . Birkh¨ auser, New York, 2019

    work page 2019

  14. [14]

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

    work page 2016

  15. [15]

    Stavrova

    A. Stavrova. On the congruence kernel of isotropic groups o ver rings. Trans. Amer. Math. Soc. Published electronically

    work page

  16. [16]

    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

  17. [17]

    van der Kallen

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

    work page 1977

  18. [18]

    Voronetsky

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

    work page arXiv 2020

  19. [19]

    Voronetsky

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

    work page 2021

  20. [20]

    Voronetsky

    E. Voronetsky. Explicit presentation of relative Steinberg gro ups, 2021. Preprint, arXiv:2104.09602

    work page arXiv 2021

  21. [21]

    Actions of pro-groups and pro-rings

    E. Voronetsky. Actions of pro-groups and pro-rings, 2022. Preprint, arXiv:2205.13336. 20

    work page internal anchor Pith review Pith/arXiv arXiv 2022

  22. [22]

    Voronetsky

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

    work page 2022

  23. [23]

    A presentation of relative unitary Steinberg groups

    E. Voronetsky. A presentation of relative unitary Steinberg g roups, 2022. Preprint, arXiv:2206.11885

    work page internal anchor Pith review Pith/arXiv arXiv 2022

  24. [24]

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

    work page 2012