In commutative algebra, the prime spectrum of a commutative ring is the set of all prime ideals of , and is usually denoted by ; in algebraic geometry it is simultaneously a topological space equipped with the sheaf of rings .
In mathematics, K-theory is, roughly speaking, the study of a ring generated by vector bundles over a topological space or scheme. In algebraic topology, it is a cohomology theory known as topological K-theory. In algebra and algebraic geometry, it is referred to as algebraic K-theory. It is also a fundamental tool in the field of operator algebras. It can be seen as the study of certain kinds of invariants of large matrices.
In mathematics, in particular algebraic geometry, a moduli space is a geometric space whose points represent algebro-geometric objects of some fixed kind, or isomorphism classes of such objects. Such spaces frequently arise as solutions to classification problems: If one can show that a collection of interesting objects can be given the structure of a geometric space, then one can parametrize such objects by introducing coordinates on the resulting space. In this context, the term "modulus" is used synonymously with "parameter"; moduli spaces were first understood as spaces of parameters rather than as spaces of objects. A variant of moduli spaces is formal moduli. Bernhard Riemann first used the term "moduli" in 1857.
In mathematics, specifically algebraic geometry, a scheme is a structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities and allowing "varieties" defined over any commutative ring.
In mathematics, an algebraic stack is a vast generalization of algebraic spaces, or schemes, which are foundational for studying moduli theory. Many moduli spaces are constructed using techniques specific to algebraic stacks, such as Artin's representability theorem, which is used to construct the moduli space of pointed algebraic curves and the moduli stack of elliptic curves. Originally, they were introduced by Alexander Grothendieck to keep track of automorphisms on moduli spaces, a technique which allows for treating these moduli spaces as if their underlying schemes or algebraic spaces are smooth. After Grothendieck developed the general theory of descent, and Giraud the general theory of stacks, the notion of algebraic stacks was defined by Michael Artin.
In mathematics, a gerbe 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. In addition, special cases of gerbes have been used more recently in differential topology and differential geometry to give alternative descriptions to certain cohomology classes and additional structures attached to them.
In algebraic geometry, a Noetherian scheme is a scheme that admits a finite covering by open affine subsets , where each is a Noetherian ring. More generally, a scheme is locally Noetherian if it is covered by spectra of Noetherian rings. Thus, a scheme is Noetherian if and only if it is locally Noetherian and compact. As with Noetherian rings, the concept is named after Emmy Noether.
In algebraic geometry, a moduli space of (algebraic) curves is a geometric space whose points represent isomorphism classes of algebraic curves. It is thus a special case of a moduli space. Depending on the restrictions applied to the classes of algebraic curves considered, the corresponding moduli problem and the moduli space is different. One also distinguishes between fine and coarse moduli spaces for the same moduli problem.
The étale or algebraic fundamental group is an analogue in algebraic geometry, for schemes, of the usual fundamental group of topological spaces.
In mathematics, elliptic cohomology is a cohomology theory in the sense of algebraic topology. It is related to elliptic curves and modular forms.
In mathematics a stack or 2-sheaf is, roughly speaking, a sheaf that takes values in categories rather than sets. Stacks are used to formalise some of the main constructions of descent theory, and to construct fine moduli stacks when fine moduli spaces do not exist.
In algebraic geometry and algebraic topology, branches of mathematics, A1homotopy theory or motivic homotopy theory is a way to apply the techniques of algebraic topology, specifically homotopy, to algebraic varieties and, more generally, to schemes. The theory is due to Fabien Morel and Vladimir Voevodsky. The underlying idea is that it should be possible to develop a purely algebraic approach to homotopy theory by replacing the unit interval [0, 1], which is not an algebraic variety, with the affine line A1, which is. The theory has seen spectacular applications such as Voevodsky's construction of the derived category of mixed motives and the proof of the Milnor and Bloch-Kato conjectures.
In mathematics, the Landweber exact functor theorem, named after Peter Landweber, is a theorem in algebraic topology. It is known that a complex orientation of a homology theory leads to a formal group law. The Landweber exact functor theorem can be seen as a method to reverse this process: it constructs a homology theory out of a formal group law.
This is a glossary of algebraic geometry.
In algebraic geometry, a quotient stack is a stack that parametrizes equivariant objects. Geometrically, it generalizes a quotient of a scheme or a variety by a group: a quotient variety, say, would be a coarse approximation of a quotient stack.
Derived algebraic geometry is a branch of mathematics that generalizes algebraic geometry to a situation where commutative rings, which provide local charts, are replaced by either differential graded algebras, simplicial commutative rings or -ring spectra from algebraic topology, whose higher homotopy groups account for the non-discreteness of the structure sheaf. Grothendieck's scheme theory allows the structure sheaf to carry nilpotent elements. Derived algebraic geometry can be thought of as an extension of this idea, and provides natural settings for intersection theory of singular algebraic varieties and cotangent complexes in deformation theory, among the other applications.
In algebraic geometry, given a smooth projective curve X over a finite field and a smooth affine group scheme G over it, the moduli stack of principal bundles over X, denoted by , is an algebraic stack given by: for any -algebra R,
In algebraic geometry, Behrend's trace formula is a generalization of the Grothendieck–Lefschetz trace formula to a smooth algebraic stack over a finite field conjectured in 1993 and proven in 2003 by Kai Behrend. Unlike the classical one, the formula counts points in the "stacky way"; it takes into account the presence of nontrivial automorphisms.
In algebraic geometry, the Chow group of a stack is a generalization of the Chow group of a variety or scheme to stacks. For a quotient stack , the Chow group of X is the same as the G-equivariant Chow group of Y.
In algebraic geometry, convexity is a restrictive technical condition for algebraic varieties originally introduced to analyze Kontsevich moduli spaces in quantum cohomology. These moduli spaces are smooth orbifolds whenever the target space is convex. A variety is called convex if the pullback of the tangent bundle to a stable rational curve has globally generated sections. Geometrically this implies the curve is free to move around infinitesimally without any obstruction. Convexity is generally phrased as the technical condition
