Projective space

Projective space
User:MikKBDFJKGeMalak · Public domain · source
Name	Projective space

Projective space is a central object in modern geometry and algebra that extends classical Euclidean and affine ideas to a setting where parallelism is removed and lines always meet. It underpins developments in algebraic geometry, algebraic topology, and mathematical physics and appears in the work of many figures and institutions in 19th–21st century mathematics. Projective constructions connect classical authors and modern theories across universities and research centers.

Definition and basic properties

Projective space arises as the set of one-dimensional linear subspaces of a vector space over a field, linking constructions in linear algebra with ideas from René Descartes, Jean-Victor Poncelet, Augustin-Louis Cauchy, Projective geometry, and later formalization by David Hilbert and Felix Klein. For a field such as Rational numbers or Complex number the resulting spaces share incidence axioms studied by Giuseppe Peano and formalists at École Polytechnique, while finite fields lead to combinatorial structures relevant to Évariste Galois and Émile Borel. Basic properties include homogeneity under linear automorphisms, dimension one less than the ambient vector space, and duality phenomena explored by Blaise Pascal and Jean-Victor Poncelet.

Construction and models

Standard constructions present projective space via quotient of a vector space minus the zero vector by scalar multiplication, a viewpoint employed in lectures at University of Göttingen, University of Paris, and Princeton University. Alternative models include the completion of an affine space by adding a hyperplane at infinity, approaches used in treatises by Karl Weierstrass and Bernhard Riemann, and the model of lines through the origin in analytic contexts favored at Massachusetts Institute of Technology and Harvard University. Finite projective spaces, or projective planes over finite fields, have been studied in combinatorial work at University of Cambridge and in applications at Bell Labs. Homogeneous models appear in representation theory programs at Institute for Advanced Study and in modern categorical accounts connected to Alexander Grothendieck.

Homogeneous coordinates

Homogeneous coordinates assign to each point an equivalence class of nonzero vectors and are fundamental in computational projects at NASA and in computer vision labs at Stanford University, Carnegie Mellon University, and University of California, Berkeley. They were systematized in the 19th century in correspondence among Augustin-Louis Cauchy, Gaspard Monge, and later codified in texts by Hermann Grassmann and Arthur Cayley. Homogeneous coordinates allow polynomial equations to define subvarieties, an idea central in courses at École Normale Supérieure and in research by Oscar Zariski and André Weil.

Projective transformations and automorphisms

Projective transformations arise from invertible linear maps on the ambient vector space and were central to the Erlangen Program proposed by Felix Klein at University of Erlangen–Nuremberg. The automorphism group PGL(n+1, K) has been studied in work at École Polytechnique and in classification efforts by researchers affiliated with CNRS and Max Planck Institute for Mathematics. Historical investigations link projective transformations to studies by Giovanni Ceva and Brianchon and to applications pursued at Bell Labs and in computer graphics groups at Walt Disney Animation Studios.

Subspaces, lines, and incidence

Subspaces of projective space correspond to linear subspaces of the ambient vector space; lines, planes, and higher flats satisfy incidence relations axiomatized in the 19th century by Gian Francesco Malfatti and later by Veblen and Youngs in combinatorial topology at Yale University and Cornell University. Incidence structures lead to finite geometries of interest in cryptography research at GCHQ and NSA and in coding theory groups at Bell Labs and AT&T Labs Research. Duality between points and hyperplanes was emphasized in writings by Jean-Victor Poncelet and in the projective treatments of David Hilbert.

Projective varieties and algebraic geometry

When polynomial equations with homogeneous coefficients are imposed, projective space becomes the ambient space for projective varieties, a cornerstone of modern algebraic geometry developed by Alexander Grothendieck, Oscar Zariski, André Weil, and later refined by researchers at Institut des Hautes Études Scientifiques and Princeton University. Projective schemes, sheaf cohomology, and line bundles are standard in seminars at Harvard University and University of Cambridge and figure in major results like those associated with the Weil conjectures and the work of Pierre Deligne. Projective embeddings, Hilbert polynomials, and intersection theory have been central to projects at Clay Mathematics Institute and to classifications by researchers such as Shing-Tung Yau.

Topology and metric aspects (real and complex projective spaces)

Real projective space RP^n and complex projective space CP^n carry natural topologies and differential structures used in topology programs at Massachusetts Institute of Technology and University of Chicago. CP^n admits a Kähler metric, the Fubini–Study metric, studied by geometers connected to Princeton University and Institute for Advanced Study and appearing in work by Élie Cartan and S.-T. Yau. RP^n features in investigations of homotopy and characteristic classes pursued at University of Oxford and University of Michigan, with applications in theoretical physics groups at CERN and in relativity studies linked to Albert Einstein and Hermann Minkowski.

Category:Geometry