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.
We prove a formula which allows us to recursively compute planar tropical gravitational descendants which involve psi-classes of arbitrary power at marked ends fixed by points and additionally a psi-class of power one at exactly one marked end fixed by a line. Up to now almost exclusively tropical gravitational descendants with psi-classes at marked ends restricted by points had been considered.
We construct refined tropical enumerative genus zero invariants of toric surfaces that specialize to the tropical descendant genus zero invariants introduced by Markwig and Rau when the quantum parameter tends to $1$. In the case of trivalent tropical curves our invariants turn to be the Goettsche-Schroeter refined broccoli invariants. We show that this is the only possible refinement of the Markwig-Rau descendant invariants that generalizes the Goettsche-Schroeter refined broccoli invariants. We discuss also the computational aspect (a lattice path algorithm) and exhibit some examples.
We present a method of computing genus zero two-point descendant Gromov-Witten invariants via one-point invariants. We apply our method to recover some of calculations of Zinger and Popa-Zinger, as well as to obtain new calculations of two-point descendant invariants.
We study the stationary descendant Gromov-Witten theory of toric surfaces by combining and extending a range of techniques - tropical curves, floor diagrams, and Fock spaces. A correspondence theorem is established between tropical curves and descendant invariants on toric surfaces using maximal toric degenerations. An intermediate degeneration is then shown to give rise to floor diagrams, giving a geometric interpretation of this well-known bookkeeping tool in tropical geometry. In the process, we extend floor diagram techniques to include descendants in arbitrary genus. These floor diagrams …
We define tropical Psi-classes on the moduli space of rational tropical curves in R^2 and consider intersection products of Psi-classes and pull-backs of evaluations on this space. We show a certain WDVV equation which is sufficient to prove that tropical numbers of curves satisfying certain Psi- and evaluation conditions are equal to the corresponding classical numbers. We present an algorithm that generalizes Mikhalkin's lattice path algorithm and counts rational plane tropical curves satisfying certain Psi- and evaluation conditions.
Some years ago Caporaso and Harris have found a nice way to compute the numbers N(d,g) of complex plane curves of degree d and genus g through 3d+g-1 general points with the help of relative Gromov-Witten invariants. Recently, Mikhalkin has found a way to reinterpret the numbers N(d,g) in terms of tropical geometry and to compute them by counting certain lattice paths in integral polytopes. We relate these two results by defining an analogue of the relative Gromov-Witten invariants and rederiving the Caporaso-Harris formula in terms of both tropical geometry and lattice paths.
We explore the explicit relationship between the descendant Gromov--Witten theory of target curves, operators on Fock spaces, and tropical curve counting. We prove a classical/tropical correspondence theorem for descendant invariants and give an algorithm that establishes a tropical Gromov--Witten/Hurwitz equivalence. Tropical curve counting is related to an algebra of operators on the Fock space by means of bosonification. In this manner, tropical geometry provides a convenient "graphical user interface" for Okounkov and Pandharipande's celebrated GW/H correspondence. An important goal of thi…
In this ``experimental'' research, we use known topological recursion relations in genera-zero, -one, and -two to compute the n-point descendant Gromov-Witten invariants of P^1 for arbitrary degrees and low values of n. The results are consistent with the Virasoro conjecture and also lead to explicit computations of all Hodge integrals in these genera. We also derive new recursion relations for simple Hurwitz numbers similar to those of Graber and Pandharipande.
We introduce a tropical enumerative invariant depending on a variable y which generalizes the tropical refined Severi degree. We show that this refined broccoli invariant is indeed independent of the point configuration, and that it specializes to a tropical descendant Gromov-Witten invariant for y=1 and to the corresponding broccoli invariant for y=-1. Furthermore, we define tropical refined descendant Gromov-Witten invariants which equal the corresponding refined broccoli invariants giving a new insight to the nature of broccoli invariants. We discuss various possible generalizations, e.g. t…
This article explores to which extent the algebro-geometric theory of rational descendant Gromov-Witten invariants can be carried over to the tropical world. Despite the fact that the tropical moduli-spaces we work with are non-compact, the answer is surprisingly positive. We discuss the string, divisor and dilaton equations, we prove a splitting lemma describing the intersection with a "boundary" divisor and we prove general tropical versions of the WDVV resp. topological recursion equations (under some assumptions). As a direct application, we prove that the toric varieties $\mathbb{P}^1$, $…
From wall structures to closed mirror symmetry. The case of $K_{\mathbb{P}^2}$: Renormalized periods over the positive real locus, closed Gromov-Witten invariants from wall functions, and tropical enumeration
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.
We represent stationary descendant Gromov-Witten invariants of projective space, up to explicit combinatorial factors, by polynomials. One application gives the asymptotic behaviour of large degree behaviour of stationary descendant Gromov-Witten invariants in terms of intersection numbers over the moduli space of curves. We also show that primary Gromov-Witten invariants are "virtual" stationary descendants and hence the string and divisor equations can be understood purely in terms of stationary invariants.
We prove two tropical gluing formulae for Gromov-Witten invariants of exploded manifolds, useful for calculating Gromov-Witten invariants of a symplectic manifold using a normal-crossing degeneration. The first formula generalizes the symplectic-sum formula for Gromov-Witten invariants. The second formula is stronger, and also generalizes Kontsevich and Manin's splitting and genus-reduction axioms. Both tropical gluing formulae have versions incorporating gravitational descendants.
We use Pixton's relations to prove a reconstruction theorem for genus 2 Gromov-Witten invariants in the style of Kontsevich-Manin (genus 0) and Getzler (genus 1). We also calculate genus 2 (descendant) Gromov-Witten invariants of $\mathbb{P}^2$ blown up at a finite number of points in general position.
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.
We use tropical and nonarchimedean geometry to study the moduli space of genus $0$ stable maps to $\mathbb{P}^1$ relative to two points. This space is exhibited as a tropical compactification in a toric variety. Moreover, the fan of this toric variety may be interpreted as a moduli space for tropical relative stable maps with the same discrete data. As a consequence, we confirm an expectation of Bertram and the first two authors, that the tropical Hurwitz cycles are tropicalizations of classical Hurwitz cycles. As a second application, we obtain a full descendant correspondence for genus $0$ r…
Notes for a short lecture series, covering exploded manifolds, the moduli stack of curves in exploded manifolds, and a tropical gluing formula for Gromov-Witten invariants: a gluing formula providing a degeneration formula for Gromov-Witten invariants in normal-crossing degenerations. I gave the original lecture series in April 2016 at the Simons Center for Geometry and Physics at Stonybrook. Video of the lectures is available on the SCGP website, http://scgp.stonybrook.edu/video_portal/video.php?id=2595
Beijing Institute of Mathematical Sciences and Applications(北京数学与应用数学研究所);Massachusetts Institute of Technology(麻省理工学院);Yau Mathematical Sciences Center, Tsinghua University(清华大学丘成桐数学科学中心)
On a space of stable maps, the psi classes are modified by subtracting certain boundary divisors. The top products of modified psi classes, usual psi classes, and classes pulled back along the evaluation maps are called twisted descendants; it is shown that in genus 0, they admit a complete recursion and are determined by the Gromov-Witten invariants. One motivation for this construction is that all characteristic numbers (of rational curves) can be interpreted as twisted descendants; this is explained in the second part, using pointed tangency classes. As an example, some of Schubert's number…
Virasoro constraints are applied to degree zero Gromov-Witten theory of weighted projective stacks $\mathbb{P}(1,N)$ and $\mathbb{P}(1,1,N)$ to obtain formulas of descendant cyclic Hurwitz-Hodge integrals in higher genera.
We prove a tropical mirror symmetry theorem for descendant Gromov-Witten invariants of the elliptic curve, generalizing the tropical mirror symmetry theorem for Hurwitz numbers of the elliptic curve, Theorem 2.20 in [Böhm J., Bringmann K., Buchholz A., Markwig H., J. Reine Angew. Math. 732 (2017), 211-246, arXiv:1309.5893]. For the case of the elliptic curve, the tropical version of mirror symmetry holds on a fine level and easily implies the equality of the generating series of descendant Gromov-Witten invariants of the elliptic curve to Feynman integrals. To prove tropical mirror symmetry fo…
We construct relative Gromov--Witten theory with expanded degenerations in the normal crossings setting and establish a degeneration formula for the resulting invariants. Given a simple normal crossings pair $(X,D)$, we show that there exist proper moduli spaces of curves in $X$ with prescribed boundary conditions along $D$, equipped with virtual classes. Each point in such a moduli space parameterizes a map from a nodal curve to an expanded degeneration of $X$ that is dimensionally transverse to the strata. In the context of maps to a simple normal crossings degeneration, the virtual fundamen…
We prove that the open Gromov-Witten invariants on K3 surfaces satisfy the Kontsevich-Soibelman wall-crossing formula. One one hand, this gives a geometric interpretation of the slab functions in Gross-Siebert program. On the other hands, the open Gromov-Witten invariants coincide with the weighted counting of tropical discs. This is an analog of the corresponding theorem on toric varieties \cite{M2}\cite{NS} but on compact Calabi-Yau surfaces.
Elements of the tropical vertex group, introduced by Kontsevich and Soibelman, are formal families of symplectomorphisms of the 2-dimensional algebraic torus. We prove ordered product factorizations in the tropical vertex group are equivalent to calculations of certain genus 0 relative Gromov-Witten invariants of toric surfaces. The relative invariants which arise have full tangency to a toric divisor at a single unspecified point. The method uses scattering diagrams, tropical curve counts, degeneration formulas, and exact multiple cover calculations in orbifold Gromov-Witten theory.
Block and Göttsche have defined a $q$-number refinement of counts of tropical curves in $\mathbb{R}^2$. Under the change of variables $q=e^{iu}$, we show that the result is a generating series of higher genus log Gromov-Witten invariants with insertion of a lambda class. This gives a geometric interpretation of the Block-Göttsche invariants and makes their deformation invariance manifest.
A tropical curve in $\mathbb R^{3}$ contributes to Gromov-Witten invariants in all genus. Nevertheless, we present a simple formula for how a given tropical curve contributes to Gromov-Witten invariants when we encode these invariants in a generating function with exponents of $λ$ recording Euler characteristic. Our main modification from the known tropical correspondence formula for rational curves is as follows: a trivalent vertex, which before contributed a factor of $n$ to the count of zero-genus holomorphic curves, contributes a factor of $2\sin(nλ/2)$. We explain how to calculate relativ…
We study monotone and strictly monotone Hurwitz numbers from a bosonic Fock space perspective. This yields to an interpretation in terms of tropical geometry involving local multiplicities given by Gromov-Witten invariants. Furthermore, this enables us to prove that a main result of Cavalieri-Johnson-Markwig-Ranganathan is a actually a refinement of the Gromov-Witten/Hurwitz correspondence by Okounkov-Pandharipande.
In this note I will explain how relative/log Gromov-Witten invariants of pairs $(X,D)$ with very ample smooth anticanonical divisor $D$ can be computed using algebro-combinatorial objects called scattering diagrams. The underlying principle behind this computational method is a tropical correspondence theorem for non-toric cases, which I will explain briefly. By computing some examples I will give an introduction to a sage code that I wrote for computing scattering diagrams.
Elements of the tropical vertex group are formal families of symplectomorphisms of the 2-dimensional algebraic torus. Commutators in the group are related to Euler characteristics of the moduli spaces of quiver representations and the Gromov-Witten theory of toric surfaces. After a short survey of the subject (based on lectures of Pandharipande at the 2009 Geometry summer school in Lisbon), we prove new results about the rays and symmetries of scattering diagrams of commutators (including previous conjectures by Gross-Siebert and Kontsevich). Where possible, we present both the quiver and Grom…
We extend B. Hassett's theory of weighted stable pointed curves ([Has03]) to weighted stable maps. The space of stability conditions is described explicitly, and the wall-crossing phenomenon studied. This can be considered as a non-linear analog of the theory of stability conditions in abelian and triangulated categories. We introduce virtual fundamental classes and thus obtain weighted Gromov-Witten invariants. We show that by including gravitational descendants, one obtains an $\LL$-algebra as introduced in [LM04] as a generalization of a cohomological field theory.
Using Gromov-Witten theory the numbers of complex plane rational curves of degree d through 3d-1 general given points can be computed recursively with Kontsevich's formula that follows from the so-called WDVV equations. In this paper we establish the same results entirely in the language of tropical geometry. In particular this shows how the concepts of moduli spaces of stable curves and maps, (evaluation and forgetful) morphisms, intersection multiplicities and their invariance under deformations can be carried over to the tropical world.
Virasoro constraints for orbifold Gromov-Witten theory are described. These constraints are applied to the degree zreo, genus zero orbifold Gromov-Witten potentials of the weighted projective stacks $\mathbb{P}(1,N)$, $\mathbb{P}(1,1,N)$ and $\mathbb{P}(1,1,1,N)$ to obtain formulas of descendant cyclic Hurwitz-Hodge integrals.
For any finite abelian group G, the equivariant Gromov-Witten invariants of C^r/G can be viewed as a certain kind of abelian Hurwitz-Hodge integrals. In this note, we use Tseng's orbifold quantum Riemann-Roch theorem to express this kind of abelian Hurwitz-Hodge integrals as a sum over Feynman graphs, where the weight of each graph is expressed in terms of descendant integrals over moduli spaces of stable curves and representations of G. This expression will play a crucial role in the proof of the remodeling conjecture (arXiv:0709.1453, arXiv:0807.0597) for affine toric Calabi-Yau 3-orbifolds …
Using heuristics from mirror symmetry, combinations of Gross, Hacking, Keel, Kontsevich, and Siebert have given combinatorial constructions of canonical bases of "theta functions" on the coordinate rings of various log Calabi-Yau spaces, including cluster varieties. We prove that the theta bases for cluster varieties are determined by certain descendant log Gromov-Witten invariants of the symplectic leaves of the mirror/Langlands dual cluster variety, as predicted in the Frobenius structure conjecture of Gross-Hacking-Keel. We further show that these Gromov-Witten counts are often given by nai…
We give two proofs of a conjecture of Hori and Vafa which expresses the J-function (i.e, the generating function for 1-point descendant Gromov-Witten invariants) of a Grassmannian in terms of the J-function of a product of projective spaces. Similar relations are obtained for two-point descendants, and three-point (primary) Gromov-Witten invariants. As an application we prove Givental's "R-Conjecture" - hence the Virasoro conjecture - for Grassmannians.
In our previous work, we provided an algebraic proof of the Zinger's comparison formula between genus one Gromov-Witten invariants and reduced invariants when the target space is a complete intersection of dimension two or three in a projective space. In this paper, we extend the result in any dimensions and for descendant invariants.
In complex algebraic geometry, the problem of enumerating plane elliptic curves of given degree with fixed complex structure has been solved by R.Pandharipande using Gromov-Witten theory. In this article we treat the tropical analogue of this problem, the determination of the number of tropical elliptic plane curves of degree d and fixed ``tropical j-invariant'' interpolating an appropriate number of points in general position. We show that this number is independent of the position of the points and the value of the j-invariant and that it coincides with the number of complex elliptic curves.…
The J-function in Gromov-Witten theory is a generating function for one-point genus zero Gromov-Witten invariants with descendants. Here we give formulas for the quantum K-theoretic J-functions of type A flag manifolds and conjectural formulas for other types. Some K-theoretic tools for computation are also provided. As an application, we prove the quantum K-theoretic J-function version of the abelian-nonabelian correspondence for Grassmannians and products of projective space.
Fano orbifold lines are classified by the Dynkin diagrams of type $A,D,$ and $E$. It is known that the corresponding total descendant potential is a tau-function of an appropriate Kac--Wakimoto hierarchy. It is also known that in the A-case the Kac--Wakimoto hierarchies admit an extension and that the total descendant potential is a tau-function of an extended Kac--Wakimoto hierarchy. The goal of this paper is to prove that in the D-case the total descendent potential is also a tau-function of an extended Kac--Wakimoto hierarchy.
We identify certain Gromov-Witten invariants counting rational curves with given incidence and tangency conditions with the Betti numbers of moduli spaces of point configurations in projective spaces. On the Gromov-Witten side, S. Fomin and G. Mikhalkin established a recurrence relation via tropicalization, which is realized on the moduli space side using Donaldson-Thomas invariants of subspace quivers.
Consider a log Calabi-Yau pair $(X,D)$ consisting of a smooth del Pezzo surface $X$ of degree $\geq 3$ and a smooth anticanonical divisor $D$. We prove a correspondence between genus zero logarithmic Gromov-Witten invariants of $X$ intersecting $D$ in a single point with maximal tangency and the consistent wall structure appearing in the dual intersection complex of $(X,D)$ from the Gross-Siebert reconstruction algorithm. More precisely, the logarithm of the product of functions attached to unbounded walls in the consistent wall structure gives a generating function for these invariants.
Mirror symmetry relates Gromov-Witten invariants of an elliptic curve with certain integrals over Feynman graphs. We prove a tropical generalization of mirror symmetry for elliptic curves, i.e., a statement relating certain labeled Gromov-Witten invariants of a tropical elliptic curve to more refined Feynman integrals. This result easily implies the tropical analogue of the mirror symmetry statement mentioned above and, using the necessary Correspondence Theorem, also the mirror symmetry statement itself. In this way, our tropical generalization leads to an alternative proof of mirror symmetry…
It was pointed out by Eliashberg in his ICM 2006 plenary talk that the integrable systems of rational Gromov-Witten theory very naturally appear in the rich algebraic formalism of symplectic field theory (SFT). Carefully generalizing the definition of gravitational descendants from Gromov-Witten theory to SFT, one can assign to every contact manifold a Hamiltonian system with symmetries on SFT homology and the question of its integrability arises. While we have shown how the well-known string, dilaton and divisor equations translate from Gromov-Witten theory to SFT, the next step is to show ho…
The purpose of this note is introduce a new axiom (called the Descent Axiom) in the theory of $r$-spin cohomological field theories. This axiom explains the origin of gravitational descendants in this theory. Furthermore, the Descent Axiom immediately implies the Vanishing Axiom, explicating the latter (which has no a priori analog in the theory of Gromov-Witten invariants), in terms of the multiplicativity of the virtual class. We prove that the Descent Axiom holds in the convex case, and consequently in genus zero.
We consider Gromov's homological higher convexity for complements of tropical varieties, establishing it for complements of tropical hypersurfaces and curves, and for nonarchimedean amoebas of varieties that are complete intersections over the field of complex Puiseaux series. Based on these results, we conjecture that the complement of a tropical variety has this higher convexity, and we prove a weak form of our conjecture for the nonarchimedean amoeba of a variety over the complex Puiseaux field. One of our main tools is Jonsson's limit theorem for tropical varieties.
We prove a decomposition formula of logarithmic Gromov-Witten invariants in a degeneration setting. A one-parameter log smooth family X->B with singular fibre over b_0 \in B yields a family M(X/B,β) -> B of moduli stacks of stable logarithmic maps. We give a virtual decomposition of the fibre of this family over b_0 in terms of rigid tropical curves. This generalizes one aspect of known results in the case that the fibre X_{b_0} is a normal crossings union of two divisors. We exhibit our formulas in explicit examples.
We obtain a formula for the number of genus one curves with a variable complex structure of a given degree on a del-Pezzo surface that pass through an appropriate number of generic points of the surface. This is done using Getzler's relationship among cohomology classes of certain codimension 2 cycles in $\overline{M}_{1,4}$ and recursively computing the genus-one Gromov-Witten invariants of del Pezzo surfaces. Using completely different methods, this problem has been solved earlier by Bertram and Abramovich, Ravi Vakil, Dubrovin and Zhang and more recently using Tropical geometric methods by …
In this paper, we study holomorphic discs in K3 surfaces and defined the open Gromov-Witten invariants. Using this new invariant, we can establish a version of correspondence between tropical discs and holomorphic discs with non-trivial invariants. We give an example of wall-crossing phenomenon of the invariant and expect it satisfies Kontsevich-Soibelman wall-crossing formula.
We use the tropical geometry approach to compute absolute and relative Gromov-Witten invariants of complex surfaces which are $\CC P^1$-bundles over an elliptic curve. We also show that the tropical multiplicity used to count curves can be refined by the standard Block-Göttsche refined multiplicity to give tropical refined invariants. We then give a concrete algorithm using floor diagrams to compute these invariants along with the associated interpretation as operators acting on some Fock space. The floor diagram algorithm allows one to prove the piecewise polynomiality of the relative invaria…
We show that, after the change of variables $q=e^{iu}$, refined floor diagrams for $\mathbb{P}^2$ and Hirzebruch surfaces compute generating series of higher genus relative Gromov-Witten invariants with insertion of a lambda class. The proof uses an inductive application of the degeneration formula in relative Gromov-Witten theory and an explicit result in relative Gromov-Witten theory of $\mathbb{P}^1$. Combining this result with the similar looking refined tropical correspondence theorem for log Gromov-Witten invariants, we obtain some non-trivial relation between relative and log Gromov-Wit…