Projective Geometry: Fundamentals & Applications

• Projective geometry is the study of properties invariant under projective transformations, unifying classical and modern geometric theories through rigorous axiomatic foundations.
• It extends Euclidean concepts by incorporating points at infinity and cross-ratio invariance, essential for understanding perspective and harmonic relationships.
• Applications span computer vision, physics, algebraic structures, finite geometries, and projective differential studies, highlighting its broad practical and theoretical significance.

Projective geometry is the study of structures and properties invariant under projective transformations, providing a unified framework for both classical geometry and a range of non-Euclidean, degenerate, and modern geometric theories. Its significance spans pure mathematics, including foundations, combinatorics, and representation theory, as well as applied fields such as computer vision, physics, and PDE geometry.

1. Foundations and Axiomatic Structures

Projective geometry is characterized by its invariants under projective transformations, with the classical projective space $\RP^n = (\R^{n+1}\setminus\{0\})/\sim$ where $x \sim \lambda x$ for $\lambda \in \R\setminus\{0\}$ (Fillastre et al., 2016, Artstein-Avidan et al., 2016). Projective points are lines through the origin, and lines are $2$-planes through the origin. The incidence structure is formalized via axioms such as those by Veblen–Young and Pieri:

• Veblen–Young axiomatics:
  • For points $X$ and lines $Y$, axioms A1–A3 guarantee that any two distinct points determine exactly one line, and any two distinct lines meet in at most one point, along with a quadrilateral incidence property (Retter, 2015).
• Join-based (Pieri) axiomatics:
  • Using a ternary join relation $(a,b,c)$ interpreted as $b$ belonging to the join of $a$ and $c$, and incorporating reflexivity, antisymmetry, density, and transitivity. Equivalence with Veblen–Young's approach is established, with the projectivity-matroid criterion linking projective spaces to combinatorial matroid theory (Retter, 2015).
• Lattice-theoretic formulation:
  • Projective spaces are seen as ranked, modular lattices with atomic and complementary properties; points are atoms, lines are rank-2 elements. Duality corresponds to lattice dualization, reflecting self-duality of the theory (Lüneburg, 2011).
• Synthetic axiomatizations:
  • Alternatives such as the Equipal axiom or modified Veblen–Pasch are employed, focusing on geometric constructs like doubly-ruled surfaces or harmonic configurations (Abreu et al., 2024).

These abstract systems support both finite and infinite geometries, encompassing classical continuous models ($\R,\C,\mathbb{F}_q$) and discrete structures over finite fields.

2. Classical Geometry: Points at Infinity and the Cross-Ratio

The central innovation of projective geometry is the completion of affine (Euclidean) space by introducing “points at infinity”—the loci where parallel lines meet—in order to restore symmetry and generalize incidence properties (Gentili et al., 2022). Working in homogeneous coordinates $[x:y:z]$, ordinary points embed into the projective plane $P^2$ as $[x:y:1]$, with the line at infinity $Z=0$ parametrizing improper points.

The cross-ratio $(A,B;C,D) = \frac{CA/CB}{DA/DB}$ of four collinear points remains invariant under projective transformations, underpinning projective invariance and supporting the synthetic construction of harmonic conjugates, involutions, and conic duality (Abreu et al., 2024, Nguyen, 2018).

Perspective as developed in Renaissance art directly motivated these concepts, with vanishing points giving a geometric realization of points at infinity and projective line intersections, and the cross-ratio guaranteeing metric invariance under projection, a result rigorously formalized in 19th-century mathematics (Gentili et al., 2022).

3. Fundamental Theorems and Classical Results

The foundational theorems of projective geometry include Desargues’s, Pappus’s, and Pascal’s theorems, which establish the equivalence of projective spaces to coordinatizable models over division rings (Desarguesian spaces), and characterize fields via combinatorial incidence (Pappus implies field commutativity) (Lüneburg, 2011, Mandelkern, 2024, Abreu et al., 2024).

Theorem	Statement (projective setting)	Consequence
Desargues	Perspective from a center $\Rightarrow$ perspective from an axis	Isomorphism to subspace lattice of a vector space (Lüneburg, 2011)
Pappus	Collinearity in hexagon inscribed in two lines	Underpins coordinatization over a commutative field (Abreu et al., 2024)
Pascal	Collinearity of intersections in a hexagon on a conic	Characterizes properties of conics, duals with Brianchon

These results are derived both synthetically and analytically and provide the backbone for further constructions, including involutions, harmonic sets, and polarities—each of which can be realized via cross-ratio or direct projective arguments (Nguyen, 2018, Abreu et al., 2024).

4. Duality, Convexity, and Generalized Geometries

Projective duality interchanges points and hyperplanes (lines in $\RP^2$) and is realized algebraically via the polarity induced by quadrics (Fillastre et al., 2016, Abreu et al., 2024). In particular, a nondegenerate symmetric form $b$ defines an absolute quadric $Q$ in $\RP^n$ (e.g., $x_0^2 + x_1^2 + x_2^2 = 0$ in $\RP^2$), enabling models for elliptic, hyperbolic, and Euclidean geometries:

• Elliptic geometry: $b(x,x) = +1$, geodesics are great circles.
• Hyperbolic geometry: $b(x,x) = -1$, Klein model—interior of an absolute conic, metric given via cross-ratio.
• Euclidean geometry: degenerate form, limit of the above, lines at infinity collapse (Fillastre et al., 2016).

Projective convexity is formalized via the correspondence between convex cones $\tilde C$ in $\R^{n+1}$ and their induced projective sets; polar duality at the cone level descends to projective duality, critical for the study of support functions, Hilbert metrics, and geometry of convex bodies (Fillastre et al., 2016). Geometric transitions, such as “blow-up” degenerations, yield degenerate geometries like co-Euclidean and co-Minkowski (“half-pipe geometry”), which retain canonical connections and volume forms in the limit.

5. Algebraic and Finite Projective Geometries

Projective geometry over arbitrary fields and rings underpins algebraic geometry and finite geometry. In the finite case, $\mathrm{PG}(n,q)$ is the geometry of $(n+1)$-dimensional vector spaces over $\mathrm{GF}(q)$, with rich combinatorics:

• Points: $(q^{n+1}-1)/(q-1)$
• $k$-subspaces: Gaussian binomial coefficients
• Automorphism groups: $\mathrm{PGL}(n+1,q)$, $\mathrm{PSL}(n+1,q)$, $\mathrm{P}\Gamma\mathrm{L}(n+1,q)$ (Lüneburg, 2011).

Embeddings such as Segre and Grassmann varieties, with their coordinate descriptions and incidence conditions (e.g., bilinear rank 1 for Segre, Plücker relations for Grassmannians), play a foundational role in algebraic geometry and representation theory (Lüneburg, 2011). The functorial approach in modern algebraic geometry interprets projective spaces as moduli for line bundles, with perfectoid generalizations leading to Picard groups $\ZZ[1/p]$ and strictly compatible Frobenius structures (Dorfsman-Hopkins, 2019).

6. Projective Differential Geometry and Prolongation

Projective structures on smooth manifolds are defined as equivalence classes of torsion-free affine connections sharing unparameterized geodesics. Invariants such as the projective Weyl tensor, Schouten tensor, and Cotton tensor characterize projective curvature (McNaughton, 2024).

Key developments involve tractor calculus, with the standard tractor bundle $\mathcal{T}$ (and dual $\mathcal{T}^*$), natural vector bundles equipped with projectively invariant connections encoding geometry and obstruction invariants. Prolongation of overdetermined geometric PDEs—such as the projective metrisability equation (trace-free $\nabla_a t^{bc}$)—is achieved systematically via tractors:

• Solutions correspond to parallel sections of connections on symmetric tractor bundles.
• Zero curvature (flat projective structures) yield maximal metric equivalence.
• The “Levi–Civita” tractor aligns with the existence of Einstein metrics, precisely when the prolonged connection is flat.
• Open problems concern the classification of finite-type projectively invariant PDEs, explicit curvature computation, global holonomy/topology, parabolic analogues, and BGG-type operator extensions (McNaughton, 2024).

7. Constructive Projective Geometry

Bishop-style constructive mathematics reframes classical projective geometry by admitting only constructive proofs—eschewing the Law of Excluded Middle and requiring explicit construction ('apartness', 'outside' predicates, constructive uniqueness) (Mandelkern, 2024, Mandelkern, 2024, Mandelkern, 2024).

This necessitates refinement of axioms (e.g., constructive versions of uniqueness for intersections, explicit apartness), and constructive algorithms for key theorems (Desargues, Pascal, harmonic conjugates, projectivities). Associated open problems revolve around independence and minimality of axioms, equivalence of analytic and synthetic extensions, and constructive extensions of affine planes to projective planes avoiding undecidable statements (Mandelkern, 2024, Mandelkern, 2024).

Additionally, synthetic approaches centered on harmonicity and ruled surfaces (Abreu et al., 2024) yield new purely projective proofs, strengthen duality paradigms, and clarify the incidence nature of polarities and conic self-duality—entirely free from coordinate or metric dependence.

---

• (McNaughton, 2024) Projective Geometry and PDE Prolongation
• (Artstein-Avidan et al., 2016) The Fundamental Theorems of Affine and Projective Geometry Revisited
• (Fillastre et al., 2016) Spherical, hyperbolic and other projective geometries: convexity, duality, transitions
• (Abreu et al., 2024) Harmonic curves and the beauty of Projective Geometry
• (Gentili et al., 2022) The Mathematics of Painting: the Birth of Projective Geometry in the Italian Renaissance
• (Retter, 2015) A common axiomatic basis for projective geometry and order geometry
• (Mandelkern, 2024) A Constructive Real Projective Plane
• (Mandelkern, 2024) Constructive projective extension of an incidence plane
• (Mandelkern, 2024) Constructive Projective Geometry
• (Lüneburg, 2011) Projektive Geometrie
• (Dorfsman-Hopkins, 2019) Projective Geometry for Perfectoid Spaces
• (Nguyen, 2018) Projective Line Revisited