Absence of torsion in orbit space

Sampat Sharma

arxiv: 2007.07545 · v3 · submitted 2020-07-15 · 🧮 math.AC

Absence of torsion in orbit space

Sampat Sharma This is my paper

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

classification 🧮 math.AC

keywords unimodular rowselementary matricestorsionpolynomial ringslocal ringsregular ringstransitive actionorbit space

0 comments

The pith

If R is a local ring of dimension d at least 2 with 1/d! in R, then Um_{d+1}(R[X])/E_{d+1}(R[X]) has no k-torsion for k in GL_1(R).

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

The paper establishes that for a local ring R of dimension d greater than or equal to 2 containing the inverse of d!, the quotient of unimodular rows over the polynomial ring R[X] by the elementary subgroup has no torsion coming from units k of the base ring. It further shows that for regular rings satisfying the same conditions plus transitivity of the elementary action over R itself, the elementary group acts transitively on unimodular rows over R[X]. A reader would care because these quotients classify certain projective modules or vector bundles over affine space, so the absence of torsion constrains their possible structure. The results extend a known transitivity statement from the base ring to the polynomial ring under the factorial invertibility hypothesis.

Core claim

If R is a local ring of dimension d, d≥2 and 1/d!∈R then the group Um_{d+1}(R[X])/E_{d+1}(R[X]) has no k-torsion, provided k∈GL_1(R). We also prove that if R is a regular ring of dimension d, d≥2 and 1/d!∈R such that E_{d+1}(R) acts transitively on Um_{d+1}(R) then E_{d+1}(R[X]) acts transitively on Um_{d+1}(R[X]).

What carries the argument

The quotient group Um_{d+1}(R[X])/E_{d+1}(R[X]), which records the orbits of unimodular rows under the action of elementary matrices over the polynomial ring.

If this is right

The orbit space carries no torsion elements generated by units from the base ring.
Transitivity of the elementary action over R implies the same transitivity over R[X] when R is regular.
The result applies uniformly to all units k in the multiplicative group of R.
The statements hold for any d at least 2 under the stated hypotheses on R.

Where Pith is reading between the lines

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

The no-torsion property may restrict the possible structure of the first algebraic K-group of R[X] in these settings.
Similar absence of torsion could hold for other polynomial extensions or for rings where d! is invertible even if the ring is not local.
The transitivity result might be used to compute explicit generators for unimodular rows over polynomial rings.

Load-bearing premise

The ring R must contain the inverse of d! and be either local or regular of dimension at least 2.

What would settle it

Explicit computation of the group Um_{d+1}(R[X])/E_{d+1}(R[X]) for a concrete local ring R of dimension 2 containing 1/2! that exhibits a nontrivial k-torsion element for some unit k would falsify the no-torsion claim.

read the original abstract

In this paper, we prove that if $R$ is a local ring of dimension $d,$ $d\geq 2$ and $\frac{1}{d!}\in R$ then the group $\frac{Um_{d+1}(R[X])}{E_{d+1}(R[X])}$ has no $k$-torsion, provided $k\in GL_{1}(R).$ We also prove that if $R$ is a regular ring of dimension $d,$ $d\geq 2$ and $\frac{1}{d!}\in R$ such that $E_{d+1}(R)$ acts transitively on $Um_{d+1}(R)$ then $E_{d+1}(R[X])$ acts transitively on $Um_{d+1}(R[X]).$

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 abstract states two conditional results on torsion and transitivity for unimodular rows over R[X], but the lack of any proof or comparison makes it impossible to judge if they hold or add anything new.

read the letter

The paper claims that when R is local of dimension d at least 2 and 1/d! sits in R, then Um_{d+1}(R[X])/E_{d+1}(R[X]) has no k-torsion for k a unit in R. It also claims that for regular R of the same dimension with the same factorial condition, if E_{d+1}(R) already acts transitively on Um_{d+1}(R), then E_{d+1}(R[X]) does the same on Um_{d+1}(R[X]). Those are the only two statements visible. The invertibility of d! is the most distinctive hypothesis, and it is not obvious why it appears or what fails without it. The transitivity claim is conditional on the base ring already satisfying the property, which narrows its reach. Both results sit inside the usual circle of questions about stable range and K_1 for polynomial rings, but the abstract gives no indication of how they relate to earlier theorems by Bass, Suslin, or Vaserstein. The main limitation is that nothing beyond the two sentences is supplied, so there is no way to check the derivations, the handling of the local versus regular cases, or whether the arguments avoid circularity with known stability results. The condition that k lies in GL_1(R) is stated cleanly, yet its necessity is not discussed. This work would only be useful to a handful of specialists already tracking refinements of the Bass stable range over polynomial extensions. Without the actual proofs or even a sketch, it does not supply enough material for a reading group or for citation. It should not be sent to referees in its current form; the claims need the supporting mathematics before any serious evaluation is possible.

Referee Report

1 major / 0 minor

Summary. The paper claims two results in commutative algebra: first, if R is a local ring of dimension d ≥ 2 with 1/d! ∈ R, then the quotient group Um_{d+1}(R[X])/E_{d+1}(R[X]) has no k-torsion whenever k ∈ GL_1(R); second, if R is a regular ring of dimension d ≥ 2 with 1/d! ∈ R and E_{d+1}(R) acts transitively on Um_{d+1}(R), then E_{d+1}(R[X]) acts transitively on Um_{d+1}(R[X]).

Significance. If the stated results hold, they would extend known facts about the structure of unimodular rows and elementary group actions over polynomial extensions, with potential implications for the computation of K_1 groups or related orbit spaces in algebraic K-theory. The hypotheses on dimension, regularity/localness, and invertibility of d! are presented as essential, but their necessity cannot be evaluated from the given text.

major comments (1)

The manuscript supplies only the abstract; no proofs, lemmas, derivations, or technical arguments are present. Consequently it is impossible to verify whether the stated claims follow from the hypotheses or whether the invertibility of d! is used in an essential way.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. We acknowledge the concern that only the abstract was provided, which prevents verification of the claims. The full manuscript with proofs will be supplied in revision.

read point-by-point responses

Referee: The manuscript supplies only the abstract; no proofs, lemmas, derivations, or technical arguments are present. Consequently it is impossible to verify whether the stated claims follow from the hypotheses or whether the invertibility of d! is used in an essential way.

Authors: We agree that the version under review contains solely the abstract. The complete paper includes the full proofs, which rely on the invertibility of d! in an essential manner to control the action of the elementary group on unimodular rows over the polynomial ring and to establish the absence of torsion in the indicated quotient. These arguments will be included in the revised submission so that the claims can be verified directly. revision: yes

Circularity Check

0 steps flagged

No derivation chain present to inspect

full rationale

Only the abstract is supplied; it states two conditional theorems about Um_{d+1}(R[X])/E_{d+1}(R[X]) having no k-torsion and transitivity of E_{d+1}(R[X]) on Um_{d+1}(R[X]) under the stated hypotheses on R. No equations, no proof steps, and no self-citations appear in the given text, so no load-bearing reduction to inputs by construction, fitted prediction, or self-citation chain can be exhibited. The paper is therefore self-contained against external benchmarks by default, with circularity score 0.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract-only; the claims rest on the standard definitions of local ring, regular ring, unimodular row, elementary group, and the invertibility of d!; no free parameters or invented entities are visible.

axioms (2)

domain assumption R is a commutative ring that is either local or regular of dimension d ≥ 2
Explicit hypothesis in both statements of the abstract.
domain assumption 1/d! belongs to R
Required hypothesis for both the torsion-vanishing and the transitivity statements.

pith-pipeline@v0.9.0 · 5630 in / 1385 out tokens · 29612 ms · 2026-05-24T14:39:26.824760+00:00 · methodology

Absence of torsion in orbit space

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)