Cubic field

If K is a field extension of the rational numbers Q of degree [K:Q] = 3, then K is called a cubic field. Any such field is isomorphic to a field of the form :\mathbf{Q}[x]/(f(x)) where f is an irreducible cubic polynomial with coefficients in Q. If f has three real roots, then K is called a totally real cubic field and it is an example of a totally real field. If, on the other hand, f has a non-real root, then K is called a complex cubic field. A cubic field K is called a cyclic cubic field if it contains all three roots of its generating polynomial f. Equivalently, K is a cyclic cubic field if it is a Galois extension of Q, in which case its Galois group over Q is cyclic of order three. This can only happen if K is totally real. It is a rare occurrence in the sense that if the set of cubic fields is ordered by discriminant, then the proportion of cubic fields which are cyclic approaches zero as the bound on the discriminant approaches infinity. A cubic field is called a pure cubic field if it can be obtained by adjoining the real cube root \sqrt[3]{n} of a cube-free positive integer n to the rational number field Q. Such fields are always complex cubic fields since each positive number has two complex non-real cube roots. ==Examples==

• Adjoining the real cube root of 2 to the rational numbers gives the cubic field \mathbf{Q}(\sqrt[3]{2}). This is an example of a pure cubic field, and hence of a complex cubic field. In fact, of all pure cubic fields, it has the smallest discriminant (in absolute value), namely −108. • The complex cubic field obtained by adjoining to Q a root of is not pure. It has the smallest discriminant (in absolute value) of all cubic fields, namely −23. • Adjoining a root of to Q yields a cyclic cubic field, and hence a totally real cubic field. It has the smallest discriminant of all totally real cubic fields, namely 49. • The field obtained by adjoining to Q a root of is an example of a totally real cubic field that is not cyclic. Its discriminant is 148, the smallest discriminant of a non-cyclic totally real cubic field. • No cyclotomic fields are cubic because the degree of a cyclotomic field is equal to φ(n), where φ is Euler's totient function, which only takes on even values except for φ(1) = φ(2) = 1. ==Galois closure==

A cyclic cubic field K is its own Galois closure with Galois group Gal(K/Q) isomorphic to the cyclic group of order three. However, any other cubic field K is a non-Galois extension of Q and has a field extension N of degree two as its Galois closure. The Galois group Gal(N/Q) is isomorphic to the symmetric group S3 on three letters. ==Associated quadratic field==

The discriminant of a cubic field K can be written uniquely as df2 where d is a fundamental discriminant. Then, K is cyclic if and only if d = 1, in which case the only subfield of the Galois closure of K is Q itself. If d ≠ 1 then the Galois closure N of K contains a unique quadratic field k whose discriminant is d (in the case d = 1, the subfield Q is sometimes considered as the "degenerate" quadratic field of discriminant 1). The conductor of N over k is f, and f2 is the relative discriminant of N over K. The discriminant of N is d3f4. The field K is a pure cubic field if and only if d = −3. This is the case for which the quadratic field contained in the Galois closure of K is the cyclotomic field of cube roots of unity. ==Discriminant==

of f is Δ = 4a3 − 27b2. Denoting the discriminant of K by D, the index i(θ) of θ is then defined by Δ = i(θ)2D. In the case of a non-cyclic cubic field K this index formula can be combined with the conductor formula D = f2d to obtain a decomposition of the polynomial discriminant Δ = i(θ)2f2d into the square of the product i(θ)f and the discriminant d of the quadratic field k associated with the cubic field K, where d is squarefree up to a possible factor 22 or 23. Georgy Voronoy gave a method for separating i(θ) and f in the square part of Δ. The study of the number of cubic fields whose discriminant is less than a given bound is a current area of research. Let N+(X) (respectively N−(X)) denote the number of totally real (respectively complex) cubic fields whose discriminant is bounded by X in absolute value. In the early 1970s, Harold Davenport and Hans Heilbronn determined the first term of the asymptotic behaviour of N±(X) (i.e. as X goes to infinity). By means of an analysis of the residue of the Shintani zeta function, combined with a study of the tables of cubic fields compiled by Karim Belabas and some heuristics, David P. Roberts conjectured a more precise asymptotic formula: :N^\pm(X)\sim\frac{A_\pm}{12\zeta(3)}X+\frac{4\zeta(\frac{1}{3})B_\pm}{5\Gamma(\frac{2}{3})^3\zeta(\frac{5}{3})}X^{\frac{5}{6}} where A± = 1 or 3, B± = 1 or \sqrt{3}, according to the totally real or complex case, ζ(s) is the Riemann zeta function, and Γ(s) is the Gamma function. Proofs of this formula have been published by using methods based on Bhargava's earlier work, as well as by based on the Shintani zeta function. ==Unit group==

According to Dirichlet's unit theorem, the torsion-free unit rank r of an algebraic number field K with r1 real embeddings and r2 pairs of conjugate complex embeddings is determined by the formula r = r1 + r2 − 1. Hence a totally real cubic field K with r1 = 3, r2 = 0 has two independent units ε1, ε2 and a complex cubic field K with r1 = r2 = 1 has a single fundamental unit ε1. These fundamental systems of units can be calculated by means of generalized continued fraction algorithms by Voronoi, which have been interpreted geometrically by Delone and Faddeev. ==Notes==