Harrison Center and Products of Sums of Powers

Abstract

This paper is mainly concerned with identities like

$\begin{aligned} \left( x_1^d + x_2^d + \cdots + x_r^d\right) \left( y_1^d + y_2^d + \cdots y_n^d\right) = z_1^d + z_2^d + \cdots + z_m^d \end{aligned}$

where $d>2,$ $m \in \{n, n+1\},$ $x=(x_1, x_2, \dots , x_r)$ and $y=(y_1, y_2, \dots , y_n)$ are systems of indeterminates and each $z_k$ is a linear form in y with coefficients in the rational function field $\mathbb {k}(x)$ over any field $\mathbb {k}$ of characteristic 0 or greater than d. These identities are higher degree analogue of the well-known composition formulas of sums of squares of Hurwitz, Radon and Pfister. We show that all but one such composition identities of sums of higher powers are trivial, i.e., r necessarily equals 1. Our proof is simple and elementary, in which the crux is Harrison’s center theory of homogeneous polynomials.

Keywords

Sum of powers / Composition

References

[1] Becker, E.: The real holomorphy ring and sums of $2^n$-th powers, In: Géometrie Algébrique Réelle et Formes Quadratiques, (J.-L. Colliot-Thélène, M. Coste, L. Mahé and M.-F. Roy, eds.), Lecture Notes in Math. 959 (1981), Springer, Berlin, 139–181

[2] Carlson, J., Griffiths, P.: Infinitesimal variations of Hodge structure and the global Torelli problem, In: Beauville, A. (Ed.) Journées de Géometrie Algébrique d’Angers, pp. 51–76. Sijthoff and Noordhoff (1980)

[3] Fedorchuk M. Direct sum decomposability of polynomials and factorization of associated forms. Proc. London Math. Soc.. 2020, 120 305-327

[4] Gude U-G. Über die Nichtexistenz rationaler Kompositionsformeln bei Formen höheren Grades, doctoral dissertation. 1988 Dortmund: Univ

[5] Harrison D, Pareigis B. Witt rings of higher degree forms. Comm. Algebra. 1988, 16 6 1275-1313

[6] Harrison D. A Grothendieck ring of higher degree forms. J. Algebra. 1975, 35 123-138

[7] Huang H-L, Lu H, Ye Y, Zhang C. Centers of multilinear forms and applications. Linear Alg. Appl.. 2023, 673 160-176

[8] Huang H-L, Lu H, Ye Y, Zhang C. Diagonalizable higher degree forms and symmetric tensors. Linear Alg. Appl.. 2021, 613 151-169

[9] Huang H-L, Lu H, Ye Y, Zhang C. On centers and direct sum decompositions of higher degree forms. Linear Multilinear Algebra. 2022, 70 22 7290-7306

[10] Hurwitz, A.: Über die Komposition der quadratischen Formen von beliebig vielen Variablen, Nahr. Ges. Wiss. Göttingen (1898) 309–316

[11] Hurwitz A. Über die Komposition der quadratischen Formen. Math. Ann.. 1923, 88 1-25

[12] Kleppe, J.: Additive splittings of homogeneous polynomials, Ph.D. thesis, U. Oslo, 2005, arXiv:1307.3532

[13] Nathanson M. Products of sums of powers. Math. Mag.. 1975, 48 112-113

[14] Pfister A. Multiplikative quadratische Formen. Arch. Math.. 1965, 16 363-370

[15] Pfister A. Zur Darstellung von $-1$ als Summe von Quadraten in einem Körpern. J. London Math. Soc.. 1965, 40 159-165

[16] Prószyński A. On orthogonal decomposition of homogeneous polynomials. Fund. Math.. 1978, 98 201-217

[17] Radon J. Lineare scharen orthogonale Matrizen. Abh. Math. Sem. Univ. Hamburg. 1922, 1 1-14

[18] Reichstein B. On symmetric operators of higher degree and their applications. Linear Alg. Appl.. 1986, 75 155-172

[19] Shapiro D. Compositions of quadratic forms. 2000 Berlin: Walter de Gruyter & Co.

[20] Wang Z. On homogeneous polynomials determined by their Jacobian ideal. Manuscripta Math.. 2015, 146 559-574

Funding

NSFC(11971181)

NSFC(12131015)