TY - JOUR

T1 - On the number of cubic orders of bounded discriminant having automorphism group C3, and related problems

AU - Bhargava, Manjul

AU - Shnidman, Ariel

N1 - Copyright:
Copyright 2014 Elsevier B.V., All rights reserved.

PY - 2014

Y1 - 2014

N2 - For a binary quadratic form Q, we consider the action of SOQ on a 2-dimensional vector space. This representation yields perhaps the simplest nontrivial example of a prehomogeneous vector space that is not irreducible, and of a coregular space whose underlying group is not semisimple. We show that the nondegenerate integer orbits of this representation are in natural bijection with orders in cubic fields having a fixed "lattice shape". Moreover, this correspondence is discriminant-preserving: the value of the invariant polynomial of an element in this representation agrees with the discriminant of the corresponding cubic order. We use this interpretation of the integral orbits to solve three classical-style counting problems related to cubic orders and fields. First, we give an asymptotic formula for the number of cubic orders having bounded discriminant and nontrivial automorphism group. More generally, we give an asymptotic formula for the number of cubic orders that have bounded discriminant and any given lattice shape (i.e., reduced trace form, up to scaling). Via a sieve, we also count cubic fields of bounded discriminant whose rings of integers have a given lattice shape. We find, in particular, that among cubic orders (resp. fields) having lattice shape of given discriminant D, the shape is equidistributed in the class group ClD of binary quadratic forms of discriminant D. As a by-product, we also obtain an asymptotic formula for the number of cubic fields of bounded discriminant having any given quadratic resolvent field.

AB - For a binary quadratic form Q, we consider the action of SOQ on a 2-dimensional vector space. This representation yields perhaps the simplest nontrivial example of a prehomogeneous vector space that is not irreducible, and of a coregular space whose underlying group is not semisimple. We show that the nondegenerate integer orbits of this representation are in natural bijection with orders in cubic fields having a fixed "lattice shape". Moreover, this correspondence is discriminant-preserving: the value of the invariant polynomial of an element in this representation agrees with the discriminant of the corresponding cubic order. We use this interpretation of the integral orbits to solve three classical-style counting problems related to cubic orders and fields. First, we give an asymptotic formula for the number of cubic orders having bounded discriminant and nontrivial automorphism group. More generally, we give an asymptotic formula for the number of cubic orders that have bounded discriminant and any given lattice shape (i.e., reduced trace form, up to scaling). Via a sieve, we also count cubic fields of bounded discriminant whose rings of integers have a given lattice shape. We find, in particular, that among cubic orders (resp. fields) having lattice shape of given discriminant D, the shape is equidistributed in the class group ClD of binary quadratic forms of discriminant D. As a by-product, we also obtain an asymptotic formula for the number of cubic fields of bounded discriminant having any given quadratic resolvent field.

KW - Cubic fields

KW - Discriminant

UR - http://www.scopus.com/inward/record.url?scp=84901490270&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84901490270&partnerID=8YFLogxK

U2 - 10.2140/ant.2014.8.53

DO - 10.2140/ant.2014.8.53

M3 - Article

AN - SCOPUS:84901490270

VL - 8

SP - 53

EP - 88

JO - Algebra and Number Theory

JF - Algebra and Number Theory

SN - 1937-0652

IS - 1

ER -