These are lecture notes of a C.I.M.E. course I gave at Cetraro, June 6-11 2005. The theory described is the version of Chen-Ruan's Gromov-Witten theory of orbifolds developed by Graber, Vistoli and me in the algebraic setting, but with introduction beginning in Kontsevich's formula on rational plane curves and through Gromov-Witten theory of algebraic manifolds.
As this is not a joint paper, I finally get to give direct credit to Vistoli's beautiful ideas!
In the appendix, I include, with permissions, two relevant letters Kontsevich wrote to Borisov in July 1996. People who study motivic integration might want to read and understand something they have found confounding.
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 prove that the Frobenius structure constructed from the Gromov-Witten theory for an orbifold projective line with at most $r$ orbifold points is uniquely determined by the WDVV equations with certain natural initial conditions.
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 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.
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.
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…
We define the Gromov-Witten invariants for the parabolic bundles over an orbifold $C$ in various situation. Those bring us to refine this notion to get an accurate computation of the number of maximal subbundles of a sufficiently general parabolic bundle by means of the Intriligator-Varfa formula.
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…
Given a smooth target curve $X$, we explore the relationship between Gromov-Witten invariants of $X$ relative to a smooth divisor and orbifold Gromov-Witten invariants of the $r$-th root stack along the divisor. We proved that relative invariants are equal to the $r^0$-coefficient of the corresponding orbifold Gromov-Witten invariants of $r$-th root stack for $r$ sufficiently large. Our result provides a precise relation between relative and orbifold invariants of target curves generalizing the result of Abramovich-Cadman-Wise to higher genus invariants of curves. Moreover, when $r$ is suffici…
We consider the question of how geometric structures of a Deligne-Mumford stack affect its Gromov-Witten invariants. The two geometric structures studied here are {\em gerbes} and {\em root constructions}. In both cases, we explain conjectures on Gromov-Witten theory for these stacks and survey some recent progress on these conjectures.
In \cite{TY18}, higher genus Gromov--Witten invariants of the stack of $r$-th roots of a smooth projective variety $X$ along a smooth divisor $D$ are shown to be polynomials in $r$. In this paper we study the degrees and coefficients of these polynomials.
A smooth GKM stack is a smooth Deligne-Mumford stack equipped with an action of an algebraic torus $T$, with only finitely many zero-dimensional and one-dimensional orbits. (i) We define the stacky GKM graph of a smooth GKM stack, under the mild assumption that any one-dimensional $T$-orbit closure contains at least one $T$ fixed point. The stacky GKM graph is a decorated graph which contains enough information to reconstruct the $T$-equivariant formal neighborhood of the 1-skeleton (union of zero-dimensional and one-dimensional $T$-orbits) as a formal smooth DM stack equipped with a $T$-actio…
In this paper, one considers the change of orbifold Gromov-Witten invariants under weighted blow-up at smooth points. Some blow-up formula for Gromov-Witten invariants of symplectic orbifolds is proved. These results extend the results of manifolds case to orbifold case.
We provide an enumerative meaning of the mirror maps for toric Calabi-Yau orbifolds in terms of relative Gromov-Witten invariants of the toric compactifications. As a consequence, we obtain an equality between relative Gromov-Witten invariants and open Gromov-Witten invariants. Therefore, the instanton corrected mirrors for toric Calabi-Yau orbifolds can be constructed using relative Gromov-Witten invariants.
Toroidal 3-orbifolds $(S^1)^6/G$, for $G$ a finite group, were some of the earliest examples of Calabi-Yau 3-orbifolds to be studied in string theory. While much mathematical progress towards the predictions of string theory has been made in the meantime, most of it has dealt with hypersurfaces in toric varieties. As a result, very little is known about curve-counting theories on toroidal orbifolds. In this paper, we initiate a program to study mirror symmetry and the Landau-Ginzburg/Calabi-Yau (LG/CY) correspondence for toroidal orbifolds. We focus on the simplest example $[E^3/μ_3],$ where $…
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.
We propose a conjectural determination of the Gromov-Witten theory of a root stack along a smooth divisor. We verify our conjecture under an additional assumption.
We compute, by two methods, the genus one degree zero orbifold Gromov-Witten invariants with non-stacky insertions which are exceptional cases of the dilaton and divisor equations. One method involves a detailed analysis of the relevant moduli spaces. The other method, valid in the presence of torus actions with isolated fixed points, is virtual localization. These computations verify the conjectural evaluations of these invariants. Some genus one twisted orbifold Gromov-Witten invariants are also computed.
We construct the quantum curve for the Baker-Akhiezer function of the orbifold Gromov-Witten theory of the weighted projective line $\mathbb P[r]$. Furthermore, we deduce the explicit bilinear Fermionic formula for the (stationary) Gromov-Witten potential via the lifting operator constructed from the Baker-Akhiezer function.
We define a formalism for computing open orbifold GW invariants of [C^3/G] where G is any finite abelian group. We prove that this formalism and a suitable gluing algorithm can be used to compute GW invariants in all genera of any toric CY orbifold of dimension 3. We conjecture a correspondence with the DT orbifold vertex of Bryan-Cadman-Young.
We compute the relative orbifold Gromov-Witten invariants of $[\mathbb{C}^2/\mathbb{Z}_{n+1}]\times \mathbb{P}^1$, with respect to vertical fibers. Via a vanishing property of the Hurwitz-Hodge bundle, 2-point rubber invariants are calculated explicitly using Pixton's formula for the double ramification cycle, and the orbifold quantum Riemann-Roch. As a result parallel to its crepant resolution counterpart for $\mathcal{A}_n$, the GW/DT/Hilb/Sym correspondence is established for $[\mathbb{C}^2/\mathbb{Z}_{n+1}]$. The computation also implies the crepant resolution conjecture for relative orbif…
In the early 1990s, Borcea-Voisin orbifolds were some of the ear- liest examples of Calabi-Yau threefolds shown to exhibit mirror symmetry. However, their quantum theory has been poorly investigated. We study this in the context of the gauged linear sigma model, which in their case encom- passes Gromov-Witten theory and its three companions (FJRW theory and two mixed theories). For certain Borcea-Voisin orbifolds of Fermat type, we calculate all four genus zero theories explicitly. Furthermore, we relate the I-functions of these theories by analytic continuation and symplectic transfor- mation…
The Remodeling Conjecture proposed by Bouchard-Klemm-Marino-Pasquetti [arXiv:0709.1453, arXiv:0807.0597] relates all genus open and closed Gromov-Witten invariants of a semi-projective toric Calabi-Yau 3-manifolds/3-orbifolds to the Eynard-Orantin invariants of the mirror curve of the toric Calabi-Yau 3-fold. In this paper, we present a proof of the Remodeling Conjecture for open-closed orbifold Gromov-Witten invariants of an arbitrary affine toric Calabi-Yau 3-orbifold relative to a framed Aganagic-Vafa Lagrangian brane. This can be viewed as an all genus open-closed mirror symmetry for affin…
We compute open GW invariants for $\mathcal{K}_{\mathbb{P}^1}\oplus\mathcal{O}_{\mathbb{P}^1}$, open orbifold GW invariants for $[\C^3/\Z_2]$, formulate an open crepant resolution conjecture and verify it for this pair. We show that open invariants can be glued together to deduce the Bryan-Graber closed crepant resolution conjecture for the orbifold $[\mathcal{O}_{\mathbb{P}^1}(-1)\oplus\mathcal{O}_{\mathbb{P}^1}(-1)/\Z_2]$ and its crepant resolution $\mathcal{K}_{\mathbb{P}^1\times\mathbb{P}^1}$.
We introduce K-theoretic Gromov-Witten invariants of algebraic orbifold target spaces. Using the methods developed by Givental-Tonita we characterize Giventals Lagrangian cone of quantum K theory of orbifolds in terms of the cohomological cone.
Let $\ix$ be a smooth Deligne-Mumford stack over the complex numbers. One can define twisted orbifold Gromov-Witten invariants of $\ix$ by considering multiplicative invertible characteristic classes of various bundles on the moduli spaces of stable maps $\ix_{g,n,d}$, cupping them with evaluation and cotangent line classes and then integrating against the virtual fundamental class. These are more general than the twisted invariants introduced by Tseng. We express the generating series of the twisted invariants in terms of the generating series of the untwisted ones. We derive the corollaries …
The Remodeling Conjecture proposed by Bouchard-Klemm-Mariño-Pasquetti (BKMP) [arXiv:0709.1453, arXiv:0807.0597] relates the A-model open and closed topological string amplitudes (the all genus open and closed Gromov-Witten invariants) of a semi-projective toric Calabi-Yau 3-manifold/3-orbifold to the Eynard-Orantin invariants of its mirror curve. It is an all genus open-closed mirror symmetry for toric Calabi-Yau 3-manifolds/3-orbifolds. In this paper, we present a proof of the BKMP Remodeling Conjecture for all genus open-closed orbifold Gromov-Witten invariants of an arbitrary semi-projectiv…
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 …
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
In math.AG/0207233, Okounkov and Pandharipande gave an operator formalism for computing the equivariant Gromov-Witten theory of the projective line. This thesis extends their result to orbifold lines. In the effective case the theory is again governed by the 2-Toda hierarchy. In the ineffective case the decomposition conjecture of hep-th/0606034 is verified.
We study open-closed orbifold Gromov-Witten invariants of 3-dimensional Calabi-Yau smooth toric Deligne-Mumford (DM) stacks (with possibly non-trivial generic stabilizers and semi-projective coarse moduli spaces) relative to Lagrangian branes of Aganagic-Vafa type. We present foundational materials of enumerative geometry of stable holomorphic maps from bordered orbifold Riemann surfaces to a 3-dimensional Calabi-Yau smooth toric DM stack with boundaries mapped into a Aganagic-Vafa brane. All genus open-closed Gromov-Witten invariants are defined by torus localization and depend on the choice …
In this paper we prove that the GW invariants of the elliptic orbifold lines with weights (3,3,3), (4,4,2), and (6,3,2) are quasi-modular forms. Our method is based on Givental's higher genus reconstruction formalism applied to the settings of Saito's Frobenius structures for simple elliptic singularities. Our results are part of a larger project whose goal is to prove the Landau-Ginzburg/Calabi-Yau correspondence for simple elliptic singularities. The correspondence describes a relation between Gromov-Witten theory (of a certain hypersurface) and Fan-Jarvis-Ruan-Witten theory (of a certain La…
This article is an elaboration of a talk given at an international conference on Operator Theory, Quantum Probability, and Noncommutative Geometry held during December~20--23, 2004, at the Indian Statistical Institute, Kolkata. The lecture was meant for a general audience, and also prospective research students, the idea of the quantum cohomology based on the Gromov--Witten invariants. Of course there are many important aspects that are not discussed here.
We consider a mirror symmetry of simple elliptic singularities. In particular, we construct isomorphisms of Frobenius manifolds among the one from the Gromov--Witten theory of a weighted projective line, the one from the theory of primitive forms for a universal unfolding of a simple elliptic singularity and the one from the invariant theory for an elliptic Weyl group. As a consequence, we give a geometric interpretation of the Fourier coefficients of an eta product considered by K. Saito.
We prove a generalized Mariño-Vafa formula for Hodge integrals over $\Mbar_{g, γ-μ}(\cB G)$ with $G$ an arbitrary finite abelian group. Then we use this formula to study the local Gromov-Witten theory of an orbi-curve with cyclic stack points in a Calabi-Yau three-orbifold.
We consider four approaches to relative Gromov-Witten theory and Gromov-Witten theory of degenerations: Jun Li's original approach, Bumsig Kim's logarithmic expansions, Abramovich-Fantechi's orbifold expansions, and a logarithmic theory without expansions due to Gross-Siebert and Abramovich-Chen. We exhibit morphisms relating these moduli spaces and prove that their virtual fundamental classes are compatible by pushforward through these morphisms. This implies that the Gromov-Witten invariants associated to all four of these theories are identical.
In this paper, we establish the convergence for Gromov-Witten invariant of elliptic orbifold $\mathbb{P}^1$ with type $(3,3,3), (4,4,2)$ and $(6,3,2)$. We also prove the mirror theorems of Gromov-Witten theory for those orbifolds and FJRW theory of elliptic singularities. Using T.Milanov and Y. Ruan's work, we prove the Landau-Ginzburg/Calabi-Yau correspondence of all genera for the above three types of elliptic orbifold $\mathbb{P}^1$.
For a toric Calabi-Yau (CY) orbifold $\mathcal{X}$ whose underlying toric variety is semi-projective, we construct and study a non-toric Lagrangian torus fibration on $\mathcal{X}$, which we call the Gross fibration. We apply the Strominger-Yau-Zaslow (SYZ) recipe to the Gross fibration of $\mathcal{X}$ to construct its mirror with the instanton corrections coming from genus 0 open orbifold Gromov-Witten (GW) invariants, which are virtual counts of holomorphic orbi-disks in $\mathcal{X}$ bounded by fibers of the Gross fibration. We explicitly evaluate all these invariants by first proving an o…
Given a vector bundle $F$ on a smooth Deligne-Mumford stack $\X$ and an invertible multiplicative characteristic class $\bc$, we define the orbifold Gromov-Witten invariants of $\X$ twisted by $F$ and $\bc$. We prove a "quantum Riemann-Roch theorem" which expresses the generating function of the twisted invariants in terms of the generating function of the untwisted invariants. A Quantum Lefschetz Hyperplane Theorem is derived from this by specializing to genus zero. As an application, we determine the relationship between genus-0 orbifold Gromov-Witten invariants of $\X$ and that of a complet…
In this note, we prove that any non-collapsing and compact Gromov-Hausdorff limit of Kahler-Einstein manifolds is either smooth or is orbifold outside a subvariety of complex codimension at least 3.
For orbifolds admitting a crepant resolution and satisfying a hard Lefschetz condition, we formulate a conjectural equivalence between the Gromov-Witten theories of the orbifold and the resolution. We prove the conjecture for the equivariant Gromov-Witten theories of the nth symmetric product of the complex plane and the Hilbert scheme of n points in the plane.
We develop a mathematical framework for the computation of open orbifold Gromov-Witten invariants of [C^3/Z_n], and provide extensive checks with predictions from open string mirror symmetry. To this aim we set up a computation of open string invariants in the spirit of Katz-Liu, defining them by localization. The orbifold is viewed as an open chart of a global quotient of the resolved conifold, and the Lagrangian as the fixed locus of an appropriate anti-holomorphic involution. We consider two main applications of the formalism. After warming up with the simpler example of [C^3/Z_3], where we…
Based on Johnson's operator formula for the equivariant Gromov-Witten theory of $\mathbb{P}^1$-orbifolds, we give a new approach to the operator formalism by Okounkov and Pandharipande regarding the $\mathbb{C}^*$-equivariant Gromov-Witten theory of $\mathbb{P}^1$ relative to one or two points. We also extend their operator formalism in the non-equivariant specialization to the case where we allow negative contact orders.
We compute, with Symplectic Field Theory techniques, the Gromov-Witten theory of the complex projective line with orbifold points. A natural subclass of these orbifolds, the ones with polynomial quantum cohomology, gives rise to a family of (polynomial) Frobenius manifolds and integrable systems of Hamiltonian PDEs, which extend the (dispersionless) bigraded Toda hierarchy. We then define a Frobenius structure on the spaces of polynomials in three complex variables of the form F(x,y,z)= -xyz+P_1(x)+P_2(y)+P_3(z) which contains as special cases the ones constructed on the space of Laurent polyn…
The purpose of this note is to give an overview of our work on defining algebraic counterparts for W. Chen and Y. Ruan's Gromov-Witten Theory of orbifolds. This work will be described in detail in a subsequent paper. The presentation here is generally based on lectures given by two of us at the Orbifold Workshop in Madison, Wisconsin. Following the spirit of the workshop, we give a nontechnical introduction to stacks, a general discussion of twisted stable maps, and a run-through of the issues that arise when generalizing Gromov-Witten theory to Deligne-Mumford stacks. We make a special effort…
We prove that the ancestor Gromov-Witten correlation functions of one-dimensional compact Calabi-Yau orbifolds are quasi-modular forms. This includes the pillowcase orbifold which can not yet be handled by using Milanov-Ruan's B-model technique. We first show that genus zero modularity is obtained from the phenomenon that the system of WDVV equations is essentially equivalent to the set of Ramanujan identities satisfied by the generators of the ring of quasi-modular forms for a certain modular group associated to the orbifold curve. Higher genus modularity then follows by using tautological re…
In this paper, we proved generating functions of Gromov-Witten cycles of the elliptic orbifold lines with weights (3,3,3), (4,4,2), and (6,3,2) are cycle-valued quasi-modular forms. This is a generalization of Milanov and Ruan's work on cycle-valued level. First we construct a global cohomology field theory (CohFT) for simple elliptic singularities (modulo an extension problem) and prove its modularity. Then, we apply Teleman's reconstruction theorem to prove mirror theorems on cycled-valued level and match it with a CohFT from Gromov-Witten theory of a corresponding orbifold.This solves the e…
This survey grew out of notes accompanying a cycle of lectures at the workshop Modern Trends in Gromov-Witten Theory, in Hannover. The lectures are devoted to interactions between Hurwitz theory and Gromov-Witten theory, with a particular eye to the contributions made to the understanding of the Double Ramification Cycle, a cycle in the moduli space of curves that compactifies the double Hurwitz locus. We explore the algebro-combinatorial properties of single and double Hurwitz numbers, and the connections with intersection theoretic problems on appropriate moduli spaces. We survey several res…
This is the second in a sequence of papers in which we construct a quantum version of the Kirwan map from the equivariant quantum cohomology of a smooth polarized complex projective variety with the action of a connected complex reductive group to the orbifold quantum cohomology of its geometric invariant theory quotient, and prove that it intertwines the genus zero gauged Gromov-Witten potential with the genus zero Gromov-Witten graph potential. In this part we construct virtual fundamental classes on the moduli spaces used in the construction of the quantum Kirwan map and the gauged Gromov-W…
We study the Abramovich--Vistoli moduli space of genus zero orbifold stable maps to [Sym^2 P^2], the stack symmetric square of P^2. This compactifies the moduli space of stable maps from hyperelliptic curves to P^2, and we show that all genus zero Gromov--Witten invariants are determined from trivial enumerative geometry of hyperelliptic curves. We also show how the genus zero Gromov--Witten invariants can be used to determine the number of hyperelliptic curves of degree d and genus g interpolating 3d + 1 generic points in P^2. Comparing our method to that of Graber for calculating the same nu…
