Crepant resolutions and open strings

DOI10.1515/CRELLE-2017-0011MaRDI QIDQ2331063zbMATH OpenOpenAlexFDO

Authors Andrea Brini, Renzo Cavalieri, Dustin Ross

Publication date 24 October 2019

Published in Journal für die Reine und Angewandte Mathematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1309.4438

Crepant resolution open Gromov-Witten invariants

Gromov-Witten invariants, quantum cohomology, Gopakumar-Vafa invariants, Donaldson-Thomas invariants (algebro-geometric aspects) (14N35) Gromov-Witten invariants, quantum cohomology, Frobenius manifolds (53D45)

Abstract: 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 An 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.

Review text

Consider a toric Calabi-Yau orbifold \(\mathfrak X\) with semi-projective moduli space, and let \(Y\to X\) be a crepant resolution of its coarse moduli space. Choose a Lagrangian boundary (Aganagic-Vafa brane) condition \(L\) on \(\mathfrak X\) and denote by \(L'\) its transform in \(Y\). Fix a \(\mathbb C^*\)-action with zero-dimensional fixed loci such that the resolution morphism is equivariant. Denote the equivariant parameter by \(\nu\). For \(\mathcal Z= \mathfrak X\) or \(Y\), let \(H(\mathcal Z)\) be the equivariant Chen-Ruan cohomology ring of \(\mathcal Z\), \(\mathcal H_\mathcal{Z}=H(\mathcal Z)((z^{-1}))\) be its Givental's symplectic vector space of \(\mathcal Z\), and \(\Delta_\mathcal{Z}\) be the free module over \(\mathbb C[\nu]\) spanned by equivariant lifts of orbifold cohomology classes with degree less than or equal to 2. The paper under review defines a family of elements of Givental space \(\mathbb F^{\text{disk}}_{L,\mathfrak X}\colon H(\mathfrak X)\to \mathcal H_\mathfrak{X}\) called the winding neutral disk potential. It encodes disk invariants of \((\mathfrak X, L)\) at any winding \(d\). \(\mathbb F^{\text{disk}}_{L',Y}\) is defined similarly. The paper then proposes the following version of open crepant resolution conjecture (OCRC): There exists a \(\mathbb C((z^{-1}))\)-linear map of Givental spaces \(\mathbb O \colon \mathcal H_{\mathfrak X}\to \mathcal H_Y\) and analytic functions \(\mathfrak H_\mathfrak{X}\colon \Delta_\mathfrak{X} \to\mathbb C\), \(\mathfrak H_Y\colon \Delta_Y \to\mathbb C\) such that \(\mathfrak H^{1/z}_Y\; \mathbb F^{\text{disk}}_{L',Y}|_{\Delta_Y}=\mathfrak H^{1/z}_\mathfrak{X}\; \mathbb O \; \mathbb F^{\text{disk}}_{L,\mathfrak X}|_{\Delta_\mathfrak{X}}\) after analytic continuation of quantum cohomology parameters. Moreover, both \(\mathbb O\) and \(\mathfrak H\) are completely determined by the classical toric geometry of \(\mathfrak X\) and \(Y\). Furthermore, when \(\mathfrak X\) is a Hard Lefschetz Calabi-Yau orbifold, the OCRC comparison extends to all of \(H(\mathcal Z)\) and hence also allows proposing a comparison for potentials encoding higher genus invariants with arbitrary boundary conditions. The main result of the paper under review proves OCRC conjecture above for the \(A_n\) orbifold \(\mathfrak X=[\mathbb C^2/\mathbb Z_{n+1}]\times \mathbb C\) any choice of Aganagic-Vafa brane.

Recommendations

Cites work

Cited in

(16)

This page was built for publication: Crepant resolutions and open strings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2331063)