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. In its classical affine form, it begins as the common zero set of polynomials in an affine space. The same equations generate an ideal, and the corresponding coordinate ring translates geometry into commutative algebra. The Zariski topology, regular functions, and regular morphisms then make the zero set more than an unstructured collection of solutions.

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.

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.

Scope of Application¶

Affine varieties connect polynomial systems with coordinate rings and ideals. Algebraic curves and surfaces specialize by dimension. 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.

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.

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.

Example¶

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.

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.
Jacobian variety Domain-specific is a kind of Algebraic Variety

Jacobian varieties are specialized algebraic varieties.
Mordellic Variety Domain-specific is a kind of Algebraic Variety

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

▸ Show 3 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

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.