Integral trace forms associated to cubic extensions

DOI10.2140/ANT.2010.4.681MaRDI QIDQ600784zbMATH OpenOpenAlexFDO

Authors Guillermo Mantilla-Soler

Publication date 2 November 2010

Published in Algebra \& Number Theory (Search for Journal in Brave)

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

zbMATH Keywords

Bhargava's class groupcubic fieldsdiscriminants of number fieldsintegral trace forms

Mathematics Subject Classification ID

Cubic and quartic extensions (11R16) Units and factorization (11R27)

Abstract: Given a nonzero integer $d$, we know by Hermite's Theorem that there exist only finitely many cubic number fields of discriminant $d$. However, it can happen that two non-isomorphic cubic fields have the same discriminant. It is thus natural to ask whether there are natural refinements of the discriminant which completely determine the isomorphism class of the cubic field. Here we consider the trace form $q_K:ext{tr}_{K/mathbbQ}(x^2){|}_{O_K^0}$ as such a refinement. For a cubic field of fundamental discriminant $d$ we show the existence of an element $T_K$ in Bhargava's class group $Cl(mathbb{Z}^{2}otimesmathbb{Z}^{2}otimesmathbb{Z}^2;-3d)$ such that $q_K$ is completely determined by $T_K$. By using one of Bhargava's composition laws, we show that $q_K$ is a complete invariant whenever $K$ is totally real and of fundamental discriminant

Review text

Let \(d\) be a non zero integer and \(K\) be a cubic number field with maximal order \(O_K\). It is known by Hermite's Theorem that there exist only finitely many cubic number fields \(K\) of discriminant \(d\), but they can be non-isomorphic cubic fields. The author defines a natural refinement of the discriminant using the trace form \(\text{tr}_{K/Q}(x^2)|O_K^0\) where \(O_K^0 = \{x\in O_K: \text{tr}_{K/Q}(x) = 0\}\). For fundamental discriminants, and using Bhargava's class group, the author analyzes and gives an affirmative answer to the question: Do there exist two non-isomorphic cubic fields \(K\) and \(L\) such that the forms \(\text{tr}_{K/Q}(x^2)|O_K^0\) and \(\text{tr}_{L/Q}(x^2)|O_L^0\) are isomorphic?

Recommendations

• On the arithmetic determination of the trace
• On number fields with equivalent integral trace forms
• scientific article; zbMATH DE number 3394277
• Corps cubiques de discriminant donné
• On trace forms of algebraic number fields

Cited in

(13)

• Defining equations and trace forms of cubic cyclic fields
• On the density theorem related to the space of non-split tri-Hermitian forms. I
• Theta series and number fields: theorems and experiments
• The integral trace form as a complete invariant for real \(S_n\) number fields
• Cyclotomic fields are characterized by their trace lattices
• A proof of a conjecture on trace-zero forms and shapes of number fields
• The shape of \(\mathbb Z/\ell\mathbb Z\)-number fields
• A space of weight 1 modular forms attached to totally real cubic number fields
• Unit groups of quotients of number fields
• On a remarkable identity in class numbers of cubic rings
• The spinor genus of the integral trace
• The shape of cyclic number fields
• On the arithmetic determination of the trace

This page was built for publication: Integral trace forms associated to cubic extensions

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