pith. sign in

arxiv: 2507.04519 · v3 · submitted 2025-07-06 · 🧮 math.GR · math.KT

Locally isotropic Steinberg groups II. Schur multipliers

Egor Voronetsky This is my paper

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

classification 🧮 math.GR math.KT
keywords Schur multipliersSteinberg groupslocally isotropicroot graded groupscentral extensionsabstract groupsgroup presentations
0
0 comments X

The pith

Schur multipliers of locally isotropic Steinberg groups are computed for root systems of rank at least 3 excluding H3 and H4, showing the groups are well-defined as abstract groups.

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

The paper computes the Schur multipliers of locally isotropic Steinberg groups. It performs the same computation for all root graded Steinberg groups whose root systems have rank at least 3, with the explicit exclusion of types H3 and H4. This computation is then used to prove that locally isotropic Steinberg groups can be introduced as abstract groups. A reader would care because the result clarifies the central extensions of these groups and removes dependence on auxiliary root-system data in their definition.

Core claim

We compute Schur multipliers of locally isotropic Steinberg groups and of all root graded Steinberg groups with root systems of rank at least 3 (excluding the types H3 and H4). As an application, we show that locally isotropic Steinberg groups are well defined as abstract groups.

What carries the argument

The Schur multiplier, obtained by analyzing the relations in the presentation of root-graded and locally isotropic Steinberg groups.

Load-bearing premise

The computations and relations hold only when the underlying root systems have rank at least 3 and are not of types H3 or H4.

What would settle it

An explicit calculation of the Schur multiplier for one concrete locally isotropic Steinberg group of rank 3 that differs from the stated value would falsify the result.

read the original abstract

We compute Schur multipliers of locally isotropic Steinberg groups and of all root graded Steinberg groups with root systems of rank at least $ 3 $ (excluding the types $ \mathsf H_3 $ and $ \mathsf H_4 $). As an application, we show that locally isotropic Steinberg groups are well defined as abstract 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

0 major / 2 minor

Summary. The manuscript computes the Schur multipliers of locally isotropic Steinberg groups and of all root-graded Steinberg groups whose root systems have rank at least 3 (excluding types H3 and H4). As an application, it shows that locally isotropic Steinberg groups are well-defined as abstract groups.

Significance. If the computations hold, the work supplies explicit Schur multipliers across a broad family of root systems of rank >=3, which strengthens the abstract presentation theory of Steinberg groups and has direct consequences for their use in algebraic K-theory and the study of Chevalley groups. The case-by-case verification of commutator relations and centrality arguments for the stated rank threshold is a concrete strength that makes the results falsifiable and checkable.

minor comments (2)
  1. The introduction would benefit from a short paragraph recalling the precise definition of a locally isotropic Steinberg group from the preceding paper in the series, to make the present manuscript self-contained for readers who have not yet consulted Part I.
  2. In the statements of the main theorems, the notation for the various root systems (e.g., the distinction between long and short roots in non-simply-laced cases) is used without a consolidated table; adding such a table would improve readability when comparing multipliers across types.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their supportive summary, recognition of the significance of our computations for Schur multipliers of locally isotropic and root-graded Steinberg groups, and recommendation of minor revision. The report correctly identifies the main results and their relevance to abstract presentation theory and algebraic K-theory.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The manuscript computes Schur multipliers via explicit case-by-case analysis of root systems of rank ≥3 (excluding H3/H4), relying on commutator relations and centrality arguments within the Steinberg presentation. The central claim that locally isotropic Steinberg groups are well-defined as abstract groups follows directly from these multiplier computations. No steps reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations; the rank threshold and exclusions are stated as the regime where the relations close, without importing uniqueness theorems or ansatzes from prior author work as external facts. The derivation remains independent of the target result.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no explicit free parameters, axioms, or invented entities; the work likely rests on standard axioms of group homology and root system theory from prior literature, with the rank condition serving as a domain assumption rather than a new postulate.

pith-pipeline@v0.9.0 · 5562 in / 1201 out tokens · 110311 ms · 2026-05-19T05:31:07.353113+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.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages · 2 internal anchors

  1. [1]

    H. Bass. K-theory and stable algebra.Publ. Math. IH ´ES, 22:5–60, 1964

    work page 1964

  2. [2]

    Berg and T

    L. Berg and T. Wiedemann. Root graded groups of typeH 3 andH 4.J. Algebra, 682:481–544, 2025

    work page 2025

  3. [3]

    Brown and J.-L

    R. Brown and J.-L. Loday. Van Kampen theorems for diagrams of spaces. Topology, 26(3):311–335, 1987

    work page 1987

  4. [4]

    R. H. Bruck and E. Kleinfeld. The structure of alternative division rings. Proc. Amer. Math. Soc., 2:878–890, 1951. 45

    work page 1951

  5. [5]

    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

  6. [6]

    Gille and E

    Ph. Gille and E. Neher. Group schemes over LG-rings and applications to cancellation theorems and Azumaya algebras. Preprint, ArXiv:2407.02021, 2024

    work page arXiv 2024

  7. [7]

    R. L. Griess jr. Schur multipliers of the known finite simple groups. II. In The Santa Cruz Conference on Finite Groups, volume 37 ofProceedings of Symposia in Pure Mathematics, pages 279–282, 1981

    work page 1981

  8. [8]

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

    work page 2002

  9. [10]

    Lavrenov

    A. Lavrenov. Unitary Steinberg group is centrally closed.St. Petersburg Math. J., 24(5):783–794, 2013

    work page 2013

  10. [11]

    Lavrenov, Sinchuk S., and E

    A. Lavrenov, Sinchuk S., and E. Voronetsky. Centrality of K2 for Chevalley groups: a pro-group approach.Isr. J. Math., 262:97–142, 2024

    work page 2024

  11. [12]

    Loos and E

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

    work page 2019

  12. [13]

    Petrov and A

    V. Petrov and A. Stavrova. The Tits indices over semilocal rings.Trans- form. Groups, 16:193–217, 2011

    work page 2011

  13. [14]

    V. A. Petrov. Odd unitary groups.J. Math. Sci., 130(3):4752–4766, 2005

    work page 2005

  14. [15]

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

    work page 1971

  15. [16]

    Steinberg

    R. Steinberg. G` en` erateurs, relations, et revˆ etements de groupes alg` ebriques. InColloq. Th` eorie des groupes alg` ebriques, Bruxelles, pages 113–127, 1962. In French

    work page 1962

  16. [17]

    Steinberg

    R. Steinberg. Generators, relations and coverings of algebraic groups, II. J. Algebra, 71:527–543, 1981

    work page 1981

  17. [18]

    J. Tits. Classification of algebraic semisimple groups. InAlgebraic groups and discontinuous subgroups, volume 9 ofProc. Sympos. Pure Math., pages 33–62, Providence RI, 1966. Amer. Math. Soc

    work page 1966

  18. [19]

    van der Kallen and M

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

    work page 1977

  19. [20]

    Voronetsky

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

    work page 2022

  20. [21]

    Locally isotropic elementary groups

    E. Voronetsky. Locally isotropic elementary groups.Algebra i Analiz, 36(2):1–26, 2024. In Russian, English version is ArXiv:2310.01592

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  21. [22]

    Locally isotropic Steinberg groups I. Centrality of the $\mathrm K_2$-functor

    E. Voronetsky. Locally isotropic Steinberg groups I. Centrality of the K 2- functor.Algebra i Analiz, 37(3):22–74, 2024. In Russian, English version is arXiv:2410.14039

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  22. [23]

    Voronetsky

    E. Voronetsky. Root graded groups revisited.Eur. J. Math., 10(50), 2024

    work page 2024

  23. [24]

    Voronetsky

    E. Voronetsky. The Diophantine problem in isotropic reductive groups. Preprint, arXiv:2504.14364, 2025

    work page arXiv 2025

  24. [25]

    Ch. A. Weibel.An introduction to homological algebra. Cambridge Univer- sity Press, 1994

    work page 1994

  25. [26]

    Wiedemann.Root graded groups

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

    work page 2024

  26. [27]

    K. A. Zhevlakov, A. M. Slin’ko, I. P. Shestakov, and A. I. Shirshov.Rings that are nearly associative. Academic Press, New York, 1982. 47

    work page 1982