Local zeta functionIn number theory, the local zeta function Z(V, s) (sometimes called the congruent zeta function or the Hasse–Weil zeta function) is defined as where V is a non-singular n-dimensional projective algebraic variety over the field Fq with q elements and Nm is the number of points of V defined over the finite field extension Fqm of Fq. Making the variable transformation u = q−s, gives as the formal power series in the variable .
Algebraic function fieldIn mathematics, an algebraic function field (often abbreviated as function field) of n variables over a field k is a finitely generated field extension K/k which has transcendence degree n over k. Equivalently, an algebraic function field of n variables over k may be defined as a finite field extension of the field K = k(x1,...,xn) of rational functions in n variables over k. As an example, in the polynomial ring k [X,Y] consider the ideal generated by the irreducible polynomial Y 2 − X 3 and form the field of fractions of the quotient ring k [X,Y]/(Y 2 − X 3).
Witt vectorIn mathematics, a Witt vector is an infinite sequence of elements of a commutative ring. Ernst Witt showed how to put a ring structure on the set of Witt vectors, in such a way that the ring of Witt vectors over the finite field of order is isomorphic to , the ring of -adic integers. They have a highly non-intuitive structure upon first glance because their additive and multiplicative structure depends on an infinite set of recursive formulas which do not behave like addition and multiplication formulas for standard p-adic integers.
Regular schemeIn algebraic geometry, a regular scheme is a locally Noetherian scheme whose local rings are regular everywhere. Every smooth scheme is regular, and every regular scheme of finite type over a perfect field is smooth. For an example of a regular scheme that is not smooth, see Geometrically regular ring#Examples.
Ind-schemeIn algebraic geometry, an ind-scheme is a set-valued functor that can be written (represented) as a direct limit (i.e., inductive limit) of closed embedding of schemes. is an ind-scheme. Perhaps the most famous example of an ind-scheme is an infinite grassmannian (which is a quotient of the loop group of an algebraic group G.
Constructible set (topology)In topology, constructible sets are a class of subsets of a topological space that have a relatively "simple" structure. They are used particularly in algebraic geometry and related fields. A key result known as Chevalley's theorem in algebraic geometry shows that the image of a constructible set is constructible for an important class of mappings (more specifically morphisms) of algebraic varieties (or more generally schemes). In addition, a large number of "local" geometric properties of schemes, morphisms and sheaves are (locally) constructible.
GerbeIn mathematics, a gerbe (dʒɜrb; ʒɛʁb) is a construct in homological algebra and topology. Gerbes were introduced by Jean Giraud following ideas of Alexandre Grothendieck as a tool for non-commutative cohomology in degree 2. They can be seen as an analogue of fibre bundles where the fibre is the classifying stack of a group. Gerbes provide a convenient, if highly abstract, language for dealing with many types of deformation questions especially in modern algebraic geometry.
