An introduction to oddly tame number fields (Q2219654)

The integral trace form of a number field \(K\) is the isometry class of the \(\mathbb{Z}\)-quadratic module \(\left\langle \mathbb{Z}_{K},t_{K}\right\rangle\) associated to the trace pairing \[ t_{K}:\mathbb{Z}_{K}\times \mathbb{Z}_{K}\rightarrow \mathbb{Z}\quad (x,y)\mapsto \mathrm{Tr}_{K/\mathbb{Q}}(xy), \] where \(\mathbb{Z}_{K}\) is the ring of the integers of \(K\) and \(\mathrm{Tr}_{K/\mathbb{Q}}\) is the usual trace map. Then, the spinor genus of \(\left\langle \mathbb{Z}_{K},t_{K}\right\rangle\) determines the discriminant and the signature of \(K\), since \(\det (\left\langle \mathbb{Z}_{K},t_{K}\right\rangle )=\operatorname{disc}(K)\), and \(\operatorname{Sign}(\left\langle \mathbb{Z}_{K},t_{K}\right\rangle )=(r_{K}+s_{K},s_{K})\), where \(r_{K}\) and \(s_{K}\) denote the number of real and complex places of \(K\), respectively. Given two number fields \(K\) and \(L\) of equal degree, say \(d\), it is of interest to find necessary and sufficient conditions that make \(\left\langle \mathbb{Z}_{K},t_{K}\right\rangle\) and \(\left\langle \mathbb{Z}_{L},t_{L}\right\rangle\) isometric, or in the same spinor class. For instance if \(d=2\), then the following four assertions are equivalent: \begin{itemize} \item[(1)] \(\left\langle \mathbb{Z}_{K},t_{K}\right\rangle\) and \(\left\langle \mathbb{Z}_{L},t_{L}\right\rangle\) are isometric; \item[(2)] \(\left\langle \mathbb{Z}_{K},t_{K}\right\rangle\) and \(\left\langle \mathbb{Z}_{L},t_{L}\right\rangle\) belong to the same spinor genus; \item[(3)] \(\operatorname{disc}(K)=\operatorname{disc}(L)\); \item[(4)] \(\operatorname{disc}(K)=\operatorname{disc}(L)\) and \((r_{K},s_{K})=(r_{L},s_{L})\). \end{itemize} Also for \(d=3\), we have from [the author, J. Algebra 444, 272--283 (2015; Zbl 1326.11066)] that \((2)\) if and only if \( (3)\), and if \(K\) (or \(L)\) is not totally real, then \((1)\) if and only if \((3)\). In the paper under review, the author continues to investigate algebraic number fields satisfying similar properties. Mainly, he defines a family, say \(\mathfrak{F}\), of number fields, that contains among others all odd degree Galois tame fields, such that if \((L,K)\in \mathfrak{F}^{2}\), then \((2)\) if and only if \((4)\), and \((1)\) if and only if \( (4)\) whenever \(K\) \ (or \(L\)) is not totally real.