1 Definition and basic examples
Binary quadratic forms are one of the central objects in classical number theory. They are used to study which integers can be written in certain quadratic shapes, how such expressions change under substitutions of variables, and how these problems connect to algebraic structures such as quadratic fields and ideal class groups. The theory developed in the nineteenth century and remains influential in modern arithmetic.
1.1 General form
A binary quadratic form is a polynomial in two variables of degree two. In its standard shape it is written as
ax^2 + bxy + cy^2,
where a, b, and c are coefficients. The term “binary” refers to the two variables x and y, while “quadratic” indicates that the highest total degree is two. Such forms may be studied over the integers, the rational numbers, or more general rings, though the integer case is the most classical.
1.2 Integral binary quadratic forms
An integral binary quadratic form is one for which the coefficients a, b, and c are integers. These forms are especially important because they can represent integers by substituting integer values for x and y. Questions about whether a given integer is represented by a form, and how many different representations exist, form a major part of the theory.
1.3 Discriminant
The discriminant of a binary quadratic form ax^2 + bxy + cy^2 is the quantity
b^2 - 4ac.
It is an invariant under many natural changes of variables and plays a key role in classification. Forms with the same discriminant often share structural features, and the sign of the discriminant strongly influences the geometry and arithmetic of the form.
1.4 Primitive and imprimitive forms
A form is called primitive if the coefficients a, b, and c have no common divisor greater than 1. Otherwise it is imprimitive. Primitive forms are often the basic building blocks in the theory, since imprimitive forms can usually be viewed as multiples of primitive ones. Many classification and composition results are most naturally stated for primitive forms.
2 Equivalence and transformations
Binary quadratic forms are commonly compared using changes of variables coming from invertible linear substitutions. This leads to equivalence relations that identify forms with the same arithmetic behavior. The study of these transformations is essential for organizing forms into classes.
2.1 Linear change of variables
A form may be transformed by replacing x and y with linear combinations of x and y having integer coefficients and determinant ±1. Such substitutions preserve the integrality of values and often preserve the discriminant. Through these changes, many apparently different forms can be shown to represent the same arithmetic data.
2.2 Proper and improper equivalence
Two forms are properly equivalent if one can be transformed into the other by a change of variables with determinant 1. If transformations with determinant −1 are also allowed, the resulting relation is called improper equivalence. Proper equivalence is finer and is the one most closely tied to composition and class groups.
2.3 Automorphisms of forms
An automorphism of a form is a change of variables that leaves the form unchanged. Automorphisms measure the internal symmetry of a form and can be finite or infinite depending on the discriminant. For many forms, especially those of negative discriminant, the automorphism group is small; in special cases it can be larger because of extra symmetry.
3 Classification by discriminant
The discriminant organizes binary quadratic forms into broad families with distinct arithmetic and geometric properties. The sign and special values of the discriminant determine whether the form behaves like an elliptic, hyperbolic, or degenerate object in a loose geometric sense.
3.1 Positive discriminant
When the discriminant is positive, the form is indefinite, meaning it takes both positive and negative values for suitable integer or real inputs. Such forms have a more complicated reduction theory than definite forms, and they are closely related to Pell-type equations and continued fractions. Their classes often form infinite cycles under reduction.
3.2 Negative discriminant
When the discriminant is negative, the form is definite. If a is positive, the form is positive definite; if a is negative, it is negative definite. Negative discriminant forms are generally easier to reduce, and each proper equivalence class contains only finitely many reduced forms. This case is especially important in relation to imaginary quadratic fields.
3.3 Degenerate case
The degenerate case occurs when the discriminant is zero. Then the quadratic form factors in a limiting sense, and many of the usual classification methods no longer apply in the same way. Such forms are less central in the classical theory because they do not exhibit the rich arithmetic behavior found in the nondegenerate cases.
4 Representation of integers
One of the main motivations for studying binary quadratic forms is to determine which integers can be represented by a given form. This problem asks whether there exist integers x and y making the form equal to a prescribed integer n, and if so, how many essentially different solutions exist.
4.1 Values represented by a form
An integer n is represented by a form if there are integers x and y such that ax^2 + bxy + cy^2 = n. The set of represented values may be sparse or highly structured, depending on the form. Classical examples include forms representing sums of two squares or norms from quadratic extensions.
4.2 Primitive representations
A representation is primitive if x and y are coprime. Primitive representations are often more informative than arbitrary ones because they reflect the arithmetic of primitive forms and correspond more directly to ideal-theoretic constructions. Counting primitive representations can lead to finer information about classes of forms.
4.3 Local and global representability
A number may be tested for representability by examining it modulo various primes and over the real numbers. These local conditions do not always guarantee a global integer solution, but they often provide strong necessary criteria. The relationship between local and global representability is a recurring theme in number theory and is especially visible in the study of quadratic forms.
5 Reduction theory
Reduction theory provides systematic methods for choosing preferred representatives from each equivalence class. By selecting forms with bounded coefficients and favorable inequalities, one can classify forms effectively and compute their arithmetic invariants.
5.1 Reduced forms
A reduced form is a representative chosen according to conditions that make it canonical or nearly canonical. For positive definite forms, reduced forms are usually selected so that the coefficients satisfy certain size and sign constraints. The reduced form is useful because each class contains only finitely many such representatives.
5.2 Reduction algorithms
Reduction algorithms transform an arbitrary form into a reduced one through a sequence of allowed substitutions. In the definite case, the process is finite and practical for computation. In the indefinite case, reduction may produce cycles rather than a single terminal representative, reflecting the more complicated structure of the classes.
5.3 Class number of forms
The class number of forms of a fixed discriminant counts the number of proper equivalence classes of primitive forms, or the number of reduced classes in an appropriate sense. It is a fundamental invariant that measures how far unique factorization fails in the related algebraic setting. Class numbers are central objects of study in both classical and modern arithmetic.
6 Composition of forms
Composition is a remarkable operation that combines forms of the same discriminant to produce a new form. This operation gives the set of classes additional algebraic structure and links the theory of forms to group law ideas.
6.1 Gauss composition
Gauss composition is the classical rule for combining equivalence classes of binary quadratic forms. Under suitable conditions, the product of two classes is again a class of the same discriminant. This discovery was one of Gauss’s major contributions and revealed a hidden arithmetic structure in the theory.
6.2 Composition and class groups
The composition law turns the set of proper equivalence classes of primitive forms into an abelian group in important cases. This group is closely related to the class group of a quadratic order. The correspondence provides a bridge between the classical language of forms and the modern language of ideals.
6.3 Principal form
The principal form is the identity element for composition in the form class group. It is the distinguished form whose class acts neutrally under composition. Its explicit shape depends on the discriminant and serves as the starting point for many calculations.
7 Connections with quadratic fields
Binary quadratic forms are deeply connected with quadratic fields, where they provide an alternative description of algebraic integers, ideals, and class groups. This connection explains much of their enduring importance in algebraic number theory.
7.1 Discriminants and quadratic orders
The discriminant of a form is closely related to the discriminant of a quadratic order. Quadratic orders are subrings of quadratic fields that generalize the ring of integers. Matching discriminants allows one to translate problems about forms into problems about orders and vice versa.
7.2 Ideals and form classes
Classes of binary quadratic forms can be matched with ideal classes in suitable quadratic orders. Under this correspondence, composition of forms corresponds to multiplication of ideals. This viewpoint clarifies why form classes form a group and why the theory encodes arithmetic factorization properties.
7.3 Relation to class number
The class number of a quadratic order can be interpreted through the corresponding classes of forms. When the class number is one, the associated arithmetic structure is especially simple. Larger class numbers indicate more intricate arithmetic, and binary quadratic forms provide a concrete way to study this complexity.
8 Classical and modern results
The theory of binary quadratic forms was developed through a sequence of major results that shaped modern number theory. Classical discoveries continue to influence contemporary research, particularly through computational and algebraic methods.
8.1 Gauss's theory of forms
Gauss established the foundational framework for the arithmetic of binary quadratic forms. He introduced equivalence, composition, and reduction in a systematic way and showed that forms of fixed discriminant possess a rich internal algebraic structure. His work is one of the landmarks of early nineteenth-century mathematics.
8.2 Dirichlet's work on forms
Dirichlet advanced the theory by connecting quadratic forms with analytic methods and class numbers. His results helped clarify how forms represent integers and how their classes are distributed. He also contributed to the broader understanding of quadratic reciprocity and related arithmetic phenomena.
8.3 Genus theory
Genus theory refines the classification of forms by grouping classes into genera according to congruence conditions. It provides information that is coarser than individual class data but often easier to compute. Genus theory is particularly useful for understanding which integers are represented by some form in a class.
8.4 Contemporary applications
Binary quadratic forms continue to appear in computational number theory, cryptographic constructions, and the study of algebraic curves and modular forms. They are also used in algorithms for class groups and in explicit computations in quadratic fields. Despite their classical origin, they remain an active and versatile tool in modern arithmetic.