Toric stack

Last updated

In algebraic geometry, a toric stack is a stacky generalization of a toric variety. More precisely, a toric stack is obtained by replacing in the construction of a toric variety a step of taking GIT quotients with that of taking quotient stacks. Consequently, a toric variety is a coarse approximation of a toric stack. A toric orbifold is an example of a toric stack.

See also

Related Research Articles

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 are formal moduli.

In mathematics, a Cohen–Macaulay ring is a commutative ring with some of the algebro-geometric properties of a smooth variety, such as local equidimensionality. Under mild assumptions, a local ring is Cohen–Macaulay exactly when it is a finitely generated free module over a regular local subring. Cohen–Macaulay rings play a central role in commutative algebra: they form a very broad class, and yet they are well understood in many ways.

In algebraic geometry, a toric variety or torus embedding is an algebraic variety containing an algebraic torus as an open dense subset, such that the action of the torus on itself extends to the whole variety. Some authors also require it to be normal. Toric varieties form an important and rich class of examples in algebraic geometry, which often provide a testing ground for theorems. The geometry of a toric variety is fully determined by the combinatorics of its associated fan, which often makes computations far more tractable. For a certain special, but still quite general class of toric varieties, this information is also encoded in a polytope, which creates a powerful connection of the subject with convex geometry. Familiar examples of toric varieties are affine space, projective spaces, products of projective spaces and bundles over projective space.

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.

Tropical geometry Skeletonized version of algebraic geometry

In mathematics, tropical geometry is the study of polynomials and their geometric properties when addition is replaced with minimization and multiplication is replaced with ordinary addition:

In mathematics, Hilbert's fourteenth problem, that is, number 14 of Hilbert's problems proposed in 1900, asks whether certain algebras are finitely generated.

In mathematics, a Tannakian category is a particular kind of monoidal category C, equipped with some extra structure relative to a given field K. The role of such categories C is to approximate, in some sense, the category of linear representations of an algebraic group G defined over K. A number of major applications of the theory have been made, or might be made in pursuit of some of the central conjectures of contemporary algebraic geometry and number theory.

In mathematics, a toric manifold is a topological analogue of toric variety in algebraic geometry. It is an even-dimensional manifold with an effective smooth action of an -dimensional compact torus which is locally standard with the orbit space a simple convex polytope.

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 mathematics, the field with one element is a suggestive name for an object that should behave similarly to a finite field with a single element, if such a field could exist. This object is denoted F1, or, in a French–English pun, Fun. The name "field with one element" and the notation F1 are only suggestive, as there is no field with one element in classical abstract algebra. Instead, F1 refers to the idea that there should be a way to replace sets and operations, the traditional building blocks for abstract algebra, with other, more flexible objects. Many theories of F1 have been proposed, but it is not clear which, if any, of them give F1 all the desired properties. While there is still no field with a single element in these theories, there is a field-like object whose characteristic is one.

Noncommutative algebraic geometry is a branch of mathematics, and more specifically a direction in noncommutative geometry, that studies the geometric properties of formal duals of non-commutative algebraic objects such as rings as well as geometric objects derived from them.

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.

In algebraic geometry, an affine GIT quotient, or affine geometric invariant theory quotient, of an affine scheme with an action by a group scheme G is the affine scheme , the prime spectrum of the ring of invariants of A, and is denoted by . A GIT quotient is a categorical quotient: any invariant morphism uniquely factors through it.

In algebraic geometry, a weighted projective spaceP(a0,...,an) is the projective variety Proj(k[x0,...,xn]) associated to the graded ring k[x0,...,xn] where the variable xk has degree ak.

In algebraic geometry, a tropical compactification is a compactification of a subvariety of an algebraic torus, introduced by Jenia Tevelev. Given an algebraic torus and a connected closed subvariety of that torus, a compatification of the subvariety is defined as a closure of it in a toric variety of the original torus. The concept of a tropical compatification arises when trying to make compactifications as "nice" as possible. For a torus , a toric variety , the compatification is tropical when the map

Victor Batyrev Russian mathematician

Victor Vadimovich Batyrev is a Russian mathematician, specializing in algebraic and arithmetic geometry and its applications to mathematical physics. He is a professor at the University of Tübingen.

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 mathematics, the ring of modular forms associated to a subgroup Γ of the special linear group SL(2, Z) is the graded ring generated by the modular forms of Γ. The study of rings of modular forms describes the algebraic structure of the space of modular forms.

In mathematics, a stacky curve is an object in algebraic geometry that is roughly an algebraic curve with potentially "fractional points" called stacky points. A stacky curve is a type of stack used in studying Gromov–Witten theory, enumerative geometry, and rings of modular forms.

References