pith. sign in

arxiv: 2605.00590 · v1 · submitted 2026-05-01 · 🧮 math.NT · math.AG· math.CO

The Hurwitz sum-of-squares problem depends on the base field

Chi Zhang , Haoran Zhu This is my paper

Pith reviewed 2026-05-09 18:43 UTC · model grok-4.3

classification 🧮 math.NT math.AGmath.CO
keywords Hurwitz problemsums of squarescomposition formulasformally real fieldsShapiro conjecturebilinear identitiesquadratic forms
0
0 comments X

The pith

A [12,12,18] sums-of-squares formula exists over fields where -1 is a square but not over formally real fields.

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

The paper demonstrates that the Hurwitz problem for sums of squares depends on the base field. It constructs an explicit formula of type [12,12,18] over every field of characteristic not 2 in which -1 is a square. At the same time, it proves that no such formula exists over any formally real field. This directly refutes Shapiro's conjecture that existence would be independent of the field. A reader would care because the result shows that algebraic identities for representing products of sums of squares are controlled by whether the field admits square roots of -1.

Core claim

We show that the Hurwitz problem for sums of squares can depend on the base field. More precisely, we construct an explicit formula of type [12,12,18] over every field of characteristic different from 2 in which -1 is a square, whereas no such formula exists over any formally real field. This settles, in the negative, a longstanding conjecture of Shapiro. In particular, a formula of this type exists over Q(i) and over C, but not over Q or over R.

What carries the argument

An explicit bilinear composition formula of type [12,12,18] that turns the product of two sums of 12 squares into a sum of 18 squares, built algebraically when -1 is a square and obstructed when the field is formally real.

If this is right

  • Such a formula exists over the complex numbers and over Q(i).
  • No formula of type [12,12,18] exists over the real numbers or over the rationals.
  • The answer to the Hurwitz problem on possible types [r,s,n] can vary with the choice of field.
  • Shapiro's conjecture that the problem is independent of the field is false.
  • Other composition problems for sums of squares may exhibit similar field dependence.

Where Pith is reading between the lines

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

  • The distinction between fields where -1 is a square and formally real fields may classify other bilinear identities beyond the [12,12,18] case.
  • Explicit constructions over C could be specialized to produce new examples over finite fields or number fields containing i.
  • This field sensitivity might connect to the broader theory of quadratic forms and their composition algebras.

Load-bearing premise

The algebraic construction remains valid precisely when -1 is a square and the non-existence proof derives a contradiction from the definition of formally real fields.

What would settle it

An explicit check that the given construction satisfies the [12,12,18] identity over Q(i), or a derivation of a contradiction from the assumption of such a formula over the real numbers using the ordering or signature of quadratic forms.

read the original abstract

We show that the Hurwitz problem for sums of squares can depend on the base field. More precisely, we construct an explicit formula of type $[12,12,18]$ over every field of characteristic different from $2$ in which $-1$ is a square, whereas no such formula exists over any formally real field. This settles, in the negative, a longstanding conjecture of Shapiro. In particular, a formula of this type exists over $\mathbb Q(i)$ and over $\mathbb C$, but not over $\mathbb Q$ or over $\mathbb R$.

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 / 2 minor

Summary. The manuscript claims to resolve the field-dependence of the Hurwitz sum-of-squares problem by constructing an explicit bilinear identity of type [12,12,18] that holds over every field F with char(F) ≠ 2 in which −1 is a square, while proving that no such identity exists over any formally real field; this is said to disprove Shapiro's conjecture, with concrete consequences that the formula exists over ℚ(i) and ℂ but not over ℚ or ℝ.

Significance. If the explicit construction and the non-existence argument hold, the result is significant for the theory of quadratic forms and composition formulas. It establishes that the Hurwitz problem is sensitive to whether −1 is a square in the base field, using only the field axioms and the definition of formally real fields. The provision of an explicit algebraic construction together with a direct proof by contradiction is a strength that allows independent verification and may stimulate further work on field-specific identities.

minor comments (2)
  1. [Abstract] The abstract states the main result clearly but does not indicate the key algebraic ingredients of the construction or the precise step that produces the contradiction in the formally real case; a single additional sentence would improve accessibility without lengthening the abstract.
  2. [Introduction] In the statement of the non-existence result, the precise way the [12,12,18] identity is assumed to produce a representation of −1 as a sum of squares should be cross-referenced to the relevant equation or lemma so that readers can trace the argument without searching the text.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; explicit construction and contradiction proof are independent of inputs

full rationale

The paper's central result consists of an explicit algebraic construction of a [12,12,18] composition formula that holds precisely when char(F) ≠ 2 and -1 is a square in F, together with a direct proof by contradiction showing that any such formula over a formally real field would imply -1 is a sum of squares, violating the definition of formally real fields. Both parts are stated in terms of the bilinear identity and field axioms without fitted parameters, self-referential definitions, or load-bearing self-citations. The derivation does not reduce any claimed prediction to its own inputs by construction and remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on classical definitions from field theory and the standard notion of formally real fields; no new entities or fitted parameters are introduced in the abstract.

axioms (2)
  • standard math Fields of characteristic not equal to 2
    Invoked for the construction to be well-defined.
  • domain assumption A field is formally real if -1 is not a sum of squares
    Used to prove non-existence.

pith-pipeline@v0.9.0 · 5383 in / 1243 out tokens · 31942 ms · 2026-05-09T18:43:40.958363+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

30 extracted references · 30 canonical work pages

  1. [1]

    Adams,Vector fields on spheres, Ann

    J.F. Adams,Vector fields on spheres, Ann. of Math. (2)75(1962), no. 3, 603–632

    work page 1962

  2. [2]

    Adem,Construction of some normed maps, Bol

    J. Adem,Construction of some normed maps, Bol. Soc. Mat. Mexicana (2)20(1975), 59–75

    work page 1975

  3. [3]

    Adem,On the Hurwitz problem over an arbitrary field I, Bol

    J. Adem,On the Hurwitz problem over an arbitrary field I, Bol. Soc. Mat. Mexicana (2)25(1980), no. 1, 29–51

    work page 1980

  4. [4]

    Adem,On the Hurwitz problem over an arbitrary field II, Bol

    J. Adem,On the Hurwitz problem over an arbitrary field II, Bol. Soc. Mat. Mexicana (2)26(1981), no. 1, 29–41

    work page 1981

  5. [5]

    Albert,Quadratic forms permitting composition, Ann

    A.A. Albert,Quadratic forms permitting composition, Ann. of Math. (2)43(1942), no. 1, 161–177

    work page 1942

  6. [6]

    Atiyah, R

    M.F. Atiyah, R. Bott and A. Shapiro,Clifford modules, Topology3(1964), suppl. 1, 3–38

    work page 1964

  7. [7]

    Behrend,Über Systeme reeller algebraischer Gleichungen, Compositio Math.7 (1940), 1–19

    F. Behrend,Über Systeme reeller algebraischer Gleichungen, Compositio Math.7 (1940), 1–19

    work page 1940

  8. [8]

    Dugger and D.C

    D. Dugger and D.C. Isaksen,AlgebraicK-theory and sums-of-squares formulas, Doc. Math.10(2005), 357–366

    work page 2005

  9. [9]

    Dugger and D.C

    D. Dugger and D.C. Isaksen,The Hopf condition for bilinear forms over arbitrary fields, Ann. of Math. (2)165(2007), no. 3, 943–964

    work page 2007

  10. [10]

    Dugger and D.C

    D. Dugger and D.C. Isaksen,Étale homotopy and sums-of-squares formulas, Math. Proc. Cambridge Philos. Soc.145(2008), no. 1, 1–25

    work page 2008

  11. [11]

    Hrubeš, A

    P. Hrubeš, A. Wigderson and A. Yehudayoff,Non-commutative circuits and the sum-of-squares problem, J. Amer. Math. Soc.24(2011), no. 3, 871–898

    work page 2011

  12. [12]

    Hurwitz,Über die Komposition der quadratischen Formen von beliebig vielen Variablen, Nachr

    A. Hurwitz,Über die Komposition der quadratischen Formen von beliebig vielen Variablen, Nachr. Ges. Wiss. Göttingen, Math.-Phys. Kl. (1898), 309–316

    work page

  13. [13]

    Hurwitz,Über die Komposition der quadratischen Formen, Math

    A. Hurwitz,Über die Komposition der quadratischen Formen, Math. Ann.88(1923), 1–25

    work page 1923

  14. [14]

    Lam,Topological methods for studying the composition of quadratic forms, in Quadratic and Hermitian Forms(Hamilton, Ont., 1983), CMS Conf

    K.Y. Lam,Topological methods for studying the composition of quadratic forms, in Quadratic and Hermitian Forms(Hamilton, Ont., 1983), CMS Conf. Proc.4, Amer. Math. Soc., Providence, RI, 1984, pp. 173–192. BASE-FIELD DEPENDENCE OF THE HUR WITZ PROBLEM 11

    work page 1983

  15. [15]

    Lam,Some new results on composition of quadratic forms, Invent

    K.Y. Lam,Some new results on composition of quadratic forms, Invent. Math.79 (1985), no. 3, 467–474

    work page 1985

  16. [16]

    Lynn,Sums-of-squares formulas over algebraically closed fields, J

    M. Lynn,Sums-of-squares formulas over algebraically closed fields, J. Algebra497 (2018), 393–410

    work page 2018

  17. [17]

    Pfister,Multiplikative quadratische Formen, Arch

    A. Pfister,Multiplikative quadratische Formen, Arch. Math. (Basel)16(1965), 363– 370

    work page 1965

  18. [18]

    Radon,Lineare Scharen orthogonaler Matrizen, Abh

    J. Radon,Lineare Scharen orthogonaler Matrizen, Abh. Math. Sem. Univ. Hamburg1 (1922), 1–14

    work page 1922

  19. [19]

    Shapiro,On the Hurwitz problem over an arbitrary field, Bol

    D.B. Shapiro,On the Hurwitz problem over an arbitrary field, Bol. Soc. Mat. Mexicana (2)29(1984), 1–4

    work page 1984

  20. [20]

    Shapiro,Products of sums of squares, Expo

    D.B. Shapiro,Products of sums of squares, Expo. Math.2(1984), 235–261

    work page 1984

  21. [21]

    Shapiro and M

    D.B. Shapiro and M. Szyjewski,Product formulas for quadratic forms, Bol. Soc. Mat. Mexicana (2)37(1992), 463–474

    work page 1992

  22. [22]

    Shapiro,Compositions of Quadratic Forms, de Gruyter Expositions in Mathe- matics, vol

    D.B. Shapiro,Compositions of Quadratic Forms, de Gruyter Expositions in Mathe- matics, vol. 33, Walter de Gruyter, Berlin, 2000

    work page 2000

  23. [23]

    Stiefel,Über Richtungsfelder in den projektiven Räumen und einen Satz aus der reellen Algebra, Comment

    E. Stiefel,Über Richtungsfelder in den projektiven Räumen und einen Satz aus der reellen Algebra, Comment. Math. Helv.13(1940/41), 201–218

    work page 1940

  24. [24]

    Swan, K-theory of quadric hypersurfaces, Ann

    R.G. Swan, K-theory of quadric hypersurfaces, Ann. of Math. (2)122(1985), no. 1, 113–153

    work page 1985

  25. [25]

    Xie,An application of HermitianK-theory: sums-of-squares formulas, Doc

    H. Xie,An application of HermitianK-theory: sums-of-squares formulas, Doc. Math. 19(2014), 195–208

    work page 2014

  26. [26]

    Yiu,Quadratic forms between spheres and the non-existence of sums of squares formulae, Math

    P.Y.H. Yiu,Quadratic forms between spheres and the non-existence of sums of squares formulae, Math. Proc. Cambridge Philos. Soc.100(1986), no. 3, 493–504

    work page 1986

  27. [27]

    Yiu,Sums of squares formulae with integer coefficients, Canad

    P.Y.H. Yiu,Sums of squares formulae with integer coefficients, Canad. Math. Bull. 30(1987), no. 3, 318–324

    work page 1987

  28. [28]

    Yuzvinsky,Orthogonal pairings of Euclidean spaces, Michigan Math

    S. Yuzvinsky,Orthogonal pairings of Euclidean spaces, Michigan Math. J.28(1981), no. 2, 131–145

    work page 1981

  29. [29]

    Yuzvinsky,On the Hopf condition over an arbitrary field, Bol

    S. Yuzvinsky,On the Hopf condition over an arbitrary field, Bol. Soc. Mat. Mexicana (2)28(1983), 1–7

    work page 1983

  30. [30]

    Yuzvinsky,A series of monomial pairings, Linear and Multilinear Algebra15 (1984), no

    S. Yuzvinsky,A series of monomial pairings, Linear and Multilinear Algebra15 (1984), no. 2, 109–119. College of Sciences, Northeastern University, Shenyang, Liaoning 110004, China Email address:zhangchi@mail.neu.edu.cn Division of Mathematical Sciences, Nanyang Technological University, Singapore 637371 Email address:zhuh0031@e.ntu.edu.sg

    work page 1984