On the arithmetic determination of the trace

DOI10.1016/J.JALGEBRA.2015.07.029MaRDI QIDQ745160zbMATH OpenOpenAlexFDO

Authors Guillermo Mantilla-Soler

Publication date 13 October 2015

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1308.2187

zbMATH Keywords

cubic fields discriminants real number fields trace forms

Mathematics Subject Classification ID

Other number fields (11R21)

Abstract: Let

K

be a number field, which is tame and non totally real. In this article we give a numerical criterion, depending only on the ramification behavior of ramified primes in

K

, to decide whether or not the integral trace of

K

is isometric to the integral trace of another number field

L

. As a byproduct of our proofs here, and in contrast with our previous results for cubic fields of positive discriminant, we show that for cubic fields of negative discriminant isometry between integral traces is equivalent to equality of discriminants.

Review text

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\).

Recommendations

Cites work

Cited in

(18)

This page was built for publication: On the arithmetic determination of the trace

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q745160)