A proof of a conjecture on trace-zero forms and shapes of number fields
type: Item
instance of: scholarly article
title: A proof of a conjecture on trace-zero forms and shapes of number fields
zbMATH Open document ID: 1478.11128
author: Guillermo Mantilla-Soler
author: Carlos Rivera-Guaca
published in: Research in Number Theory
publication date: 2021-02-02T00:00:00Z
full work available at URL: https://arxiv.org/abs/1907.09134
review text: For every finite separable field extension \(L/K\), the bilinear form trace is the map \( T_{L/K}\,:\, L\times L \longrightarrow K \), defined by \(T_{L/K}(x,y)=\displaystyle{\sum_{i=1}^n\sigma_i(xy)}\), where \(\sigma_1,\dots,\sigma_n\) are the \(K\)-isomorphisms of fields from \(L\) to \(\overline{K}\) and \(\overline{K}\) is an algebraic closure of \(K\). This symmetric \(K\)-bilinear form is called the trace form of \(L/K\). When \(L\) is an algebraic number field and \(K= {\mathbb Q}\), the trace form goes back to Hermite and Sylvester. Let \(L\) be a number field. The integral trace form of \(L\) is the restriction of the trace form \(T_{L/{\mathbb Q}}\) to \( {\mathbb Z}_L\times {\mathbb Z}_L \longrightarrow {\mathbb Z} \), where \({\mathbb Z}_L\) is the ring of integers of \(L\). The paper is structured as follows: \begin{enumerate} \item In the first section, the authors introduced the trace zero quadratic module \(({\mathbb Z}_L^0 , T_{L/{\mathbb Q}})\) of a number field \(K\), as the kernel of the trace map; \({\mathbb Z}_L^0= L^0\cap {\mathbb Z}_L\), where \(L^0\) is the kernel of \(T_{L/{\mathbb Q}}\). They also introduced the shape of a number field \(L\), denoted by \(Sh(L)\), as the isometry equivalence class of \(({\mathbb Z}_L^{\perp}, T_{L/{\mathbb Q}})\) up to scalar multiplication, where \({\mathbb Z}_L^{\perp}=\{n\alpha- T_{L/{\mathbb Q}}(\alpha),\, \alpha \in {\mathbb Z}_L\}\) and \(n\) is the degree \([L:{\mathbb Q}]\). \item In the second section, they showed that the integral trace form (resp. the shape) of a number field is a complete invariant for two totally real number fields of fundamental discriminant. \item In the third one, under the separability requirement of extensions, the authors showed that the trace form is also a complete invariant for two extensions to be conjugate. \item In the fourth one, by using Bhargava's parametrization on quartic number fields, the authors went back to prove a conjecture on quartic number fields, whi…
reviewed by: Lhoussain El Fadil
Mathematics Subject Classification ID: 11R04
Mathematics Subject Classification ID: 11R33
Mathematics Subject Classification ID: 11R21
Mathematics Subject Classification ID: 11R29
zbMATH DE Number: 7304530
zbMATH Keywords: integral trace forms
zbMATH Keywords: shape of a number field
zbMATH Keywords: Bhargava's parametrization
zbMATH Keywords: fundamental discriminant
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W3082056381
Wikidata QID: Q123356582
arXiv ID: 1907.09134
cites work: On the mean number of 2-torsion elements in the class groups, narrow class groups, and ideal groups of cubic orders and fields
cites work: Higher composition laws. II: On cubic analogues of Gauss composition
cites work: Higher composition laws. III: The parametrization of quartic rings
cites work: Q5489377
cites work: The equidistribution of lattice shapes of rings of integers in cubic, quartic, and quintic number fields
cites work: The shapes of pure cubic fields
cites work: A database of number fields
cites work: ON NUMBER FIELDS WITH EQUIVALENT INTEGRAL TRACE FORMS
cites work: Integral trace forms associated to cubic extensions
cites work: The shape of \(\mathbb Z/\ell\mathbb Z\)-number fields
cites work: The trace-form of an algebraic number field
cites work: Algebraische Zahlentheorie
DOI: 10.1007/S40993-020-00210-4
description: scientific article