Quasimaps and stable pairs

We prove an equivalence between the Bryan-Steinberg theory of $\pi $ -stable pairs on $Y = \mathcal {A}_{m-1} \times \mathbb {C}$ and the theory of quasimaps to $X = \text{Hilb}(\mathcal {A}_{m-1})$ , in the form of an equality of K-theoretic equivariant vertices. In particular, the combinatorics of both vertices are described explicitly via box counting. Then we apply the equivalence to study the implications for sheaf-counting theories on Y arising from 3D mirror symmetry for quasimaps to X, including the Donaldson-Thomas crepant resolution conjecture.

Crepant resolutions and open strings

In the present paper, we formulate a Crepant Resolution Correspondence for open Gromov–Witten invariants (OCRC) of toric Lagrangian branes inside Calabi–Yau 3-orbifolds by encoding the open theories into sections of Givental’s symplectic vector space. The correspondence can be phrased as the identification of these sections via a linear morphism of Givental spaces. We deduce from this a Bryan–Graber-type statement for disk invariants, which we extend to arbitrary topologies in the Hard Lefschetz case. Motivated by ideas of Iritani, Coates–Corti–Iritani–Tseng and Ruan, we furthermore propose (1) a general form of the morphism entering the OCRC, which arises from a geometric correspondence between equivariant K-groups, and (2) an all-genus version of the OCRC for Hard Lefschetz targets. We provide a complete proof of both statements in the case of minimal resolutions of threefold {A_{n}}-singularities; as a necessary step of the proof we establish the all-genus closed Crepant Resolution Conjecture with descendents in its strongest form for this class of examples. Our methods rely on a new description of the quantum D-modules underlying the equivariant Gromov–Witten theory of this family of targets.

HIGHER GENUS GROMOV–WITTEN THEORY OF AND ASSOCIATED TO LOCAL CURVES

We study the higher genus equivariant Gromov–Witten theory of the Hilbert scheme of $n$ points of $\mathbb{C}^{2}$ . Since the equivariant quantum cohomology, computed by Okounkov and Pandharipande [Invent. Math. 179 (2010), 523–557], is semisimple, the higher genus theory is determined by an $\mathsf{R}$ -matrix via the Givental–Teleman classification of Cohomological Field Theories (CohFTs). We uniquely specify the required $\mathsf{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 $\mathsf{Hilb}^{n}(\mathbb{C}^{2})$ 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 analytic continuation of the fundamental solution of the QDE of the Hilbert scheme of points determined by Okounkov and Pandharipande [Transform. Groups 15 (2010), 965–982]. 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 $\mathsf{Sym}^{n}(\mathbb{C}^{2})$ 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 [Bryan and Graber, Algebraic Geometry–Seattle 2005, Part 1, Proceedings of Symposia in Pure Mathematics, 80 (American Mathematical Society, Providence, RI, 2009), 23–42; Coates et al., Geom. Topol. 13 (2009), 2675–2744; Coates & Ruan, Ann. Inst. Fourier (Grenoble) 63 (2013), 431–478].