We show that the counting of rational curves on a complete toric variety that are in general position to the toric prime divisors coincides with the counting of certain tropical curves. The proof is algebraic-geometric and relies on degeneration techniques and log deformation theory. This generalizes results of Mikhalkin obtained by different methods in the surface case to arbitrary dimensions.
In this survey, we discuss linear series on tropical curves and their relation to classical algebraic geometry, describe the main techniques of the subject, and survey some of the recent major developments in the field, with an emphasis on applications to problems in Brill-Noether theory and arithmetic geometry.
We use the motivic obstruction to stable rationality introduced by Shinder and the first-named author to establish several new classes of stably irrational hypersurfaces and complete intersections. In particular, we show that very general quartic fivefolds and complete intersections of a quadric and a cubic in $\mathbb P^6$ are stably irrational. An important new ingredient is the use of tropical degeneration techniques.
Given a smooth Mori dream space $X$ we construct a model dominating all the small $\mathbb{Q}$-factorial modifications via tropicalization. This construction allows us to recover a Minkowski basis for the Newton-Okounkov bodies of divisors on $X$ and hence the movable cone of $X$. The existence of such basis allows us to prove the polyhedrality of the global Newton-Okounkov body and the existence of toric degenerations.
We apply ideas from intersection theory on toric varieties to tropical intersection theory. We introduce mixed Minkowski weights on toric varieties which interpolate between equivariant and ordinary Chow cohomology classes on complete toric varieties. These objects fit into the framework of tropical intersection theory developed by Allermann and Rau. Standard facts about intersection theory on toric varieties are applied to show that the definitions of tropical intersection product on tropical cycles in $\R^n$ given by Allermann-Rau and Mikhalkin are equivalent. We introduce an induced tropica…
We give a method to estimate Seshadri constants on toric varieties at any point. By using the estimations and toric degenerations, we can obtain some new computations or estimations of Seshadri constants on non-toric varieties. In particular, we investigate Seshadri constants on hypersurfaces in projective spaces and Fano 3-folds with Picard number one in detail.
We study semi-stable degenerations of toric varieties determined by certain partitions of their moment polytopes. Analyzing their defining equations we prove a property of uniqueness.
F. Block and L. Göttsche introduced refined tropical invariants of toric surfaces that intertwine tropical Gromov-Witten and Welschinger invariants of toric surfaces. L. Göttsche and the first author introduced refined broccoli invariants that intertwine some genus zero descendant tropical invariants and broccoli invariants of toric surfaces. In this note, we extend the refined broccoli invariants to the genus one case.
Building on our earlier work on toric residues and reduction, we give a proof for the mixed toric residue conejecture of Batyrev and Materov. We simplify and streamline our technique of tropical degenerations, which allows one to interpolate between two localization principles: one appearing in the intersection theory toric quotients and the other in the calculus of toric residues. This quickly leads to the proof of the conjecture, which gives a closed form for the summation of a generating series whose coefficients are certain variants of the "numbers" of rational curves on toric complete int…
We study the real loci of toric degenerations of complex varieties with reducible central fibre. We show that the topology of such degenerations can be explicitly described via the Kato-Nakayama space of the central fibre as a log space. We furthermore provide generalities of real structures in log geometry and their lift to Kato-Nakayama spaces. A key point of this paper is a description of the Kato-Nakayama space of a toric degeneration and its real locus, both as bundles determined by combinatorial data. We provide several examples including real toric degenerations of K3-surfaces and a tor…
A degeneration of a singular curve on a toric surface, called a tropicalization, was constructed by E. Shustin. He classified the degeneration of 1-cuspidal curves using polyhedral complexes called tropical curves. In this paper, we define a tropical version of a 1-tacnodal curve, that is, a curve having exactly one singular point whose topological type is $A_3$, and by applying the tropicalization method, we classify tropical curves which correspond to 1-tacnodal curves.
This note constructs the flat toric degeneration of the manifold FL_n of flags in C^n from [Gonciulea-Lakshmibai 96] as an explicit GIT quotient of the Gr"obner degeneration in [Knutson-Miller 03]. This implies that Schubert varieties degenerate to reduced unions of toric varieties, associated to faces indexed by rc-graphs (reduced pipe dreams) in the Gel'fand-Cetlin polytope. Our explicit description of the toric degeneration of FL_n provides a simple explanation of how Gel'fand-Cetlin decompositions for irreducible polynomial representations of GL_n arise via geometric quantization.
We provide a construction of examples of semistable degeneration via toric geometry. The applications include a higher dimensional generalization of classical degeneration of K3 surface into 4 rational components, an algebraic geometric version of decomposing K3 as the fiber sum of two E(1)'s as well as it's higher dimensional generalizations, and many other new examples.
We show that the moduli space of stable n-pointed rational curves can be flatly degenerated to a projective toric variety. We arrive at this by showing that the Chow quotients of the Grassmannians admit toric degenerations, which in turn, follows from a theorem that we prove for toric degenerations of more general Chow quotients. Along the way, we also argued that GIT quotient of a flat family is again flat. In particular, all GIT quotients of flag varieties by maximal tori can be flatly degenerated to projective toric varieties ([9] and [12]).
For a divisor $D$ on a tropical variety $X$, we define two amounts in order to estimate the value of $h^{0}(X,D)$, which are described by terms of global sections and computed more easily than $h^{0}(X,D)$. As an application of its estimation, we show that a Riemann-Roch inequality holds for smooth tropical toric surfaces.
In this paper we construct a degeneration of Bott-Samelson-Demazure-Hansen varieties to toric varieties in an algebraic family and study the geometry of the resulting toric varieties. We give a natural set of torus invariant curves that generate the Chow group of $1$-cycles of the limiting toric variety and express the ample cone of this toric variety as a sub-cone of the ample cone of the corresponding Bott-Samelson-Demazure-Hansen variety. We also give a description of Extremal and Mori rays and determine when this toric variety is Fano.
For an appropriate class of Fano complete intersections in toric varieties, we prove that there is a concrete relationship between degenerations to specific toric subvarieties and expressions for Givental's Landau-Ginzburg models as Laurent polynomials. As a result, we show that Fano varieties presented as complete intersections in partial flag manifolds admit degenerations to Gorenstein toric weak Fano varieties, and their Givental Landau-Ginzburg models can be expressed as corresponding Laurent polynomials. We also use this to show that all of the Laurent polynomials obtained by Coates, Kasp…
Batyrev (et. al.) constructed a family of Calabi-Yau varieties using small toric degenerations of the full flag variety G/B. They conjecture this family to be mirror to generic anti-canonical hypersurfaces in G/B. Recently Alexeev and Brion, as a part of their work on toric degenerations of spherical varieties, have constructed many degenerations of G/B. For any such degeneration we construct a family of varieties, which we prove coincides with Batyrev's in the small case. We prove that any two such families are birational, thus proving that mirror families are independent of the choice of deg…
We show that every rank one smooth Fano threefold has a weak Landau-Ginzburg model coming from a toric degeneration. The fibers of these Landau-Ginzburg models can be compactified to K3 surfaces with Picard lattice of rank 19. We also show that any smooth Fano variety of arbitrary dimension which is a complete intersection of Cartier divisors in weighted projective space has a very weak Landau-Ginzburg model coming from a toric degeneration.
The $k$-secant degree is studied with a combinatorial approach. A planar toric degeneration of any projective toric surface $X$ corresponds to a regular unimodular triangulation $D$ of the polytope defining $X$. If the secant ideal of the initial ideal with respect to $D$ coincides with the initial ideal of the secant ideal, then $D$ is said to be delightful and the $k$-secant degree of $X$ can be easily computed. All delightful triangulations of toric surfaces having sectional genus $g\leq1$ are completely classified and, for $g\geq2$, a lower bound for the $2$- and $3$-secant degree, by mean…
We develop a theory of multi-stage degenerations of toric varieties over finite rank valuation rings, extending the Mumford--Gubler theory in rank one. Such degenerations are constructed from fan-like structures over totally ordered abelian groups of finite rank. Our main theorem describes the geometry of successive special fibers in the degeneration in terms of the polyhedral geometry of a system of recession complexes associated to the fan.
We study the tropicalizations of analytic subvarieties of normal toric varieties over complete non-archimedean valuation fields. We show that a Zariski closed analytic subvariety of a normal toric variety is algebraic if its tropicalization is a finite union of polyhedra. Previously, the converse direction was known by the theorem of Bieri and Groves. Over the field of complex numbers, Madani, L. Nisse, and M. Nisse proved similar results for analytic subvarieties of tori.
In this paper we study the geometry of toric degeneration of a Bott-Samelson-Demazure-Hansen (BSDH) variety. We give some applications to BSDH varieties. Precisely, we classify Fano, weak Fano and log Fano BSDH varieties and their toric limits in Kac-Moody setting. We prove some vanishing theorems for the cohomology of tangent bundle (and line bundles) on BSDH varieties. We also recover the results in arXiv:1604.01998, by toric methods.
We study algebraic, combinatorial and geometric aspects of weighted PBW-type degenerations of (partial) flag varieties in type $A$. These degenerations are labeled by degree functions lying in an explicitly defined polyhedral cone, which can be identified with a maximal cone in the tropical flag variety. Varying the degree function in the cone, we recover, for example, the classical flag variety, its abelian PBW degeneration, some of its linear degenerations and a particular toric degeneration.
For fixed degree $d\leq 12$, we study the Hilbert scheme of degree $d$ smooth Fano threefolds in their anticanonical embeddings. We use this to classify all possible degenerations of these varieties to toric Fano varieties with at most canonical Gorenstein singularities.
We discuss the behavior of Landau-Ginzburg models for toric orbifolds near the large volume limit. This enables us to express mirror symmetry as an isomorphism of Frobenius manifolds which aquire logarithmic poles along a boundary divisor. If the toric orbifold admits a crepant resolution we construct a global moduli space on the B-side and show that the associated tt^*-geometry exists globally.
An irrational toric variety X is an analytic subset of the simplex associated to a finite configuration of real vectors. The positive torus acts on X by translation, and we consider limits of sequences of these translations. Our main result identifies all possible Hausdorff limits of translations of X as toric degenerations using elementary methods and the geometry of the secondary fan of the vector configuration. This generalizes work of Garcia-Puente et al., who used algebraic geometry and work of Kapranov, Sturmfels, and Zelevinsky, when the vectors were integral.
In this paper we generalize correspondence theorems of Mikhalkin and Nishinou-Siebert providing a correspondence between algebraic and parameterized tropical curves. We also give a description of a canonical tropicalization procedure for algebraic curves motivated by Berkovich's construction of skeletons of analytic curves. Under certain assumptions, we construct a one-to-one correspondence between algebraic curves satisfying toric constraints and certain combinatorially defined objects, called "stacky tropical reductions", that can be enumerated in terms of tropical curves satisfying linear c…
Using degeneration techniques, we prove the correspondence of tropical curve counts and log Gromov-Witten invariants with general incidence and psi-class conditions in toric varieties for genus zero curves and all non-superabundant higher-genus situations. We also relate the log invariants to the ordinary ones, in particular explaining the appearance of negative multiplicities in the descendant correspondence result of Mark Gross.
First, we define phase tropical hypersurfaces in terms of a degeneration data of smooth complex algebraic hypersurfaces in $(\mathbb{C}^*)^n$. Next, we prove that complex hyperplanes are diffeomorphic to their degeneration called phase tropical hyperplanes. More generally, using Mikhalkin's decomposition into pairs-of-pants of smooth algebraic hypersurfaces, we show that phase tropical hypersurfaces with smooth tropicalization, possess naturally a smooth differentiable structure. Moreover, we prove that phase tropical hypersurfaces possess a natural symplectic structure.
In arXiv:1505.04338(4), G. Mikhalkin introduced a refined count for the real rational curves in a toric surface which pass through certain conjugation invariant set of points on the toric boundary of the surface. Such a set consists of real points and pairs of complex conjugated points. He then proved that the result of this refined count depends only on the number of pairs of complex conjugated points on each toric divisor. Using the tropical geometry approach and the correspondence theorem, he managed to compute these invariants if all the points of the configuration are real. In this paper …
In this paper, we give a tropical method for computing Gromov-Witten type invariants of Fano manifolds of special type. This method applies to those Fano manifolds which admit toric degenerations to toric Fano varieties with singularities allowing small resolutions. Examples include (generalized) flag manifolds of type A, and some moduli space of rank two bundles on a genus two curve.
Let $R$ be a complete equicharacteristic noetherian local domain and $ν$ a valuation of its field of fractions whose valuation ring dominates $R$ with trivial residue field extension. The semigroup of values of $ν$ on $R\setminus \{0\}$ is not finitely generated in general. We produce equations in an appropriate generalized power series ring for the algebra encoding the degeneration of $R$ to the toric graded algebra ${\rm gr}_νR$ associated to the filtration defined by $ν$. We apply this to represent $ν$ as the limit of a sequence of Abhyankar semivaluations (valuations on quotients) of $R$ w…
Using the method of degenerating a Grassmannian into a toric variety, we calculate recursive formulas for the dimensions of the eigenspaces of the action of an n-dimensional torus on a Grassmannian of planes in an n-dimensional space. In order to verify our result we compare it with the polynomial describing the Euler characteristic of invertible sheaves on a projective space with four blown-up points.
In this survey I summarize the constructions of toric degenerations obtained from valuations and Gröbner theory and describe in which sense they are equivalent. I show how adapted bases can be used to generalize the classical Newton polytope to what is called a $\mathbb B$-Newton polytope. The $\mathbb B$-Newton polytope determines the Newton--Okounkov polytopes of all Khovanskii-finite valuations sharing the adapted standard monomial basis $\mathbb B$.
Anderson proved that the finite generation of the value semigroup $Γ_{Y_\bullet}(D)$ in the construction of the Newton-Okounkov body $Δ_{Y_\bullet}(D)$ induces a toric degeneration of the corresponding variety $X$ to some toric variety $X_0$. In this case the normalization of $X_0$ is the normal toric variety corresponding to the rational polytope $Δ_{Y_\bullet}(D)$. Since $X_0$ is not normal in general this correspondence is rather implicit. In this article we investigate in conditions to assure that $X_0$ is normal, by comparing the Hilbert polynomial with the Ehrhart polynomial. In the case…
We study the Berkovich analytification of the space of genus $0$ logarithmic stable maps to a toric variety $X$ and present applications to both algebraic and tropical geometry. On algebraic side, insights from tropical geometry give two new geometric descriptions of this space of maps -- (1) as an explicit toroidal modification of $\overline M_{0,n}\times X$ and (2) as a tropical compactification in a toric variety. On the combinatorial side, we prove that the tropicalization of the space of genus $0$ logarithmic stable maps coincides with the space of tropical stable maps, giving a large new…
A net is a special configuration of lines and points in the projective plane. There are certain restrictions on the number of its lines and points. We proved that there cannot be any (4,4) nets in $\mathbb{C}P^2$. In order to show this, we use tropical algebraic geometry. We tropicalize the hypothetical net and show that there cannot be such a configuration in $\mathbb{C}P^2$.
The Losev-Manin moduli space parametrizes pointed chains of projective lines. In this paper we study a possible generalization to families of pointed degenerate toric varieties. Geometric properties of these families, such as flatness and reducedness of the fibers, are explored via a combinatorial characterization. We show that such families are described by a specific type of polytope fibration which generalizes the twisted Cayley sums, originally introduced to characterize elementary extremal contractions of fiber type associated to projective $\mathbb{Q}$-factorial toric varieties with posi…
In this thesis we study toric degenerations of projective varieties. We compare different constructions to understand how and why they are related as s first step towards developing a global framework. In focus are toric degenerations obtained from representation theory, tropical geometry and cluster algebras. Often those rely on valuations and the theory of Newton-Okounkov bodies. Toric degenerations can be seen as a combinatorial shadow of the original objects. The goal is therefore to understand why the different theories are so closely related, by understanding the toric degenerations they…
We introduce tropical complexes, as an enrichment of the dual complex of a degeneration with additional data from non-transverse intersection numbers. We define cycles, divisors, and linear equivalence on tropical complexes, analogous both to the corresponding theories on algebraic varieties and to previous work on graphs and abstract tropical curves. In addition, we establish conditions for the divisor-curve intersection numbers on a tropical complex to agree with the generic fiber of a degeneration.
The most fundamental example of mirror symmetry compares the Fermat hypersurfaces in P^n and P^n/G, where G is a finite group that acts on P^n and preserves the Fermat hypersurface. We generalise this to hypersurfaces in Grassmannians, where the picture is richer and more complex. There is a finite group G that acts on the Grassmannian Gr(n,r) and preserves an appropriate Calabi-Yau hypersurface. We establish how mirror symmetry, toric degenerations, blow-ups and variation of GIT relate the Calabi-Yau hypersurfaces inside Gr(n,r) and Gr(n,r)/G. This allows us to describe a compactification of …
In this paper we propose and discuss a mirror construction for complete intersections in partial flag manifolds $F(n_1, ..., n_l, n)$. This construction includes our previous mirror construction for complete intersection in Grassmannians and the mirror construction of Givental for complete flag manifolds. The key idea of our construction is a degeneration of $F(n_1, ..., n_l, n)$ to a certain Gorenstein toric Fano variety $P(n_1, ..., n_l, n)$ which has been investigated by Gonciulea and Lakshmibai. We describe a natural small crepant desingularization of $P(n_1, ..., n_l, n)$ and prove a gene…
We construct polyhedral families of valuations on the branching algebra of a morphism of reductive groups. This establishes a connection between the combinatorial rules for studying a branching problem and the tropical geometry of the branching algebra. In the special case when the branching problem comes from the inclusion of a Levi subgroup or a diagonal subgroup, we use the dual canonical basis of Lusztig and Kashiwara to build toric deformations of the branching algebra.
The space of torus translations and degenerations of a projective toric variety forms a toric variety associated to the secondary fan of the integer points in the polytope corresponding to the toric variety. This is used to identify a moduli space of real degenerations with the secondary polytope. A configuration A of real vectors gives an irrational projective toric variety in a simplex. We identify a space of translations and degenerations of the irrational projective toric variety with the secondary polytope of A. For this, we develop a theory of irrational toric varieties associated to arb…
We will use toric degenerations of the projective plane ${\mathbb{P}^ 2}$ to give a new proof of the triple points interpolation problems in the projective plane. We also give a complete list of toric surfaces that are useful as components in this degeneration.