Contents

Overview

Algebraic geometry is, in origin, a geometric study of solutions of systems of polynomial equations and generalizations.

The set of zeros of a set of polynomial equations in finitely many variables over a field is called an affine variety and it is equipped with a particular topology called Zariski topology?, whose closed sets are subvarieties. The system of polynomial equations defines an ideal in the ring of polynomials over the ground field; one of the first insights of algebraic geometry is that the ideal is a more invariant notion than the original set of equations. The quotient of the ring of polynomials by the defining ideal is the ring of coordinate functions of the affine variety; a basic theorem asserts that this ring is Noetherian algebra over the ground field. This ring determines the variety up to a natural notion of isomorphism of varieties. Projective varieties are zeroes of systems of homogeneous polynomial equations in projective $n$-dimensional space; if the coordinates are rescaled by a common nonzero multiple, then by definition they still define the same point in projective space. Zariski open subsets of affine (or projective) varieties are called quasiprojective varieties.

It is often useful to take a pullback along a morphism of fields, usually called base change. Since Grothendieck, one generalizes the coordinate rings of affine varieties to arbitrary commutative unital rings, not necessarily Noetherian nor finitely generated; and interprets the opposite category of the category of commutative rings as a category of affine schemes $\mathrm{Aff}$; affine schemes are traditionally constructed by the affine spectrum functor $\mathrm{Spec}:{\mathrm{CommRing}}^{\mathrm{op}}\to \mathrm{lrSp}$ into the category of locally ringed topological spaces. Points of the affine spectrum are the prime ideals of the ring. Assuming the axiom of choice, every affine scheme corresponding to a ring with $0\ne 1$ has therefore at least one point. The slice category $\mathrm{Aff}/(\mathrm{Spec}F)$ over a spectrum of a fixed field $F$ contains the category of varieties over $F$ as a full subcategory. However the points of an affine variety and of the corresponding affine spectrum do not coincide: only maximal ideals are points of usual varieties. Affine schemes have a natural topology, also called a Zariski topology; the ringed spaces locally isomorphic to affine schemes are called schemes. Schemes include projective schemes and more generally quasiprojective schemes; if they are relative over a fixed ground field, then they contain the subcategories of projective (resp. quasiprojective) varieties over the same field.

Although Grothendieck in the late 1950s envisioned many generalizations of scheme theory, his coauthor Dieudonné wrote later in EGA that algebraic geometry is the study of algebraic and formal schemes, which is clearly a too dogmatic definition. Grothendieck’s school studied in addition locally affine spaces in various Grothendieck topologies on $\mathrm{Aff}$ (including algebraic spaces), algebraic stacks (Deligne-Mumford stacks and Artin stack?s), ind-schemes and so on; in SGA the study of ringed spaces is replaced by more general ringed sites and ringed topoi. Modern generalizations include derived schemes, almost schemes (with the theory of almost rings of Gabber developing after some ideas of Faltings), generalized schemes of Nikolai Durov, so-called schemes over the ‘field of one element’ $F_1$ of various authors, dg-schemes, slightly noncommutative $D$-schemes etc. Many ideas of scheme theory and the spectral theory of rings have influenced parallel developments in the analytic setup (Stein manifolds (see the English Wikipedia), rigid analytic spaces, etc.) and in the noncommutative setup give rise to noncommutative algebraic geometry. Deligne has also suggested how to do algebraic geometry in an arbitrary symmetric monoidal category.

Perspective of structured $(\mathrm{\infty }\mathrm{,1})$-toposes

Grothendieck took the viewpoint that the schemes, algebraic spaces etc. are sheaves on $\mathrm{Aff}$ in some subcanonical Grothendieck topology (functor of points point of view).

Algebraic geometry studies spaces that are locally modeled on (objects in the category) CRing${}^{\mathrm{op}}$ – called algebraic spaces or schemes.

This is to be compared to and contrasted with for instance differential geometry, that studies spaces locally modeled on (objects in the category) CartSp – called (smooth) manifolds.

The general formalization of the notion of space and hence, by the general lore of space and quantity, that of sheaf, stack, ∞-stack has originally been crucially inspired by Grothendieck’s work on algebraic geometry and is more recently being greatly revived and further extended by the developments in derived algebraic geometry by people like Bertrand Toen and Jacob Lurie.

In particular in Structured Spaces Lurie presents a general formalism of generalized schemes that encompasses the spaces studied in algebraic geometry and derived algebraic geometry just as well as ordinary smooth manifolds, derived smooth manifold and harmonizes with other axiomatizations such as in synthetic differential geometry: all of these space object are realized as special cases of structured (∞,1)-toposes, differing only in the choice of geometry (for structured (∞,1)-toposes) that they are modeled on.

From this perspective,

• ordinary algebraic geometry is the study of structured (∞,1)-toposes for the Zariski or etale geometry ${𝒢}_{\mathrm{Zar}}$, ${𝒢}_{\mathrm{et}}$ on CRing${}^{\mathrm{op}}$

• derived algebraic geometry is the study of structured (∞,1)-toposes for the Zariski or etale pre-geometry ${𝒯}_{\mathrm{Zar}}$, ${𝒯}_{\mathrm{et}}$ on CRing${}^{\mathrm{op}}$.

Despite of this, an axiomatic formulation of algebraic geometry along the lines of synthetic differential geometry, that would de-emphasize the peculiarities of ${\mathrm{CRing}}^{\mathrm{op}}$ and emphasize structural aspects such as to facilitate for instance the transportation or interpretation of results in algebraic geometry to other geometries, is currently hardly to be found in the literature,

leading to an unfortunate and unnecessary gap between for instance the fields of algebraic geometry and differential geometry.

Maybe we can change this by talking about synthetic differential geometry applied to algebraic geometry.

See also contributors to algebraic geometry.