Abstract
The study of orthogonal multiplications is more than 100 years old and goes back to the works of Hurwitz and Radon. Yet, apart from the extensive literature on admissibility of domain and range dimensions near the Hurwitz-Radon range (in codimension \(\le 8\)), only sporadic and fragmentary results are known about full classification (in large codimension), more specifically, about the moduli space \(\mathfrak {M}_m\) of orthogonal multiplications \(F:\mathbb {R}^m\times \mathbb {R}^m\rightarrow \mathbb {R}^n\) (for various n), even for \(m\le 4\). In this paper we give an insight to the subtle geometries of \(\mathfrak {M}_3\) and \(\mathfrak {M}_4\). Orthogonal multiplications are intimately connected to quadratic eigenmaps between spheres via the Hopf-Whitehead construction. The 9-dimensional moduli space \(\mathfrak {M}_3\) lies on the boundary of the 84-dimensional moduli of quadratic eigenmaps of \(S^5\) into spheres. Similarly, the 36-dimensional moduli space \(\mathfrak {M}_4\) is on the boundary of the 300-dimensional moduli of quadratic eigenmaps of \(S^7\) into spheres. We will show that \(\mathfrak {M}_3\) is the \(SO(3)\times SO(3)\)-orbit of a 3-dimensional convex body bounded by Cayley’s nodal cubic surface with vertices in a real projective space \(\mathbb {R}P^3\), the latter imbedded equivariantly and minimally in an 8-sphere of the space of quadratic spherical harmonics on \(S^3\). For \(\mathfrak {M}_4\), we show that it possesses two orthogonal 18-dimensional slices each of which is an \(SO(4)\times SO(4)\)-orbit of a 6-dimensional polytope \(\mathcal {P}\subset \mathbb {R}^6\). This polytope itself is the convex hull of two orthogonal regular tetrahedra. The corresponding orthogonal multiplications are explicitly constructible. Finally, we give an algebraic description of the 24-dimensional space of diagonalizable elements in \(\mathfrak {M}_4\). The crucial fact in \(\mathbb {R}^4\) is the splitting of the exterior product \(\Lambda ^2(\mathbb {R}^4)\) into self-dual and anti-self-dual components. The techniques employed here can be traced back to the work of Ziller and the author (Toth and Ziller 1999) in describing the 18-dimensional moduli for quartic spherical minimal immersions of \(S^3\) into spheres. As a new feature, we point out the importance of multiplicity of the zeros of the polynomials that define the boundary \(\partial \,\mathfrak {M}_m\) as a determinantal variety.
Similar content being viewed by others
References
Adem, J.: On the Hurwitz problem over arbitrary field I. Boll. Soc. Mat. Mexicana 25, 29–51 (1980)
Adem, J.: On the Hurwitz problem over arbitrary field II. Boll. Soc. Mat. Mexicana 26, 29–41 (1981)
Cayley, A.: A memoir on cubic surfaces. Philos. Trans. R. Soc. Lond. 159, 231–326 (1869)
Eells, J., Lemaire, L.: A report on harmonic maps. Bull. Lond. Math. Soc. 10, 1–68 (1978)
Eells, J., Lemaire, L.: Selected topics in harmonic maps. CBMS Reg. Conf., vol. 50 (1980)
Gauchman, H., Toth, G.: Real orthogonal multiplications of codimension two. Nova J. Algebra Geom. 3(1), 41–72 (1994)
Gauchman, H., Toth, G.: Normed bilinear pairings for semi-Euclidean spaces near the Hurwitz-Radon range. Results Math. 30, 276–301 (1996)
Grünbaum, B.: Measures of symmetry for convex sets. In: Proc. Sympos. Pure Math., vol. VII, pp. 233–270 (1963)
He, H., Ma, H., Xu, F.: On eigenmaps between spheres. Bull. Lond. Math. Soc. 35, 344–354 (2003)
Hunt, B.: The geometry of some special arithmetic quotients. Springer, New York (1996)
Hurwitz, A.,: Über die Komposition der quadratischen Formen von beliebig vielen Varaibeln, Nach. v. der Ges. der Wiss. Göttingen, math. Phys. Kl. pp. 309–316 (1898, Reprinted in Math. Werke II, 565–571)
Hurwitz, A.: Über der Komposition der quadratischen Formen. Math. Ann. 88, 1–25 (1923)
Parker, M.: Orthogonal multiplications in small dimensions. Bull. Lond. Math. Soc. 15, 368–372 (1983)
Radon, J.: Lineare scharen orthogonale Matrizen. Abh. Math. Sem. Univ. Hamburg 1, 1–24 (1922)
Shapiro, D.: Products of sums of squares. Expo. Math. 2, 235–261 (1984)
Shapiro, D.: Compositions of quadratic forms. De Gruyter Exp. Math. vol. 33 (2000)
Tang, Z.: New constructions of eigenmaps between spheres. Int. J. Math. 12(3), 277–288 (2001)
Toth, G.: On classification of orthogonal multiplications à la DoCarmo-Wallach. Geom. Dedicata 22, 251–254 (1987)
Toth, G.: Finite Möbius groups, minimal immersions of spheres, and moduli. Springer, New York (2002)
Toth, G., Ziller, W.: Spherical minimal immersions of the 3-sphere. Comment. Math. Helv. 74, 84–117 (1999)
Wu, F., Xiong, Y., Zhao, X.: Classification of quadratic harmonic maps of \(S^7\) into \(S^7\). J. Geom. Anal. 25(3), 1992–2010 (2015)
Author information
Authors and Affiliations
Corresponding author
Additional information
Part of this work has been carried out while the author visited Academia Sinica, Taipei, in January, 2014, and the Department of Mathematics of Tsinghua University, Beijing, in March, 2014. The author wishes to thank Prof. Hui Ma for her hospitality and organizing a ‘marathon’ seminar on orthogonal multiplications in Tsinghua. In addition, he is also thankful for extensive discussions on the subject with Prof. Zhizhu Tang and Prof. Faen Wu.
Rights and permissions
About this article
Cite this article
Toth, G. On the space of orthogonal multiplications in three and four dimensions and Cayley’s nodal cubic. Beitr Algebra Geom 57, 407–439 (2016). https://doi.org/10.1007/s13366-015-0269-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13366-015-0269-z