The shapes of Galois quartic fields

@article{Piper2019TheSO,
  title={The shapes of Galois quartic fields},
  author={H Piper and Robert Harron},
  journal={arXiv: Number Theory},
  year={2019}
}
We determine the shapes of all degree $4$ number fields that are Galois. These lie in four infinite families depending on the Galois group and the tame versus wild ramification of the field. In the $V_4$ case, each family is a two-dimensional space of orthorhombic lattices and we show that the shapes are equidistributed, in a regularized sense, in these spaces as the discriminant goes to infinity (with respect to natural measures). We also show that the shape is a complete invariant in some… Expand

Figures from this paper

Equidistribution of shapes of complex cubic fields of fixed quadratic resolvent
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 etaleExpand
The Trace Form Over Cyclic Number Fields
Abstract 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 generalizeExpand
Geometry of Biquadratic and Cyclic Cubic Log-Unit Lattices
By Dirichlet's Unit Theorem, under the log embedding the units in the ring of integers of a number field form a lattice, called the log-unit lattice. We investigate the geometry of these latticesExpand
Heights on stacks and a generalized Batyrev-Manin-Malle conjecture
We define a notion of height for rational points with respect to a vector bundle on a proper algebraic stack with finite diagonal over a global field, which generalizes the usual notion for rationalExpand

References

SHOWING 1-10 OF 31 REFERENCES
The shapes of pure cubic fields
We determine the shapes of pure cubic fields and show that they fall into two families based on whether the field is wildly or tamely ramified (of Type I or Type II in the sense of Dedekind). We showExpand
The density of discriminants of quartic rings and fields
We determine, asymptotically, the number of quintic fields having bounded discriminant. Specifically, we prove that the asymptotic number of quintic fields having absolute discriminant at most X is aExpand
The Equidistribution of Lattice Shapes of Rings of Integers of Cubic, Quartic, and Quintic Number Fields: An Artist's Rendering
A fascinating tale of mayhem, mystery, and mathematics. Attached to each degree n number field is a rank n−1 lattice called its shape. This thesis shows that the shapes of Sn-number fields (of degreeExpand
The equidistribution of lattice shapes of rings of integers in cubic, quartic, and quintic number fields
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 becomeExpand
Equidistribution of shapes of complex cubic fields of fixed quadratic resolvent
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 etaleExpand
A proof of a conjecture on trace-zero forms and shapes of number fields
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 basedExpand
The integers of a cyclic quartic field
A simple explicit integral basis is given for a cyclic quartic extension of the rationals. In [3] the authors show that a cyclic quartic extension K of the rational number field Q can be expressedExpand
Calculation of the class numbers of imaginary cyclic quartic fields
Any imaginary cyclic quartic field can be expressed uniquely in the form K = Q(\JA(D + b/d) ), where A is squarefree, odd and negative, D = B2 + C2 is squarefree, B > 0, C > 0, and (A,D)= 1. ExplicitExpand
The Trace Form Over Cyclic Number Fields
Abstract 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 generalizeExpand
Roots of unity and nullity modulo $n$
For a fixed positive integer l, we consider the function of n that counts the number of elements of order l in ℤ * n . We show that the average growth rate of this function is C l (log n) d(l)―1 forExpand
...
1
2
3
4
...