binary forms

binary forms.

Binary forms are homogeneous polynomials in two variables that play a central role in classical invariant theory and modern algebraic geometry. They appear in the study of algebraic curves, representation theory, and arithmetic invariants associated with number fields and Diophantine equations. Historically developed by Augustin-Louis Cauchy, Arthur Cayley, and Paul Gordan and later reinterpreted by David Hilbert and Emmy Noether, binary forms connect explicit computations with deep structural results.

Definition and basic properties

A binary form of degree n is a homogeneous polynomial f(x,y)=a_0 x^n + a_1 x^{n-1}y + ... + a_n y^n with coefficients in a ring or field such as Integers or Rational numbers. Under the natural action of the group SL_2(K) or GL_2(K) on the two-dimensional vector space with coordinates x,y, binary forms transform by change of variables associated to matrices in SL_2(C) or GL_2(R). The space of degree-n binary forms is a finite-dimensional representation of SL_2 whose dimension is n+1; classical bases are given by monomials x^{n-k}y^k and by symmetric power representations tied to Sym^n constructions. Roots of a binary form correspond to points in the projective line P^1 and multiplicities encode singularity data of associated plane curves studied since the work of Carl Friedrich Gauss.

Algebraic classification

Classification of binary forms up to the action of GL_2 or SL_2 leads to orbit structures governed by stabilizer subgroups and moduli spaces such as quotients by group actions. For low degrees, classical results give complete lists: degree 2 corresponds to quadratic forms classified by discriminant and diagonalization familiar from Adrien-Marie Legendre and Gauss; degree 3 cubic binary forms relate to elliptic curves and appear in the work of Yutaka Taniyama and Goro Shimura via cubic resolvents; degree 4 quartic forms connect to genus-one and genus-zero curves studied by Freeman Dyson and Emil Artin in arithmetic contexts. Geometric invariant theory developed by David Mumford provides a modern framework to form moduli of semistable binary forms and to separate stable orbits, while Hilbert's finiteness theorems about invariants of SL_2 supply algebraic foundations used by Hilbert in the classification program.

Invariants and covariants

Invariants are polynomial functions on the coefficient space of binary forms that remain constant under the action of SL_2; covariants are equivariant polynomial maps producing new binary forms. Classical invariant theory produced explicit constructions such as the discriminant, Hessian, Jacobian, and transvectants introduced by Arthur Cayley and systematized by Paul Gordan. For example, the discriminant Δ of a degree-n binary form vanishes exactly when the form has a multiple root in P^1, linking to singularity criteria used by Felix Klein in the theory of algebraic curves. Modern algebraic approaches connect these objects to the representation theory of GL_2 and to syzygies studied by David Hilbert and Emmy Noether, while computational invariant theory developed by researchers around Bernd Sturmfels provides algorithms for finding generators and relations among invariants and covariants.

Reduction theory and canonical forms

Reduction theory seeks canonical representatives for binary forms under group action, generalizing reduction of quadratic forms by Carl Friedrich Gauss and later refinements by Davenport and Jürgen Neukirch in arithmetic contexts. For binary quadratic forms classical reduction uses continued fractions and the action of SL_2(Z) on the upper half-plane with connections to Modular forms and the theory of complex multiplication developed by Heegner and Kurt Heegner-related work. For higher degrees, algorithms produce minimal-height or minimal-discriminant representatives in a given orbit; these techniques were advanced by computational projects involving John Cremona for elliptic curves and by contemporary work using geometric invariant theory from Mumford and arithmetic invariant theory by Manjul Bhargava, who developed higher composition laws giving parametrizations of rings and forms. Canonical forms such as reduced binary cubic or quartic forms provide arithmetic classification tools used in counting number fields and in explicit descent methods for Diophantine problems explored by Alan Baker.

Applications in number theory and algebraic geometry

Binary forms appear in the parametrization of algebraic objects: binary cubic forms parametrize cubic rings and orders as in work of Delone and Faddeev and modern reinterpretations by Manjul Bhargava; binary quartic forms parametrize quartic rings and relate to genus-one models used in Birch and Swinnerton-Dyer contexts. Discriminants of binary forms measure arithmetic invariants of number fields studied by Emil Artin and John Tate, and they enter counting problems for fields with bounded discriminant tackled by Ellenberg, Venkatesh and Bhargava. In algebraic geometry, linear systems on P^1, ramified covers, and the study of moduli spaces of stable maps use binary forms to encode branch data; this connects to work of Alexander Grothendieck on fundamental group and to moduli stacks developed by Deligne and Mumford. Arithmetic invariant theory techniques apply to explicit descent on elliptic curves, the construction of integral models for curves in the style of Jean-Pierre Serre, and the analysis of rational points as in the proof strategies for cases of the Mordell conjecture addressed by Gerd Faltings.

Category:Algebra