-
We prove that for a compact toric manifold whose anti-canonical divisor is
numerically effective, the Lagrangian Floer superpotential defined by
Fukaya-Oh-Ohto-Ono is equal to the superpotential written down by using the
toric mirror map under a convergence assumption. This gives a method to compute
open Gromov-Witten invariants using mirror symmetry.
-
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 sufficiently large, we proved that relative stationary invariants of $X$ are
equal to the orbifold stationary invariants in all genera.
Our results lead to some interesting applications: a new proof of genus zero
equality between relative and orbifold invariants of $X$ via localization; a
new proof of the formula of Johnson-Pandharipande-Tseng for double Hurwitz
numbers; a version of GW/H correspondence for stationary orbifold invariants.
-
We show that the product in the quantum K-ring of a generalized flag manifold
$G/P$ involves only finitely many powers of the Novikov variables. In contrast
to previous approaches to this finiteness question, we exploit the finite
difference module structure of quantum K-theory. At the core of the proof is a
bound on the asymptotic growth of the $J$-function, which in turn comes from an
analysis of the singularities of the zastava spaces studied in geometric
representation theory.
-
We study the higher genus equivariant Gromov-Witten theory of the Hilbert
scheme of n points of the plane. Since the equivariant quantum cohomology is
semisimple, the higher genus theory is determined by an R-matrix via the
Givental-Teleman classification of Cohomological Field Theories (CohFTs). We
uniquely specify the required R-matrix by explicit data in degree 0. As a
consequence, we lift the basic triangle of equivalences relating the
equivariant quantum cohomology of the Hilbert scheme and the
Gromov-Witten/Donaldson-Thomas correspondence for 3-fold theories of local
curves to a triangle of equivalences in all higher genera. The proof uses the
previously determined analytic continuation of the fundamental solution of the
QDE of the Hilbert scheme. The GW/DT edge of the triangle in higher genus
concerns new CohFTs defined by varying the 3-fold local curve in the moduli
space of stable curves.
The equivariant orbifold Gromov-Witten theory of the symmetric product of the
plane is also shown to be equivalent to the theories of the triangle in all
genera. The result establishes a complete case of the crepant resolution
conjecture.
-
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.
-
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 of a
framing which is an integer. We also provide another definition of all genus
open-closed Gromov-Witten invariants based on algebraic relative orbifold
Gromov-Witten theory; this generalizes the definition in Li-Liu-Liu-Zhou
[arXiv:math/0408426] for smooth toric Calabi-Yau 3-folds. When the toric DM
stack a toric Calabi-Yau 3-orbifold (i.e. when the generic stabilizer is
trivial), we define generating functions of open-closed Gromov-Witten
invariants or arbitrary genus $g$ and number $h$ of boundary circles; it takes
values in the Chen-Ruan orbifold cohomology of the classifying space of a
finite cyclic group of order $m$. We prove an open mirror theorem which relates
the generating function of orbifold disk invariants to Abel-Jacobi maps of the
mirror curve of the toric Calabi-Yau 3-orbifold. This generalizes a conjecture
by Aganagic-Vafa [arXiv:hep-th/0012041] and Aganagic-Klemm-Vafa
[arXiv:hep-th/0105045] (proved in full generality by the first and the second
authors in [arXiv:1103.0693]) on the disk potential of a smooth semi-projective
toric Calabi-Yau 3-fold.
-
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.
-
For a Fermat quasi-homogeneous polynomial $W$, we study a family of
K-theoretic quantum invariants parametrized by a positive rational number
$\epsilon$. We prove a wall-crossing formula by showing the generating
functions lie on the Lagrangian cone of the permutation-equivariant K-theoretic
FJRW theory of $W$.
-
We study Givental's Lagrangian cone for the quantum orbifold cohomology of
toric stack bundles and prove that the I-function gives points in the
Lagrangian cone, namely we construct an explicit slice of the Lagrangian cone
defined by the genus $0$ Gromov-Witten theory of a toric stack bundle.
-
Let $X$ be a compact toric K\"ahler manifold with $-K_X$ nef. Let $L\subset
X$ be a regular fiber of the moment map of the Hamiltonian torus action on $X$.
Fukaya-Oh-Ohta-Ono defined open Gromov-Witten (GW) invariants of $X$ as virtual
counts of holomorphic discs with Lagrangian boundary condition $L$. We prove a
formula which equates such open GW invariants with closed GW invariants of
certain $X$-bundles over $\mathbb{P}^1$ used to construct the Seidel
representations for $X$. We apply this formula and degeneration techniques to
explicitly calculate all these open GW invariants. This yields a formula for
the disc potential of $X$, an enumerative meaning of mirror maps, and a
description of the inverse of the ring isomorphism of Fukaya-Oh-Ohta-Ono.
-
Using the mirror theorem [CCIT15], we give a Landau-Ginzburg mirror
description for the big equivariant quantum cohomology of toric Deligne-Mumford
stacks. More precisely, we prove that the big equivariant quantum D-module of a
toric Deligne-Mumford stack is isomorphic to the Saito structure associated to
the mirror Landau-Ginzburg potential. We give a GKZ-style presentation of the
quantum D-module, and a combinatorial description of quantum cohomology as a
quantum Stanley-Reisner ring. We establish the convergence of the mirror
isomorphism and of quantum cohomology in the big and equivariant setting.
-
We present a generalization of the Bogomolov-Miyaoka-Yau inequality to
Deligne-Mumford surfaces of general type.
-
We derive a formula for the virtual class of the moduli space of rubber maps
to $[\mathbb{P}^1/G]$ pushed forward to the moduli space of stable maps to
$BG$. As an application, we show that the Gromov-Witten theory of
$[\mathbb{P}^1/G]$ relative to $0$ and $\infty$ are determined by known
calculations.
-
In this note we prove that the crepant transformation conjecture for a
crepant birational transformation of Lawrence toric DM stacks studied in
\cite{CIJ} implies the monodromy conjecture for the associated wall crossing of
the symplectic resolutions of hypertoric stacks, due to Braverman, Maulik and
Okounkov.
-
For each positive rational number $\epsilon$, we define $K$-theoretic
$\epsilon$-stable quasimaps to certain GIT quotients $W\sslash G$. For
$\epsilon>1$, this recovers the $K$-theoretic Gromov-Witten theory of $W\sslash
G$ introduced in more general context by Givental and Y.-P. Lee.
For arbitrary $\epsilon_1$ and $\epsilon_2$ in different stability chambers,
these $K$-theoretic quasimap invariants are expected to be related by
wall-crossing formulas. We prove wall-crossing formulas for genus zero
$K$-theoretic quasimap theory when the target $W\sslash G$ admits a torus
action with isolated fixed points and isolated one-dimensional orbits.
-
For a gerbe $\Y$ over a smooth proper Deligne-Mumford stack $\B$ banded by a
finite group $G$, we prove a structure result on the Gromov-Witten theory of
$\Y$, expressing Gromov-Witten invariants of $\Y$ in terms of Gromov-Witten
invariants of $\B$ twisted by various flat $U(1)$-gerbes on $\B$. This is
interpreted as a Leray-Hirsch type of result for Gromov-Witten theory of
gerbes.
-
We study Gromov-Witten theory of hypertoric Deligne-Mumford stacks from two
points of view. From the viewpoint of representation theory, we calculate the
operator of small quantum product by a divisor, following \cite{BMO},
\cite{MO}, \cite{MS}. From the viewpoint of Lawrence toric geometry, we compare
Gromov-Witten invariants of a hypertoric Deligne-Mumford stack with those of
its associated Lawrence toric stack.
-
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 show that the Virasoro conjecture in Gromov--Witten theory holds for the
the total space of a toric bundle $E \to B$ if and only if it holds for the
base $B$. The main steps are: (i) we establish a localization formula that
expresses Gromov--Witten invariants of $E$, equivariant with respect to the
fiberwise torus action, in terms of genus-zero invariants of the toric fiber
and all-genus invariants of $B$; and (ii) we pass to the non-equivariant limit
in this formula, using Brown's mirror theorem for toric bundles.
-
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 open/closed
equality and then employing the toric mirror theorem for suitable toric
(partial) compactifications of $\mathcal{X}$. Our calculations are then applied
to
(1) prove a conjecture of Gross-Siebert on a relation between genus 0 open
orbifold GW invariants and mirror maps of $\mathcal{X}$ -- this is called the
open mirror theorem, which leads to an enumerative meaning of mirror maps, and
(2) demonstrate how open (orbifold) GW invariants for toric CY orbifolds
change under toric crepant resolutions -- an open analogue of Ruan's crepant
resolution conjecture.
-
We use the mirror theorem for toric Deligne-Mumford stacks, proved recently
by the authors and by Cheong-Ciocan-Fontanine-Kim, to compute genus-zero
Gromov-Witten invariants of a number of toric orbifolds and gerbes. We prove a
mirror theorem for a class of complete intersections in toric Deligne-Mumford
stacks, and use this to compute genus-zero Gromov-Witten invariants of an
orbifold hypersurface.
-
We prove a Givental-style mirror theorem for toric Deligne--Mumford stacks X.
This determines the genus-zero Gromov--Witten invariants of X in terms of an
explicit hypergeometric function, called the I-function, that takes values in
the Chen--Ruan orbifold cohomology of X.
-
We construct an integrable hierarchy in the form of Hirota quadratic
equations (HQE) that governs the Gromov--Witten (GW) invariants of the Fano
orbifold projective curve $\mathbb{P}^1_{a_1,a_2,a_3}$. The vertex operators in
our construction are given in terms of the $K$-theory of
$\mathbb{P}^1_{a_1,a_2,a_3}$ via Iritani's $\Gamma$-class modification of the
Chern character map. We also identify our HQEs with an appropriate
Kac--Wakimoto hierarchy of ADE type. In particular, we obtain a generalization
of the famous Toda conjecture about the GW invariants of $\mathbb{P}^1$ .
-
We investigate the relationship between the Lagrangian Floer superpotentials
for a toric orbifold and its toric crepant resolutions. More specifically, we
study an open string version of the crepant resolution conjecture (CRC) which
states that the Lagrangian Floer superpotential of a Gorenstein toric orbifold
$\mathcal{X}$ and that of its toric crepant resolution $Y$ coincide after
analytic continuation of quantum parameters and a change of variables. Relating
this conjecture with the closed CRC, we find that the change of variable
formula which appears in closed CRC can be explained by relations between open
(orbifold) Gromov-Witten invariants. We also discover a geometric explanation
(in terms of virtual counting of stable orbi-discs) for the specialization of
quantum parameters to roots of unity which appears in Y. Ruan's original CRC
["The cohomology ring of crepant resolutions of orbifolds", Gromov-Witten
theory of spin curves and orbifolds, 117-126, Contemp. Math., 403, Amer. Math.
Soc., Providence, RI, 2006]. We prove the open CRC for the weighted projective
spaces $\mathcal{X}=\mathbb{P}(1,\ldots,1,n)$ using an equality between open
and closed orbifold Gromov-Witten invariants. Along the way, we also prove an
open mirror theorem for these toric orbifolds.
-
We construct a new effective orbifold $\widehat{\Y}$ with an $S^1$-gerbe $c$
to study an $S^1$-gerbe $\mathfrak{t}$ on a $G$-gerbe $\Y$ over an orbifold
$\B$. We view the former as the relative dual, relative to $\B$, of the latter.
We show that the two pairs $(\Y, \mathfrak{t})$ and $(\widehat{\Y}, c)$ have
isomorphic categories of sheaves, and also the associated twisted groupoid
algebras are Morita equivalent. As a corollary, the K-theory and cohomology
groups of $(\Y, \mathfrak{t})$ and $(\widehat{\Y}, c)$ are isomorphic.