BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
Motivated by the behavior of the trace pairing over tame cyclic number fields, we introduce the notion of tame lattices. Given an arbitrary non-trivial lattice L we construct a parametric family of full-rank sub-lattices {Lα} of L such that whenever L is tame each Lα has a basis of minimal vectors. Furthermore, for each Lα in the family a basis of minimal vectors is explicitly constructed.
In the past the first named author has studied to what extent the integral trace can characterize a number field beyond what the discriminant does. The cases of cyclic number fields and non-totally real fields are more or less settled, concluding that for such fields the integral trace does not always characterize the field. In this paper we show that the integral trace is a complete invariant for degree n, Sn real number number fields that satisfy certain ramification bound. Among the real Sn fields that our results cover, there are those of square free different ideal. Moreover, for such fields we find an explicit description of the isometry group of the integral trace.
Let m>1 and d=0 be integers such that vp(d)=m for any prime p. We construct a matrix A(d) of size (m−1)×(m−1) depending on only of d with the following property: For any tame Z/mZ-number field K of discriminant d the matrix A(d) represents the Gram matrix of the integral trace zero form of K. In particular, we have that the integral trace zero form of tame cyclic number fields is determined by the degree and discriminant of the field. Furthermore, if in addition to the above hypotheses, we consider real number fields, then the shape is also determined by the degree and the discriminant
In 2012 the first named author conjectured that totally real quartic fields of fundamental discriminant are determined by the isometry class of the integral trace zero form; such conjecture was based on computational evidence and the analog statement for cubic fields which was proved using Bhargava's higher composition laws on cubes. Here, using Bhargava's parametrization of quartic fields we prove the conjecture by generalizing the ideas used in the cubic case. Since at the moment, for arbitrary degrees, there is nothing like Bhargava's parametrizations we cannot deal with degrees n>5 in a similar fashion. Nevertheless, using some of our previous work on trace forms we generalize this result to higher degrees; we show that if n≥3 is an integer such that (Z/nZ)∗ is a cyclic group, then the shape is a complete invariant for totally real degree n number fields with fundamental discriminant.
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.
Let ℓ be a prime and let L/Q be a Galois number field with Galois group isomorphic to Z/ℓZ. We show that the {\it shape} of L is either 21Aℓ−1 or a fixed sub lattice depending only on ℓ; such a dichotomy in the value of the shape only depends on the type of ramification of L. This work is motivated by a result of Bhargava and Shnidman, and a previous work of the first named author, on the shape of Z/3Z number fields.
Let d be a positive fundamental discriminant, and let Cd be the set of isomorphism classes of cubic number fields of discriminant d. For each K∈Cd, we construct a weight 1 modular form fK with level 3±1d and nebentypus (⋅−3±1d). We show that the form fK completely determines the field K. Moreover, we show that {fK:K∈Cd} is a linearly independent set.
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 qK:trK/Q(x2)∣OK0 as such a refinement. For a cubic field of fundamental discriminant d we show the existence of an element TK in Bhargava's class group $\Cl(\mathbb{Z}^{2}\otimes\mathbb{Z}^{2}\otimes\mathbb{Z}^{2}; -3d)$ such that qK is completely determined by TK. By using one of Bhargava's composition laws, we show that qK is a complete invariant whenever K is totally real and of fundamental discriminant
Let K be a number field. The \textit{integral trace form} is the integral quadratic form given by trK/Q(x2)∣OK. In this article we study the existence of non-conjugated number fields with equivalent integral trace forms. As a corollary of one of the main results of this paper, we show that any two non-totally real number fields with the same signature and same prime discriminant have equivalent integral trace forms. Additionally, based on previous results obtained by the author and the evidence presented here, we conjecture that any two totally real quartic fields of fundamental discriminant have equivalent trace zero forms if and only if they are conjugated.
Let G be a finite group. For all a∈Z, such that (a,∣G∣)=1, the function ρa:G→G sending g to ga defines a permutation of the elements of G. Motivated by a recent generalization of Zolotarev's proof of classic quadratic reciprocity, due to Duke and Hopkins, we study the signature of the permutation ρa. By introducing the group of conjugacy equivariant maps and the symmetric difference method on groups, we exhibit an integer dG such that sgn(ρa)=(adG) for all G in a large class of groups, containing all finite nilpotent and odd order groups.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.