Glossary of algebraic geometry

This is a glossary of algebraic geometry.

See also glossary of commutative algebra, glossary of classical algebraic geometry, and glossary of ring theory. For the number-theoretic applications, see glossary of arithmetic and Diophantine geometry.

For simplicity, a reference to the base scheme is often omitted; i.e., a scheme will be a scheme over some fixed base scheme S and a morphism an S-morphism.

Contents :

!$@
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
XYZ
See also
References

!$@

\eta</math>" style="margin-top: 0.4em;"> $\eta$

A generic point. For example, the point associated to the zero ideal for any integral affine scheme.

F(n), F(D), F_Z

1. If X is a projective scheme with Serre's twisting sheaf

{\mathcal {O}}_{X}(1)

and if F is an

{\mathcal {O}}_{X}

-module, then

F(n)=F\otimes _{{\mathcal {O}}_{X}}{\mathcal {O}}_{X}(n).

2. If D is a Cartier divisor and F is an

{\mathcal {O}}_{X}

-module (X arbitrary), then

F(D)=F\otimes _{{\mathcal {O}}_{X}}{\mathcal {O}}_{X}(D).

If D is a Weil divisor and F is reflexive, then one replaces F(D) by its reflexive hull (and call the result still F(D).)

3. If Z is a closed subscheme of X, then

F_{Z}=F\otimes _{{\mathcal {O}}_{X}}{\mathcal {O}}_{Z}

|D|

The complete linear system of a Weil divisor D on a normal complete variety X over an algebraically closed field k; that is,

|D|=\mathbf {P} (\Gamma (X,{\mathcal {O}}_{X}(D)))

. There is a bijection between the set of k-rational points of |D| and the set of effective Weil divisors on X that are linearly equivalent to D.^[1] The same definition is used if D is a Cartier divisor on a complete variety over k.

[X/G]

The quotient stack of, say, an algebraic space X by the action of a group scheme G.

X/\!/G</math>" style="margin-top: 0.4em;"> $X/\!/G$

The GIT quotient of a scheme X by the action of a group scheme G.

Lⁿ

An ambiguous notation. It usually means an n-th tensor power of L but can also mean the self-intersection number of L. If

L={\mathcal {O}}_{X}

, the structure sheaf on X, then it means the direct sum of n copies of

{\mathcal {O}}_{X}

${\mathcal {O}}_{X}(-1)$

The tautological line bundle. It is the dual of Serre's twisting sheaf

{\mathcal {O}}_{X}(1)

${\mathcal {O}}_{X}(1)$

Serre's twisting sheaf. It is the dual of the tautological line bundle

{\mathcal {O}}_{X}(-1)

. It is also called the hyperplane bundle.

${\mathcal {O}}_{X}(D)$

1. If D is an effective Cartier divisor on X, then it is the inverse of the ideal sheaf of D.

2. Most of the times,

{\mathcal {O}}_{X}(D)

is the image of D under the natural group homomorphism from the group of Cartier divisors to the Picard group

\operatorname {Pic} (X)

of X, the group of isomorphism classes of line bundles on X.

3. In general,

{\mathcal {O}}_{X}(D)

is the sheaf corresponding to a Weil divisor D (on a normal scheme). It need not be locally free, only reflexive.

4. If D is a ℚ-divisor, then

{\mathcal {O}}_{X}(D)

{\mathcal {O}}_{X}

of the integral part of D.

$\Omega _{X}^{p}$

\Omega _{X}^{1}

is the sheaf of Kähler differentials on X.

\Omega _{X}^{p}

is the p-th exterior power of

\Omega _{X}^{1}

$\Omega _{X}^{p}(\log D)$

1. If p is 1, this is the sheaf of logarithmic Kähler differentials on X along D (roughly differential forms with simple poles along a divisor D.)

\Omega _{X}^{p}(\log D)

is the p-th exterior power of

\Omega _{X}^{1}(\log D)

P(V)

Unfortunately, the notation is ambiguous. Its traditional meaning is the projectivization of a finite-dimensional k-vector space V; i.e.,

\mathbf {P} (V)=\operatorname {Proj} (k[V])=\operatorname {Proj} (\operatorname {Sym} (V^{*}))

(the Proj of the ring of polynomial functions k[V]) and its k-points correspond to lines in V. In contrast, Hartshorne and EGA write P(V) for the Proj of the symmetric algebra of V.

Q-factorial

A normal variety is

\mathbb {Q}

-factorial if every

\mathbb {Q}

-Weil divisor is

\mathbb {Q}

-Cartier.

Spec(R)

The set of all prime ideals in a ring R with Zariski topology; it is called the prime spectrum of R.

Spec_X(F)

The relative Spec of the O_X-algebra F. It is also denoted by Spec(F) or simply Spec(F).

Spec^an(R)

The set of all valuations for a ring R with a certain weak topology; it is called the Berkovich spectrum of R.

A

abelian

1. An abelian variety is a complete group variety. For example, consider the complex variety

\mathbb {C} ^{n}/\mathbb {Z} ^{2n}

or an elliptic curve

E

over a finite field

\mathbb {F} _{q}

2. An abelian scheme is a (flat) family of abelian varieties.

adjunction formula

1. If D is an effective Cartier divisor on an algebraic variety X, both admitting dualizing sheaves

\omega _{D},\omega _{X}

, then the adjunction formula says:

\omega _{D}=(\omega _{X}\otimes {\mathcal {O}}_{X}(D))|_{D}

2. If, in addition, X and D are smooth, then the formula is equivalent to saying:

K_{D}=(K_{X}+D)|_{D}

where

K_{D},K_{X}

are canonical divisors on D and X.

affine

1. Affine space is roughly a vector space where one has forgotten which point is the origin

2. An affine variety is a variety in affine space

3. An affine scheme is a scheme that is the prime spectrum of some commutative ring.

4. A morphism is called affine if the preimage of any open affine subset is again affine. In more fancy terms, affine morphisms are defined by the global Spec construction for sheaves of O_X-Algebras, defined by analogy with the spectrum of a ring. Important affine morphisms are vector bundles, and finite morphisms.

5. The affine cone over a closed subvariety X of a projective space is the Spec of the homogeneous coordinate ring of X.

Algebraic geometry occupied a central place in the mathematics of the last century. The deepest results of Abel, Riemann, Weierstrass, many of the most important papers of Klein and Poincare belong to this domain. At the end of the last and the beginning of the present century the attitude towards algebraic geometry changed abruptly. ... The style of thinking that was fully developed in algebraic geometry at that time was too far removed from the set-theoretical and axiomatic spirit, which then determined the development of mathematics. ... Around the middle of the present century algebraic geometry had undergone to a large extent such a reshaping process. As a result, it can again lay claim to the position it once occupied in mathematics.

From the preface to I.R. Shafarevich, Basic Algebraic Geometry.

algebraic geometry

Algebraic geometry is a branch of mathematics that studies solutions to algebraic equations.

algebraic geometry over the field with one element

One goal is to prove the Riemann hypothesis.^[2] See also the field with one element and Peña, Javier López; Lorscheid, Oliver (2009-08-31). "Mapping F_1-land:An overview of geometries over the field with one element". arXiv:0909.0069

. as well as ^[3]^[4] .

algebraic group

An algebraic group is an algebraic variety that is also a group in such a way the group operations are morphisms of varieties.

algebraic scheme

A separated scheme of finite type over a field. For example, an algebraic variety is a reduced irreducible algebraic scheme.

algebraic set

An algebraic set over a field k is a reduced separated scheme of finite type over

\operatorname {Spec} (k)

. An irreducible algebraic set is called an algebraic variety.

algebraic space

An algebraic space is a quotient of a scheme by the étale equivalence relation.

algebraic variety

An algebraic variety over a field k is an integral separated scheme of finite type over

\operatorname {Spec} (k)

. Note, not assuming k is algebraically closed causes some pathology; for example,

\operatorname {Spec} \mathbb {C} \times _{\mathbb {R} }\operatorname {Spec} \mathbb {C}

is not a variety since the coordinate ring

\mathbb {C} \otimes _{\mathbb {R} }\mathbb {C}

is not an integral domain.

algebraic vector bundle

A locally free sheaf of a finite rank.

ample

A line bundle on a projective variety is ample if some tensor power of it is very ample.

Arakelov geometry

Algebraic geometry over the compactification of Spec of the ring of rational integers ℤ.. See Arakelov geometry.^[5]

arithmetic genus

The arithmetic genus of a projective variety X of dimension r is

(-1)^{r}(\chi ({\mathcal {O}}_{X})-1)

Artin stack

Another term for an algebraic stack.

artinian

0-dimensional and Noetherian. The definition applies both to a scheme and a ring.

B

Behrend function: The weighted Euler characteristic of a (nice) stack X with respect to the Behrend function is the degree of the virtual fundamental class of X.
Behrend's trace formula: Behrend's trace formula generalizes Grothendieck's trace formula; both formulas compute the trace of the Frobenius on l-adic cohomology.
big: A big line bundle L on X of dimension n is a line bundle such that $\displaystyle \limsup _{l\to \infty }\operatorname {dim} \Gamma (X,L^{l})/l^{n}>0$ .
birational morphism: A birational morphism between schemes is a morphism that becomes an isomorphism after restricted to some open dense subset. One of the most common examples of a birational map is the map induced by a blowup.

C

Calabi–Yau

1. The Calabi–Yau metric is a Kähler metric whose Ricci curvature is zero.

canonical

1. The canonical sheaf on a normal variety X of dimension n is

\omega _{X}=i_{*}\Omega _{U}^{n}

where i is the inclusion of the smooth locus U and

\Omega _{U}^{n}

is the sheaf of differential forms on U of degree n. If the base field has characteristic zero instead of normality, then one replaces i by a resolution of singularities.

2. The canonical class

K_{X}

on a normal variety X is the divisor class such that

{\mathcal {O}}_{X}(K_{X})=\omega _{X}

3. The canonical divisor is a representative of the canonical class

K_{X}

denoted by the same symbol (and not well-defined.)

4. The canonical ring of a normal variety X is the section ring of the canonical sheaf.

canonical model

1. The canonical model is the Proj of a canonical ring (assuming the ring is finitely generated.)

Cartier

1. An effective Cartier divisor D on a scheme X over S is a closed subscheme of X that is flat over S and whose ideal sheaf is invertible (locally free of rank one).

Castelnuovo–Mumford regularity

The Castelnuovo–Mumford regularity of a coherent sheaf F on a projective space

f:\mathbf {P} _{S}^{n}\to S

over a scheme S is the smallest integer r such that

R^{i}f_{*}F(r-i)=0

for all i > 0.

catenary

A scheme is catenary, if all chains between two irreducible closed subschemes have the same length. Examples include virtually everything, e.g. varieties over a field, and it is hard to construct examples that are not catenary.

central fiber

1. A special fiber.

Chow group

The k-th Chow group

A_{k}(X)

of a smooth variety X is the free abelian group generated by closed subvarieties of dimension k (group of k-cycles) modulo rational equivalences.

classifying stack

An analog of a classifying space for torsors in algebraic geometry; see classifying stack.

closed

Closed subschemes of a scheme X are defined to be those occurring in the following construction. Let J be a quasi-coherent sheaf of

{\mathcal {O}}_{X}

-ideals. The support of the quotient sheaf

{\mathcal {O}}_{X}/J

is a closed subset Z of X and

(Z,({\mathcal {O}}_{X}/J)|_{Z})

is a scheme called the closed subscheme defined by the quasi-coherent sheaf of ideals J.^[6] The reason the definition of closed subschemes relies on such a construction is that, unlike open subsets, a closed subset of a scheme does not have a unique structure as a subscheme.

Cohen–Macaulay

A scheme is called Cohen-Macaulay

if all local rings are Cohen-Macaulay. For example, regular schemes, and Spec k[x,y]/(xy) are Cohen–Macaulay, but

is not.

coherent sheaf

A coherent sheaf on a Noetherian scheme X is a quasi-coherent sheaf that is finitely generated as O_X-module.

conic

An algebraic curve of degree two.

connected

The scheme is connected as a topological space. Since the connected components refine the irreducible components any irreducible scheme is connected but not vice versa. An affine scheme Spec(R) is connected iff the ring R possesses no idempotents other than 0 and 1; such a ring is also called a connected ring.

Examples of connected schemes include affine space, projective space, and an example of a scheme that is not connected is

Spec(k[x]×k[x])

compactification

See for example Nagata's compactification theorem.

Cox ring

A generalization of a homogeneous coordinate ring. See Cox ring.

crepant

A crepant morphism

f:X\to Y

between normal varieties is a morphism such that

f^{*}\omega _{Y}=\omega _{X}

curve

An algebraic variety of dimension one.

D

deformation

Let

S\to S'

be a morphism of schemes and X an S-scheme. Then a deformation X' of X is an S'-scheme together with a pullback square in which X is the pullback of X' (typically X' is assumed to be flat).

degeneracy locus

Given a vector-bundle map

f:E\to F

over a variety X (that is, a scheme X-morphism between the total spaces of the bundles), the degeneracy locus is the (scheme-theoretic) locus

X_{k}(f)=\{x\in X|\operatorname {rk} (f(x))\leq k\}

degeneration

1. A scheme X is said to degenerate to a scheme

X_{0}

(called the limit of X) if there is a scheme

\pi :Y\to \mathbf {A} ^{1}

with generic fiber X and special fiber

X_{0}

2. A flat degeneration is a degeneration such that that

\pi

is flat; e.g., toric degeneration.

dimension

The dimension, by definition the maximal length of a chain of irreducible closed subschemes, is a global property. It can be seen locally if a scheme is irreducible. It depends only on the topology, not on the structure sheaf. See also Global dimension. Examples: equidimensional schemes in dimension 0: Artinian schemes, 1: algebraic curves, 2: algebraic surfaces.

degree

1. The degree of a line bundle L on a complete variety is an integer d such that

\chi (L^{\otimes m})={d \over n!}m^{n}+O(m^{n-1})

2. If x is a cycle on a complete variety

f:X\to \operatorname {Spec} k

over a field k, then its degree is

f_{*}(x)\in A_{0}(\operatorname {Spec} k)=\mathbb {Z}

2. For the degree of a finite morphism, see morphism of varieties#Degree of a finite morphism.

derived algebraic geometry

An approach to algebraic geometry using (commutative) ring spectra instead of commutative rings; see derived algebraic geometry.

divisorial

A divisorial sheaf on a normal variety is a reflexive sheaf of the form O_X(D) for some Weil divisor D.

dominant

A morphism f : X → Y is called dominant, if the image f(X) is dense. A morphism of affine schemes Spec A → Spec B is dense if and only if the kernel of the corresponding map B → A is contained in the nilradical of B.

dualizing complex

See Coherent duality.

dualizing sheaf

A coherent sheaf

\omega _{X}

on X such that Serre duality

H^{n-i}(X,F^{\vee }\otimes \omega )\simeq H^{i}(X,F)^{*}

holds for any coherent sheaf F on X; for example, if X is a smooth projective variety, then it is a canonical sheaf.

E

Éléments de géométrie algébrique

The title page of Éléments de géométrie algébrique, one of the standard references in algebraic geometry.

The EGA was an incomplete attempt to lay a foundation of algebraic geometry based on the notion of scheme, a generalization of an algebraic variety. Séminaire de géométrie algébrique picks up where the EGA left off. Today it is one of the standard references in algebraic geometry.

elliptic curve

An elliptic curve is a smooth projective curve of genus one.

essentially of finite type

Localization of a finite type scheme.

étale

A morphism f : Y → X is étale if it is flat and unramified. There are several other equivalent definitions. In the case of smooth varieties

X

and

Y

over an algebraically closed field, étale morphisms are precisely those inducing an isomorphism of tangent spaces

df:T_{y}Y\rightarrow T_{f(y)}X

, which coincides with the usual notion of étale map in differential geometry. Étale morphisms form a very important class of morphisms; they are used to build the so-called étale topology and consequently the étale cohomology, which is nowadays one of the cornerstones of algebraic geometry.

Euler sequence

The exact sequence of sheaves:

0\to {\mathcal {O}}_{\mathbf {P} ^{n}}\to {\mathcal {O}}_{\mathbf {P} ^{n}}(1)^{\oplus (n+1)}\to T\mathbf {P} ^{n}\to 0,

where Pⁿ is the projective space over a field and the last nonzero term is the tangent sheaf, is called the Euler sequence.

equivariant intersection theory

See Chapter II of http://www.math.ubc.ca/~behrend/cet.pdf

F

F-regular: Related to Frobenius morphism.^[7]
Fano: A Fano variety is a smooth projective variety X whose anticanonical sheaf $\omega _{X}^{-1}$ is ample.
fiber: Given $f:X\to Y$ between schemes, the fiber of f over y is, as a set, the pre-image $f^{-1}(y)=\{x\in X|f(x)=y\}$ ; it has the natural structure of a scheme over the residue field of y as the fiber product $X\times _{Y}\{y\}$ , where $\{y\}$ has the natural structure of a scheme over Y as Spec of the residue field of y.
fiber product: 1. Another term for the "pullback" in the category theory.; 2. A stack $F\times _{G}H$ given for $f:F\to G,g:H\to G$ : an object over B is a triple (x, y, ψ), x in F(B), y in H(B), ψ an isomorphism $f(x)\to g(y)$ in G(B); an arrow from (x, y, ψ) to (x', y', ψ') is a pair of morphisms $\alpha :x\to x',\beta :y\to y'$ such that $\psi '\circ f(\alpha )=g(\beta )\circ \psi$ . The resulting square with obvious projections does not commute; rather, it commutes up to natural isomorphism; i.e., it 2-commutes.
final: One of Grothendieck's fundamental ideas is to emphasize relative notions, i.e. conditions on morphisms rather than conditions on schemes themselves. The category of schemes has a final object, the spectrum of the ring $\mathbb {Z}$ of integers; so that any scheme $S$ is over ${\textrm {Spec}}(\mathbb {Z} )$ , and in a unique way.
finite: The morphism f : Y → X is finite if $X$ may be covered by affine open sets ${\text{Spec }}B$ such that each $f^{-1}({\text{Spec }}B)$ is affine — say of the form ${\text{Spec }}A$ — and furthermore $A$ is finitely generated as a $B$ -module. See finite morphism. Finite morphisms are quasi-finite, but not all morphisms having finite fibers are quasi-finite, and morphisms of finite type are usually not quasi-finite.
finite type (locally): The morphism f : Y → X is locally of finite type if $X$ may be covered by affine open sets ${\text{Spec }}B$ such that each inverse image $f^{-1}({\text{Spec }}B)$ is covered by affine open sets ${\text{Spec }}A$ where each $A$ is finitely generated as a $B$ -algebra. The morphism f : Y → X is of finite type if $X$ may be covered by affine open sets ${\text{Spec }}B$ such that each inverse image $f^{-1}({\text{Spec }}B)$ is covered by finitely many affine open sets ${\text{Spec }}A$ where each $A$ is finitely generated as a $B$ -algebra.
finite fibers: The morphism f : Y → X has finite fibers if the fiber over each point $x\in X$ is a finite set. A morphism is quasi-finite if it is of finite type and has finite fibers.
finite presentation: If y is a point of Y, then the morphism f is of finite presentation at y (or finitely presented at y) if there is an open affine subset U of f(y) and an open affine neighbourhood V of y such that f(V) ⊆ U and ${\mathcal {O}}_{Y}(V)$ is a finitely presented algebra over ${\mathcal {O}}_{X}(U)$ . The morphism f is locally of finite presentation if it is finitely presented at all points of Y. If X is locally Noetherian, then f is locally of finite presentation if, and only if, it is locally of finite type.^[8] The morphism f : Y → X is of finite presentation (or Y is finitely presented over X) if it is locally of finite presentation, quasi-compact, and quasi-separated. If X is locally Noetherian, then f is of finite presentation if, and only if, it is of finite type.^[9]
flag variety: The flag variety parametrizes a flag of vector spaces.
flat: A morphism $f$ is flat if it gives rise to a flat map on stalks. When viewing a morphism f : Y → X as a family of schemes parametrized by the points of $X$ , the geometric meaning of flatness could roughly be described by saying that the fibers $f^{-1}(x)$ do not vary too wildly.
formal: See formal scheme.

G

g^r_d.

Given a curve C, a divisor D on it and a vector subspace

V\subset H^{0}(C,{\mathcal {O}}(D))

, one says the linear system

\mathbb {P} (V)

is a g^r_d if V has dimension r+1 and D has degree d. One says C has a g^r_d if there is such a linear system.

Gabriel–Rosenberg reconstruction theorem

The Gabriel–Rosenberg reconstruction theorem states a scheme X can be recovered from the category of quasi-coherent sheaves on X.^[10] The theorem is a starting point for noncommutative algebraic geometry since, taking the theorem as an axiom, defining a noncommutative scheme amounts to defining the category of quasi-coherent sheaves on it. See also http://mathoverflow.net/questions/16257/how-to-unify-various-reconstruction-theorems-gabriel-rosenberg-tannaka-balmers

G-bundle

A principal G-bundle.

generic point

A dense point.

genus

See #arithmetic genus, #geometric genus.

genus formula

The genus formula for a nodal curve in the projective plane says the genus of the curve is given as

g=(d-1)(d-2)/2-\delta

where d is the degree of the curve and δ is the number of nodes (which is zero if the curve is smooth).

geometric genus

The geometric genus of a smooth projective variety X of dimension n is

\dim \Gamma (X,\Omega _{X}^{n})=\dim \operatorname {H} ^{n}(X,{\mathcal {O}}_{X})

(where the equality is Serre's duality theorem.)

geometric point

The prime spectrum of an algebraically closed field.

geometric property

A property of a scheme X over a field k is "geometric" if it holds for

X_{E}=X\times _{\operatorname {Spec} k}{\operatorname {Spec} E}

for any field extension

E/k

geometric quotient

The geometric quotient of a scheme X with the action of a group scheme G is a good quotient such that the fibers are orbits.

gerbe

A gerbe is (roughy) a stack that is locally nonempty and in which two objects are locally isomorphic.

GIT quotient

The GIT quotient

X/\!/G

\operatorname {Spec} (A^{G})

when

X=\operatorname {Spec} A

and

\operatorname {Proj} (A^{G})

when

X=\operatorname {Proj} A

good quotient

The good quotient of a scheme X with the action of a group scheme G is an invariant morphism

f:X\to Y

such that

(f_{*}{\mathcal {O}}_{X})^{G}={\mathcal {O}}_{Y}.

Gorenstein

1. A Gorenstein scheme is a locally Noetherian scheme whose local rings are Gorenstein rings.

2. A normal variety is said to be ℚ-Gorenstein if the canonical divisor on it is ℚ-Cartier (and need not be Cohen–Macaulay).

3. Some authors call a normal variety Gorenstein if the canonical divisor is Cartier; note this usage is inconsistent with meaning 1.

Grauert–Riemenschneider vanishing theorem

The Grauert–Riemenschneider vanishing theorem extends the Kodaira vanishing theorem to higher direct image sheaves; see also http://arxiv.org/abs/1404.1827

Grothendieck ring of varieties

The Grothendieck ring of varieties is the free abelian group generated by isomorphism classes of varieties with the relation:

[X]=[Z]+[X-Z]

where Z is a closed subvariety of a variety X and equipped with the multiplication

[X]\cdot [Y]=[X\times Y].

Grothendieck's vanishing theorem

Grothendieck's vanishing theorem concerns local cohomology.

group scheme

A group scheme is a scheme whose sets of points have the structures of a group.

group variety

An old term for a "smooth" algebraic group.

H

Hilbert polynomial: The Hilbert polynomial of a projective scheme X over a field is the Euler characteristic $\chi ({\mathcal {O}}_{X}(s))$ .
Hodge bundle: The Hodge bundle on the moduli space of curves (of fixed genus) is roughly a vector bundle whose fiber over a curve C is the vector space $\Gamma (C,\omega _{C})$ .
hyperelliptic: A curve is hyperelliptic if it has a g¹₂ (i.e., there is a linear system of dimension 1 and degree 2.)
hyperplane bundle: Another term for Serre's twisting sheaf ${\mathcal {O}}_{X}(1)$ . It is the dual of the tautological line bundle (whence the term).

I

image

If f : Y → X is any morphism of schemes, the scheme-theoretic image of f is the unique closed subscheme i : Z → X which satisfies the following universal property:

f factors through i,
if j : Z′ → X is any closed subscheme of X such that f factors through j, then i also factors through j.^[11]^[12]

This notion is distinct from that of the usual set-theoretic image of f, f(Y). For example, the underlying space of Z always contains (but is not necessarily equal to) the Zariski closure of f(Y) in X, so if Y is any open (and not closed) subscheme of X and f is the inclusion map, then Z is different from f(Y). When Y is reduced, then Z is the Zariski closure of f(Y) endowed with the structure of reduced closed subscheme. But in general, unless f is quasi-compact, the construction of Z is not local on X.

immersion

Immersions f : Y → X are maps that factor through isomorphisms with subschemes. Specifically, an open immersion factors through an isomorphism with an open subscheme and a closed immersion factors through an isomorphism with a closed subscheme.^[13] Equivalently, f is a closed immersion if, and only if, it induces a homeomorphism from the underlying topological space of Y to a closed subset of the underlying topological space of X, and if the morphism

f^{\sharp }:{\mathcal {O}}_{X}\to f_{*}{\mathcal {O}}_{Y}

is surjective.^[14] A composition of immersions is again an immersion.^[15]

Some authors, such as Hartshorne in his book Algebraic Geometry and Q. Liu in his book Algebraic Geometry and Arithmetic Curves, define immersions as the composite of an open immersion followed by a closed immersion. These immersions are immersions in the sense above, but the converse is false. Furthermore, under this definition, the composite of two immersions is not necessarily an immersion. However, the two definitions are equivalent when f is quasi-compact.^[16]

Note that an open immersion is completely described by its image in the sense of topological spaces, while a closed immersion is not:

\operatorname {Spec} A/I

and

\operatorname {Spec} A/J

may be homeomorphic but not isomorphic. This happens, for example, if I is the radical of J but J is not a radical ideal. When specifying a closed subset of a scheme without mentioning the scheme structure, usually the so-called reduced scheme structure is meant, that is, the scheme structure corresponding to the unique radical ideal consisting of all functions vanishing on that closed subset.

ind-scheme

An ind-scheme is an inductive limit of closed immersions of schemes.

invertible sheaf

A locally free sheaf of a rank one. Equivalently, it is a torsor for the multiplicative group

\mathbb {G} _{m}

(i.e., line bundle).

integral

A scheme that is both reduced and irreducible is called integral. For locally Noetherian schemes, to be integral is equivalent to being a connected scheme that is covered by the spectra of integral domains. (Strictly speaking, this is not a local property, because the disjoint union of two integral schemes is not integral. However, for irreducible schemes, it is a local property.) For example, the scheme Spec k[t]/f, f irreducible polynomial is integral, while Spec A×B. (A, B ≠ 0) is not.

irreducible

A scheme X is said to be irreducible when (as a topological space) it is not the union of two closed subsets except if one is equal to X. Using the correspondence of prime ideals and points in an affine scheme, this means X is irreducible iff X is connected and the rings A_i all have exactly one minimal prime ideal. (Rings possessing exactly one minimal prime ideal are therefore also called irreducible.) Any noetherian scheme can be written uniquely as the union of finitely many maximal irreducible non-empty closed subsets, called its irreducible components. Affine space and projective space are irreducible, while Spec k[x,y]/(xy) =

is not.

J

Jacobian variety: The Jacobian variety of a projective curve X is the degree zero part of the Picard variety $\operatorname {Pic} (X)$ .

K

Kempf vanishing theorem: The Kempf vanishing theorem concerns the vanishing of higher cohomology of a flag variety.
klt: Abbreviation for "kawamata log terminal"
Kodaira dimension: 1. The Kodaira dimension (also called the Iitaka dimension) of a semi-ample line bundle L is the dimension of Proj of the section ring of L.; 2. The Kodaira dimension of a normal variety X is the Kodaira dimension of its canonical sheaf.
Kodaira vanishing theorem: See the Kodaira vanishing theorem.
Kuranishi map: See Kuranishi structure.

L

Lelong number

See Lelong number.

level structure

see http://math.stanford.edu/~conrad/248BPage/handouts/level.pdf

linearlization

Another term for the structure of an equivariant sheaf/vector bundle.

local

Most important properties of schemes are local in nature, i.e. a scheme X has a certain property P if and only if for any cover of X by open subschemes X_i, i.e. X=

\cup

X_i, every X_i has the property P. It is usually the case that is enough to check one cover, not all possible ones. One also says that a certain property is Zariski-local, if one needs to distinguish between the Zariski topology and other possible topologies, like the étale topology.

Consider a scheme X and a cover by affine open subschemes Spec A_i. Using the dictionary between (commutative) rings and affine schemes local properties are thus properties of the rings A_i. A property P is local in the above sense, iff the corresponding property of rings is stable under localization.

For example, we can speak of locally Noetherian schemes, namely those which are covered by the spectra of Noetherian rings. The fact that localizations of a Noetherian ring are still noetherian then means that the property of a scheme of being locally Noetherian is local in the above sense (whence the name). Another example: if a ring is reduced (i.e., has no non-zero nilpotent elements), then so are its localizations.

An example for a non-local property is separatedness (see below for the definition). Any affine scheme is separated, therefore any scheme is locally separated. However, the affine pieces may glue together pathologically to yield a non-separated scheme.

The following is a (non-exhaustive) list of local properties of rings, which are applied to schemes. Let X = $\cup$ Spec A_i be a covering of a scheme by open affine subschemes. For definiteness, let k denote a field in the following. Most of the examples also work with the integers Z as a base, though, or even more general bases. Connected, irreducible, reduced, integral, normal, regular, Cohen-Macaulay, locally noetherian, dimension,

catenary,

local complete intersection

The local rings are complete intersection rings. See also: regular embedding.

local uniformization

The local uniformization is a method of constructing a weaker form of resolution of singularities by means of valuation rings.

locally factorial

The local rings are unique factorization domains.

locally of finite type

The morphism f : Y → X is locally of finite type if

X

may be covered by affine open sets

{\text{Spec }}B

such that each inverse image

f^{-1}({\text{Spec }}B)

is covered by affine open sets

{\text{Spec }}A

where each

A

is finitely generated as a

B

-algebra.

locally Noetherian

The A_i are Noetherian rings. If in addition a finite number of such affine spectra covers X, the scheme is called noetherian. While it is true that the spectrum of a noetherian ring is a noetherian topological space, the converse is false.

For example, most schemes in finite-dimensional algebraic geometry are locally Noetherian, but

GL_{\infty }=\cup GL_{n}

is not.

logarithmic geometry

log structure

See log structure. The notion is due to Fontaine-Illusie and Kato.

loop group

See loop group (the linked article does not discuss a loop group in algebraic geometry; for now see also ind-scheme).

M

moduli: See for example moduli space.

While much of the early work on moduli, especially since [Mum65], put the emphasis on the construction of fine or coarse moduli spaces, recently the emphasis shifted towards the study of the families of varieties, that is towards moduli functors and moduli stacks. The main task is to understand what kind of objects form “nice” families. Once a good concept of “nice families” is established, the existence of a coarse moduli space should be nearly automatic. The coarse moduli space is not the fundamental object any longer, rather it is only a convenient way to keep track of certain information that is only latent in the moduli functor or moduli stack.

Kollár, János, Chapter 1, "Book on Moduli of Surfaces".
Mori's minimal model program: The minimal model program is a research program aiming to do birational classification of algebraic varieties of dimension greater than 2.
morphism: 1. A morphism of algebraic varieties is given locally by polynomials.; 2. A morphism of schemes is a morphism of locally ringed spaces.; 3. A morphism $f:F\to G$ of stacks (over, say, the category of S-schemes) is a functor such that $P_{G}\circ f=P_{F}$ where $P_{F},P_{G}$ are structures maps to the base category.

N

nef: See nef line bundle.
nonsingular: An archaic term for "smooth" as in a smooth variety.
normal: 1. An integral scheme is called normal, if the local rings are integrally closed domains. For example, all regular schemes are normal, while singular curves are not.; 2. A smooth curve $C\subset \mathbf {P} ^{r}$ is said to be k-normal if the hypersurfaces of degree k cut out the complete linear series $|{\mathcal {O}}_{C}(k)|$ . It is projectively normal if it is k-normal for all k > 0. One thus says that "a curve is projectively normal if the linear system that embeds it is complete." The term "linearly normal" is synonymous with 1-normal.; 3. A closed subvariety $X\subset \mathbf {P} ^{r}$ is said to be projectively normal if the affine cover over X is a normal scheme; i.e., the homogeneous coordinate ring of X is an integrally closed domain. This meaning is consistent with that of 2.
normal: 1. If X is a closed subscheme of a scheme Y with ideal sheaf I, then the normal sheaf to X is $(I/I^{2})^{*}={\mathcal {H}}om_{{\mathcal {O}}_{Y}}(I/I^{2},{\mathcal {O}}_{Y})$ . If the embedded of X into Y is regular, it is locally free and is called the normal bundle.; 2. The normal cone to X is $\operatorname {Spec} _{X}(\oplus _{0}^{\infty }I^{n}/I^{n+1})$ . if X is regularly embedded into Y, then the normal cone is isomorphic to $\operatorname {Spec} _{X}({\mathcal {S}}ym(I/I^{2}))$ , the total space of the normal bundle to X.
normal crossings: See normal crossings.

O

open: 1. A morphism f : Y → X of schemes is called open (closed), if the underlying map of topological spaces is open (closed, respectively), i.e. if open subschemes of Y are mapped to open subschemes of X (and similarly for closed). For example, finitely presented flat morphisms are open and proper maps are closed.; 2. An open subscheme of a scheme X is an open subset U with structure sheaf ${\mathcal {O}}_{X}|_{U}$ .^[14]
orbifold: Nowadays an orbifold is often defined as a Deligne–Mumford stack over the category of differentiable manifolds.^[17]

P

p-divisible group

See p-divisible group (roughly an analog of torsion points of an abelian variety).

pencil

A linear system of dimension one.

Picard group

The Picard group of X is the group of the isomorphism classes of line bundles on X, the multiplication being the tensor product.

Plücker embedding

The Plücker embedding is the closed embedding of the Grassmannian variety into a projective space.

plurigenus

The n-th plurigenus of a smooth projective variety is

\dim \Gamma (X,\omega _{X}^{\otimes n})

. See also Hodge number.

Poincaré residue map

See Poincaré residue.

point

A scheme

S

is a locally ringed space, so a fortiori a topological space, but the meanings of point of $S$ are threefold:

a point $P$ of the underlying topological space;
a $T$ -valued point of $S$ is a morphism from $T$ to $S$ , for any scheme $T$ ;
a geometric point, where $S$ is defined over (is equipped with a morphism to) ${\textrm {Spec}}(K)$ , where $K$ is a field, is a morphism from ${\textrm {Spec}}({\overline {K}})$ to $S$ where ${\overline {K}}$ is an algebraic closure of $K$ .

Geometric points are what in the most classical cases, for example algebraic varieties that are complex manifolds, would be the ordinary-sense points. The points $P$ of the underlying space include analogues of the generic points (in the sense of Zariski, not that of André Weil), which specialise to ordinary-sense points. The $T$ -valued points are thought of, via Yoneda's lemma, as a way of identifying $S$ with the representable functor $h_{S}$ it sets up. Historically there was a process by which projective geometry added more points (e.g. complex points, line at infinity) to simplify the geometry by refining the basic objects. The $T$ -valued points were a massive further step.

As part of the predominating Grothendieck approach, there are three corresponding notions of fiber of a morphism: the first being the simple inverse image of a point. The other two are formed by creating fiber products of two morphisms. For example, a geometric fiber of a morphism $S^{\prime }\to S$ is thought of as

S^{\prime }\times _{S}{\textrm {Spec}}({\overline {K}})

This makes the extension from affine schemes, where it is just the tensor product of R-algebras, to all schemes of the fiber product operation a significant (if technically anodyne) result.

polarization

an embedding into a projective space

Proj

See Proj construction.

projective

1. A projective variety is a closed subvariety of a projective space.

2. A projective scheme over a scheme S is an S-scheme that factors through some projective space

\mathbf {P} _{S}^{N}\to S

as a closed subscheme.

3. Projective morphisms are defined similarly to affine morphisms: f : Y → X is called projective if it factors as a closed immersion followed by the projection of a projective space

{\mathbb {P}}_{X}^{{n}}:={\mathbb {P}}^{n}\times _{{{\mathrm {Spec}}{\mathbb Z}}}X

X

.^[18] Note that this definition is more restrictive than that of EGA, II.5.5.2. The latter defines

f

to be projective if it is given by the global Proj of a quasi-coherent graded O_X-Algebra

{\mathcal {S}}

such that

{\mathcal {S}}_{1}

is finitely generated and generates the algebra

{\mathcal {S}}

. Both definitions coincide when

X

is affine or more generally if it is quasi-compact, separated and admits an ample sheaf,^[19] e.g. if

X

is an open subscheme of a projective space

{\mathbb P}_{A}^{n}

over a ring

A

projective bundle

If E is a locally free sheaf on a scheme X, the projective bundle P(E) of E is the global Proj of the symmetric algebra of the dual of E:

\mathbf {P} (E)=\mathbf {Proj} (\operatorname {Sym} _{{\mathcal {O}}_{X}}(E^{\vee })).

Note this definition is standard nowadays (e.g., Fulton's Intersection theory) but differs from EGA and Hartshorne (they don't take a dual).

projectively normal

See #normal.

proper

A morphism is proper if it is separated, universally closed (i.e. such that fiber products with it are closed maps), and of finite type. Projective morphisms are proper; but the converse is not in general true. See also complete variety. A deep property of proper morphisms is the existence of a Stein factorization, namely the existence of an intermediate scheme such that a morphism can be expressed as one with connected fibres, followed by a finite morphism.

property P

Let P be a property of a scheme that is stable under base change (finite-type, proper, smooth, étale, etc.). Then a representable morphism

f:F\to G

is said to have propert P if, for any

B\to G

with B a scheme, the base change

F\times _{G}B\to B

has property P.

pure dimension

A scheme has pure dimension d if each irreducible component has dimension d.

Q

quasi-coherent: A quasi-coherent sheaf on a Noetheiran scheme X is a sheaf of O_X-modules that is locally given by modules.
quasi-compact: A morphism f : Y → X is called quasi-compact, if for some (equivalently: every) open affine cover of X by some U_i = Spec B_i, the preimages f⁻¹(U_i) are quasi-compact.
quasi-finite: The morphism f : Y → X has finite fibers if the fiber over each point $x\in X$ is a finite set. A morphism is quasi-finite if it is of finite type and has finite fibers.
quasi-projective: A quasi-projective variety is a locally closed subvariety of a projective space.
quasi-separated: A morphism f : Y → X is called quasi-separated or (Y is quasi-separated over X) if the diagonal morphism Y → Y ×_XY is quasi-compact. A scheme Y is called quasi-separated if Y is quasi-separated over Spec(Z).^[20]
Quot scheme: A Quot scheme parametrizes quotients of locally free sheaves on a projective scheme.
quotient stack: Usually denoted by [X/G], a quotient stack generalizes a quotient of a scheme or variety.

R

rational

A variety is rational if it is birational to a projective space; the notion applies in particular to curves and surfaces; see rational curve and rational surface.

rational function

An element in the function field

k(X)=\varinjlim k[U]

where the limit runs over all coordinates rings of open subsets U of an (irreducible) algebraic variety X. See also function field (scheme theory).

rational normal curve

A rational normal curve is the image of

\mathbf {P} ^{1}\to \mathbf {P} ^{d},\,(s:t)\mapsto (s^{d}:s^{d-1}t:\cdots :t^{d})

If d = 3, it is also called the twisted cubic.

rational singularities

A variety X over a field of characteristic zero has rational singularities if there is a resolution of singularities

f:X'\to X

such that

f_{*}({\mathcal {O}}_{X'})={\mathcal {O}}_{X}

and

R^{i}f_{*}({\mathcal {O}}_{X'})=0,\,i\geq 1

reduced

The local rings are reduced rings. Equivalently, none of its rings of sections

{\mathcal {O}}_{X}(U)

(U any open subset of X) has any nonzero nilpotent element. Any variety is reduced (by definition) while Spec k[x]/(x²) is not.

reflexive sheaf

A coherent sheaf is reflexive if the canonical map to the second dual is an isomorphism.

regular

A regular scheme is a scheme where the local rings are regular local rings. For example, smooth varieties over a field are regular, while Spec k[x,y]/(x²+x³-y²)=

is not.

regular embedding

A closed immersion

i:X\hookrightarrow Y

is a regular embedding if each point of X has an affine neighborhood in Y so that the ideal of X there is generated by a regular sequence. If i is a regular embedding, then the conormal sheaf of i, that is,

{\mathcal {I}}/{\mathcal {I}}^{2}

when

{\mathcal {I}}

is the ideal sheaf of X, is locally free.

regular function

A morphism from an algebraic variety to the affine line.

representable morphism

A morphism

F\to G

of stacks such that, for any morphism

B\to G

from a scheme B, the base change

F\times _{G}B

is a scheme. (Some authors impose algebraic space conditions.)

resolution of singularities

A resolution of singularities of a scheme X is a proper birational morphism

\pi :Z\to X

such that Z is smooth.

Riemann–Hurwitz formula

Given a finite separable morphism

\pi :X\to Y

between smooth projective curves, if

\pi

is tamely ramified (no wild ramification); for example, over a field of characteristic zero, then the Riemann–Hurwitz formula relates the degree of π, the genuses of X, Y and the ramification indices:

2g(X)-2=\operatorname {deg} (\pi )(2g(Y)-2)+\sum _{y\in Y}(e_{y}-1)

Nowadays, the formula is viewed as a consequence of the more general formula (which is valid even if π is not tame):

K_{X}\sim \pi ^{*}K_{Y}+R

where

\sim

means a linear equivalence and

R=\sum _{P\in X}\operatorname {length} _{{\mathcal {O}}_{P}}(\Omega _{X/Y})P

is the divisor of the relative cotangent sheaf

\Omega _{X/Y}

(called the different).

Riemann–Roch formula

1. If L is a line bundle of degree d on a smooth projective curve of genus g, then the Riemann–Roch formula computes the Euler characteristic of L:

\chi (L)=d-g+1

For example, the formula implies the degree of the canonical divisor K is 2g - 2.

2. The general version is due to Grothendieck and called the Grothendieck–Riemann–Roch formula. It says: if

\pi :X\to S

is a proper morphism with smooth X, S and if E is a vector bundle on X, then as equality in the rational Chow group

\operatorname {ch} (\pi _{!}E)\cdot \operatorname {td} (S)=\pi _{*}(\operatorname {ch} (E)\cdot \operatorname {td} (X))

where

\pi _{!}=\sum _{i}(-1)^{i}R^{i}\pi _{*}

\operatorname {ch}

means a Chern character and

\operatorname {td}

a Todd class of the tangent bundle of a space, and, over the complex numbers,

\pi _{*}

is an integration along fibers. For example, if the base S is a point, X is a smooth curve of genus g and E is a line bundle L, then the left-hand side reduces to the Euler characteristic while the right-hand side is

\pi _{*}(e^{c_{1}(L)}(1-c_{1}(T^{*}X)/2))=\operatorname {deg} (L)-g+1.

rigid

Every infinitesimal deformation is trivial. For example, the projective space is rigid since

\operatorname {H} ^{1}(\mathbf {P} ^{n},T_{\mathbf {P} ^{n}})=0

(and using the Kodaira–Spencer map).

rigidify

A heuristic term, roughly equivalent to "killing automorphisms". For example, one might say "we introduce level structures to rigidify the geometric situation."

S

scheme

On Grothendieck’s own view there should be almost no history of schemes, but only a history of the resistance to them: ... There is no serious historical question of how Grothendieck found his definition of schemes. It was in the air. Serre has well said that no one invented schemes (conversation 1995). The question is, what made Grothendieck believe he should use this definition to simplify an 80 page paper by Serre into some 1000 pages of Éléments de géométrie algébrique?

A scheme is a locally ringed space that is locally a prime spectrum of a commutative ring.

Schubert

1. A Schubert cell is a B-orbit on the Grassmannian

\operatorname {Gr} (d,n)

where B is the standard Borel; i.e., the group of upper triangular matrices.

2. A Schubert variety is the closure of a Schubert cell.

section ring

The section ring or the ring of sections of a line bundle L on a scheme X is the graded ring

\oplus _{0}^{\infty }\Gamma (X,L^{n})

Serre's conditions S_n

See Serre's conditions on normality. See also http://mathoverflow.net/questions/22228/what-is-serres-condition-s-n-for-sheaves

Serre duality

See #dualizing sheaf

separated

A separated morphism is a morphism

f

such that the fiber product of

f

with itself along

f

has its diagonal as a closed subscheme — in other words, the diagonal map is a closed immersion.

As a consequence, a scheme $X$ is separated when the diagonal of $X$ within the scheme product of $X$ with itself is a closed immersion. Emphasizing the relative point of view, one might equivalently define a scheme to be separated if the unique morphism $X\rightarrow {\textrm {Spec}}(\mathbb {Z} )$ is separated.

Notice that a topological space Y is Hausdorff iff the diagonal embedding

Y{\stackrel {\Delta }{\longrightarrow }}Y\times Y

is closed. In algebraic geometry, the above formulation is used because a scheme which is a Hausdorff space is necessarily empty or zero-dimensional. The difference between the topological and algebro-geometric context comes from the topological structure of the fiber product (in the category of schemes) $X\times _{{\textrm {Spec}}(\mathbb {Z} )}X$ , which is different from the product of topological spaces.

Any affine scheme Spec A is separated, because the diagonal corresponds to the surjective map of rings (hence is a closed immersion of schemes):

$A\otimes _{\mathbb {Z} }A\rightarrow A,a\otimes a'\mapsto a\cdot a'$ .

sheaf generated by global sections

A sheaf with a set of global sections that span the stalk of the sheaf at every point. See Sheaf generated by global sections.

simple

The term "simple point" is an old term for a "smooth point".

smooth

Main article: smooth morphism

The higher-dimensional analog of étale morphisms are smooth morphisms. There are many different characterisations of smoothness. The following are equivalent definitions of smoothness of the morphism f : Y → X:

1) for any y ∈ Y, there are open affine neighborhoods V and U of y, x=f(y), respectively, such that the restriction of f to V factors as an étale morphism followed by the projection of affine n-space over U.

2) f is flat, locally of finite presentation, and for every geometric point

{\bar {y}}

of Y (a morphism from the spectrum of an algebraically closed field

k({\bar {y}})

to Y), the geometric fiber

X_{\bar {y}}:=X\times _{Y}\mathrm {Spec} (k({\bar {y}}))

is a smooth n-dimensional variety over

k({\bar {y}})

in the sense of classical algebraic geometry.

2. A smooth scheme over a perfect field k is a scheme X that is of locally of finite type and regular over k.

3. A smooth scheme over a field k is a scheme X that is geometrically smooth:

X\times _{k}{\overline {k}}

is smooth.

special

A divisor D on a smooth curve C is special if

h^{0}({\mathcal {O}}(K-D))

, which is called the index of speciality, is positive.

spherical variety

A spherical variety is a normal G-variety (G connected reductive) with an open dense orbit by a Borel subgroup of G.

stable

1. A stable curve is a curve with some "mild" singularity, used to construct a good-behaving moduli space of curves.

2. A stable vector bundle is used to construct the moduli space of vector bundles.

stack

A stack parametrizes sets of points together with automorphisms.

subscheme

A subscheme, without qualifier, of X is a closed subscheme of an open subscheme of X.

surface

An algebraic variety of dimension two.

symmetric variety

An analog of a symmetric space. See symmetric variety.

T

tangent space: See Zariski tangent space.
tautological line bundle: The tautological line bundle of a projective scheme X is the dual of Serre's twisting sheaf ${\mathcal {O}}_{X}(1)$ ; that is, ${\mathcal {O}}_{X}(-1)$ .
theorem: See Zariski's main theorem, theorem on formal functions, cohomology base change theorem, Category:Theorems in algebraic geometry.
torus embedding: An old term for a toric variety
toric variety: A toric variety is a normal variety with the action of a torus such that the torus has an open dense orbit.
tropical geometry: A kind of a piecewise-linear algebraic geometry. See tropical geometry.
torus: A torus is a product of finitely many multiplicative groups $\mathbb {G} _{m}$ .

U

universal

1. If a moduli functor F is represented by some scheme or algebraic space M, then a universal object is an element of F(M) that corresponds to the identity morphism M → M (which is an M-point of M). If the values of F are isomorphism classes of curves with extra structure, say, then a universal object is called a universal curve. A tautological bundle would be another example of a universal object.

2. Let

{\mathcal {M}}_{g}

be the moduli of smooth projective curves of genus g and

{\mathcal {C}}_{g}={\mathcal {M}}_{g,1}

that of smooth projective curves of genus g with single marked points. In literature, the forgetful map

\pi :{\mathcal {C}}_{g}\to {\mathcal {M}}_{g}

is often called a universal curve.

universally

A morphism has some property universally if all base changes of the morphism have this property. Examples include universally catenary, universally injective.

unramified

For a point

y

Y

, consider the corresponding morphism of local rings

f^{\#}\colon {\mathcal {O}}_{X,f(y)}\to {\mathcal {O}}_{Y,y}

Let ${\mathfrak {m}}$ be the maximal ideal of ${\mathcal {O}}_{X,f(y)}$ , and let

{\mathfrak {n}}=f^{\#}({\mathfrak {m}}){\mathcal {O}}_{Y,y}

be the ideal generated by the image of ${\mathfrak {m}}$ in ${\mathcal {O}}_{Y,y}$ . The morphism $f$ is unramified (resp. G-unramified) if it is locally of finite type (resp. locally of finite presentation) and if for all $y$ in $Y$ , ${\mathfrak {n}}$ is the maximal ideal of ${\mathcal {O}}_{Y,y}$ and the induced map

{\mathcal {O}}_{X,f(y)}/{\mathfrak {m}}\to {\mathcal {O}}_{Y,y}/{\mathfrak {n}}

is a finite separable field extension.^[21] This is the geometric version (and generalization) of an unramified field extension in algebraic number theory.

V

variety: a synonym with "algebraic variety".
very ample: A line bundle L on a variety X is very ample if X can be embedded into a projective space so that L is the restriction of Serre's twisting sheaf O(1) on the projective space.

W

weakly normal: a scheme is weakly normal if any finite birational morphism to it is an isomorphism.
Weil divisor: Another but more standard term for a "codimension-one cycle"; see divisor.
Weil reciprocity: See Weil reciprocity.

Z

Zariski–Riemann space: A Zariski–Riemann space is a locally ringed space whose points are valuation rings.

Notes

↑ Proof: Let D be a Weil divisor on X. If D' ~ D, then there is a nonzero rational function f on X such that D + (f) = D' and then f is a section of O_X(D) if D' is effective. The opposite direction is similar. □
↑ Alain, Connes (2015-09-18). "An essay on the Riemann Hypothesis". arXiv:1509.05576.
↑ Deitmar, Anton (2006-05-16). "Remarks on zeta functions and K-theory over F1". arXiv:math/0605429.
↑ Flores, Jaret (2015-03-08). "Homological Algebra for Commutative Monoids". arXiv:1503.02309.
↑ Durov, Nikolai (2007-04-16). "New Approach to Arakelov Geometry". arXiv:0704.2030.
↑ Grothendieck & Dieudonné 1960, 4.1.2 and 4.1.3
↑ Smith, Karen E.; Zhang, Wenliang (2014-09-03). "Frobenius Splitting in Commutative Algebra". arXiv:1409.1169.
↑ Grothendieck & Dieudonné 1964, §1.4
↑ Grothendieck & Dieudonné 1964, §1.6
↑ Brandenburg, Martin (2014-10-07). "Tensor categorical foundations of algebraic geometry". arXiv:1410.1716.
↑ Hartshorne 1977, Exercise II.3.11(d)
↑ The Stacks Project, Chapter 21, §4.
↑ Grothendieck & Dieudonné 1960, 4.2.1
1 2 Hartshorne 1977, §II.3
↑ Grothendieck & Dieudonné 1960, 4.2.5
↑ Q. Liu, Algebraic Geometry and Arithmetic Curves, exercise 2.3
↑ Harada, Megumi; Krepski, Derek (2013-02-02). "Global quotients among toric Deligne-Mumford stacks". arXiv:1302.0385.
↑ Hartshorne 1977, II.4
↑ EGA, II.5.5.4(ii).
↑ Grothendieck & Dieudonné 1964, 1.2.1
↑ The notion G-unramified is what is called "unramified" in EGA, but we follow Raynaud's definition of "unramified", so that closed immersions are unramified. See Tag 02G4 in the Stacks Project for more details.

References

Fulton, William (1998), Intersection theory, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], 2, Berlin, New York: Springer-Verlag, ISBN 978-3-540-62046-4, MR 1644323
Grothendieck, Alexandre; Dieudonné, Jean (1960). "Éléments de géométrie algébrique: I. Le langage des schémas". Publications Mathématiques de l'IHÉS. 4. doi:10.1007/bf02684778. MR 0217083.
Grothendieck, Alexandre; Dieudonné, Jean (1961). "Éléments de géométrie algébrique: II. Étude globale élémentaire de quelques classes de morphismes". Publications Mathématiques de l'IHÉS. 8. doi:10.1007/bf02699291. MR 0217084.
Grothendieck, Alexandre; Dieudonné, Jean (1961). "Eléments de géométrie algébrique: III. Étude cohomologique des faisceaux cohérents, Première partie". Publications Mathématiques de l'IHÉS. 11. doi:10.1007/bf02684274. MR 0217085.
Grothendieck, Alexandre; Dieudonné, Jean (1963). "Éléments de géométrie algébrique: III. Étude cohomologique des faisceaux cohérents, Seconde partie". Publications Mathématiques de l'IHÉS. 17. doi:10.1007/bf02684890. MR 0163911.
Grothendieck, Alexandre; Dieudonné, Jean (1964). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Première partie". Publications Mathématiques de l'IHÉS. 20. doi:10.1007/bf02684747. MR 0173675.
Grothendieck, Alexandre; Dieudonné, Jean (1965). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Seconde partie". Publications Mathématiques de l'IHÉS. 24. doi:10.1007/bf02684322. MR 0199181.
Grothendieck, Alexandre; Dieudonné, Jean (1966). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Troisième partie". Publications Mathématiques de l'IHÉS. 28. doi:10.1007/bf02684343. MR 0217086.
Grothendieck, Alexandre; Dieudonné, Jean (1967). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Quatrième partie". Publications Mathématiques de l'IHÉS. 32. doi:10.1007/bf02732123. MR 0238860.
Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157
Kollár, János, "Book on Moduli of Surfaces" available at his website
Martin's Olsson's course notes written by Anton, http://math.berkeley.edu/~anton/written/Stacks/Stacks.pdf
A book worked out by many authors.