This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Quadrics | |
|---|---|
| Name | Quadrics |
| Field | Geometry, Algebraic Geometry, Differential Geometry |
| Introduced | Antiquity |
| Notable | Euclid, Apollonius of Perga, René Descartes, Carl Friedrich Gauss, Bernhard Riemann, Henri Poincaré, David Hilbert |
Quadrics Quadrics are the zero sets of nondegenerate second-degree polynomial equations in affine or projective space, central to Euclid's and Apollonius of Perga's studies and fundamental in modern work by René Descartes, Carl Friedrich Gauss, Bernhard Riemann, Henri Poincaré, and David Hilbert. They generalize conic sections and quadric surfaces, linking classical synthetic geometry, analytic geometry, and algebraic geometry through quadratic forms, symmetric matrices, and projective duality. Quadrics appear in diverse contexts from the study of Pythagoras-related metric relations to modern theories developed at institutions like École Polytechnique and the Klein bottle-adjacent explorations in topology.
A quadric in n-dimensional affine space is defined by a quadratic polynomial f(x) = x^T A x + b^T x + c with symmetric matrix A, vector b, and scalar c; foundational contributors include Descartes and Gauss. Over projective space, a quadric corresponds to a homogeneous degree-two form Q(x) represented by a symmetric (n+1)×(n+1) matrix, with classifications tied to rank and signature studied by Sylvester and Hilbert. Key invariants are rank, signature (over ℝ), and discriminant; relations to bilinear forms link to the work of Arthur Cayley and James Joseph Sylvester. Nondegeneracy, singularity, and rulings are determined by matrix determinant and nullspace dimensions, themes explored by Emmy Noether and David Hilbert.
Canonical forms arise through coordinate changes: orthogonal diagonalization over ℝ yields signature-based normal forms tied to Sylvester's law of inertia; over ℂ, diagonalization reduces quadrics to sum-of-squares forms, an approach advanced at Cambridge University and Princeton University. Projective classification uses rank and projective equivalence; degenerate quadrics correspond to cones studied in the work of Jean-Pierre Serre and Alexander Grothendieck. In affine settings, completing the square produces centers and principal axes reminiscent of methods by Pierre-Simon Laplace and Joseph-Louis Lagrange, while over finite fields classification links to results by John von Neumann and researchers at Institute for Advanced Study.
Affine descriptions emphasize translations and Euclidean metrics with connections to Gauss's curvature concepts and coordinate geometry from Descartes; projective viewpoints incorporate points at infinity and dual quadrics, central to Felix Klein's Erlangen program. Projective duality produces polar maps and conjugate loci studied by Poincaré and Riemann, while isotropy and null cones relate to relativistic models influenced by Hermann Minkowski. Intersection theory on quadrics in projective varieties has been developed by Oscar Zariski and André Weil, connecting to moduli problems at institutions like Institut des Hautes Études Scientifiques.
In two dimensions conics—ellipses, hyperbolas, parabolas—were classified by Apollonius of Perga; analytic treatments by Descartes and Newton give focal definitions and reflective properties. In three dimensions quadric surfaces (ellipsoids, hyperboloids, paraboloids, cones, cylinders) exhibit rulings and principal curvature properties analyzed by Gauss and Meusnier; doubly-ruled hyperboloids link to construction techniques used in Eiffel Tower-era engineering and designs by Antoni Gaudí. Degenerate cases include pairs of planes and cones, important in projective constructions by Poncelet and practical optics problems addressed by Christiaan Huygens.
Algebraically, quadrics are smooth projective hypersurfaces when the defining form is nondegenerate; their Picard groups, Hodge structures, and rationality properties were studied by Andre Weil and Igor Shafarevich. Differentially, the second fundamental form, principal curvatures, and Gaussian curvature formulas for quadrics were formulated by Gauss and extended by Bernhard Riemann; minimal surface analogues and curvature flows relate to work at ETH Zurich and Courant Institute. Symmetry groups of quadrics—orthogonal and pseudo-orthogonal groups—connect to Élie Cartan's theory of Lie groups and homogeneous spaces such as Grassmannians investigated by Hermann Weyl.
Quadrics underpin conic optics used by Isaac Newton and Johannes Kepler in celestial mechanics, and appear in quadratic forms in number theory studied by Carl Friedrich Gauss and Andrew Wiles-era contexts. In engineering and architecture, quadric surfaces model reflectors, lenses, and shells as in projects by Buckminster Fuller and Zaha Hadid. In physics, Minkowski quadrics model spacetime light cones central to Albert Einstein's relativity; in control theory and optimization, quadratic programming and Lyapunov functions connect to work at Bell Labs and MIT.
Computationally, quadrics are represented by symmetric matrices for efficient evaluation, diagonalized by singular value decomposition methods developed at Bell Labs and AT&T, and transformed via affine maps in computer graphics pipelines from Silicon Graphics paradigms. Intersection and ray-tracing algorithms for quadric surfaces are implemented in rendering engines inspired by research from Pixar and SIGGRAPH proceedings; algebraic geometry packages from Mathematica creators and researchers at Institut National de Recherche en Informatique et en Automatique provide symbolic classification and resolution of singularities. Numerical stability, eigenvalue problems, and optimization formulations leverage advances from John von Neumann and modern numerical linear algebra research at Stanford University.