cubic forms

cubic forms
Name	Cubic forms
Field	Algebraic geometry; Number theory; Invariant theory
Introduced	19th century
Notable	Isaac Newton; Arthur Cayley; David Hilbert; Felix Klein; Henri Poincaré

cubic forms are homogeneous polynomials of degree three in several variables, central to Algebraic geometry, Number theory, and Invariant theory. They define cubic hypersurfaces such as cubic curves and cubic surfaces, and their study intersects work by Isaac Newton, Arthur Cayley, David Hilbert, Felix Klein, and Henri Poincaré. Research on cubic forms contributes to topics investigated by institutions like the Princeton University, École Normale Supérieure, University of Göttingen, Institute for Advanced Study, and projects at the Clay Mathematics Institute.

Definition and Basic Properties

A cubic form is a homogeneous polynomial of degree three in n variables, often written over fields such as the rationals, reals, or finite fields studied at University of Cambridge, Harvard University, University of Oxford, Massachusetts Institute of Technology, and Stanford University. For two variables the cubic form relates to plane cubic curves studied by André Weil, Gerd Faltings, Fritz Noether, and Emmy Noether at institutions including the Max Planck Society and Royal Society. Over algebraically closed fields cubic forms give rise to projective varieties analyzed in the tradition of Alexander Grothendieck, Jean-Pierre Serre, John Tate, and Armand Borel. Basic operations include linear changes of coordinates by groups such as GL(n), with transformation behavior key to classification as undertaken by Arthur Cayley and James Joseph Sylvester.

Classification and Normal Forms

Classification of cubic forms employs normal forms under group actions, a program advanced by Felix Klein and formalized by David Hilbert's invariant theory at University of Göttingen. For plane cubics the Weierstrass normal form is fundamental in work by Karl Weierstrass, used extensively by Andrew Wiles and Gerald Segal in modularity contexts linked to Peter Sarnak and Richard Taylor. Cubic surfaces admit 27 lines, a classical result explored by Arthur Cayley and George Salmon and later studied by Alessandro Segre and Igor Dolgachev. Over finite fields classification interacts with results by Emil Artin, Jean-Pierre Serre, and groups like Évariste Galois's Galois groups examined by Jean-Pierre Serre and Barry Mazur in arithmetic contexts.

Invariants and Discriminant

Invariant theory assigns polynomial invariants to cubic forms; foundational contributors include Arthur Cayley, James Joseph Sylvester, and David Hilbert. The discriminant of a cubic form generalizes the discriminant of a cubic polynomial studied by Évariste Galois and is crucial in singularity analysis pursued by René Thom and John Milnor. Classical invariants (e.g., Hessian, Cayleyan) connect to work by James Joseph Sylvester, George Salmon, and Felix Klein, while modern formulations use cohomological methods of Alexander Grothendieck and categorical perspectives of Pierre Deligne. Moduli spaces parameterizing cubic forms relate to constructions by David Mumford and compactifications studied by Gerd Faltings.

Arithmetic and Rational Points

Arithmetic questions about rational solutions on varieties defined by cubic forms engage researchers such as Yuri Manin, John Tate, Barry Mazur, Bjorn Poonen, and Manjul Bhargava. The Hasse principle and failures thereof for cubic hypersurfaces connect to the work of Harold Davenport, Heath-Brown, Colliot-Thélène, and Jean-Louis Colliot-Thélène in descent and Brauer–Manin obstructions examined at Université Paris-Sud and ETH Zurich. Integral and rational point counts on cubic surfaces tie into circle method results by H. Davenport and analytic techniques developed by Harald Helfgott, Roger Heath-Brown, and Timothy Browning. Elliptic curves, which are plane cubic curves in Weierstrass form, feature prominently in the Birch and Swinnerton-Dyer conjecture studied by Bryan Birch and Peter Swinnerton-Dyer and advanced by Andrew Wiles and Richard Taylor.

Applications and Connections

Cubic forms appear in classification problems studied by William Thurston in topology and by Dolores C. Bronson in applied settings; they link to string theory contexts explored at CERN and by researchers like Edward Witten and Cumrun Vafa via mirror symmetry. Invariant-theoretic methods for cubic forms influence computational algebra systems developed at Symbolic Systems Research Center and software projects at Wolfram Research and SageMath. Coding theory and cryptography draw on elliptic curves—plane cubics—used by standards bodies like National Institute of Standards and Technology and companies such as Google and Microsoft for secure communications. Cubic forms intersect classical mechanics historically studied by Isaac Newton and modern dynamical systems research at California Institute of Technology.

Examples and Explicit Families

Explicit cubic forms include the Fermat cubic x^3 + y^3 + z^3 studied in additive number theory by Leonhard Euler, Srinivasa Ramanujan, and contemporary computational efforts at University of Bristol and University of Warwick. The Clebsch cubic and Cayley cubic were analyzed by Albrecht Clebsch and Arthur Cayley with connections to the 27 lines theorem examined by George Salmon and Hermann Schubert. One-parameter families of diagonal cubics and Mordell curves y^2 = x^3 + k relate to investigations by Louis Mordell, John Tate, and Joseph Silverman. Special cubic surfaces with Eckardt points were classified by Alessandro Segre and Igor Dolgachev, while singular cubic threefolds studied by Clemens Griffiths connect with intermediate Jacobian techniques developed at Princeton University. Computational classification projects have been carried out at University of Edinburgh, Institute of Mathematics of the Polish Academy of Sciences, and Kavli Institute for Theoretical Physics.

Category:Algebraic geometry