Virtual cycles of stable (quasi-)maps with fields (Q2032961)

Let \(\mathcal{E}\) be a locally free sheave on a smooth projective variety \(X\) over \(\mathbb{C}\), and \(s\) a section of \(\mathcal{E}\) whose zero locus \(Z\) is a smooth complete intersection in \(X\). Denote \(\iota \colon Z \to X\) the inclusion map, and \(E\) the vector bundle whose sheaf of section is \(\mathcal{E}\). Given \(X\) and \(\mathcal{E}\), we have the moduli space of stable maps with fields \(\overline{\mathcal{M}}_{g,n}(X, \beta)^p\). A closed point of \(\overline{\mathcal{M}}_{g,n}(X, \beta)^p\) consists of a stable map \(f\colon C \to X\) in \(\overline{\mathcal{M}}_{g,n}(X, \beta)\) together with a \(p\)-field, i.e., an element in \(H^0(C, f^*\mathcal{E}^\vee\otimes \omega_C)\), where \(\omega_C\) denotes the dualizing sheaf of \(C\). The section \(s\) of \(\mathcal{E}\) would determine a cosection of the obstruction sheaf of \(\overline{\mathcal{M}}_{g,n}(X, \beta)^p\), and the degeneracy loci and cosection localized virtual cycle up to sign can be identified with \(\coprod_{\iota_* \gamma=\beta} \overline{\mathcal{M}}_{g,n}(Z, \gamma)\) and \(\coprod_{\iota_* \gamma=\beta} [\overline{\mathcal{M}}_{g,n}(Z, \gamma)]^\text{vir}\) respectively. This relationship between \([\overline{\mathcal{M}}_{g,n}(Z, \gamma)]^\text{vir}\) and the cosection localized virtual class of \(\overline{\mathcal{M}}_{g,n}(X, \beta)^p\) underlies recent development of higher genus GW invariants of the quintic threefold in \(\mathbb{P}^4\). Stable maps with fields are introduced by \textit{H.-L. Chang} and \textit{J. Li} [Int. Math. Res. Not. 2012, No. 18, 4163--4217 (2012; Zbl 1253.14053)], and the relationship between cosection localized virtual classes associated with \((X, \mathcal{E}, s)\) and virtual classes associated with \(Z\) are discussed for the quintic threefold in \(\mathbb{P}^4\) in loc. cit., and more generally established for quasi-maps to complete intersections in GIT quotients by \textit{B. Kim} and \textit{J. Oh} [Sel. Math., New Ser. 28, No. 2, Paper No. 23, 26 p. (2022; Zbl 1486.14073)], and by \textit{H.-L. Chang} and \textit{M.-L. Li} [Trans. Am. Math. Soc. 373, No. 5, 3669--3691 (2020; Zbl 1453.14144)]. The approach of Kim and Oh is further pursued by \textit{J. Oh} and \textit{B. Sreedhar} to establish relationship of twisted virtual structure sheaves [``Localization by 2-periodic complexes and virtual structure sheaves'', J. Inst. Math. Jussieu, (to appear)]. The paper under review generalizes the aforementioned relationship of virtual classes to the setup of complete intersections in smooth algebraic stacks. The arguments can be grouped into two steps . The first step, as initiated in the work of Chang and J. Li, reduces the general situation to the case when \(X\) is a vector bundle over \(Z\), and \((\mathcal{E},s)\) the tautological sheaf and tautological section. Apply the deformation to the normal cone functor to \(\iota\colon Z \to X\), we can deform \[ \begin{tikzcd} Z \ar[r]\ar[d] & X\ar[d,"s"]\\ X \ar[r,"0"] & E \end{tikzcd} \] to \[ \begin{tikzcd} Z \ar[r]\ar[d] & E_{|_Z}\ar[d,"\mathrm{id} \times \mathrm{id}"]\\ E_{|_Z} \ar[r, "\mathrm{id} \times 0 "] & E_{|_Z} \times_Z E_{|_Z} \end{tikzcd}. \] The second step then takes care of the special case by cosection localized virtual localization, the \(\mathbb{C}^*\) actions come from the fiberwise scaling action on \(E_{|_Z}\). An alternative implementation of these steps is later given by \textit{R. Picciotto} [``Moduli of stable maps with fields'', Preprint, \url{arXiv:2009.0438}]. It is straightforward to adapt the arguments in this paper to virtual structure sheaves, generalizing results of Oh and Sreedhar.