The Welschinger numbers, a kind of a real analog of the Gromov-Witten numbers which count the complex rational curves through a given generic collection of points, bound from below the number of real rational curves for any real generic collection of points. By the logarithmic equivalence of sequences we mean the asymptotic equivalence of their logarithms. We prove such an equivalence for the Welschinger and Gromov-Witten numbers of any toric Del Pezzo surface with its tautological real structure, in particular, of the projective plane, under the hypothesis that all, or almost all, chosen points are real. We also study the positivity of Welschinger numbers and their monotonicity with respect to the number of imaginary points.
We give examples of real enumerative problems without real solutions. Most of the examples concern rational curves in ${\mathbb C}{\mathbb P}^3$ passing through a real set of points and lines.
We consider the product of two projective lines equipped with the complex conjugation transforming $(x,y)$ into $(\bar{y},\bar{x})$ and blown up in at most two real, or two complex conjugate, points. For these four surfaces we prove the logarithmic equivalence of Welschinger and Gromov-Witten invariants.
We generalize the formula of Gromov-Witten-Welschinger invariants of $\mathbb{C} P^3$ established by E. Brugallé and P. Georgieva in [BG16b] to $\mathbb{C} P^3\#\overline{\mathbb{C} P}^3$. Using pencils of quadrics, some real and complex enumerative invariants of $\mathbb{C} P^3\#\overline{\mathbb{C} P}^3$ can be written as the combination of the enumerative invariants of the blow up of $\mathbb{C} P^2$ at two real points.
We establish a formula for the Gromov-Witten-Welschinger invariants of $\mathbb CP^3$ with mixed real and conjugate point constraints. The method is based on a suggestion by J. Kollár that, considering pencils of quadrics, some real and complex enumerative invariants of $\mathbb CP^3$ could be computed in terms of enumerative invariants of $\mathbb CP^1\times\mathbb CP^1$ and of elliptic curves.
We compute the Welschinger invariants of blowups of the projective plane at an arbitrary conjugation invariant configuration of points. Specifically, open analogues of the WDVV equation and Kontsevich-Manin axioms lead to a recursive algorithm that reconstructs all the invariants from a small set of known invariants. Example computations are given, including the non-del Pezzo case.
Welschinger invariants are signed counts of real rational curves satisfying contraints. Quadratic Gromov--Witten invariants give such counts over general fields of characteristic different from 2 and 3. For rational del Pezzo surfaces over a field, we propose a conjectural relationship between Welschinger and quadratic Gromov--Witten invariants. We construct multivariable unramified Witt invariants, in the sense of Serre, from Welschinger invariants and call them Welschinger--Witt invariants. We show that quadratic Gromov--Witten invariants are also Witt invariants and control their ramificati…
We give a recursive formula for purely real Welschinger invariants of the following real Del Pezzo surfaces: the projective plane blown up at $q$ real and $s \leq 1$ pairs of conjugate imaginary points, where $q+2s\le 5$, and the real quadric blown up at $s \leq 1$ pairs of conjugate imaginary points and having non-empty real part. The formula is similar to Vakil's recursive formula for Gromov-Witten invariants of these surfaces and generalizes our recursive formula for purely real Welschinger invariants of real toric Del Pezzo surfaces. As a consequence, we prove the positivity of the Welschi…
The Welschinger invariants of real rational algebraic surfaces are natural analogues of the genus zero Gromov-Witten invariants. We establish a tropical formula to calculate the Welschinger invariants of real toric Del Pezzo surfaces for any conjugation-invariant configuration of points. The formula expresses the Welschinger invariants via the total multiplicity of certain tropical curves (non-Archimedean amoebas) passing through generic configurations of points, and then via the total multiplicity of some lattice path in the convex lattice polygon associated with a given surface. We also pres…
We define a series of relative tropical Welschinger-type invariants of real toric surfaces. In the Del Pezzo case, these invariants can be seen as real tropical analogs of relative Gromov-Witten invariants, and are subject to a recursive formula. As application we obtain new formulas for Welschinger invariants of real toric Del Pezzo surfaces.
We compute the purely real Welschinger invariants, both original and modified, for all real del Pezzo surfaces of degree at least 2. We show that under some conditions, for such a surface $X$ and a real nef and big divisor class $D$, through any generic collection of $-DK_X-1$ real points lying on a connected component of the real part of $X$ one can trace a real rational curve $C\in|D|$. This is derived from the positivity of appropriate Welschinger invariants. We furthermore show that these invariants are asymptotically equivalent, in the logarithmic scale, to the corresponding genus zero Gr…
We relate Welschinger invariants of a rational real symplectic 4-manifold before and after a Morse simplification (i.e deletion of a sphere or a handle of the real part of the surface). This relation is a consequence of a real version of Abramovich-Bertram formula which computes Gromov-Witten invariants by means of enumeration of $J$-holomorphic curves with a non-generic almost complex structure $J$. In addition, we give some qualitative consequences of our study, for example the vanishing of Welschinger invariants in some cases.
We give a recursive formula for purely real Welschinger invariants of real Del Pezzo surfaces of degree $K^2\ge 3$, where in the case of surfaces of degree $3$ with two real components we introduce a certain modification of Welschinger invariants and enumerate exclusively the curves traced on the non-orientable component. As an application, we prove the positivity of the invariants under consideration and their logarithmic asymptotic equivalence, as well as congruence modulo $4$, to genus zero Gromov-Witten invariants.
A projected Gromov-Witten variety is the union of all rational curves of fixed degree that meet two opposite Schubert varieties in a homogeneous space X = G/P. When X is cominuscule we prove that the map from a related Gromov-Witten variety is cohomologically trivial. This implies that all (3 point, genus zero) K-theoretic Gromov-Witten invariants of X are determined by the projected Gromov-Witten varieties, which extends an earlier result of Knutson, Lam, and Speyer. Our proof uses that any projected Gromov-Witten variety in a cominuscule space is also a projected Richardson variety.
The Welschinger invariants of real rational algebraic surfaces are natural analogues of the Gromov-Witten invariants, and they estimate from below the number of real rational curves passing through prescribed configurations of points. We establish a tropical formula for the Welschinger invariants of four toric Del Pezzo surfaces, equipped with a non-standard real structure. Such a formula for real toric Del Pezzo surfaces with a standard real structure (i.e., naturally compatible with the toric structure) was established by Mikhalkin and the author. As a consequence we prove that, for any real…
We define the double Gromov-Witten invariants of Hirzebruch surfaces in analogy with double Hurwitz numbers, and we prove that they satisfy a piecewise polynomiality property analogous to their 1-dimensional counterpart. Furthermore we show that each polynomial piece is either even or odd, and we compute its degree. Our methods combine floor diagrams and Ehrhart theory.
We give an explicit formula for (T-equivariant) 3-pointed genus zero Gromov-Witten invariants for G/B. We derive it by finding an explicit formula for the equivariant Pontryagin product on the homology of the based loop group ΩK.
In this expository article, we explain how to use localization to compute Gromov-Witten invariants of smooth toric varieties and orbifold Gromov-Witten invariants of smooth toric Deligne-Mumford stacks.
We present a solution to the problem of defining genus zero open Gromov-Witten invariants with boundary constraints for a Lagrangian submanifold of arbitrary dimension. Previously, such invariants were known only in dimensions $2$ and $3$ from the work of Welschinger. Our approach does not require the Lagrangian to be fixed by an anti-symplectic involution, but can use such an involution, if present, to obtain stronger results. Also, non-trivial invariants are defined for broader classes of interior constraints and Lagrangian submanifolds than previously possible even in the presence of an ant…
We give a formula of the framed one-leg orbifold Gromov-Witten vertex where the leg is gerby with isotropy group $\bZ_m$. Then we use this formula to compute the Gromov-Witten invariants of the local $\cB\bZ_m$ gerbe. We will also compute some examples of the degree 1 and degree 2 $\bZ_2$-Hodge integrals.
We characterize transversality, non-transversality properties on the moduli space of genus 0 stable maps to a rational projective surface. If a target space is equipped with a real structure, i.e, anti-holomorphic involution, then the results have real enumerative applications. Firstly, we can define a real version of Gromov-Witten invariants. Secondly, we can prove the invariance of Welschinger's invariant in algebraic geometric category.
We derive a recursive formula for certain relative Gromov-Witten invariants with maximal tangency condition via the Witten-Dijkgraaf-Verlinde-Verlinde equation. For certain relative pairs, we get explicit formulae of invariants using the recursive formula.
Gromov-Witten invariants have been constructed to be deformation invariant, but their behavior under other transformations is subtle. In this note we show that logarithmic Gromov-Witten invariants are also invariant under appropriately defined logarithmic modifications.
We construct the Gromov-Witten invariants of moduli of stable morphisms to $\Pf$ with fields. This is the all genus mathematical theory of the Guffin-Sharpe-Witten model, and is a modified twisted Gromov-Witten invariants of $\Pf$. These invariants are constructed using the cosection localization of Kiem-Li, an algebro-geometric analogue of Witten's perturbed equations in Landau-Ginzburg theory. We prove that these invariants coincide, up to sign, with the Gromov-Witten invariants of quintics.
We prove that genus zero Gromov--Witten invariants of a smooth scheme relative to a smooth divisor coincide with genus zero orbifold Gromov--Witten invariants of an appropriate root stack construction along the divisor.
Theta functions were defined for varieties with effective anticanonical divisor and are related to certain punctured Gromov-Witten invariants. In this paper we show that in the case of a log Calabi-Yau surface (X,D) with smooth very ample anticanonical divisor we can circumvent the notion of punctured Gromov-Witten invariants and relate theta functions and their multiplicative structure to certain 2-marked log Gromov-Witten invariants. This is a natural extension of the correspondence between wall functions and 1-marked log Gromov-Witten invariants.
We build the abstract theory of Gromov-Witten invariants of genus 0 for quantum minimal Fano varieties (a minimal natural (with respect to Gromov-Witten theory) class of varieties). In particular, we consider ``the minimal Gromov-Witten ring'', i. e. a commutative algebra with generators and relations of the form used in the Gromov-Witten theory of Fano variety (of unspecified dimension). Gromov-Witten theory of any quantum minimal variety is a homomorphism of this ring to $\mathbb C$. We prove the Abstract Reconstruction Theorem which states the particular isomorphism of this ring with a free…
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.
We study the equivariant Gromov-Witten and Donaldson-Thomas theories of $\mathbf{P}^2$-bundles over curves. We show the equivariant GW/DT correspondence holds to first order for certain curve classes
We give a summation over graphs type formula for the permutation-equivariant K-theoretic Gromov-Witten total potential of a projective manifold X in terms of cohomological Gromov-Witten (GW) invariants of X. We achieve this by describing combinatorially the Kawasaki strata of the moduli spaces of stable maps to X.
We describe an algorithm for computing certain characteristic numbers of surface scrolls using degenerations. As a corollary we obtain a method for computing the corresponding Gromov-Witten invariants of Grassmannians.
This article accompanies my ICM talk in August 2002. Three conjectural directions in Gromov-Witten theory are discussed: Gorenstein properties, BPS states, and Virasoro constraints. Each points to basic structures in the subject which are not yet understood.
We extend the definition of relative Gromov--Witten invariants with negative contact orders to all genera. Then we show that relative Gromov--Witten theory forms a partial CohFT. Some cycle relations on the moduli space of stable maps are also proved.
For any smooth complex projective variety X and smooth very ample hypersurface Y in X, we develop the technique of genus zero relative Gromov-Witten invariants of Y in X in algebro-geometric terms. We prove an equality of cycles in the Chow groups of the moduli spaces of relative stable maps that relates these relative invariants to the Gromov-Witten invariants of X and Y. Given the Gromov-Witten invariants of X, we show that these relations are sufficient to compute all relative invariants, as well as all genus zero Gromov-Witten invariants of Y whose homology and cohomology classes are induc…
We study the Gromov-Witten and Donaldson-Thomas correspondence conjectured in [MNOP1, MNOP2], for trivial elliptic fibrations. In particular, we verify the Gromov-Witten and Donaldson-Thomas correspondence for primary fields when the threefold is $E \times S$ where $E$ is a smooth elliptic curve and $S$ is a smooth surface with numerically trivial canonical class.
We state and prove a topological recursion relation that expresses any genus-g Gromov-Witten invariant of a projective manifold with at least a (3g-1)-st power of a cotangent line class in terms of invariants with fewer cotangent line classes. For projective spaces, we prove that these relations together with the Virasoro conditions are sufficient to calculate the full Gromov-Witten potential. This gives the first computationally feasible way to determine the higher genus Gromov-Witten invariants of projective spaces.
Seiberg duality conjecture asserts that the Gromov-Witten theories (Gauged Linear Sigma Models) of two quiver varieties related by quiver mutations are equal via variable change. In this work, we prove this conjecture for $A_n$ type quiver varieties.
Given two equivariant vector bundles over an algebraic GKM manifold with the same equivariant Chern classes, we show that the genus zero equivariant Gromov--Witten theory of their projective bundles are naturally isomorphic.
We study the enumerative significance of the s-pointed genus zero Gromov-Witten invariant on a homogeneous space X. For that, we give an interpretation in terms of rational curves on X.
We compute the degree of the variety parametrizing rational ruled surfaces of degree d in the projective space by relating the problem to Gromov-Witten invariants and Quantum cohomology.
We explore the theory of connected Gromov-Witten invariants of the symmetric product stack [Sym^n(A_r)]. We derive closed-form expressions for all equivariant invariants with two insertions and reveal a natural correspondence between the theory and the relative Gromov-Witten theory of the threefold A_r x P^1. When n is less than or equal to 3, we determine 3-point (usual) Gromov-Witten invariants of [Sym^n(A_1)].
We prove that the genus-0 invariants in K-theoretic Gromov--Witten theory are governed by an integrable hierarchy of hydrodynamic type. If the K-theoretic quantum product is semisimple, then we also prove the completeness of the hierarchy.
Given a smooth projective variety $X$ and a smooth divisor $D\subset X$. We study relative Gromov-Witten invariants of $(X,D)$ and the corresponding orbifold Gromov-Witten invariants of the $r$-th root stack $X_{D,r}$. For sufficiently large $r$, we prove that orbifold Gromov-Witten invariants of $X_{D,r}$ are polynomials in $r$. Moreover, higher genus relative Gromov-Witten invariants of $(X,D)$ are exactly the constant terms of the corresponding higher genus orbifold Gromov-Witten invariants of $X_{D,r}$. We also provide a new proof for the equality between genus zero relative and orbifold G…
I prove a formula expressing the descendent genus g Gromov-Witten invariants of a projective variety X in terms of genus 0 invariants of its symmetric product stack S^{g+1}(X). When X is a point, the latter are structure constants of the symmetric group, and we obtain a new way of calculating the Gromov-Witten invariants of a point.
We prove that the Frobenius structure constructed from the Gromov-Witten theory for an orbifold projective line with at most three orbifold points is uniquely determined by the WDVV equations with certain natural initial conditions.
We show that the generating functions of Gromov--Witten invariants with ancestors are invariant under a simple flop, for all genera, after an analytic continuation in the extended Kähler moduli space. This is a sequel to [LLW].
We prove the equivariant Gromov-Witten theory of a nonsingular toric 3-fold X with primary insertions is equivalent to the equivariant Donaldson-Thomas theory of X. As a corollary, the topological vertex calculations by Agangic, Klemm, Marino, and Vafa of the Gromov-Witten theory of local Calabi-Yau toric 3-folds are proven to be correct in the full 3-leg setting.
The aim of Part II is to explore the technique of invariance of tautological equations in the realm of Gromov--Witten theory. The main result is a proof of Invariance Theorem (Invariance Conjecture~1 in [14]), via the techniques from Gromov--Witten theory. It establishes some general inductive structure of the tautological rings, and provides a new tool to the study of this area.
In this paper, we study the all genus Gromov-Witten theory for any GKM orbifold $X$. We generalize the Givental formula which is studied in the smooth case in \cite{Giv2} \cite{Giv3} \cite{Giv4} to the orbifold case. Specifically, we recover the higher genus Gromov-Witten invariants of a GKM orbifold $X$ by its genus zero data. When $X$ is toric, the genus zero Gromov-Witten invariants of $X$ can be explicitly computed by the mirror theorem studied in \cite{CCIT} and our main theorem gives a closed formula for the all genus Gromov-Witten invariants of $X$. When $X$ is a toric Calabi-Yau 3-orbi…
