Complete variety¶

An algebraic variety whose projection after product with any variety is a closed map, the algebro-geometric analogue of compactness.

Version: v2 · 2026-09-06 · History
Domain-specific #: 1517
Origin domain: mathematics
Subdomain: algebraic geometry
Aliases: Complete algebraic variety

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. ^[1]

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.

Its operative boundary is not supplied by the name alone. Preserve this identity: An algebraic variety whose projection after product with any variety is a closed map, the algebro-geometric analogue of compactness. Validity boundary: For every variety Y, the projection from X times Y to Y must be closed in the algebraic-geometric sense; ordinary metric completeness is insufficient. The entry therefore captures a reusable specialist role structure rather than a topic label, a single historical instance, or a loose analogy.

Structural Signature¶

Sig role-phrases:

the variety — a finite-type separated geometric object over a base field
the structural morphism — the map from the variety to the base
the universal base change — testing the property after product with arbitrary base schemes or varieties
the closed projection — images of closed sets remain closed under projection
the valuative extension — generic-point maps extend over allowed valuation rings
the boundary exclusion — no additional algebraic limit points are required outside the variety
the properness consequences — closed images and finiteness properties available to complete objects

Recognition test. A case qualifies only when the analyst can map the declared the variety, the structural morphism, the universal base change, the closed projection, the valuative extension and preserve the specialist validity conditions. Shared vocabulary, a similar output, or a generic instance of one parent relation is insufficient.

What It Is Not¶

Not metric completeness. No chosen distance or Cauchy-sequence condition defines the property.
Not compactness as a bare topological synonym. The analogy is useful, but properness is an algebro-geometric morphism property.
Not projectivity. Projective varieties are complete, while completeness alone need not supply an embedding.
Not a closed subset of affine space. Closedness in one ambient space does not establish universal properness.
Not smoothness. Singular varieties can be complete and smooth varieties can be noncomplete.

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. If the case retains only the portable skeleton described below, it should be named through a parent abstraction rather than as Complete variety.

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. The safe move beyond the home habitat is to carry the applicable parent relation and leave the specialist name behind unless every defining role remains literal.

Examples¶

Canonical: projective space¶

Projective n-space over a field is proper over that field and hence complete. For every base variety, projection from the product with projective space is closed. Homogeneous coordinates introduce charts, but the global object already contains the algebraic directions that would appear as points at infinity in affine space. ^[1]

Mapped back: the variety; the structural morphism; the universal base change; the closed projection; the boundary exclusion.

Applied / In Practice: completing an affine curve¶

The affine line omits a point at infinity and is not complete. Embedding it as a dense open subset of the projective line adds that boundary point; rational maps and one-parameter degenerations can then be tested against the complete model. The example illustrates the analogy with compactification without identifying the property with metric compactness. ^[2]

Mapped back: the boundary exclusion; the valuative extension; the properness consequences; the variety.

Structural Tensions¶

T1: Compactness analogy vs scheme-theoretic definition. The analogy guides intuition while universal closedness supplies the actual criterion. Diagnostic: Which properness condition is being invoked?

T2: Completeness vs projectivity. Projective embeddings imply completeness but the converse fails in general. Diagnostic: Has an ample line bundle or embedding actually been established?

T3: Global boundary vs local charts. Every point may have an affine neighborhood even when the global variety is complete. Diagnostic: Is a local description being mistaken for global nonproperness?

T4: Valuative elegance vs hypothesis control. Extension criteria are powerful but variants require finite-type and separatedness assumptions. Diagnostic: Which version of the criterion applies?

T5: Closed image vs surjectivity. A proper image is closed, not necessarily the entire target. Diagnostic: What image is asserted and why?

T6: Domain autonomy vs prime reduction. Closure and completeness capture the skeleton but not proper structural morphisms of varieties. Diagnostic: Would removing varieties, base change, and valuation rings leave this same abstraction?

Structural–Framed Character¶

The five-criterion aggregate is 0.15 (structural). The judgment is criterion-specific:

Vocabulary travels — low (0.25). The complete vocabulary remains tied to the typed roles in the Structural Signature.
Evaluative weight — low (0.00). Application carries the stated degree of normative or interpretive judgment beyond structural recognition.
Institutional origin — low (0.25). The abstraction depends to this degree on a scholarly, technical, legal, or social convention.
Human-practice bound — low (0.00). Recognition depends to this degree on organized practice, language, measurement, or institutional action.
Import versus recognize — low (0.25). Beyond its home habitat, use of the full name increasingly becomes analogy rather than literal recognition.

The portable skeleton is an object has no missing admissible limits because its structure map remains closed and extendable under every allowed change of base. The named abstraction remains structural because that skeleton alone does not supply its specialist objects, constraints, or tests.

Structural Core vs. Domain Accent¶

Structural core: An object has no missing admissible limits because its structure map remains closed and extendable under every allowed change of base.

Domain accent: Varieties, proper morphisms, universal closedness, valuation rings, projective models, and algebraic boundary points.

Why it does not clear the prime bar: No-missing-limits reasoning travels; complete variety is the properness condition in the category of algebraic varieties. Generalization therefore routes through parent abstractions; preserving the specialist name requires the full accent.

Closure (prime:closure). Universal closedness is a defining component of properness.
Completeness (prime:completeness). The variety supplies a specialist realization of no missing admissible limits.

These are prose placement proposals only. They create no dag_edges; endpoint, redundancy, and cycle checks are recorded separately in the bundle's placement memo.

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

Show alternative path (1)

Neighborhood in Abstraction Space¶

Complete variety sits in a sparse region of the domain-specific corpus (66^th 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

Computed from structural-signature embeddings · 2026-09-08

Not to Be Confused With¶

Proper variety. the modern morphism-language equivalent over a field. Tell: Is the terminology relative properness or classical completeness?
Projective variety. a variety embedded in projective space. Tell: Has projectivity been proved or only completeness?
Compact complex manifold. an analytic-topological notion. Tell: Is the claim made in the algebraic or analytic category?
Complete metric space. a Cauchy-convergence property. Tell: Where is a metric being used?
Compactification. a process or containing complete object. Tell: Is the object already complete or being enlarged to one?

References¶

[1] Robin Hartshorne, Algebraic Geometry, Springer, 1977, Chapter II §4. registry ↩a ↩b

[2] The Stacks Project Authors, “Proper Morphisms”, The Stacks Project. registry ↩