In mathematics, a universal quadratic form is a quadratic form over a ring that represents every element of the ring. A non-singular form over a field which represents zero non-trivially is universal.
Examples Over the real numbers, the form x 2 {\displaystyle x^{2}} in one variable is not universal, as it cannot represent negative numbers: the two-variable form x 2 − y 2 {\displaystyle x^{2}-y^{2}} over R {\displaystyle \mathbb {R} } is universal. Lagrange's four-square theorem states that every positive integer is the sum of four squares. Hence the form x 2 + y 2 + z 2 + t 2 − u 2 {\displaystyle x^{2}+y^{2}+z^{2}+t^{2}-u^{2}} over Z {\displaystyle \mathbb {Z} } is universal. Over a finite field, any non-singular quadratic form of dimension 2 or more is universal.
Forms over the rational numbers The Hasse–Minkowski theorem implies that a form is universal over Q {\displaystyle \mathbb {Q} } if and only if it is universal over Qp for all primes p {\displaystyle p} (where we include p = ∞ {\displaystyle p=\infty } , letting Q ∞ {\displaystyle \mathbb {Q} _{\infty }} denote R {\displaystyle \mathbb {R} } ). A form over R {\displaystyle \mathbb {R} } is universal if and only if it is not definite; a form over Q p {\displaystyle \mathbb {Q} _{p}} is universal if it has dimension at least 4. One can conclude that all indefinite forms of dimension at least 4 over Q {\displaystyle \mathbb {Q} } are universal.
See also The 15 and 290 theorems give conditions for a quadratic form to represent all positive integers.
References
Lam, Tsit-Yuen (2005). Introduction to Quadratic Forms over Fields. Graduate Studies in Mathematics. Vol. 67. American Mathematical Society. ISBN 0-8218-1095-2. MR 2104929. Zbl 1068.11023. Rajwade, A. R. (1993). Squares. London Mathematical Society Lecture Note Series. Vol. 171. Cambridge University Press. ISBN 0-521-42668-5. Zbl 0785.11022. Serre, Jean-Pierre (1973). A Course in Arithmetic. Graduate Texts in Mathematics. Vol. 7. Springer-Verlag. ISBN 0-387-90040-3. Zbl 0256.12001.
