Generalizing Hurwitz's quaternionic proof of Lagrange's and Jacobi's four-square theorems

Abstract

A proof of Lagrange's and Jacobi's four-square theorem due to Hurwitz utilizes orders in a quaternion algebra over the rationals. Seeking a generalization of this technique to orders over number fields, we identify two key components: an order with a good factorization theory and the condition that all orbits under the action of the group of elements of norm $1$ acting by multiplication intersect the suborder corresponding to the quadratic form to be studied. We use recent results on class numbers of quaternion orders and then find all suborders satisfying the orbit condition. Subsequently, we obtain universality and formulas for the number of representations by the corresponding quadratic forms. We also present a quaternionic proof of Götzky's four-square theorem.

Published in Expositiones Mathematicae

References in corpus (8)

• Number fields without n-ary universal quadratic forms
• Universal quadratic forms and elements of small norm in real quadratic fields
• Lifting problem for universal quadratic forms
• There are no universal ternary quadratic forms over biquadratic fields
• Universal quadratic forms over multiquadratic fields
• Number fields without universal quadratic forms of small rank exist in most degrees
• Universal quadratic forms and indecomposables in number fields: A survey
• A Quaternionic Proof of the Universality of Some Quadratic Forms