help annotate
Contents Next: Remark Up: Binary Cubic Forms and Previous: Remarks

Real cubic fields

[Annotate][Shownotes]


We now would like to single out a unique representative of a cubic form , which we will call reduced. For this purpose, as in the quadratic case, we must now distinguish according to the signature of the corresponding cubic field. In this section, we assume that the field is totally real, or equivalently that . Then the Hessian is a (positive or negative) definite quadratic form for which the notion of reduction is well defined. We will essentially define F to be reduced when is, but for this we must make a few technical modifications to the usual definitions.

Definition 5.1 Let be a quadratic form with real coefficients. We will say that H is reduced if and R>0 (to exclude the trivial case of the zero form).

Note that this is stronger than the usual definition, which would be with when one of the inequalities is an equality. The reason for the modification to the usual definition is that we must work with forms modulo and not only .

That the above definition works follows from the following lemma.

Lemma 5.2

Let and be two reduced definite integral binary quadratic forms such that there exists with . Then . Furthermore

these cases being inclusive.

[Proof]

We can now give the definition of a reduced cubic form in the case of positive discriminant.

Definition 5.3 Let be an integral binary cubic form of positive discriminant. We will say that F is reduced if its Hessian is reduced in the above sense, and if in addition:

With this definition, we have:

Proposition 5.4

[Proof]

To be able to produce all reduced binary cubic forms of discriminant bounded by X, we must be able to give bounds on the coefficients of such a form. Such a result is as follows.

Proposition 5.5

Let be a reduced form such that . We have the following inequalities:

[Proof]

Using only the inequalities of Proposition 5.5, it is not difficult to show that the number of quadruplets which will have to be checked is linear in X. However, in the actual implementation, we will first loop on a, then on b, then on c and finally on d satisfying the inequalities coming from and from . The total number of triplets satisfying the above inequalities is . For some of these triplets the loop on d will be empty, and for the others we will have to examine essentially the number of reduced real binary cubic forms of discriminant up to X (essentially because the special cases have to be considered, but they add a negligible number of forms). Hence the total number of cases to be examined will be . Now recall the following theorem.

Theorem 5.6

Let (resp. ) be the number of equivalent real cubic forms (resp. of isomorphism classes of real cubic fields) of discriminant less than or equal to X. Then as , we have:

for any .




help annotate
Contents Next: Remark Up: Binary Cubic Forms and Previous: Remarks