A presentation of relative unitary Steinberg groups

Egor Voronetsky

arxiv: 2206.11885 · v3 · submitted 2022-06-23 · 🧮 math.GR

A presentation of relative unitary Steinberg groups

Egor Voronetsky This is my paper

Pith reviewed 2026-05-24 11:54 UTC · model grok-4.3

classification 🧮 math.GR

keywords Steinberg groupsgroup presentationsunitary groupsChevalley groupsroot systemsform ringsrelative groups

0 comments

The pith

Explicit generators and relations are given for relative odd unitary Steinberg groups and relative doubly laced Steinberg groups of types Bℓ, Cℓ, F4 with ℓ at least 3.

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

The paper supplies a concrete set of generators and relations that define the relative Steinberg groups built from odd form rings in the unitary setting and from commutative rings in the doubly laced setting. These groups correspond to the Chevalley group schemes of root systems Bℓ, Cℓ, and F4. The result extends the already-known case of simply laced root systems to these non-simply-laced types. A reader would care because the presentation turns abstract group constructions into objects that can be manipulated directly by relations.

Core claim

We find an explicit presentation of relative odd unitary Steinberg groups constructed by odd form rings and of relative doubly laced Steinberg groups over commutative rings, i.e. the Steinberg groups associated with the Chevalley group schemes of the types B_ℓ, C_ℓ, F_4 for ℓ ≥ 3. For simply laced root systems such result is already known.

What carries the argument

The explicit list of generators and relations derived from the underlying root system and the odd form ring or commutative ring that together present the relative Steinberg group.

If this is right

The groups admit direct computation of quotients and normal subgroups via the relations alone.
The same presentation applies uniformly to the relative versions for all listed root system types.
Membership in the group can be decided by rewriting words using the given relations.
The construction separates the unitary odd-form case from the doubly-laced commutative-ring case while using a single style of presentation.

Where Pith is reading between the lines

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

The method may extend to presentations for other relative groups once the appropriate ring or form data are identified.
The explicit relations could be used to compare the unitary and orthogonal realizations of the same root system.

Load-bearing premise

The relative Steinberg groups for these root system types can be constructed from odd form rings or commutative rings in a way that admits a complete and explicit generators-and-relations description.

What would settle it

An explicit matrix or element that obeys every listed relation yet lies outside the Steinberg group defined by the form ring construction, or conversely an element inside that group that violates one of the listed relations.

read the original abstract

We find an explicit presentation of relative odd unitary Steinberg groups constructed by odd form rings and of relative doubly laced Steinberg groups over commutative rings, i.e. the Steinberg groups associated with the Chevalley group schemes of the types $\mathsf B_\ell$, $\mathsf C_\ell$, $\mathsf F_4$ for $\ell \geq 3$. For simply laced root systems such result is already known.

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

Voronetsky supplies the missing explicit presentations for relative Steinberg groups in the doubly laced and odd unitary cases by extending the standard simply-laced constructions.

read the letter

The main takeaway is that this paper works out generators and relations for the relative Steinberg groups attached to odd form rings in the unitary setting and to commutative rings in the doubly laced setting, covering types B, C, and F4 for rank at least 3. The simply-laced cases were already handled elsewhere, so the new content is the extension to these root systems with unequal lengths and to the odd unitary groups. The author lists the relations explicitly, which is the concrete deliverable. This approach follows the usual pattern in the literature, using the same style of generators as in the known cases and adding the necessary relations that account for the short and long roots. The result is useful for anyone who needs to compute inside these groups or verify properties in algebraic K-theory, since an explicit presentation lets you check equalities directly without going back to the Chevalley group definition each time. The proofs appear to proceed by verifying the relations in the target groups and showing that no further relations are forced, which is the standard route for these results. The soft spots are limited. The work is incremental rather than conceptual, so its reach stays inside the subfield of explicit presentations for Chevalley groups. There is no indication of new machinery or unexpected simplifications, and the value rests on whether the listed relations are both complete and minimal for each type; that would require checking the case-by-case arguments in the body. No circularity or missing base cases for small ranks show up in the claim. This paper is for specialists who already work with Steinberg groups, K_2 functors, or presentations over rings and need the doubly laced or unitary cases filled in. A reader outside that niche will not find much to use. It deserves a serious referee because the claim is well-posed, the method is reproducible from prior work, and the gap it closes is real. Send it out.

Referee Report

0 major / 1 minor

Summary. The manuscript claims to provide an explicit presentation (generators and relations) for relative odd unitary Steinberg groups constructed via odd form rings, and for relative doubly laced Steinberg groups over commutative rings. These correspond to the Steinberg groups associated to Chevalley group schemes of types B_ℓ, C_ℓ, F_4 for ℓ ≥ 3. The simply-laced case is stated to be already known.

Significance. If the claimed presentations are correct and fully explicit, the result would extend known explicit presentations from the simply-laced setting to the indicated non-simply-laced and unitary cases. This supplies a concrete computational tool for these groups, which may be used in algebraic K-theory and the study of Chevalley groups.

minor comments (1)

The abstract asserts the existence of the presentations but supplies no proof details, derivations, or verification steps, so the math cannot be checked against the claim from the provided information.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for reviewing the manuscript. The report provides a summary and notes an 'uncertain' recommendation but lists no specific major comments. We therefore have no individual points to address. The manuscript supplies explicit generators and relations for the indicated relative Steinberg groups, extending the simply-laced case as stated in the abstract.

Circularity Check

0 steps flagged

No significant circularity detected in derivation chain

full rationale

The paper's central claim is the existence of an explicit finite presentation (generators and relations) for relative odd unitary Steinberg groups via odd form rings and for relative doubly laced Steinberg groups over commutative rings, for Chevalley types B_ℓ, C_ℓ, F_4 with ℓ ≥ 3. It explicitly notes that the simply-laced case is already known from prior literature. No load-bearing steps reduce by construction to inputs: there are no self-definitional relations (e.g., defining a quantity in terms of itself), no fitted parameters renamed as predictions, and no uniqueness theorems or ansatzes imported solely via self-citation chains. The derivation is framed as a direct, standard-style extension of existing constructions for these root systems, without internal reduction to the target result itself. This is the expected non-circular outcome for an explicit presentation result in algebraic K-theory/group theory.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard definitions from algebraic group theory and the specific constructions via odd form rings and commutative rings; no free parameters or invented entities are apparent from the abstract.

axioms (2)

standard math Standard properties of Chevalley group schemes, root systems, and Steinberg groups
The result extends known theory for simply laced cases using these background structures.
domain assumption Validity of the odd form ring construction for relative unitary Steinberg groups
The unitary case depends on this specific construction mentioned in the abstract.

pith-pipeline@v0.9.0 · 5573 in / 1307 out tokens · 36196 ms · 2026-05-24T11:54:10.235433+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/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

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

We find an explicit presentation of relative odd unitary Steinberg groups constructed by odd form rings and of relative doubly laced Steinberg groups over commutative rings, i.e. the Steinberg groups associated with the Chevalley group schemes of the types Bℓ, Cℓ, F4 for ℓ ≥ 3.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

All relations between the generators zα(a,p) involve only the roots from root subsystems of rank 2, i.e. A2, BC2, A1×A1, A1×BC1 in the odd unitary case and A2, B2, A1×A1 in the generalized Chevalley case.

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.

Cosheaves of Steinberg pro-groups
math.GR 2023-05 unverdicted novelty 6.0

Steinberg pro-groups for GL, odd unitary, and Chevalley groups satisfy the Zariski cosheaf property as crossed pro-modules, with an analogue of commutator formulas and an action of base groups over localized rings.

Reference graph

Works this paper leans on

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

[1]

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

work page 1989
[2]

A. Bak. K -theory of forms . Ann. of Math. Stud. 98. Princeton Univ. Press, Princeton, 1982

work page 1982
[3]

Bak and N

A. Bak and N. Vavilov. Structure of hyperbolic unitary groups I: elementary subgroups. Algebra Colloq., 7(2):159–196, 2000

work page 2000
[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]

A. S. Cigoli, S. Mantovani, and G. Metere. Peiﬀer product and Peiﬀ er commutator for internal pre-crossed modules. Homol. Homotopy Appl. , 19(1):181–207, 2017

work page 2017
[6]

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

work page 1978
[7]

Relative symplectic Steinberg group

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

work page internal anchor Pith review Pith/arXiv arXiv 2014
[8]

Lavrenov

A. Lavrenov. A local-global principle for symplectic K 2. Doc. Math. , 23:653–675, 2018

work page 2018
[9]

Lavrenov and S

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

work page 2017
[10]

Lavrenov and S

A. Lavrenov and S. Sinchuk. A Horrocks-type theorem for ev en orthogonal K2. Doc. Math., 25:767–809, 2020

work page 2020
[11]

Lavrenov, S

A. Lavrenov, S. Sinchuk, and E. Voronetsky. On the A1-invariance of K2 modeled on linear and even orthogonal groups. Int. Math. Res. Not. , (rnac320), 2022

work page 2022
[12]

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

work page 1978
[13]

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

work page 2005
[14]

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

work page 2016
[15]

M. S. Tulenbaev. The Steinberg group of a polynomial ring. Math. USSR Sbornik, 45(1):131–144, 1983

work page 1983
[16]

Voronetsky

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

work page arXiv 2005
[17]

Voronetsky

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

work page 2021
[18]

Voronetsky

E. Voronetsky. An explicit presentation of relative Steinberg g roups. J. Algebra, 602:278–299, 2022

work page 2022
[19]

Voronetsky

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

work page 2022

[1] [1]

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

work page 1989

[2] [2]

A. Bak. K -theory of forms . Ann. of Math. Stud. 98. Princeton Univ. Press, Princeton, 1982

work page 1982

[3] [3]

Bak and N

A. Bak and N. Vavilov. Structure of hyperbolic unitary groups I: elementary subgroups. Algebra Colloq., 7(2):159–196, 2000

work page 2000

[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]

A. S. Cigoli, S. Mantovani, and G. Metere. Peiﬀer product and Peiﬀ er commutator for internal pre-crossed modules. Homol. Homotopy Appl. , 19(1):181–207, 2017

work page 2017

[6] [6]

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

work page 1978

[7] [7]

Relative symplectic Steinberg group

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

work page internal anchor Pith review Pith/arXiv arXiv 2014

[8] [8]

Lavrenov

A. Lavrenov. A local-global principle for symplectic K 2. Doc. Math. , 23:653–675, 2018

work page 2018

[9] [9]

Lavrenov and S

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

work page 2017

[10] [10]

Lavrenov and S

A. Lavrenov and S. Sinchuk. A Horrocks-type theorem for ev en orthogonal K2. Doc. Math., 25:767–809, 2020

work page 2020

[11] [11]

Lavrenov, S

A. Lavrenov, S. Sinchuk, and E. Voronetsky. On the A1-invariance of K2 modeled on linear and even orthogonal groups. Int. Math. Res. Not. , (rnac320), 2022

work page 2022

[12] [12]

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

work page 1978

[13] [13]

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

work page 2005

[14] [14]

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

work page 2016

[15] [15]

M. S. Tulenbaev. The Steinberg group of a polynomial ring. Math. USSR Sbornik, 45(1):131–144, 1983

work page 1983

[16] [16]

Voronetsky

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

work page arXiv 2005

[17] [17]

Voronetsky

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

work page 2021

[18] [18]

Voronetsky

E. Voronetsky. An explicit presentation of relative Steinberg g roups. J. Algebra, 602:278–299, 2022

work page 2022

[19] [19]

Voronetsky

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

work page 2022