Hermite reduction and a Waring’s problem for integral quadratic forms over number fields
HTML articles powered by AMS MathViewer
- by Wai Kiu Chan and María Inés Icaza PDF
- Trans. Amer. Math. Soc. 374 (2021), 2967-2985 Request permission
Abstract:
We generalize the Hermite-Korkin-Zolotarev (HKZ) reduction theory of positive definite quadratic forms over $\mathbb Q$ and its balanced version introduced recently by Beli-Chan-Icaza-Liu to positive definite quadratic forms over a totally real number field $K$. We apply the balanced HKZ-reduction theory to study the growth of the $g$-invariants of the ring of integers of $K$. More precisely, for each positive integer $n$, let $\mathcal {O}$ be the ring of integers of $K$ and $g_{\mathcal {O}}(n)$ be the smallest integer such that every sum of squares of $n$-ary $\mathcal {O}$-linear forms must be a sum of $g_{\mathcal {O}}(n)$ squares of $n$-ary $\mathcal {O}$-linear forms. We show that when $K$ has class number 1, the growth of $g_{\mathcal {O}}(n)$ is at most an exponential of $\sqrt {n}$. This extends the recent result obtained by Beli-Chan-Icaza-Liu on the growth of $g_{\mathbb Z}(n)$ and gives the first sub-exponential upper bound for $g_{\mathcal {O}}(n)$ for rings of integers $\mathcal {O}$ other than $\mathbb Z$.References
- R. Baeza and M. I. Icaza, On Humbert-Minkowski’s constant for a number field, Proc. Amer. Math. Soc. 125 (1997), no. 11, 3195–3202. MR 1403112, DOI 10.1090/S0002-9939-97-03940-3
- R. Baeza, D. Leep, M. O’Ryan, and J. P. Prieto, Sums of squares of linear forms, Math. Z. 193 (1986), no. 2, 297–306. MR 856157, DOI 10.1007/BF01174339
- Constantin N. Beli, Wai Kiu Chan, María Inés Icaza, and Jingbo Liu, On a Waring’s problem for integral quadratic and Hermitian forms, Trans. Amer. Math. Soc. 371 (2019), no. 8, 5505–5527. MR 3937301, DOI 10.1090/tran/7571
- M. D. Choi, Z. D. Dai, T. Y. Lam, and B. Reznick, The Pythagoras number of some affine algebras and local algebras, J. Reine Angew. Math. 336 (1982), 45–82. MR 671321, DOI 10.1515/crll.1982.336.45
- A. Fröhlich and M. J. Taylor, Algebraic number theory, Cambridge Studies in Advanced Mathematics, vol. 27, Cambridge University Press, Cambridge, 1993. MR 1215934
- John S. Hsia, Yoshiyuki Kitaoka, and Martin Kneser, Representations of positive definite quadratic forms, J. Reine Angew. Math. 301 (1978), 132–141. MR 560499, DOI 10.1515/crll.1978.301.132
- Pierre Humbert, Théorie de la réduction des formes quadratiques définies positives dans un corps algébrique K fini, Comment. Math. Helv. 12 (1940), 263–306 (French). MR 3002, DOI 10.1007/BF01620653
- María Inés Icaza, Sums of squares of integral linear forms, Acta Arith. 74 (1996), no. 3, 231–240. MR 1373710, DOI 10.4064/aa-74-3-231-240
- M. I. Icaza, Hermite constant and extreme forms for algebraic number fields, J. London Math. Soc. (2) 55 (1997), no. 1, 11–22. MR 1423282, DOI 10.1112/S0024610796004668
- Myung-Hwan Kim and Byeong-Kweon Oh, Representations of positive definite senary integral quadratic forms by a sum of squares, J. Number Theory 63 (1997), no. 1, 89–100. MR 1438651, DOI 10.1006/jnth.1997.2069
- Myung-Hwan Kim and Byeong-Kweon Oh, Representations of integral quadratic forms by sums of squares, Math. Z. 250 (2005), no. 2, 427–442. MR 2178793, DOI 10.1007/s00209-005-0761-5
- Martin Kneser, Klassenzahlen definiter quadratischer Formen, Arch. Math. 8 (1957), 241–250 (German). MR 90606, DOI 10.1007/BF01898782
- C. Ko, On the representation of a quadratic form as a sum of sqaures of linear forms, Quart. J. Math. Oxford 8 (1937), 81-98.
- Max Koecher, Beiträge zu einer Reduktionstheorie in Positivitätsbereichen. I, Math. Ann. 141 (1960), 384–432 (German). MR 124527, DOI 10.1007/BF01360255
- Robbin O’Leary and Jeffrey D. Vaaler, Small solutions to inhomogeneous linear equations over number fields, Trans. Amer. Math. Soc. 336 (1993), no. 2, 915–931. MR 1094559, DOI 10.1090/S0002-9947-1993-1094559-2
- O. T. O’Meara, Introduction to quadratic forms, Die Grundlehren der mathematischen Wissenschaften, Band 117, Academic Press, Inc., Publishers, New York; Springer-Verlag, Berlin-Göttingen-Heidelberg, 1963. MR 0152507
- O. T. O’Meara, The integral representations of quadratic forms over local fields, Amer. J. Math. 80 (1958), 843–878. MR 98064, DOI 10.2307/2372837
- L. J. Mordell, A new Waring’s problem with squares of linear forms, Quart. J. Math. Oxford 1 (1930), 276-288.
- Carl Riehm, On the integral representations of quadratic forms over local fields, Amer. J. Math. 86 (1964), 25–62. MR 161853, DOI 10.2307/2373034
- C.-P. Schnorr, A hierarchy of polynomial time lattice basis reduction algorithms, Theoret. Comput. Sci. 53 (1987), no. 2-3, 201–224. MR 918090, DOI 10.1016/0304-3975(87)90064-8
- A. Weil, Discontinuous subgroups of classical groups, lecture notes, University of Chicago, 1958.
Additional Information
- Wai Kiu Chan
- Affiliation: Department of Mathematics and Computer Science, Wesleyan University, Middletown, Connecticut 06459
- MR Author ID: 336822
- Email: wkchan@wesleyan.edu
- María Inés Icaza
- Affiliation: Instituto de Matemática y Física, Universidad de Talca, Casilla 747, Talca, Chile
- Email: icazap@inst-mat.utalca.cl
- Received by editor(s): January 23, 2020
- Received by editor(s) in revised form: September 4, 2020
- Published electronically: February 2, 2021
- © Copyright 2021 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 374 (2021), 2967-2985
- MSC (2020): Primary 11E12, 11E25, 11E39
- DOI: https://doi.org/10.1090/tran/8298
- MathSciNet review: 4223039
Dedicated: In memory of John Hsia, a mentor and a friend, who taught us everything we know about quadratic forms.