Related papers: A proof of a conjecture on trace-zero forms and sh…

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…

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,…

We prove Kitaoka's conjecture for all totally real number fields of degree 4 -- namely, there is no positive definite classical quadratic form in three variables which is universal. To achieve this, we study the fields (often without…

In the mid 80's Conner and Perlis showed that for cyclic number fields of prime degree $p$ the isometry class of integral trace is completely determined by the discriminant. Here we generalize their result to tame cyclic number fields of…

We classify all totally real number fields of degree at most 5 that admit a universal quadratic form with rational integer coefficients; in fact, there are none over the previously unsolved cases of quartic and quintic fields. This fully…

We prove a reflection theorem, conjectured by Nakagawa and Ohno, for the number of quartic rings, or pairs of ternary quadratic forms, with a given cubic resolvent. Over $\mathbb{Z}$, our results are unconditional; we also allow the base to…

For a square-free integer $t$, Byeon \cite{byeon} proved the existence of infinitely many pairs of quadratic fields $\mathbb{Q}(\sqrt{D})$ and $\mathbb{Q}(\sqrt{tD})$ with $D > 0$ such that the class numbers of all of them are indivisible…

We show that the shape of a complex cubic field lies on the geodesic of the modular surface defined by the field's trace-zero form. We also prove a general such statement for all orders in \'etale Q-algebras. Applying a method of Manjul…

Let $m>1$ and $\mathfrak{d} \neq 0$ be integers such that $v_{p}(\mathfrak{d}) \neq m$ for any prime $p$. We construct a matrix $A(\mathfrak{d})$ of size $(m-1) \times (m-1)$ depending on only of $\mathfrak{d}$ with the following property:…

Let $K$ be a number field. The \textit{integral trace form} is the integral quadratic form given by $\text{tr}_{K/\mathbb{Q}}(x^2)|_{O_{K}}.$ In this article we study the existence of non-conjugated number fields with equivalent integral…

For any integer $k\ge 1$, we show that there are infinitely many complex quadratic fields whose 2-class groups are cyclic of order $2^k$. The proof combines the circle method with an algebraic criterion for a complex quadratic ideal class…

In analogy with the 290-Theorem of Bhargava-Hanke, a criterion set is a finite subset $C$ of the totally positive integers in a given totally real number field such that if a quadratic form represents all elements of $C$, then it…

Iizuka's conjecture predicts that, given $m \in \mathbb{N}$ and a prime $p$, there exists infinitely many integers $n$ such that the class numbers of \textit{all} of the following quadratic number fields, \[ \mathbb{Q}(\sqrt{n}),\…

Clemm and Trebat-Leder (2014) proved that the number of quadratic number fields with absolute discriminant bounded by $x$ over which there exist elliptic curves with good reduction everywhere and rational $j$-invariant is $\gg…

The investigation of the ideal class group $Cl_K$ of an algebraic number field $K$ is one of the key subjects of inquiry in algebraic number theory since it encodes a lot of arithmetic information about K. There is a considerable amount of…

We consider infinite parametric families of high degree number fields composed of quadratic fields with pure cubic, pure quartic, pure sextic fields and with the so called simplest cubic, simplest quartic fields. We explicitly describe an…

We verify a conjecture of Emil Artin, for the case of a Cubic and Quadratic form over any $p$-adic field, provided the cardinality of the residue class field exceeds 293. That is any Cubic and Quadratic form with at least 14 variables has a…

We parametrize quartic commutative algebras over any base ring or scheme (equivalently finite, flat degree four $S$-schemes), with their cubic resolvents, by pairs of ternary quadratic forms over the base. This generalizes Bhargava's…

For $n=3$, 4, and 5, we prove that, when $S_n$-number fields of degree $n$ are ordered by their absolute discriminants, the lattice shapes of the rings of integers in these fields become equidistributed in the space of lattices.

It was conjectured in a recent article by M. Eastwood and the second author that all absolute classical invariants of forms of degree $m\ge 3$ on ${\mathbb C}^n$ can be extracted, in a canonical way, from those of forms of degree $n(m-2)$…