Lifting Problems for Universal Quadratic Forms

• The paper presents a detailed analysis of lifting universal quadratic forms across totally real field extensions using explicit local-global criteria and computational methods.
• It shows through classification and enumeration that only specific fields like Q, Q(√5), and Q(ζ7+ζ7⁻¹) admit universal Z-forms.
• The study establishes finiteness results and conjectures for universality under extensions, linking arithmetic invariants with geometric techniques.

A lifting problem for universal quadratic forms concerns the existence and transfer of positive-definite quadratic forms—especially with $\mathbb{Z}$-coefficients—capable of representing every totally positive integer in the ring of integers of a totally real number field, and explores the behavior of such forms under field extensions. The subject intricately combines techniques from arithmetic theory of quadratic forms, geometry of numbers, explicit local-global criteria, and computational enumeration. The central questions are universal existence over fixed number fields, classification for small degrees, criteria for lifting universality, and finiteness results for families of extensions (Kala et al., 2018, Kala et al., 2021, Kim et al., 2023, Kala et al., 2024, Kramer et al., 22 Jan 2026, Kala et al., 2024).

1. Preliminaries: Universal Quadratic Forms and Indecomposables

Let $K$ be a totally real number field of degree $n=[K:\mathbb{Q}]$ with ring of integers $\mathcal{O}_K$. A positive-definite quadratic form $Q$ in $m$ variables with integer coefficients ($a_{ij}\in\mathbb{Z}$) is universal over $K$ if for every totally positive $\alpha\in\mathcal{O}_K^+$, there exist $x_1,\ldots,x_m\in\mathcal{O}_K$ such that $K$0. The structure and existence of universal forms are strongly influenced by arithmetic properties of $K$1, notably its unit group, codifferent ideal $K$2, and the set of indecomposable totally positive elements—those not expressible as the sum of two nonzero totally positive integers. Indecomposables often present the local and global obstructions to universality (Kala et al., 2018, Kala et al., 2024).

The Pythagoras number $K$3 of a ring $K$4 (such as $K$5 or an order $K$6) is the minimal $K$7 such that every element in $K$8 that is a sum of squares is a sum of at most $K$9 squares.

2. Classification of Totally Real Fields Admitting Universal $n=[K:\mathbb{Q}]$0-Forms

For fields of degrees $n=[K:\mathbb{Q}]$1, complete classification results have been obtained. Only three totally real fields admit a universal quadratic form with $n=[K:\mathbb{Q}]$2-coefficients:

• $n=[K:\mathbb{Q}]$3: Lagrange’s four-squares theorem.
• $n=[K:\mathbb{Q}]$4: Universal ternary form, classification incomplete for higher ranks.
• $n=[K:\mathbb{Q}]$5: Maximal real subfield of the $n=[K:\mathbb{Q}]$6th cyclotomic field, quaternary form $n=[K:\mathbb{Q}]$7 is universal.

No quartic, quintic, or real biquadratic fields admit universal $n=[K:\mathbb{Q}]$8-forms. The proof utilizes a computational classification where universality for $n=[K:\mathbb{Q}]$9 implies that every $\mathcal{O}_K$0 must be a sum of squares. Through enumeration and “house bound” on generators, only $\mathcal{O}_K$1, $\mathcal{O}_K$2, and $\mathcal{O}_K$3 survive in degrees $\mathcal{O}_K$4 (Kala et al., 2018, Kim et al., 2023, Kala et al., 2024).

Table: Known Fields With Universal $\mathcal{O}_K$5-Forms, $\mathcal{O}_K$6

Field	Degree	Known Universal Form (example)
$\mathcal{O}_K$7	1	$\mathcal{O}_K$8
$\mathcal{O}_K$9	2	$Q$0
$Q$1	3	$Q$2

3. Lifting Problem: Universality Under Field Extensions

The central lifting problem asks: for a fixed totally real field $Q$3 and quadratic form $Q$4 defined over $Q$5, for which totally real extensions $Q$6 does $Q$7 remain universal over $Q$8? The problem generalizes to forms $Q$9 defined over a subfield $m$0 and their universality after scalar extension to a larger field $m$1 (Kala et al., 2021, Kala et al., 2024).

A universal form $m$2 over $m$3 can only be lifted universally to fields whose ring of integers admits a basis of bounded archimedean size ("short basis" property). This results in finiteness: for fixed $m$4, $m$5, and extension degree $m$6, there are only finitely many $m$7 such that $m$8 is universal over $m$9 (Kala et al., 2021, Kala et al., 2024).

Indecomposable elements and local-global criteria play a decisive role in controlling universality after lifting. The presence of non-$a_{ij}\in\mathbb{Z}$0-representable indecomposables in $a_{ij}\in\mathbb{Z}$1 prohibits universal lifting.

4. Universality and Sums of Squares: Local and Global Obstructions

Universal quadratic forms are intimately connected to the ability to write elements—especially multiples of 2—as sums of squares. Critical to non-existence results is the failure of every element of $a_{ij}\in\mathbb{Z}$2 to be a sum of squares, which is checked via explicit trace, norm, and indecomposable enumeration (Kala et al., 2024).

Local criteria—especially at dyadic places—are formulated via invariants of the lattice (Jordan splitting, Beli’s BONG invariants, $a_{ij}\in\mathbb{Z}$3, $a_{ij}\in\mathbb{Z}$4), yielding necessary and sufficient conditions and minimal testing sets for $a_{ij}\in\mathbb{Z}$5-universality over dyadic local fields (He et al., 2022, He, 2023). Arithmetic Springer’s theorem for indefinite forms ensures descent of $a_{ij}\in\mathbb{Z}$6-universality under odd-degree extensions, and spinor norm principles further refine the representation theory under field extensions.

5. Conjectures, Finiteness Results, and Recent Developments

The main conjecture, confirmed in degrees $a_{ij}\in\mathbb{Z}$7, posits that only $a_{ij}\in\mathbb{Z}$8, $a_{ij}\in\mathbb{Z}$9, and $K$0 admit universal $K$1-forms among totally real fields (Kala et al., 2018, Kala et al., 2024). Kitaoka’s conjecture—that only finitely many totally real fields (or extensions of fixed degree) admit universal ternary quadratic forms—has been resolved for cyclotomic and quartic families (Kala et al., 2021, Kala et al., 2024, Kramer et al., 22 Jan 2026).

The finiteness theorem for lifting (Kala–Yatsyna, Kala–Kim–Lee) establishes that for a base field $K$2 and fixed extension degree, only finitely many totally real extensions $K$3 admit universal forms defined over $K$4; explicit classification is achieved for quadratic extensions over fields of class number 1 (Kala et al., 2024).

6. Essential Proof Techniques and Computational Strategies

The methodology integrates:

• Trace form and E-type lattice analysis, minimal vector bounds (Kitaoka).
• Siegel–Zagier formulas for counting minimal vectors via Dedekind zeta values.
• Computational enumeration of fields with “small house” generators and indecomposable elements.
• Explicit local criteria via BONG invariants and Jordan splitting, enabling reduction to finitely many cases.
• Geometry of numbers arguments for bounding embedding sizes and excluding candidates.

Computational approaches enumerate defining polynomials for fields of bounded degree and house bounds, check sums of squares for $K$5, and analyze indecomposable elements via norm and trace bounds.

7. Open Problems and Future Directions

Key open questions include:

• Full classification for degrees $K$6 and extension families not covered by current techniques.
• Classification of universal forms over $K$7 beyond ternary forms.
• Existence or non-existence of universal forms over fields with non-principal codifferent.
• Identification of infinite towers of totally real extensions with universal forms.

Advances in explicit lattice construction, refined local-global criteria, and computational techniques are expected to drive further progress in the lifting problem and universality theory for quadratic forms (Kala et al., 2018, Kala et al., 2024).