Twisted homology stability of O_n for valuation rings

Oscar Harr

arxiv: 2212.03213 · v2 · submitted 2022-12-06 · 🧮 math.AT · math.RT

Twisted homology stability of O_n for valuation rings

Oscar Harr This is my paper

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

classification 🧮 math.AT math.RT

keywords homology stabilityorthogonal groupsvaluation ringshenselian ringsPythagoras numbertwisted coefficientsscissor congruences

0 comments

The pith

If A is a henselian valuation ring whose residue field has finite Pythagoras number, then O_n(A) exhibits homology stability with twisted coefficients.

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

The paper extends an argument of Vogtmann to prove that the homology of the Euclidean orthogonal groups O_n(A) stabilizes as n grows when A is a valuation ring meeting arithmetic conditions on its residue field or quotient field. In the henselian case this requires only that the residue field have finite Pythagoras number. The result recovers the known stability statements for fields and continues to hold when coefficients are twisted by various modules. The same stability is then used to produce analogues, for fields other than the reals, of certain computations that arise in the study of scissor congruences.

Core claim

If A is a henselian valuation ring and the residue field of A has finite Pythagoras number, then the groups O_n(A) exhibit homology stability; the statement remains valid with various twisted coefficients and includes the earlier results of Vogtmann as special cases.

What carries the argument

The extension of Vogtmann's stability argument that succeeds precisely when the valuation ring satisfies the finite-Pythagoras-number condition on its residue field.

If this is right

The stability statements of Vogtmann for fields are recovered as special cases.
The result holds with various twisted coefficient modules.
Analogues of scissor-congruence computations are obtained for fields F other than the reals.
Stability applies to valuation rings under arithmetic conditions on either the residue field or the quotient field.

Where Pith is reading between the lines

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

The same method may produce stability ranges for other classical groups over similar rings once the relevant arithmetic condition is verified.
Stable homology groups computed this way could be compared directly with algebraic K-theory or hermitian K-theory of the same rings.
The scissor-congruence analogues might be used to define new invariants for polytopes over non-archimedean fields.

Load-bearing premise

The residue field must have finite Pythagoras number for the extended argument to establish stability.

What would settle it

A concrete henselian valuation ring whose residue field has infinite Pythagoras number together with a computation showing that the homology of O_n(A) fails to stabilize.

read the original abstract

In this article, we extend an argument of Vogtmann in order to show homology stability of the Euclidean orthogonal group $O_n(A)$ when $A$ is a valuation ring subject to arithmetic conditions on either its residue or its quotient field. In particular, it is shown that if $A$ is a henselian valuation ring, then the groups $O_n(A)$ exhibit homology stability if the residue field of $A$ has finite Pythagoras number. Our results include those of Vogtmann, and hold with various twisted coefficients. Using these results, we give analogues for fields $F\neq\mathbb R$ of some computations that appear in the study of scissor congruences.

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

Extends Vogtmann's homology stability for O_n to henselian valuation rings whose residue fields have finite Pythagoras number, with twisted coefficients and some scissor congruence analogues.

read the letter

The main takeaway is that Harr adapts Vogtmann's argument to show homology stability for the orthogonal groups O_n(A) when A is a henselian valuation ring and the residue field has finite Pythagoras number. The result includes the original Vogtmann case, works with various twisted coefficients, and yields analogues of certain scissor congruence computations for fields other than the reals. That is the concrete new content. The paper states the arithmetic conditions clearly and claims the existing proof steps carry over once those hold. This is a direct extension rather than a wholesale new method, which fits the scope of the work. The scissor congruence applications follow from the stability in a straightforward way. The central claim looks plausible on the stated hypotheses, and there is no sign of circularity or hidden fitting. The Pythagoras number condition is a genuine restriction on the rings covered, but the paper does not overstate the reach. Without the full text it is impossible to verify every step of the adaptation, yet the abstract gives no indication of gaps or extra assumptions that would break the argument. This paper is for readers already working on homology stability for classical groups or on scissor congruences over general fields. Someone who knows Vogtmann's paper will see immediately what is added and where the new cases sit. It deserves a serious referee because the claim is specific, the conditions are explicit and checkable, and the extension is presented as a technical but honest advance.

Referee Report

0 major / 3 minor

Summary. The paper extends Vogtmann's argument for homology stability of the orthogonal groups O_n to the case where the base ring A is a valuation ring, subject to arithmetic conditions on the residue field or quotient field. In particular, when A is henselian, stability holds provided the residue field has finite Pythagoras number. The results recover Vogtmann's theorems as special cases, hold for various twisted coefficient systems, and are applied to produce analogues of certain scissor-congruence computations for fields other than the reals.

Significance. If the extension of the argument is valid, the work supplies a uniform treatment of homology stability for O_n over a wider class of rings than previously treated, including non-archimedean examples, while preserving the twisted-coefficient setting. The recovery of Vogtmann's results and the explicit arithmetic hypotheses make the statement falsifiable and potentially useful for computations in algebraic K-theory or scissors-congruence problems over other fields.

minor comments (3)

[Abstract] The abstract states that the argument of Vogtmann is extended 'under stated conditions,' but the precise stability range (e.g., the degree in which H_i(O_n(A); M) stabilizes) is not indicated; adding this to the abstract or to the statement of the main theorem would improve readability.
When the henselian case is treated, the finite-Pythagoras-number hypothesis on the residue field is invoked to guarantee that certain quadratic forms remain isotropic or that the relevant simplicial complexes are highly connected; a short paragraph recalling the relevant fact from the theory of quadratic forms over fields would help readers who are not specialists in that area.
The applications to scissor congruences are described as 'analogues' of existing computations; a brief comparison table or explicit statement of which prior results are being generalized would clarify the novelty of these applications.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript, their accurate summary of the results, and their recommendation for minor revision. The referee's assessment correctly identifies the extension of Vogtmann's homology stability arguments to henselian valuation rings with finite Pythagoras number on the residue field, along with the twisted coefficients and scissor-congruence applications.

Circularity Check

0 steps flagged

No significant circularity; derivation extends external Vogtmann argument under explicit new conditions

full rationale

The paper states it extends an argument of Vogtmann to show homology stability for O_n(A) when A is a valuation ring satisfying arithmetic conditions (e.g., henselian with residue field of finite Pythagoras number). This recovers Vogtmann's results as a special case and applies to twisted coefficients. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations appear; the central claim rests on carrying over an independent prior proof with added hypotheses stated explicitly in the abstract. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on extending an existing proof technique from algebraic topology under arithmetic conditions on the ring; no new free parameters or invented entities are introduced.

axioms (1)

standard math Standard results on group homology and stability arguments as developed by Vogtmann
The paper explicitly extends an argument of Vogtmann, relying on background theorems in algebraic topology and representation theory.

pith-pipeline@v0.9.0 · 5627 in / 1251 out tokens · 28085 ms · 2026-05-24T10:14:37.686267+00:00 · methodology

Twisted homology stability of O_n for valuation rings

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)