Complete variety¶

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

Version: v3 · 2026-09-19 · History
Domain-specific #: 1517
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Algebraic Geometry → Mathematics
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.

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.

How would you explain it like I'm…

The Closed-Up Shape

Some shapes run off forever, like a road with no end, so something is missing far away. A complete variety is a shape made from math equations that has nothing missing, not even way out at the end, a bit like a ball you can hold in your hands.

No Points Escape to Infinity

In algebraic geometry, shapes are made from polynomial equations and are called varieties. A complete variety is the equation-world version of a shape that is 'closed up and does not run off to infinity', like a sphere compared with an endless line. For example, a straight line goes on forever and is missing a point far away, but a projective line adds that point 'at infinity' and becomes complete. Being complete is not the same as just having no holes in the usual measuring sense. Mathematicians test it with a special rule about shadows: projecting certain combined shapes must never lose their edges.

Algebraic Analogue of Compactness

A complete variety is the algebraic-geometry analogue of a compact space. The definition uses products and projections: X is complete if, for every variety Y, the projection from X times Y onto Y sends closed sets to closed sets. Intuitively, nothing can 'escape to infinity' and be lost in the shadow. The affine line is not complete, but the projective line, which adds a point at infinity, is. Every projective variety is complete, though some complete varieties are not projective. This is not ordinary metric completeness, where Cauchy sequences converge; it is a condition in the algebraic-geometric (Zariski) sense.

A complete variety is an algebraic variety X such that, for every variety Y, the projection X × Y → Y is a closed map in the Zariski sense; it is the algebro-geometric analogue of compactness. Over a base field, this is equivalent to the structure morphism from X to the base being proper. The valuative criterion expresses the same idea as having no missing limit points: a map from the fraction field of a valuation ring into X extends to the whole valuation ring. Every projective variety is complete, but completeness does not imply projectivity. Ordinary metric completeness, in which Cauchy sequences converge, is a different notion and does not suffice.

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) — outgoing typed relations

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 → is a kind of Closure

Show alternative path (1)

Neighborhood in Abstraction Space¶

Complete variety sits in a moderately populated region (51^st percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-25