Zariski topology

Zariski topology
Krishnavedala · CC0 · source
Name	Zariski topology
Field	Algebraic geometry
Introduced by	Oscar Zariski
First published	1930s
Objects	Affine variety, Projective variety, Scheme
Key results	Hilbert's Nullstellensatz, Chevalley's theorem, Zariski's main theorem

Zariski topology is a topology on algebraic varieties and schemes fundamental to modern Algebraic geometry and the development of scheme theory. Introduced by Oscar Zariski in the early 20th century, it equips sets like affine space and projective space with a closed-set structure defined by vanishing loci of polynomials, connecting David Hilbert's algebraic results to geometric intuition and enabling advances by Alexander Grothendieck, Jean-Pierre Serre, and André Weil.

Definition and basic properties

Given an affine space over a field associated to a ring, the Zariski closed sets are the common zeros of collections of polynomial functions; this definition relates directly to ideals in a coordinate ring and to the work of Hilbert on invariant theory and the Hilbert basis theorem. The Zariski topology is generally non-Hausdorff and T1 in the case of algebraically closed fields, reflecting the algebraic dependence encoded by prime ideals studied by Emmy Noether and Krull. Basic properties such as quasi-compactness of affine varieties, specialization order among points, and irreducibility correspond to algebraic notions like radical ideals and primary decomposition developed in the context of Noetherian ring theory by Krull and Emmy Noether.

Zariski topology on affine and projective varieties

On affine n-space A^n over a field (as in classical work by Kronecker and Hilbert), closed sets are V(S) for S a set of polynomials in the coordinate ring; this underlies coordinate ring dualities used by Grothendieck in defining affine schemes and appeared in Weil's foundations of varieties. For projective space P^n, homogeneous ideals produce closed projective sets, linking to constructions of projective varieties in the work of David Mumford and applications in Birational geometry by Shigefumi Mori. The extension from varieties to schemes permits a unified description across base schemes such as Spec of a ring, a perspective pioneered in SGA seminars under Grothendieck and Jean-Pierre Serre.

Examples and non-Hausdorff behavior

Typical examples include the Zariski topology on the affine line A^1 where closed sets are finite or the whole space, demonstrating non-discreteness that contrasts with classical Bernhard Riemann's complex-analytic topology on Riemann surfaces. On higher-dimensional affine space, hypersurfaces like plane curves studied by Grothendieck and Oscar Zariski yield closed sets whose intersections illustrate specialization and generic points, concepts exploited by Grothendieck in scheme-theoretic generic fiber constructions and by Jean-Pierre Serre in cohomological methods. The failure of Hausdorff separation reflects algebraic phenomena seen in moduli spaces constructed by David Mumford (GIT) and in the structure of spectra of rings investigated by Emmy Noether and Krull.

Relationship with algebraic sets and ideals (Nullstellensatz)

The correspondence between Zariski-closed sets and radical ideals in coordinate rings is formalized by Hilbert's Nullstellensatz, a cornerstone result used by Jacques Tits and others in classifying algebraic group actions and orbits. This bijection identifies irreducible closed sets with prime ideals and closed points with maximal ideals over algebraically closed fields, connecting to structural results from Krull and to scheme-theoretic notions in Grothendieck's work. Nullstellensatz underlies algorithms in computational algebra by researchers influenced by Diane Maclagan and Bernd Sturmfels and interfaces with invariant theory as advanced by Hilbert and Emmy Noether.

Morphisms, continuity, and functoriality

Morphisms of varieties and schemes are continuous with respect to the Zariski topology: polynomial maps between affine varieties induce continuous maps on underlying topological spaces, a fact central to the functorial treatment of Spec in Grothendieck's Éléments de géométrie algébrique and to categorical viewpoints developed by Grothendieck and Jean-Pierre Serre. Properties like closed immersion, dominant morphism, and finite morphism have topological manifestations in terms of images being constructible sets or closures; these were studied in depth by Chevalley and featured in the formulation of Chevalley's theorem and Zariski's main theorem. The interplay between algebraic maps and topological behavior informs descent theory, representability problems, and moduli constructions in the work of Deligne and Mumford.

Applications and further developments

Zariski topology is indispensable in modern algebraic geometry, underlying notions in scheme theory, cohomology theories developed by Alexander Grothendieck and Jean-Pierre Serre, and in arithmetic geometry pursued by Gerd Faltings and André Weil. It plays a role in geometric invariant theory by David Mumford, in birational classification by Shigefumi Mori, and in computational approaches by Bernd Sturmfels. Extensions and variants such as the Zariski–Riemann space, the constructible topology, and the étale topology introduced by Grothendieck provide refined tools for resolution of singularities by Heisuke Hironaka and for modern research in motivic cohomology and the Langlands program developed by Robert Langlands and collaborators.

Category:Algebraic geometry