arxiv: 2605.13844 · v1 · submitted 2026-05-13 · 🧮 math.NT

Recognition: 2 theorem links

· Lean Theorem

Fields where torsion forms decompose

Karim Johannes Becher, M. Archita

Pith reviewed 2026-05-14 17:34 UTC · model grok-4.3

classification 🧮 math.NT

keywords quadratic formstorsion formsreal fieldsPythagorean fieldsfunction fieldshenselian valuationsWitt ringweakly isotropic forms

0 comments

The pith

Over real fields that are transcendence degree one extensions of hereditarily Pythagorean bases, every torsion quadratic form decomposes into an orthogonal sum of 2-dimensional torsion forms.

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

The paper establishes that torsion quadratic forms over real fields obtained as transcendence degree one extensions of hereditarily Pythagorean base fields break down into orthogonal sums of 2-dimensional torsion forms. This result follows from a broader analysis of weakly isotropic quadratic forms over henselian valued fields and over function fields in one variable. A sympathetic reader would care because the decomposition supplies a concrete structural description of torsion elements in the Witt ring for these fields, which simplifies questions of isotropy and form classification. If the claim holds, torsion forms in such extensions are built entirely from the simplest nontrivial torsion pieces.

Core claim

Over a real field which is an extension of transcendence degree 1 of a hereditarily pythagorean base field, every quadratic form which is torsion decomposes into an orthogonal sum of 2-dimensional torsion forms. This is obtained from a more general study of weakly isotropic forms over henselian valued fields and over function fields in one variable.

What carries the argument

The orthogonal decomposition of torsion quadratic forms into sums of 2-dimensional torsion forms, derived through analysis of weakly isotropic forms in henselian valued fields and one-variable function fields.

If this is right

Torsion elements in the Witt ring of such fields are generated by 2-dimensional torsion forms.
Isotropy questions for torsion forms reduce to the 2-dimensional case.
The result extends the study of weakly isotropic forms from henselian valued fields directly to function fields in one variable.
Classification of quadratic forms over these fields gains a standard building-block structure.

Where Pith is reading between the lines

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

The same decomposition is unlikely to hold automatically for extensions of transcendence degree greater than one.
Explicit checks on concrete examples such as the rational function field over the reals would test the boundary of the result.
The decomposition may interact with other field invariants such as the u-invariant or the level of the field.
Analogous statements could be investigated for non-real fields by replacing the real condition with a suitable ordering hypothesis.

Load-bearing premise

The base field is hereditarily Pythagorean, the extension has transcendence degree exactly one, and the resulting field is real.

What would settle it

A single torsion quadratic form over a real transcendence degree one extension of a hereditarily Pythagorean field that cannot be written as an orthogonal sum of 2-dimensional torsion forms would falsify the claim.

read the original abstract

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

Torsion quadratic forms decompose into 2D sums over real trans deg 1 extensions of hereditarily Pythagorean bases.

read the letter

This paper shows that over a real field F of transcendence degree 1 over a hereditarily Pythagorean base k, every torsion quadratic form over F is an orthogonal sum of 2-dimensional torsion forms. The claim is obtained by applying their general results on weakly isotropic forms to henselian valued fields and to one-variable function fields. The conditions on k and the exact degree look like the exact spot where the general machinery produces the decomposition without extra assumptions. They present the specific case as a direct consequence rather than an isolated statement, which keeps the logic straightforward. The general setup on weak isotropy is the part that does the real work here, and it seems to transfer cleanly to this setting. The main limitation is that the abstract stays at the level of outline, so the precise steps that rule out extra torsion or handle the valuations are not visible without the body. If those reductions have any small gaps when the base is not formally real or when the valuation is nontrivial, they would need to be checked explicitly. Otherwise the argument does not appear circular or dependent on fitted parameters. This is for specialists in quadratic forms over real fields who already know the background on Pythagorean fields and isotropy questions. A reader working on classification of forms over function fields will find the statement useful as a concrete application. I would send it to peer review. The claim is precise, the method builds on standard tools in the area, and the result is narrow enough that referees can focus on verifying the application rather than redoing the general theory.

Referee Report

0 major / 2 minor

Summary. The paper proves that over a real field F of transcendence degree 1 over a hereditarily Pythagorean base field k, every torsion quadratic form over F decomposes as an orthogonal sum of 2-dimensional torsion forms. The result is derived from a general analysis of weakly isotropic forms over henselian valued fields and over one-variable function fields.

Significance. If the central decomposition holds, the result supplies a precise structural statement for torsion forms in a controlled class of real fields, linking henselian valuation theory with function-field techniques in quadratic form theory. The parameter-free character of the decomposition under the stated hypotheses on k and the transcendence degree is a notable strength.

minor comments (2)

[Abstract] The abstract and introduction should explicitly reference the main theorem number (e.g., Theorem 4.2) so that the precise statement of the decomposition is immediately locatable.
[§1] Notation for the base field k, the extension F, and the torsion subgroup of the Witt ring should be introduced once in §1 and used uniformly thereafter.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. We appreciate the recognition of the result's structural significance for torsion quadratic forms over the specified class of real fields.

Circularity Check

0 steps flagged

No significant circularity detected in derivation

full rationale

The central claim is a decomposition theorem for torsion quadratic forms over real fields of transcendence degree 1 over hereditarily Pythagorean bases, obtained from a general study of weakly isotropic forms over henselian valued fields and one-variable function fields. No load-bearing step reduces by construction to a fitted parameter, self-definition, or unverified self-citation chain; the stated conditions on the base field and transcendence degree are the explicit setting in which the general machinery yields the result, with no internal reduction to inputs by definition. The derivation remains self-contained against external benchmarks in the theory of quadratic forms.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard definitions and properties of quadratic forms, torsion in the Witt ring, henselian valuations, and the Pythagorean property; no free parameters or new entities are introduced.

axioms (2)

domain assumption Quadratic forms over real fields admit a Witt ring structure with torsion subgroup
Invoked implicitly in the definition of torsion forms and their decomposition.
standard math Henselian valued fields allow lifting of isotropic properties for quadratic forms
Used in the general study of weakly isotropic forms mentioned in the abstract.

pith-pipeline@v0.9.0 · 5331 in / 1242 out tokens · 45924 ms · 2026-05-14T17:34:06.492939+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/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
Theorem. Let K be a hereditarily pythagorean field. Let F/K be a field extension of transcendence degree 1 such that F is real. Then every torsion form over F is strongly balanced.
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
w(K) = sup{dim(φ) | φ minimal weakly isotropic form over K}

Reference graph

Works this paper leans on

12 extracted references · 3 canonical work pages

[1]

J. K. Arason, A. Pfister. Zur Theorie der quadratischen Formen ¨ uber formalreellen K¨ orpern.Math. Z. 153 (1977), 289–296

1977
[2]

K.J. Becher. Minimal weakly isotropic forms. Math. Z., 252 (2006), 91–102

2006
[3]

Becher, N

K.J. Becher, N. Daans, Ph. Dittmann. Uniform existential definitions of valuations in function fields in one variable. Preprint (2025), https://arxiv.org/abs/2311.06044

work page arXiv 2025
[4]

Becher, N

K.J. Becher, N. Daans, D. Grimm, G. Manzano-Flores, M. Zaninelli. The Pythagoras number of function fields. Preprint (2024), https://arxiv.org/abs/2302.11425

work page arXiv 2024
[5]

Becher, N

K.J. Becher, N. Daans, V. Mehmeti. The u-invariant of function fields in one variable. Preprint (2025), https://arxiv.org/abs/2502.13086

work page arXiv 2025
[6]

Becher, D.B

K.J. Becher, D.B. Leep. The length and other invariants of a real field. Math. Z. 269 (2011), 235–252

2011
[7]

E. Becker. Hereditarily-pythagorean fields and orderings of higher level . Monografias de Matem´ atica, Vol. 29. Instituto de matem´ atica pura e aplicada, Rio de Janeiro 1978

1978
[8]

Br¨ ocker

L. Br¨ ocker. Characterization of fans and hereditarily Pythagorean fields. Math. Z. 151 (1976), 149–164

1976
[9]

Engler, A

A.J. Engler, A. Prestel. Valued Fields. Springer, 2005

2005
[10]

Huber, M

R. Huber, M. Knebusch. On Valuation Spectra. Contemp. Math. 155 (1994), 167–206

1994
[11]

T.Y. Lam. Introduction to quadratic forms over fields. Graduate Studies in Mathematics, vol. 67. American Mathematical Society, Providence, RI, 2005

2005
[12]

V. Mehmeti. Patching over Berkovich curves and quadratic forms. Comp. Math. 155 (2019), 2399–2438. University of Antwerp, Department of Mathematics, Antwerp, Belgium. Email address: karimjohannes.becher@uantwerpen.be Email address: archita.mondal@uantwerpen.be

2019