Hurwitz problem
In mathematics, the Hurwitz problem (named after Adolf Hurwitz) is the problem of finding multiplicative relations between quadratic forms which generalise those known to exist between sums of squares in certain numbers of variables.
Description
There are well-known multiplicative relationships between sums of squares in two variables
- [math]\displaystyle{ (x^2+y^2)(u^2+v^2) = (xu-yv)^2 + (xv+yu)^2 \ , }[/math]
(known as the Brahmagupta–Fibonacci identity), and also Euler's four-square identity and Degen's eight-square identity. These may be interpreted as multiplicativity for the norms on the complex numbers [math]\displaystyle{ \mathbb{C} }[/math]), quaternions ([math]\displaystyle{ \mathbb{H} }[/math]), and octonions ([math]\displaystyle{ \mathbb{O} }[/math]), respectively.[1]:1–3[2]
The Hurwitz problem for the field K is to find general relations of the form
- [math]\displaystyle{ (x_1^2+\cdots+x_r^2) \cdot (y_1^2+\cdots+y_s^2) = (z_1^2 + \cdots + z_n^2) \ , }[/math]
with the z being bilinear forms in the x and y: that is, each z is a K-linear combination of terms of the form xi yj.[3]:127
We call a triple [math]\displaystyle{ \; (r, s, n) \; }[/math] admissible for K if such an identity exists.[1]:125 Trivial cases of admissible triples include [math]\displaystyle{ \; (r, s, rs) \;. }[/math] The problem is uninteresting for K of characteristic 2, since over such fields every sum of squares is a square, and we exclude this case. It is believed that otherwise admissibility is independent of the field of definition.[1]:137
The Hurwitz–Radon theorem
Hurwitz posed the problem in 1898 in the special case [math]\displaystyle{ \; r = s = n \; }[/math] and showed that, when coefficients are taken in [math]\displaystyle{ \mathbb{C} }[/math], the only admissible values [math]\displaystyle{ \, (n, n, n) \, }[/math] were [math]\displaystyle{ \; n \in \{ 1, 2, 4, 8 \} \;. }[/math][3]:130 His proof extends to a field of any characteristic except 2.[1]:3
The "Hurwitz–Radon" problem is that of finding admissible triples of the form [math]\displaystyle{ \, (r, n, n) \;. }[/math] Obviously [math]\displaystyle{ \; (1, n, n) \; }[/math] is admissible. The Hurwitz–Radon theorem states that [math]\displaystyle{ \; \left( \rho(n), n, n \right) \; }[/math] is admissible over any field where [math]\displaystyle{ \, \rho(n) \, }[/math] is the function defined for [math]\displaystyle{ \; n = 2^u v\;, }[/math] v odd, [math]\displaystyle{ \; u = 4 a + b \;, }[/math] with [math]\displaystyle{ \; 0 \le b \le 3 \;, }[/math] and [math]\displaystyle{ \; \rho(n) = 8 a + 2^b\;. }[/math][1]:137[3]:130
Other admissible triples include [math]\displaystyle{ \, (3, 5, 7) \, }[/math][1]:138 and [math]\displaystyle{ \, (10, 10, 16) \;. }[/math][1]:137
See also
- Composition algebra
- Hurwitz's theorem (normed division algebras)
- Radon–Hurwitz number
References
- ↑ 1.0 1.1 1.2 1.3 1.4 1.5 1.6 Rajwade, A.R. (1993). Squares. London Mathematical Society Lecture Note Series. 171. Cambridge University Press. ISBN 0-521-42668-5.
- ↑ Curtis, C.W. (1963). Albert, A.A.. ed. Studies in Modern Algebra. Mathematical Association of America. pp. 100–125, esp. 115. — Solution of Hurwitz's Problem on page 115.
- ↑ 3.0 3.1 3.2 Lam, Tsit-Yuen (2005). Introduction to Quadratic Forms over Fields. Graduate Studies in Mathematics. 67. American Mathematical Society. ISBN 0-8218-1095-2.
 |  |
