Universal Quadratic Forms in Number Theory

The theory of universal quadratic forms centres on those homogeneous polynomials of degree two in several variables that represent every nonnegative integer (or every totally positive element in a number field). Its origins lie in classical results such as Lagrange’s four squares theorem and the sum of three triangular numbers theorem. In the twentieth century the Conway–Schneeberger fifteen theorem established that a positive-definite integral quadratic form is universal precisely when it represents a specific finite list of small integers, a finiteness phenomenon later extended by Bhargava and Hanke in the celebrated 290-theorem. These breakthroughs blend the geometry of numbers, local–global principles and the theory of modular forms. Generalisation to algebraic number fields introduces new challenges. The arithmetic of the ring of integers, the behaviour of units and the field signature all influence which forms become universal. Over real quadratic fields, continued fraction techniques link convergents to representation behaviour and yield effective bounds on the minimal number of variables needed. In cubic and biquadratic fields, the study of additively indecomposable algebraic integers has revealed precise growth patterns in the ranks of universal forms and in the numbers of indecomposables as functions of the field discriminant. Research in this area underpins applications in lattice-based cryptography, error-correcting codes and optimisation, and interfaces with automorphic representation theory, underscoring its centrality in contemporary arithmetic research.

Research from Nature Portfolio

No recent Nature Portfolio content available.

Universal Quadratic Forms in Number Theory publication trend

The graph below shows the total number of articles in universal quadratic forms in number theory across all publications each year (not limited to Nature Index journals).

Technical terms

Universal quadratic form: A positive-definite quadratic polynomial in several variables that represents every nonnegative integer (or every totally positive element of a number field).

Totally real number field: An algebraic extension of the rational numbers all of whose embeddings into the complex numbers lie in the real numbers.

Signature rank: In a totally real field, the number of real embeddings under which a quadratic form remains positive definite.

Discriminant: An invariant of a number field or quadratic form that measures its arithmetic complexity and influences representation properties.

Additively indecomposable integer: A totally positive algebraic integer that cannot be expressed as a sum of two other totally positive integers in the same field.

References

1. On the Rank of Universal Quadratic Forms over Real Quadratic Fields. Documenta Mathematica (2018).
2. Additive structure of non-monogenic simplest cubic fields. The Ramanujan Journal (2025).
3. Sails for universal quadratic forms. Selecta Mathematica (2025).