Tropical compactification

Last updated

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

is faithfully flat and is proper.

See also

Related Research Articles

<span class="mw-page-title-main">Calabi–Yau manifold</span> Riemannian manifold with SU(n) holonomy

In algebraic and differential geometry, a Calabi–Yau manifold, also known as a Calabi–Yau space, is a particular type of manifold which has certain properties, such as Ricci flatness, yielding applications in theoretical physics. Particularly in superstring theory, the extra dimensions of spacetime are sometimes conjectured to take the form of a 6-dimensional Calabi–Yau manifold, which led to the idea of mirror symmetry. Their name was coined by Candelas et al. (1985), after Eugenio Calabi, who first conjectured that such surfaces might exist, and Shing-Tung Yau, who proved the Calabi conjecture.

<span class="mw-page-title-main">Hodge conjecture</span> Unsolved problem in geometry

In mathematics, the Hodge conjecture is a major unsolved problem in algebraic geometry and complex geometry that relates the algebraic topology of a non-singular complex algebraic variety to its subvarieties.

<span class="mw-page-title-main">Algebraic variety</span> Mathematical object studied in the field of algebraic geometry

Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition.

In mathematics, the Jacobian varietyJ(C) of a non-singular algebraic curve C of genus g is the moduli space of degree 0 line bundles. It is the connected component of the identity in the Picard group of C, hence an abelian variety.

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.

<span class="mw-page-title-main">Tropical geometry</span> 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, the Teichmüller space of a (real) topological surface is a space that parametrizes complex structures on up to the action of homeomorphisms that are isotopic to the identity homeomorphism. Teichmüller spaces are named after Oswald Teichmüller.

In mathematics, particularly in the field of algebraic geometry, a Chow variety is an algebraic variety whose points correspond to effective algebraic cycles of fixed dimension and degree on a given projective space. More precisely, the Chow variety is the fine moduli variety parametrizing all effective algebraic cycles of dimension and degree in .

In mathematics, a nilmanifold is a differentiable manifold which has a transitive nilpotent group of diffeomorphisms acting on it. As such, a nilmanifold is an example of a homogeneous space and is diffeomorphic to the quotient space , the quotient of a nilpotent Lie group N modulo a closed subgroup H. This notion was introduced by Anatoly Mal'cev in 1949.

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, the Birkhoff–Grothendieck theorem classifies holomorphic vector bundles over the complex projective line. In particular every holomorphic vector bundle over is a direct sum of holomorphic line bundles. The theorem was proved by Alexander Grothendieck, and is more or less equivalent to Birkhoff factorization introduced by George David Birkhoff.

In mathematics, the equivariant algebraic K-theory is an algebraic K-theory associated to the category of equivariant coherent sheaves on an algebraic scheme X with action of a linear algebraic group G, via Quillen's Q-construction; thus, by definition,

This is a glossary of algebraic geometry.

<span class="mw-page-title-main">Constant-mean-curvature surface</span>

In differential geometry, constant-mean-curvature (CMC) surfaces are surfaces with constant mean curvature. This includes minimal surfaces as a subset, but typically they are treated as special case.

In algebraic group theory, a wonderful compactification of a variety acted on by an algebraic group is a -equivariant compactification such that the closure of each orbit is smooth. Corrado de Concini and Claudio Procesi constructed a wonderful compactification of any symmetric variety given by a quotient of an algebraic group by the subgroup fixed by some involution of over the complex numbers, sometimes called the De Concini–Procesi compactification, and Elisabetta Strickland generalized this construction to arbitrary characteristic. In particular, by writing a group itself as a symmetric homogeneous space, , this gives a wonderful compactification of the group itself.

In algebraic geometry, Hironaka's example is a non-Kähler complex manifold that is a deformation of Kähler manifolds found by Heisuke Hironaka. Hironaka's example can be used to show that several other plausible statements holding for smooth varieties of dimension at most 2 fail for smooth varieties of dimension at least 3.

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 toroidal embedding is an open embedding of algebraic varieties that locally looks like the embedding of the open torus into a toric variety. The notion was introduced by Mumford to prove the existence of semistable reductions of algebraic varieties over one-dimensional bases.

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, and especially differential and algebraic geometry, K-stability is an algebro-geometric stability condition, for complex manifolds and complex algebraic varieties. The notion of K-stability was first introduced by Gang Tian and reformulated more algebraically later by Simon Donaldson. The definition was inspired by a comparison to geometric invariant theory (GIT) stability. In the special case of Fano varieties, K-stability precisely characterises the existence of Kähler–Einstein metrics. More generally, on any compact complex manifold, K-stability is conjectured to be equivalent to the existence of constant scalar curvature Kähler metrics.

References

From left: Hannah Markwig, Aaron Bertram, and Renzo Cavalieri, 2012 at the MFO Markwig bertram cavalieri.jpg
From left: Hannah Markwig, Aaron Bertram, and Renzo Cavalieri, 2012 at the MFO
  1. Tevelev, Jenia (2007-08-07). "Compactifications of subvarieties of tori". American Journal of Mathematics . 129 (4): 1087–1104. arXiv: math/0412329 . doi:10.1353/ajm.2007.0029. ISSN   1080-6377.
  2. Brugallé, Erwan; Shaw, Kristin (2014). "A Bit of Tropical Geometry". The American Mathematical Monthly . 121 (7): 563–589. arXiv: 1311.2360 . doi:10.4169/amer.math.monthly.121.07.563. JSTOR   10.4169/amer.math.monthly.121.07.563.