Algebraic Variety

A geometric object locally described by polynomial equations over a declared field and glued by regular maps, with coordinate algebra, Zariski topology, dimension, morphisms, and singularities interpreted under an explicit convention.

Version

v1 · 2026-09-28 · History

Domain-specific #

7923

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomain

Algebraic Geometry → Mathematics

Aliases

Variety

Core Idea

An algebraic variety is a geometric object defined locally by polynomial equations over a declared field.^[1] In its classical affine form, it begins as the common zero set of polynomials in an affine space.^[2] The same equations generate an ideal, and the corresponding coordinate ring translates geometry into commutative algebra.^[3] The Zariski topology, regular functions, and regular morphisms then make the zero set more than an unstructured collection of solutions.^[1]

Projective varieties use homogeneous polynomial equations in projective space, allowing points at infinity and constructions that behave globally better than an affine chart alone. Abstract varieties are assembled by gluing affine pieces along open subsets with compatible regular maps. This local-to-global construction lets a variety exist without one preferred ambient affine or projective space.

The word variety does not have one universal convention. Some authors require irreducibility, so a reducible zero set is an algebraic set whose irreducible components are varieties. Others allow reducible varieties. Modern treatments may formulate varieties as reduced, separated schemes of finite type over a field, sometimes adding irreducibility. Any entry or theorem must declare which boundary it uses. Without that convention, apparently contradictory statements may simply classify the same object differently.

Varieties carry dimension, subvarieties, singular and smooth loci, rational points, functions, and morphisms. A smooth variety over suitable fields may also be a differentiable or complex manifold in an associated topology, but singular points are permitted and often central. The algebraic structure—not visual smoothness or a particular embedding—defines the object.

How would you explain it like I'm…

Shapes From Equation Rules

An algebraic variety is a shape made from math equations. The simplest ones are all the spots where some equations come out to zero, like the circle made by one equation. Bigger ones can be built by gluing those simple pieces together.

Shapes Built From Equations

An algebraic variety is a geometric shape described by polynomial equations, which use only adding, multiplying, and numbers. The simplest kind is all the points that solve a set of such equations at once, like a circle from x² + y² = 1. Mathematicians also make versions that include 'points at infinity', and they can build more complicated varieties by gluing simple pieces together. Varieties can have smooth parts and also sharp or crossing points. Different mathematicians use the word slightly differently, for example whether a shape made of two separate pieces still counts as one variety.

Polynomially Defined Geometric Object

An algebraic variety is a geometric object defined locally by polynomial equations over a declared field. In the classical affine case, it is the common zero set of some polynomials. Those polynomials generate an ideal, and the coordinate ring (polynomials modulo that ideal) translates geometry into algebra. The Zariski topology, regular functions, and regular maps give the set real structure beyond a list of solutions. Projective varieties use homogeneous equations in projective space, adding points at infinity, and abstract varieties are glued from affine pieces, so they need not live in any single surrounding space. Conventions differ: some authors require a variety to be irreducible (not a union of smaller pieces), some don't, and modern treatments often define varieties as certain kinds of schemes. Varieties can have singular points, so the definition rests on the algebraic structure, not on looking smooth.

 

An algebraic variety is a geometric object locally defined by polynomial equations over a declared field. Classically, an affine variety is the common zero set of polynomials in affine space; the equations generate an ideal, and the coordinate ring translates geometry into commutative algebra, while the Zariski topology, regular functions, and regular morphisms supply structure beyond a bare solution set. Projective varieties use homogeneous equations in projective space, admitting points at infinity and better global behavior, and abstract varieties are obtained by gluing affine pieces along open subsets via compatible regular maps, so no preferred ambient space is required. Conventions vary: some authors require irreducibility, making a reducible zero set an algebraic set whose components are varieties; others allow reducible varieties; modern treatments often take reduced, separated schemes of finite type over a field, sometimes adding irreducibility, and any theorem must state its convention. Varieties carry dimension, subvarieties, smooth and singular loci, rational points, functions, and morphisms. Smooth varieties over suitable fields can be viewed as manifolds in an associated topology, but singularities are allowed and often central, so the algebraic structure rather than visual smoothness or a particular embedding defines the object.

Structural Signature

Sig role-phrases:

• the base field — the coefficient and scalar regime controlling points, factorization, irreducibility, and algebraic behavior
• the polynomial or local algebraic presentation — equations, ideals, coordinate rings, or locally finite-type scheme structure describing affine pieces
• the Zariski topology and local rings — the algebraic notion of closed sets, neighborhoods, and local functions
• the affine-chart gluing — compatible regular identifications on overlaps that assemble global abstract or projective geometry
• the regular morphisms — the maps preserving algebraic functions and defining algebraic isomorphism
• the convention on reducedness and irreducibility — the declared rule deciding whether reducible or nonreduced objects count as varieties
• the dimension and singularity structure — invariants diagnosing local and global geometry beyond the solution-set surface

The defining movement is polynomial algebra ↔ geometric locus, extended from affine pieces through regular gluing. Neither the equations nor the point set alone always carries the full modern identity.

What It Is Not

• Not every subset of affine or projective space. It must be algebraically defined under the chosen category.
• Not merely a plotted curve or surface. Dimension can be arbitrary, and appearance over the real numbers can hide the algebraic behavior over another field.
• Not automatically a differentiable manifold. Singular points are allowed; even smooth algebraic structure is stricter than smooth manifold structure.
• Not unconditionally synonymous with algebraic set. Under an irreducible convention, a variety is an irreducible algebraic set. Under broader conventions the terms overlap more.
• Not every scheme. General schemes can be nonreduced, nonseparated, infinite type, or based over rings rather than fields. A variety convention normally imposes additional restrictions.
• Not determined by one embedding. Isomorphic varieties can appear through different equations or ambient spaces.
• Not only affine. Projective and abstract varieties require multiple charts or homogeneous coordinates.
• Closest near-miss: an algebraic set. It has the polynomial zero-locus structure but may be reducible where the declared variety convention forbids that.

Scope of Application

Affine varieties connect polynomial systems with coordinate rings and ideals.^[2] Algebraic curves and surfaces specialize by dimension.^[3] Linear algebraic groups add compatible group operations. Hypersurfaces arise from one equation; complete intersections use the expected number of equations under suitable conditions.

Projective varieties support compact-like algebraic behavior, intersection theory, divisors, and homogeneous coordinate methods. Grassmannians, projective space, and many moduli constructions are projective or quasi-projective varieties. Quasi-projective varieties are open subvarieties of projective ones.

Number theory studies rational and integral points over non-algebraically closed fields. Complex algebraic geometry compares varieties with complex analytic spaces and topology. Singularities encode degenerations and constrain resolutions, invariants, and maps. Algebraic families vary varieties over a base and motivate scheme and moduli theory.

The abstraction is used whenever polynomially governed geometry, coordinate algebra, and regular maps must be reasoned about together. It does not require that all questions be solved through explicit equations; intrinsic definitions allow global work.

Clarity

Algebraic variety clarifies why geometry and algebra can answer each other's questions. A polynomial ideal defines a locus; functions on the locus form a quotient ring; prime or radical properties correspond to geometric component or reducedness properties. The Nullstellensatz supplies a foundational bridge over algebraically closed fields, but its exact form and hypotheses matter.

It also distinguishes ambient coordinates from intrinsic identity. Changing equations, adding redundant coordinates, or moving among affine charts need not change the variety. Regular maps and isomorphisms state what structure is preserved.

Declaring convention removes a persistent ambiguity. “This variety is reducible” is ordinary language under a broad convention and a contradiction under a convention that builds irreducibility into the noun. The mathematical content becomes clear only after the boundary is named.

Manages Complexity

Polynomial systems can be complicated as point sets. Coordinate rings compress their shared equations into algebraic objects on which ideals, localization, dimension, and homological tools operate. Geometric questions become ring-theoretic calculations and can later be translated back.

Affine covers localize global problems. On each chart one computes with rings and equations; overlap maps record how answers glue. Singularities can be isolated through local rings or Jacobian criteria rather than treating the whole space as uniformly pathological.

Dimension, degree, components, divisors, and cohomological invariants compress many presentations into comparison tools. They do not fully determine a variety, but they organize large classes and expose which differences matter to the current problem.

Abstract Reasoning

Algebra–geometry translation. Move from polynomial equations to ideals and coordinate rings, perform algebraic operations, and interpret the results geometrically.

Local-to-global construction. Prove statements on affine charts, check regular agreement on overlaps, and infer a global variety-level result.

Component analysis. Factor a reducible locus into irreducible components, study their intersections, and preserve the convention distinguishing set from variety.

Singularity diagnosis. Compare local dimension and tangent behavior to decide where manifold-like reasoning applies and where singular methods are required.

Base-field sensitivity. Ask which points and decompositions exist over the declared field and what changes after extending scalars.

Knowledge Transfer

The full identity transfers among algebraic geometry, arithmetic geometry, and complex geometry when field, category, and convention are preserved. The same equations over different fields can define different rational-point sets while belonging to related base-changed varieties.

Differential geometry can receive the smooth locus or analytification of a suitable variety, but this is a functorial comparison, not an identity collapse. Singular and arithmetic information may disappear under the transfer.

Outside mathematics, “solution variety” or “algebraic landscape” is usually metaphor. The parent structures of constraint, solution set, and local-to-global gluing may transfer; polynomial and regular-map content does not.

Examples

Canonical

The affine plane curve defined by (y^2=x3-x) over a declared field is studied through the zero locus and coordinate ring (k[x,y]/(y^2-x3+x)). Its field, factorization, dimension, smoothness, and rational points all affect the resulting geometry.

Mapped back: field = declared (k); presentation = one affine polynomial equation; topology/local algebra = Zariski topology and localizations of the coordinate ring; gluing = one affine chart for the basic object; morphisms = regular polynomial/rational-with-valid-domain maps; convention = declared irreducibility/reducedness; invariants = dimension and singular locus.

Applied / In Practice

Projective space is covered by standard affine charts whose coordinate changes are regular on overlaps. Projective zero loci use homogeneous equations, so geometry does not depend on choosing one coordinate to normalize globally.

Mapped back: field = projective base field; presentation = homogeneous coordinates and equations; topology/local algebra = projective Zariski charts; gluing = regular coordinate changes; morphisms = homogeneous regular maps under their conditions; convention = chosen projective-variety definition; invariants = dimension and projective structure.

Structural Tensions

Classical point set vs. scheme-theoretic structure

Point sets preserve geometric intuition. Schemes and local rings retain nilpotent, family, and base-change information invisible in points. Using full machinery everywhere can obscure simple problems; using points alone can erase the structure a theorem needs.

Diagnostic: Does the current claim depend only on the zero locus, or on local rings, multiplicity, infinitesimal behavior, or families?

Local affine calculability vs. global geometry

Affine charts make rings and equations tractable. Global gluing carries projective, line-bundle, and cohomological information absent from any single chart.

Diagnostic: Does the proposed construction agree under every transition map, or is it an artifact of one affine coordinate choice?

Inclusive vs. irreducible convention

Allowing reducible varieties makes unions easy to name. Requiring irreducibility centers a single geometric component. Either can be coherent; hidden switching cannot.

Diagnostic: Has the convention been declared, and is a property being asserted of the whole reducible locus or of each component?

Structural–Framed Character

Algebraic variety is structural. Field, ring, topology, charts, and morphisms are formal data; identity and boundary are established by mathematical proof. Historical convention affects terminology but not through values or institutions in the ordinary sense.

The frame is the chosen foundational category. Classical, scheme-theoretic, irreducible, and broad conventions select related but nonidentical object classes. The entry must treat that frame as an explicit parameter.

Structural Core vs. Domain Accent

Structural core: constraints define a solution object; local descriptions are glued; admissible maps preserve structure; invariants compare presentations. These connect to constraint satisfaction, local-to-global aggregation, equivalence, and invariance.

Domain accent: constraints are polynomial, algebra is commutative coordinate algebra, topology is Zariski, maps are regular, and field and scheme conventions govern the identity. Removing these yields a generic structured solution space, not an algebraic variety.

Instantiates / Related Primes

• Constraint — related. Classical points satisfy polynomial constraints, but the variety adds topology and algebraic structure.
• Local-to-Global Aggregation — instantiated by abstract gluing. Affine pieces agree on overlaps to form a global object.
• Equivalence Relation — related. Isomorphism identifies different presentations of one algebraic object.
• Invariance — related. Dimension and other invariants survive admissible coordinate and presentation changes.

Relationships to Other Abstractions

Current abstraction Algebraic Variety Domain-specific

Foundational — no parent edges in the catalog.

Children (8) — more specific cases that build on this

• Algebraic curve Domain-specific is a kind of Algebraic Variety

  An algebraic curve is an algebraic variety of dimension one under the declared field and regularity convention.

• Character variety Domain-specific is a kind of Algebraic Variety

  Character variety is a kind of Algebraic Variety with a stable domain-specific differentia.

• Determinantal variety Domain-specific is a kind of Algebraic Variety

  A determinantal variety is an algebraic variety cut out by minors imposing a matrix-rank bound.

▸ Show 5 more

Neighborhood in Abstraction Space

Algebraic Variety sits in a moderately populated region (49^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Unclustered & Miscellaneous (2551 abstractions)

Nearest neighbors

• Étale morphism — 0.89
• Ringed Space — 0.88
• Zariski Tangent Space — 0.86
• Sheaf of Modules — 0.85
• Exponential polynomial — 0.85

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

Not to Be Confused With

• Algebraic set: a polynomial zero locus, potentially reducible under an irreducible-variety convention.
• Scheme: a more general locally ringed object that can include nonreduced, arithmetic, or otherwise broader cases.
• Differentiable manifold: a locally Euclidean smooth object; varieties may be singular and carry algebraic structure.
• Algebraic curve: a one-dimensional algebraic variety.
• Algebraic surface: a two-dimensional algebraic variety.
• Projective variety: a variety represented by homogeneous equations in projective space.
• Morphism of algebraic varieties: a structure-preserving map between varieties, not a variety itself.

References

[1] The Stacks Project, 'Varieties.' Gives scheme-theoretic definitions and conventions for varieties over fields. registry ↩a ↩b

[2] Robin Hartshorne, 'Algebraic Geometry' (Springer, 1977). Develops affine and projective varieties, coordinate rings, regular maps, dimension, and gluing. registry ↩a ↩b

[3] The Stacks Project, 'Schemes.' Supplies the local affine-scheme framework used by modern definitions of algebraic varieties. registry ↩a ↩b