Projective Geometry & Line Bundles

← Back to Domain-Specific Families

Abstractions about projective space and the algebraic-geometric structures built on it, covering projective constructions (projectivization, projective bundles, collineations, translation planes), positivity and growth invariants of line bundles (ample line bundles, Iitaka dimension), and classical projective curves like quaternary cubics.

16 abstractions in this family — domain-specific abstractions that sit near one another in structural-signature space (k-means over structural-signature embeddings). Each is shown with its short description.

• Ample line bundle — A line bundle whose sufficiently high tensor power gives an embedding of a projective variety into projective space, expressing algebro-geometric positivity.
• Circular algebraic curve — A real plane algebraic curve whose highest-degree homogeneous part is divisible by x squared plus y squared, equivalently passing through both circular points at infinity.
• Collineation — A bijection of projective spaces that preserves collinearity.
• Hurwitz scheme — An algebraic moduli scheme parameterizing branched covers of a fixed target curve, commonly degree-d genus-g covers of the projective line with specified ramification data.
• Hyperboloid — A nondegenerate central quadric whose real canonical equation has either one sheet or two sheets according to the signs of its squared-coordinate terms.
• Iitaka dimension — An invariant measuring asymptotic growth of sections of powers of a line bundle, equivalently the dimension of the image of its associated rational maps.
• Pole and polar — A reciprocal point-line correspondence induced by a nondegenerate conic or quadric that reverses incidence.
• Projective bundle — A fiber bundle or scheme morphism locally modeled on projective space, often obtained by projectivizing a vector bundle.
• Projective line — The one-dimensional projective space over a field or ring, commonly the one-dimensional subspaces of a two-dimensional vector space and equivalently an affine line completed by points at infinity.
• Projectively extended real line — The real line completed by one unsigned point at infinity, yielding a topological circle and the real projective line.
• Projectivization — The construction that maps a nonzero vector space, cone or vector bundle to its space of one-dimensional linear subspaces by quotienting nonzero vectors under scalar equivalence.
• Quaternary cubic — A homogeneous polynomial of degree three in four variables, whose projective zero locus is a cubic surface and whose coefficients carry a classical ring of invariants.
• Ternary cubic — A homogeneous polynomial of degree three in three variables, studied through plane cubic curves and invariant theory.
• Translation plane — A projective plane containing a line whose elation group acts transitively on the affine points of each line parallel to a fixed direction, yielding an affine translation structure.
• Unital (geometry) — A 2-(n³+1,n+1,1) block design in which every pair of points lies on exactly one block, with embedded unitals meeting each projective-plane line in one or n+1 points.
• W-curve — A curve in projective space invariant under a one-parameter subgroup of projective transformations, so its entire path is an orbit and its projective differential invariants remain constant.