pith. sign in

arxiv: 2606.30057 · v1 · pith:XABZGY2Wnew · submitted 2026-06-29 · 🧮 math.AG · math.RA

Quadratic Spaces and Orthogonal Groups over semilocal Rings

Philippe Gille (ICJ , AGL , IMAR) , Erhard Neher This is my paper

Pith reviewed 2026-06-30 03:59 UTC · model grok-4.3

classification 🧮 math.AG math.RA
keywords quadratic formssemilocal ringsLG ringsSpringer's theoremnorm principlesorthogonal groupsspin groupsflat cohomology
0
0 comments X

The pith

Springer's Odd Degree Theorem holds for quadratic forms over LG rings and norm principles hold over semilocal rings.

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

The paper establishes Springer's Odd Degree Theorem for quadratic forms when the base ring is an LG ring instead of a field. It further shows that Scharlau's norm principle and Knebusch's norm principle apply to quadratic forms over semilocal rings. These extensions are used to derive results on the flat cohomology of spin groups and on étale norm groups. The work matters because the original theorems over fields are central to the classification and properties of quadratic forms, and their validity over these broader classes of rings enlarges the settings in which orthogonal groups and related structures can be studied.

Core claim

The central claim is that Springer's Odd Degree Theorem for quadratic forms extends to LG rings, while Scharlau's and Knebusch's norm principles for quadratic forms extend to semilocal rings; the proofs adapt the classical field arguments, and the results yield applications to the flat cohomology of spin groups and to étale norm groups.

What carries the argument

Springer's Odd Degree Theorem and the norm principles of Scharlau and Knebusch, carried over to LG rings and semilocal rings via direct adaptation of the field proofs.

If this is right

  • The flat cohomology groups of spin groups over LG rings satisfy the expected vanishing or exactness properties that follow from the odd-degree theorem.
  • Étale norm groups over semilocal rings obey the relations given by Scharlau's and Knebusch's principles.
  • Orthogonal groups over semilocal rings admit norm maps with the same compatibility as in the field case.
  • Applications to quadratic spaces over these rings follow the same pattern as the classical theory over fields.

Where Pith is reading between the lines

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

  • The same adaptation technique might apply to other classical results on quadratic forms, such as the local-global principle or the theory of Witt rings, once the appropriate ring class is identified.
  • Results on orthogonal groups over semilocal rings could feed into arithmetic geometry questions about quadratic forms over rings of integers in number fields.

Load-bearing premise

The ring-theoretic properties of LG rings and semilocal rings introduce no new obstructions that block the classical field proofs from working.

What would settle it

An explicit quadratic form of odd degree over a concrete LG ring whose Witt class is nontrivial yet becomes hyperbolic after an odd-degree extension, or a quadratic form over a semilocal ring whose norm fails to satisfy the expected principle.

read the original abstract

We prove Springer's Odd Degree Theorem for quadratic forms over LG rings, and Scharlau's and Knebusch's norm principles for quadratic forms over semilocal rings. We present applications to the flat cohomology of spin groups and {\'e}tale norm 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 / 3 minor

Summary. The manuscript proves Springer's Odd Degree Theorem for quadratic forms over LG rings and Scharlau's and Knebusch's norm principles for quadratic forms over semilocal rings. It also gives applications to the flat cohomology of spin groups and to étale norm groups.

Significance. If the proofs hold, the results extend classical theorems from fields to LG rings and semilocal rings. This supplies new statements about quadratic forms and their associated groups in a setting relevant to algebraic geometry and arithmetic geometry, with concrete consequences for cohomology computations.

minor comments (3)
  1. [Introduction] The introduction should include a short paragraph recalling the precise definitions of LG rings and semilocal rings used in the statements, together with the standing hypotheses on the base ring (e.g., 2 invertible or not).
  2. Notation for the orthogonal group, spin group, and the various norm maps should be fixed once at the beginning and used consistently; several places appear to switch between O(q) and O(V,q) without comment.
  3. [Applications] The applications section would benefit from a single diagram or table summarizing which cohomology groups or norm groups are shown to be trivial or isomorphic under the new theorems.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the accurate summary of its contributions, and the recommendation for minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; extension of field results to rings appears independent

full rationale

The paper states it proves Springer's Odd Degree Theorem for quadratic forms over LG rings and norm principles over semilocal rings, with applications to cohomology. These are presented as generalizations of classical results over fields. No equations, definitions, or steps in the provided abstract reduce a claimed prediction or theorem to a fitted input or self-citation by construction. The derivation chain relies on ring-theoretic properties allowing classical proofs to extend, which is an independent verification step rather than tautological. No load-bearing self-citation chains or ansatzes smuggled via prior author work are indicated. This is the expected non-finding for a standard generalization paper.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No details available from abstract on free parameters, axioms, or invented entities; paper appears to rely on standard background in quadratic form theory.

pith-pipeline@v0.9.1-grok · 5563 in / 913 out tokens · 34142 ms · 2026-06-30T03:59:03.045406+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

33 extracted references · 4 canonical work pages · 1 internal anchor

  1. [1]

    Arpin, S

    [ABHS] S. Arpin, S. Bozlee, L. Herr, and H. Smith, The scheme of monogenic generators I: representability, Res. Number Theory 9 (2023), no. 1, Paper No. 14, 33 pp. [ABHS-II] , The scheme of monogenic generators II: local monogenicity and twists, Res. Number Theory 9 (2023), no. 2, Paper No. 43, 39 pp. [ABB] A. Auel, M. Bernardara, and M. Bolognesi, Fibrat...

    2023

  2. [2]

    Algebra 13 (1969), 246–

    [Bas3] , Modules which support nonsingular forms , J. Algebra 13 (1969), 246–

    1969

  3. [3]

    abstraits

    [Bas4] , Clifford algebras and spinor norms over a commutative ring , Amer. J. Math. 96 (1974), 156–206. [BFP] E. Bayer-Fluckiger, U. A. First, and R. Parimala, On the Grothendieck-Serre Conjecture for Classical Groups, J. Lond. Math. Soc. (2)106 (2022), 2884–2926. [BFL] E. Bayer-Fluckiger and H. W. Lenstra, Jr., Forms in odd degree extensions and self-du...

    1974

  4. [4]

    8, second revised edition of the 1958 edition, Springer, Berlin

    [B:A3] , Alg` ebre, Ch. 8, second revised edition of the 1958 edition, Springer, Berlin

    1958

  5. [5]

    9, (French), reprint of the 1959 original, Springer-Verlag, Berlin,

    [B:A4] , Alg` ebre, Ch. 9, (French), reprint of the 1959 original, Springer-Verlag, Berlin,

    1959

  6. [6]

    Bouthier and K

    [BC] A. Bouthier and K. ˇCesnaviˇ cius,Torsors on loop groups and the Hitchin fibra- tion, Ann. Sci. ´Ec. Norm. Sup´ er. (4)55 (2022), no. 3, 791-–864. [CF] B. Calm` es and J. Fasel, Groupes classiques, in Autour des sch´ emas en groupes. A celebration of SGA3 , vol II, Panoramas et Synth` eses 46, 1-133, Soci´ et´ e Math´ ematique de France, Paris,

    2022

  7. [7]

    ˇCesnaviˇ cius,Grothendieck-Serre in the quasi-split unramified case , Forum Math

    [ˇCe] K. ˇCesnaviˇ cius,Grothendieck-Serre in the quasi-split unramified case , Forum Math. Pi 10 (2022), Paper No. 9, 30 pp. [CR] P.-E. Chaput and M. Romagny, On the adjoint quotient of Chevalley groups over arbitrary base schemes , J. Inst. Math. Jussieu 9 (2010), 673–704. [Coh] P. M. Cohn, On the decomposition of a field as a tensor product , Glasgow M...

    2022

  8. [8]

    Colliot-Th´ el` ene and J.-J

    [CoSa] J.-L. Colliot-Th´ el` ene and J.-J. Sansuc, On the Chow groups of certain rational surfaces: a sequel to a paper of S. Bloch , Duke Math. J. 48 (1981), 421-–447. [CoSk] J.-L. Colliot-Th´ el` ene and A. N. Skorobogatov, Groupe de Chow des z´ ero-cycles sur les fibr´ es en quadriques, K-Theory 7 (1993), 477–500. [Con1] B. Conrad, Reductive group sche...

    1981

  9. [9]

    Craven, A

    [CRW] T. Craven, A. Rosenberg, and R. Ware, The map of the Witt ring of a domain into the Witt ring of its field of fractions , Proc. Amer. Math. Soc. 51 (1975), 25-–30. [DG] M. Demazure and P. Gabriel, Groupes alg´ ebriques, North-Holland (1970). [DI] F. DeMeyer and E. Ingraham, Separable Algebras Over Commutative rings , Lecture Notes in Mathematics 181...

    1975

  10. [10]

    Grothendieck (avec la collaboration de J

    [EGA] A. Grothendieck (avec la collaboration de J. Dieudonn´ e), El´ ements de G´ eom´ etrie Alg´ ebrique, Publications math´ ematiques de l’I.H.´E.S. no. 4, 8, 11, 17, 20, 24, 28, 32, 1960–1967. [EGA-I] A. Grothendieck and J. Dieudonn´ e, ´El´ ements de g´ eom´ etrie alg´ ebrique: I. Le langage des sch´ emas, Grundlehren der Mathematischen Wissenschaften...

    1960

  11. [11]

    [EG] D. R. Estes and R. M. Guralnick, Module equivalences: Local to global when primitive polynomials represent units , J. Algebra 77 (1982), 138-–157. [Fed] R. Fedorov, On the Grothendieck-Serre conjecture on principal bundles in mixed characteristic, Trans. Amer. Math. Soc. https://doi.org/10.1090/tran/8490, ar- ticle electronically published on Nov. 5,

    work page doi:10.1090/tran/8490 1982

  12. [12]

    Monogenous algebras. Back to Kronecker

    [Fer] D. Ferrand, Mongeneous Algebras. Back to Kronecker , arXiv:math/0310260. [Fi1] U. First, On the non-neutral component of outer forms of the orthogonal group , J. Pure Appl. Algebra 225 (2021), no. 1, Paper No. 106477, 6 pp. [Fi] U. First, An 8-periodic exact sequence of Witt groups of Azumaya algebras with involution, Manuscripta Math. 170 (2023), 3...

    work page internal anchor Pith review Pith/arXiv arXiv 2021

  13. [13]

    Gille, Le probl` eme de Kneser-Tits, (French, French summary) [The Kneser- Tits problem], S´ eminaire Bourbaki, Vol

    [Gi1] P. Gille, Le probl` eme de Kneser-Tits, (French, French summary) [The Kneser- Tits problem], S´ eminaire Bourbaki, Vol. 2007/2008, Ast´ erisque No.326 (2009), Exp. No. 983, vii, 39–81 (2010). [Gi2] , Sur la classification des groupes semi-simples , Autour des sch´ emas en groupes (III), Panoramas et Synth` eses 47, Soci´ et´ e Math´ ematique de France

    2007

  14. [14]

    [Gi4] , When is a reductive group scheme linear? , arXiv:2103.07305, to ap- pear in Michigan Mathematical Journal (2021). [GN1] P. Gille and E. Neher, Springer’s Odd Degree Extension Theorem for Quadratic Forms over semilocal Rings, Indag. Math. (N.S.) 32 (2021), no. 6, 1290–1310. [GN2] , Group schemes over LG-rings and applications to cancellation theore...

    work page arXiv 2021

  15. [15]

    Goldman, Determinants in projective modules , Nagoya Math

    [Go] O. Goldman, Determinants in projective modules , Nagoya Math. J. 18 (1961), 27–36. [GW] U. G¨ ortz and T. Wedhorn, Algebraic geometry I. Schemes – with examples and exercises, Second edition, Springer Studium Mathematik—Master, Springer Spektrum, Wiesbaden

    1961

  16. [16]

    Grothendieck, Le groupe de Brauer I

    [Gr] A. Grothendieck, Le groupe de Brauer I. Alg` ebres d’Azumaya et interpr´ etations diverses, S´ em. Bourbaki 1964/65, no. 290, in Dix Expos´ es sur la Cohomologie des Sch´ emas, North- [Ho] D. W. Hoffmann, Similarity of quadratic and symmetric bilin- ear forms in characteristic 2 , Indagationes Mathematicae (2020), https://doi.org/10.1016/j.indag.2020...

    work page doi:10.1016/j.indag.2020.08.008 1964

  17. [17]

    Kato and S

    [KS] K. Kato and S. Saito, Unramified class field theory of arithmetical surfaces , Annals of Math. 118 (1983), 241-275. [Knb1] M. Knebusch, Isometrien ¨ uber semilokalen Ringen, Math. Z. 108 (1969), 255–

    1983

  18. [18]

    Heidelberger Akad

    [Knb2] , Grothendieck- und Wittringe von nichtausgearteten symmetrischen Bilinearformen, (German) S.-B. Heidelberger Akad. Wiss. Math.-Natur. Kl. 1969(70) (1969/70), 93–157. [Knb3] , Ein Satz ¨ uber die Werte von quadratischen Formen ¨ uber K¨ orpern, In- vent. Math. 12, 300-–303 (1971) 252 P. GILLE AND E. NEHER (JUNE 30,

    1969

  19. [19]

    24 (1973), 279–299

    [Knb4] , Specialization of quadratic and symmetric bilinear forms, and a norm theorem, Acta Arith. 24 (1973), 279–299. [Knb5] , Symmetric bilinear forms over algebraic varieties , Conference on Qua- dratic Forms 1976 (Proc. Conf., Queen’s Univ., Kingston, Ont., 1976), pp. 103–283. Queen’s Papers in Pure and Appl. Math., No. 46, Queen’s Univ., Kingston, Ont.,

    1973

  20. [20]

    Kneser, Witt’s Satz ¨ uber quadratische Formen und die Erzeugung orthogo- naler Gruppen durch Spiegelungen, Math.-Phys

    [Kns1] M. Kneser, Witt’s Satz ¨ uber quadratische Formen und die Erzeugung orthogo- naler Gruppen durch Spiegelungen, Math.-Phys. Semesterber. 17, 33–45 (1970) [Kns2] , Quadratische Formen, Springer-Verlag, Berlin,

    1970

  21. [21]

    Knus, Quadratic and Hermitian Forms over Rings , Grundlehren der mathematischen Wissenschaften 294 (1991), Springer

    [Knu] M.-A. Knus, Quadratic and Hermitian Forms over Rings , Grundlehren der mathematischen Wissenschaften 294 (1991), Springer. [KMRT] M.-A. Knus, A. Merkurjev, M. Rost and J.-P. Tignol, The Book of Involutions , Amer. Math. Soc. Colloquium Publ., 44, Amer. Math. Soc., Providence, RI (1998). [KO] M.-A. Knus, and M. Ojanguren, Th´ eorie de la Descente et ...

    1991

  22. [22]

    [Lam2] , Serre’s Problem on Projective Modules , Springer Monograph in Math- ematics (2006), Berlin. [Lan] S. Lang, Algebra, 3rd edition, Addison-Wesley,

    2006

  23. [23]

    Lee, Adjoint quotients of reductive groups , Autour des sch´ emas en groupes, Vol

    [Lee] T.-Y. Lee, Adjoint quotients of reductive groups , Autour des sch´ emas en groupes, Vol. III, 131–145, Panor. Synth` eses 47 (2015), Soc. Math. France, Paris [Len] H. W. Lenstra, Galois Theory for Schemes , electronic 3rd edition, online re- source. [Lo1] O. Loos, On algebraic groups defined by Jordan pairs , Nagoya Math. J. 74 (1979), 23–66. [Lo2] ...

    2015

  24. [24]

    Neukirch, A

    [NSW] J. Neukirch, A. Schmidt and J. Wingberg, Cohomology of Number Fields , second edition, Grundlehren der mathematischen Wissenschaften 323 (2008), Springer. [Oe1] J. Oesterl´ e, Nombres de Tamagawa et groupes unipotentes en caract´ eristiquep, Invent. Math. 78(1), 13-–88. QUADRATIC SPACES OVER SEMILOCAL RINGS 253 [Oe2] , Sch´ emas en groupes de type m...

    2008

  25. [25]

    Ojanguren, Quadratic forms over regular rings , J

    [Oj1] M. Ojanguren, Quadratic forms over regular rings , J. Indian Math. Soc. (N.S.) 44 (1980), no. 1–4, 109—116). [Oj2] , A splitting theorem for quadratic forms , Comment. Math. Helv. 57 (1982), no. 1, 145-–157. [Oj3] , Unit´ es repr´ esent´ ees par des formes quadratiques ou par des normes r´ eduites, in Algebraic K-theory, Part II (Oberwolfach, 1980),...

    1980

  26. [26]

    Ojanguren and I

    [OP] M. Ojanguren and I. Panin, A purity theorem for the Witt group, Ann. Sci. ´Ecole Norm. Sup. 32 (1999), 71–86. [OPZ] M. Ojanguren, I. Panin, and K. Zainoulline, On the norm principle for quadratic forms, J. Ramanujan Math. Soc. 19 (2004) 1-–12. [OS] M. Ojanguren and R. Sridharan, Cancellation of Azumaya algebras , J. Algebra 18 (1971), 501–505. [PP] I...

    1999

  27. [27]

    Roby, Lois polynomes et lois formelles en th´ eorie des modules , Ann

    [Rob] N. Roby, Lois polynomes et lois formelles en th´ eorie des modules , Ann. Sci. ´Ecole Norm. Sup. 80 (1963), 213-–348. [Rom] M. Romagny, G´ eom´ etrie Alg´ ebrique 2, cours Universit´ e Pierre et Marie Curie, 2011-2012. [Sah] C. H. Sah, Symmetric bilinear forms and quadratic forms, J. Algebra 20 (1972), 144-160. [Sal] D. J. Saltman, Lectures on divis...

    1963

  28. [28]

    Scharlau, Zur Pfisterschen Theorie der quadratischen Formen , In- vent

    [Sch1] W. Scharlau, Zur Pfisterschen Theorie der quadratischen Formen , In- vent. Math. 6 (1969), 327–328. [Sch2] , Quadratic and Hermitian Forms , Grundlehren der Mathematischen Wissenschaften 270, Springer-Verlag Berlin

    1969

  29. [29]

    Demazure et A

    [SGA3] S´ eminaire de G´ eom´ etrie alg´ ebrique de l’I.H.E.S., 1963-1964, sch´ emas en groupes, dirig´ e par M. Demazure et A. Grothendieck, Lecture Notes in Math. 151-153. Springer (1970). [SGA43] Th´ eorie des topos et cohomologie ´ etale des sch´ emas, Tome 3 (French), S´ eminaire de G´ eom´ etrie Alg´ ebrique du Bois-Marie 1963–1964 (SGA 4). Dirig´ e...

    1963

  30. [30]

    [Ses] C. S. Seshadri, Geometric reductivity over arbitrary base, Advances in Math. 26 (1977), 225–274. [Si] A. S. Sivatski, Similarity of quadratic forms and related problems , J. Pure Appl. Algebra 223 (2019), 4102-–4121. [Sp1] T. A. Springer, Sur les formes quadratiques d’indice z´ ero, C. R. Acad. Sci. Paris 234 (1952), 1517–1519. [Sp2] , Linear algebr...

    1977

  31. [31]

    [Sw] R. G. Swan, K-theory of quadric hypersurfaces , Ann. of Math. 122 (1985), 113–153. [Ti] J. Tits, Groupes de Whitehead de groupes alg´ ebriques simples sur un corps (d’apr` es V. P. Platonov et al.) , (French) S´ eminaire Bourbaki, 29e ann´ ee (1976/77), Exp. No. 505, pp. 218–236, Lecture Notes in Math., 677, Springer, Berlin,

    1985

  32. [32]

    Van den Bergh, The Brauer-Severi scheme of the trace ring of generic ma- trices, Perspectives in ring theory (Antwerp, 1987), 333–338, NATO Adv

    [vdB] M. Van den Bergh, The Brauer-Severi scheme of the trace ring of generic ma- trices, Perspectives in ring theory (Antwerp, 1987), 333–338, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., 233, Kluwer Acad. Publ., Dordrecht,

    1987

  33. [33]

    van der Kallen, The K2 of rings with many units , Ann

    [vdK] W. van der Kallen, The K2 of rings with many units , Ann. Sci. ´Ecole Norm. Sup. 10 (1977), 473–515. [Za] K. Zainoulline, On Knebusch’s norm principle for quadratic forms over semi- local rings, Math. Z. 251 (2005), 415-–425. Institut Camille Jordan - Universit´e Claude Bernard Lyon 1, 43 boulevard du 11 novembre 1918, 69622 Villeurbanne cedex - Fra...

    1977