
We prove that for a compact toric manifold whose anticanonical divisor is
numerically effective, the Lagrangian Floer superpotential defined by
FukayaOhOhtoOno is equal to the superpotential written down by using the
toric mirror map under a convergence assumption. This gives a method to compute
open GromovWitten invariants using mirror symmetry.

Given a smooth target curve $X$, we explore the relationship between
GromovWitten invariants of $X$ relative to a smooth divisor and orbifold
GromovWitten 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 GromovWitten 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
AbramovichCadmanWise 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 JohnsonPandharipandeTseng for double Hurwitz
numbers; a version of GW/H correspondence for stationary orbifold invariants.

We show that the product in the quantum Kring 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 Ktheory. 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 GromovWitten 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 Rmatrix via the
GiventalTeleman classification of Cohomological Field Theories (CohFTs). We
uniquely specify the required Rmatrix 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
GromovWitten/DonaldsonThomas correspondence for 3fold 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 3fold local curve in the moduli
space of stable curves.
The equivariant orbifold GromovWitten 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 DeligneMumford
stack affect its GromovWitten invariants. The two geometric structures studied
here are {\em gerbes} and {\em root constructions}. In both cases, we explain
conjectures on GromovWitten theory for these stacks and survey some recent
progress on these conjectures.

We study openclosed orbifold GromovWitten invariants of 3dimensional
CalabiYau smooth toric DeligneMumford (DM) stacks (with possibly nontrivial
generic stabilizers and semiprojective coarse moduli spaces) relative to
Lagrangian branes of AganagicVafa type. We present foundational materials of
enumerative geometry of stable holomorphic maps from bordered orbifold Riemann
surfaces to a 3dimensional CalabiYau smooth toric DM stack with boundaries
mapped into a AganagicVafa brane. All genus openclosed GromovWitten
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
openclosed GromovWitten invariants based on algebraic relative orbifold
GromovWitten theory; this generalizes the definition in LiLiuLiuZhou
[arXiv:math/0408426] for smooth toric CalabiYau 3folds. When the toric DM
stack a toric CalabiYau 3orbifold (i.e. when the generic stabilizer is
trivial), we define generating functions of openclosed GromovWitten
invariants or arbitrary genus $g$ and number $h$ of boundary circles; it takes
values in the ChenRuan 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 AbelJacobi maps of the
mirror curve of the toric CalabiYau 3orbifold. This generalizes a conjecture
by AganagicVafa [arXiv:hepth/0012041] and AganagicKlemmVafa
[arXiv:hepth/0105045] (proved in full generality by the first and the second
authors in [arXiv:1103.0693]) on the disk potential of a smooth semiprojective
toric CalabiYau 3fold.

We introduce Ktheoretic GromovWitten invariants of algebraic orbifold
target spaces. Using the methods developed by GiventalTonita we characterize
Giventals Lagrangian cone of quantum K theory of orbifolds in terms of the
cohomological cone.

For a Fermat quasihomogeneous polynomial $W$, we study a family of
Ktheoretic quantum invariants parametrized by a positive rational number
$\epsilon$. We prove a wallcrossing formula by showing the generating
functions lie on the Lagrangian cone of the permutationequivariant Ktheoretic
FJRW theory of $W$.

We study Givental's Lagrangian cone for the quantum orbifold cohomology of
toric stack bundles and prove that the Ifunction gives points in the
Lagrangian cone, namely we construct an explicit slice of the Lagrangian cone
defined by the genus $0$ GromovWitten 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$.
FukayaOhOhtaOno defined open GromovWitten (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 FukayaOhOhtaOno.

Using the mirror theorem [CCIT15], we give a LandauGinzburg mirror
description for the big equivariant quantum cohomology of toric DeligneMumford
stacks. More precisely, we prove that the big equivariant quantum Dmodule of a
toric DeligneMumford stack is isomorphic to the Saito structure associated to
the mirror LandauGinzburg potential. We give a GKZstyle presentation of the
quantum Dmodule, and a combinatorial description of quantum cohomology as a
quantum StanleyReisner 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 BogomolovMiyaokaYau inequality to
DeligneMumford 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 GromovWitten 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 GromovWitten 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
wallcrossing formulas. We prove wallcrossing formulas for genus zero
$K$theoretic quasimap theory when the target $W\sslash G$ admits a torus
action with isolated fixed points and isolated onedimensional orbits.

For a gerbe $\Y$ over a smooth proper DeligneMumford stack $\B$ banded by a
finite group $G$, we prove a structure result on the GromovWitten theory of
$\Y$, expressing GromovWitten invariants of $\Y$ in terms of GromovWitten
invariants of $\B$ twisted by various flat $U(1)$gerbes on $\B$. This is
interpreted as a LerayHirsch type of result for GromovWitten theory of
gerbes.

We study GromovWitten theory of hypertoric DeligneMumford 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
GromovWitten invariants of a hypertoric DeligneMumford stack with those of
its associated Lawrence toric stack.

We propose a conjectural determination of the GromovWitten theory of a root
stack along a smooth divisor. We verify our conjecture under an additional
assumption.

We show that the Virasoro conjecture in GromovWitten 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 GromovWitten invariants of $E$, equivariant with respect to the
fiberwise torus action, in terms of genuszero invariants of the toric fiber
and allgenus invariants of $B$; and (ii) we pass to the nonequivariant limit
in this formula, using Brown's mirror theorem for toric bundles.

For a toric CalabiYau (CY) orbifold $\mathcal{X}$ whose underlying toric
variety is semiprojective, we construct and study a nontoric Lagrangian torus
fibration on $\mathcal{X}$, which we call the Gross fibration. We apply the
StromingerYauZaslow (SYZ) recipe to the Gross fibration of $\mathcal{X}$ to
construct its mirror with the instanton corrections coming from genus 0 open
orbifold GromovWitten (GW) invariants, which are virtual counts of holomorphic
orbidisks 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 GrossSiebert 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 DeligneMumford stacks, proved recently
by the authors and by CheongCiocanFontanineKim, to compute genuszero
GromovWitten invariants of a number of toric orbifolds and gerbes. We prove a
mirror theorem for a class of complete intersections in toric DeligneMumford
stacks, and use this to compute genuszero GromovWitten invariants of an
orbifold hypersurface.

We prove a Giventalstyle mirror theorem for toric DeligneMumford stacks X.
This determines the genuszero GromovWitten invariants of X in terms of an
explicit hypergeometric function, called the Ifunction, that takes values in
the ChenRuan orbifold cohomology of X.

We construct an integrable hierarchy in the form of Hirota quadratic
equations (HQE) that governs the GromovWitten (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
KacWakimoto 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) GromovWitten invariants. We also discover a geometric explanation
(in terms of virtual counting of stable orbidiscs) 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", GromovWitten
theory of spin curves and orbifolds, 117126, 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 GromovWitten 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 Ktheory and cohomology
groups of $(\Y, \mathfrak{t})$ and $(\widehat{\Y}, c)$ are isomorphic.