On biquadratic fields: when 5 squares are not enough
Pith reviewed 2026-05-22 00:54 UTC · model grok-4.3
The pith
Most totally real biquadratic fields containing sqrt(6) or sqrt(7) have Pythagoras number at least 6.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that all but finitely many totally real biquadratic fields K containing sqrt(6) or sqrt(7) satisfy P(O_K) >= 6. The proof proceeds by showing that local conditions and norm equations in the relevant biquadratic extensions can be controlled uniformly outside a finite set. Supporting computations and ideas are given for the remaining class containing sqrt(3), which together allow an explicit list of the exceptional fields where the Pythagoras number may be smaller.
What carries the argument
Uniform control of local conditions and solvability of norm equations in biquadratic extensions, used to show that certain elements cannot be sums of five squares for most fields.
If this is right
- The conjecture holds for the two classes containing sqrt(6) and sqrt(7) with only finitely many exceptions.
- An explicit finite list of exceptional biquadratic fields can be stated for the full conjecture.
- Fields containing sqrt(2) or sqrt(5) remain the only candidates where the Pythagoras number could stay below 6.
- The presence of particular quadratic subfields determines whether five squares suffice for all but finitely many cases.
Where Pith is reading between the lines
- Similar uniform-control arguments on norms might apply to Pythagoras numbers in other classes of number fields.
- Direct computation of the Pythagoras number for each listed exceptional field would complete the picture for all biquadratic cases.
- The result suggests that the Pythagoras number stabilizes at 6 once the field avoids the subfields sqrt(2) and sqrt(5).
Load-bearing premise
Local conditions and norm equations in the biquadratic extensions admit uniform control outside a finite set of fields.
What would settle it
An infinite family of biquadratic fields containing sqrt(6) in which some positive element of the ring of integers cannot be written as a sum of five squares would be contradicted by exhibiting one such field where every sum of squares is already a sum of five squares.
read the original abstract
In this paper we study the Pythagoras number $\mathcal{P}(\mathcal{O}_K)$ for the rings of integers in totally real biquadratic fields $K$. We continue the work of Tinkov\'a towards proving the conjecture by Kr\'asensk\'y, Ra\v{s}ka and Sgallov\'a that a biquadratic $K$ satisfies $\mathcal{P}(\mathcal{O}_K)\geq 6$ if and only if it contains neither $\sqrt{2}$ nor $\sqrt{5}$, with only finitely many exceptions. We fully solve two out of three remaining classes of fields by proving that all but finitely many $K$ containing $\sqrt{6}$ or $\sqrt{7}$ satisfy $\mathcal{P}(\mathcal{O}_K)\geq 6$. Furthermore, we present ideas and computations which further support the conjecture also for $K$ containing $\sqrt{3}$. This enables us to refine the conjecture by explicitly listing the exceptional fields.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies the Pythagoras number P(O_K) for rings of integers in totally real biquadratic fields K. It proves that all but finitely many K containing sqrt(6) or sqrt(7) satisfy P(O_K) >= 6, thereby resolving two of the three remaining classes toward the conjecture of Krásenský, Raška and Sgallová that P(O_K) >= 6 precisely when K contains neither sqrt(2) nor sqrt(5), up to finitely many exceptions. Supporting computations and ideas are given for the sqrt(3) case, and the conjecture is refined by an explicit list of exceptional fields.
Significance. If the finiteness claims hold, the work makes substantial progress on the conjecture by supplying explicit constructions and density arguments that settle two classes completely (modulo finitely many exceptions). The computational evidence for the sqrt(3) case and the refined list of exceptions render the overall statement more precise and directly testable.
major comments (2)
- [§4 and §5] §4 (sqrt(6) case) and §5 (sqrt(7) case): the proofs that the relevant norm equations N_{L/K}(x) = a are solvable for all but finitely many K rely on local conditions holding uniformly via Chebotarev density or Hasse norm theorem, but no explicit bound on the exceptional set (independent of disc(K) or class number) is supplied; without this, it remains possible that global obstructions persist for infinitely many fields.
- [Theorem 1.3] Theorem 1.3 (main finiteness statement for sqrt(6) and sqrt(7)): the claim that only finitely many exceptions exist is load-bearing for the resolution of the two classes, yet the argument appears to invoke stabilization of idèle-class quotients without a uniform effective version; an explicit effective bound or a separate verification that no infinite family of counterexamples arises would be required.
minor comments (2)
- [§6] The list of exceptional fields in the refined conjecture (Table 1 or §6) should include a brief indication of how each was verified to be an exception (e.g., explicit element not sum of five squares).
- [§§3–5] Notation for the quadratic subfields and the associated norm equations could be made more uniform across §§3–5 to ease comparison of the three cases.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for identifying the need for greater precision regarding the finiteness statements in Sections 4, 5, and Theorem 1.3. We address each major comment below and indicate where revisions can be made.
read point-by-point responses
-
Referee: [§4 and §5] §4 (sqrt(6) case) and §5 (sqrt(7) case): the proofs that the relevant norm equations N_{L/K}(x) = a are solvable for all but finitely many K rely on local conditions holding uniformly via Chebotarev density or Hasse norm theorem, but no explicit bound on the exceptional set (independent of disc(K) or class number) is supplied; without this, it remains possible that global obstructions persist for infinitely many fields.
Authors: We agree that the arguments in §§4–5 establish finiteness of exceptions via the Chebotarev density theorem ensuring that certain splitting conditions hold for all but finitely many K, after which the Hasse norm theorem lifts local solvability to global solvability. This shows that the set of K for which the norm equation fails is finite, but the proof is not effective and supplies no explicit bound independent of the discriminant or class number. We acknowledge this as a limitation of the current approach; obtaining an effective bound would require effective forms of Chebotarev or explicit estimates on class numbers in the relevant extensions, which lie outside the scope of the paper. In the revised version we will add a clarifying remark after the statements of the main theorems noting that the exceptional sets are finite but not explicitly bounded. revision: partial
-
Referee: [Theorem 1.3] Theorem 1.3 (main finiteness statement for sqrt(6) and sqrt(7)): the claim that only finitely many exceptions exist is load-bearing for the resolution of the two classes, yet the argument appears to invoke stabilization of idèle-class quotients without a uniform effective version; an explicit effective bound or a separate verification that no infinite family of counterexamples arises would be required.
Authors: The finiteness in Theorem 1.3 follows from the combination of the density arguments in §§4–5 (which already guarantee that local conditions hold outside a finite set) together with the stabilization of the relevant idèle-class quotients for fields of sufficiently large discriminant. Because the exceptional fields are contained in the finite set where the Chebotarev conditions fail, no infinite family of counterexamples can arise. We do not claim a uniform effective version of the stabilization; the argument is existential. We will revise the proof of Theorem 1.3 to make the dependence on the discriminant and the containment of exceptions within the Chebotarev-exceptional set more explicit. revision: partial
- Supplying an explicit effective bound on the size of the exceptional sets (independent of discriminant and class number) for the sqrt(6) and sqrt(7) cases.
Circularity Check
No circularity: proofs use independent standard tools and explicit arguments
full rationale
The paper establishes the main results for biquadratic fields containing sqrt(6) or sqrt(7) by explicit constructions controlling norm equations and local conditions in quadratic extensions, invoking standard theorems such as the Hasse norm theorem and Chebotarev density to secure uniformity outside a finite set. These steps draw on external algebraic number theory machinery and do not reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations. References to prior work on the conjecture supply context but are not invoked as uniqueness theorems or ansatzes that force the outcome; the finiteness claim follows from density arguments independent of the target Pythagoras number bound. The derivation remains self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard facts about the ring of integers in totally real biquadratic fields and the behavior of sums of squares under field embeddings.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.