Complete variety¶
An algebraic variety whose projection after product with any variety is a closed map, the algebro-geometric analogue of compactness.
Core Idea¶
Complete variety is an algebraic variety whose projection after product with any variety is a closed map, the algebro-geometric analogue of compactness.
For a variety over a field, completeness means that the structural morphism to the base is proper; in classical language, projection from its product with any variety is closed. Projective varieties are complete, but complete need not mean projective. The valuative criterion expresses the absence of missing limit points through extension of maps from a fraction field to a valuation ring.
Scope of Application¶
The abstraction recurs literally within algebraic varieties and morphisms whose global boundary behavior is controlled by properness. The following habitats preserve the same recognition machinery; they are not invitations to extend the name metaphorically.
- Projective varieties. their structural morphisms furnish the standard complete examples.
- Closed subvarieties. closed subobjects of complete varieties remain complete.
- Images. morphisms from complete varieties have closed images under appropriate hypotheses.
- Curves. adding missing points produces complete models of affine curves.
- Families. proper morphisms control limits and closedness after base change.
Clarity¶
Completeness belongs to the variety through its map to the base, while properness is the relative formulation for a general morphism. The universal quantifier over base changes or the equivalent finite-type, separated, universally closed package must not be reduced to visual boundedness.
A practical identification audit begins with the typed roles rather than the title: establish the variety, verify the structural morphism, then test the remaining conditions and exclusions.
Manages Complexity¶
The property replaces many ad hoc 'points at infinity' arguments with a stable morphism condition. Closed images, extension tests, and compactness-like global reasoning become available without choosing analytic coordinates or a metric.
The compression remains accountable because each simplification has a named failure condition. Disagreement can be localized to a missing role, an invalid assumption, an ambiguous measurement, or a neighboring abstraction instead of being hidden inside an unanalyzed label.
Abstract Reasoning¶
R1. Identify the base and the structural morphism. R2. Use a recognized properness criterion rather than ambient boundedness. R3. Check stability under the relevant base change. R4. Apply the valuative criterion with all hypotheses attached. R5. Separate completeness from projective embeddability and smoothness.
These moves separate definition, derivation, measurement, and interpretation. A formal consequence does not by itself prove that an observed case instantiates the abstraction, while an observed resemblance does not relax the formal or institutional recognition conditions.
Knowledge Transfer¶
Completeness transfers literally across varieties and proper morphisms in algebraic geometry. Compactness and closure are the portable parents; calling a database, proof, or list a complete variety because it has no apparent omissions is only verbal analogy.
The transfer boundary is explicit: DOMAIN-SPECIFIC PASS / PRIME FAIL: The property recurs across varieties, their closed subvarieties, images, and product projections. Literal recognition retains the specialist vocabulary and validity conditions of algebraic geometry; outside that setting only broader parent operations transfer.
Relationships to Other Abstractions¶
Current abstraction Complete variety Domain-specific
Parents (2) — more general patterns this builds on
-
Complete variety is a kind of Closure Prime
Closure (
prime:closure). -
Complete variety is a kind of Completeness Prime
Completeness (
prime:completeness).
Hierarchy paths (2) — routes to 2 parentless roots
- Complete variety → Closure
- Complete variety → Completeness
Neighborhood in Abstraction Space¶
Complete variety sits in a sparse region of the domain-specific corpus (66th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Algebraic Geometry & Bundle Structure (14 abstractions)
Nearest neighbors
- Algebraic stack — 0.86
- Universal property — 0.85
- Uniform space — 0.85
- Finite subdivision rule — 0.84
- Phragmen–Brouwer theorem — 0.84
Computed from structural-signature embeddings · 2026-09-08