×

On the arithmetic determination of the trace. (English) Zbl 1326.11066

Let \(K\) be a number field with ring of integers \(\mathcal{O}_{K}\). We write \(t_{K} : \mathcal{O}_{K} \times \mathcal{O}_{K} \rightarrow \mathbb{Z}\) for the symmetric \(\mathbb{Z}\)-bilinear form given by \((x,y) \mapsto \mathrm{Tr}_{K/\mathbb{Q}}(xy)\), where \(\mathrm{Tr}_{K/\mathbb{Q}}\) is the usual trace map. The integral trace form \(q_{K} : \mathcal{O}_{K} \rightarrow \mathbb{Z}\) given by \(x \mapsto t_{K}((x,x))=\mathrm{Tr}_{K/\mathbb{Q}}(x^{2})\) is the integral quadratic form associated to the pairing \(t_{K}\). Two number fields \(K\) and \(L\) of equal degree \(n\) over \(\mathbb{Q}\) are said to have isometric integral trace forms whenever the integral quadratic forms \(q_{K}\) and \(q_{L}\) are equivalent, that is, if \(t_{K}\) and \(t_{L}\) are represented by symmetric integral \(n \times n\) matrices \(A\) and \(B\), respectively, then there exists some \(C \in \mathrm{GL}_{n}(\mathbb{Z})\) such that \(A=CBC^{t}\). A necessary condition for \(K\) and \(L\) to have isometric integral trace forms is that they have the same signature and discriminant. Thus, since a quadratic field is completely determined by its discriminant, two quadratic fields have isometric integral trace forms if and only if they have the same discriminant. It is of interest to find necessary and sufficient conditions for two number fields to have isometric integral trace forms in other cases, and the article under review gives several such results for number fields satisfying certain hypotheses.
One of the main results is that for non-totally real number fields that are only tamely ramified over \(\mathbb{Q}\), the integral trace pairing is completely determined by the discriminant, signature, and a finite set of positive integers that only depend on the factorization of ramified primes. As a consequence, the author deduces the following result: two non-totally real cubic number fields have isometric integral trace forms if and only if they have the same discriminant (note that here the fields in question are not required to be tamely ramified over \(\mathbb{Q}\)). Another result is as follows. Let \(L,K\) be non-totally real number fields with equal signature and fundamental discriminant (that is, their discriminants are equal to each other and to the discriminant of a quadratic field), and assume further that \(2\) is at most tamely ramified in both \(L/\mathbb{Q}\) and \(K/\mathbb{Q}\). Then the integral trace forms of \(L\) and \(K\) are isometric if and only if for every odd prime \(p\) that ramifies in \(K/\mathbb{Q}\), the number of primes of \(\mathcal{O}_{K}\) above \(p\) has the same parity as the number of primes of \(\mathcal{O}_{L}\) above \(p\).

MSC:

11R21 Other number fields
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Cohen, H., Constructing and counting number fields II, (Proceedings of the International Congress of Mathematicians. Proceedings of the International Congress of Mathematicians, Beijing, 2002 (2002)), 129-138 · Zbl 1042.11067
[2] Conway, J. H.; Sloane, N. J.A., Sphere Packings, Lattices and Groups (1999), Springer-Verlag: Springer-Verlag New York · Zbl 0915.52003
[3] Conner, P. E.; Perlis, R., A Survey of Trace Forms of Algebraic Number Fields (1984), World Scientific: World Scientific Singapore · Zbl 0551.10017
[4] Conner, P. E.; Yui, N., The additive characters of the Witt ring of an algebraic number field, Canad. J. Math., XL, 3, 546-588 (1988) · Zbl 0647.12006
[5] Eichler, M., Quadratische Formen und Orthogonal Gruppen (1952), Springer-Verlag · Zbl 0049.31106
[6] Erez, B.; Morales, J.; Perlis, R., Sur le Genre de la form trace, (Seminaire de Théorie des Nombres de Bordeaux, vol. 16. Seminaire de Théorie des Nombres de Bordeaux, vol. 16, Exposé, vol. 18 (1988)) · Zbl 0688.10020
[7] Ellenberg, J. S.; Venkatesh, A., The number of extensions of a number field with fixed degree and bounded discriminant, Ann. of Math., 163, 2, 723-741 (2006) · Zbl 1099.11068
[8] Mantilla-Soler, G., Integral trace forms associated to cubic extensions, Algebra Number Theory, 4-6, 681-699 (2010) · Zbl 1201.11100
[9] Mantilla-Soler, G., On number fields with equivalent integral trace forms, Int. J. Number Theory, 8-7, 1569-1580 (2012) · Zbl 1263.11099
[10] Mantilla-Soler, G., The spinor genus of the integral trace, Trans. Amer. Math. Soc. (2015), in press · Zbl 1410.11031
[12] O’meara, O. T., Introduction to Quadratic Forms, Grundlehren Math. Wiss., vol. 117 (1963), Springer, Academic Press: Springer, Academic Press Berlin, New York, xi+342 pp · Zbl 0107.03301
[13] Schmidt, W. M., Number fields of given degree and bounded discriminant, Columbia University Number Theory Seminar. Columbia University Number Theory Seminar, New York, 1992. Columbia University Number Theory Seminar. Columbia University Number Theory Seminar, New York, 1992, Astérisque, 228, 4, 189-195 (1995) · Zbl 0827.11069
[14] Serre, J. P., Local Fields, Grad. Texts in Math., vol. 67 (1979), Springer-Verlag: Springer-Verlag New York-Berlin, viii+241 pp · Zbl 0423.12016
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.