Abstract
Recently, Nekrasov discovered a new “genus” for Hilbert schemes of points on \({\mathbb {C}}^4\). We extend its definition to Hilbert schemes of curves and moduli spaces of stable pairs, and conjecture a K-theoretic DT/PT correspondence for toric Calabi–Yau 4-folds. We develop a K-theoretic vertex formalism, which allows us to verify our conjecture in several cases. Taking a certain limit of the equivariant parameters, we recover the cohomological DT/PT correspondence for toric Calabi–Yau 4-folds recently conjectured by the first two authors. Another limit gives a dimensional reduction to the K-theoretic DT/PT correspondence for toric 3-folds conjectured by Nekrasov–Okounkov. As an application of our techniques, we find a conjectural formula for the generating series of K-theoretic stable pair invariants of \(\text {Tot}_{{\mathbb {P}}^1}({\mathcal {O}}(-1) \oplus {\mathcal {O}}(-1) \oplus {\mathcal {O}})\). Upon dimensional reduction to the resolved conifold, we recover a formula which was recently proved by Kononov–Okounkov–Osinenko.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Two recent developments are Donaldson-Thomas type invariants of Calabi–Yau 4-folds (e.g. [4, 6,7,8,9,10,11,12,13,14,15,16,17, 26, 28, 30]) and K-theoretic virtual invariants introduced by Nekrasov–Okounkov (e.g. [1, 2, 19, 26, 27, 31, 35]). Let X be a complex smooth quasi-projective variety, \(\beta \in H_2(X,{\mathbb {Z}})\), and \(n \in {\mathbb {Z}}\). We consider the following moduli spaces:
-
\(I:=I_n(X,\beta )\) denotes the Hilbert scheme of proper closed subschemes \(Z \subseteq X\) of dimension \(\leqslant 1\) satisfying \([Z] = \beta \) and \(\chi ({\mathcal {O}}_Z)=n\),
-
\(P:=P_n(X,\beta )\) is the moduli space of stable pairs (F, s) on X, where F is a pure 1-dimensional sheaf on X with proper scheme theoretic support in class \(\beta \), \(\chi (F) = n\), and \(s \in H^0(F)\) has 0-dimensional cokernel.
For proper Calabi–Yau 3-folds, both spaces have a symmetric perfect obstruction theory. The degrees of the virtual classes are known as (rank one) Donaldson-Thomas and Pandharipande-Thomas invariants. Their generating series are related by the famous DT/PT correspondence conjectured by Pandharipande-Thomas [32] and proved by Bridgeland [5] and Toda [36].
For proper Calabi–Yau 4-folds, I and P still have an obstruction theory. Denote the universal objects by \({\mathcal {Z}}\subseteq I \times X\) and \({\mathbb {I}}^{{\scriptscriptstyle \bullet }} = \{{\mathcal {O}}_{P \times X} \rightarrow {\mathbb {F}}\}\). Then
where \((\cdot )_0\) denotes trace-free part and \({\mathbf {R}}{\mathcal {H}}{} { {om}}_\pi := {\mathbf {R}}\pi _* \circ {\mathbf {R}}{\mathcal {H}}{} { {om}}\). These obstruction theories are not perfect, so the machineries of Behrend–Fantechi [3] and Li–Tian [22] do not produce virtual classes on the moduli spaces. Nonetheless, there exist virtual classes \([I]^{\mathrm {vir}}_{o({\mathcal {L}})} \in H_{2n}(I,{\mathbb {Z}})\), \([P]^{\mathrm {vir}}_{o({\mathcal {L}})} \in H_{2n}(P,{\mathbb {Z}})\) (ref. [8, 13]) in the sense of Borisov–Joyce [4], which involves derived algebraic geometry [34] and derived differential geometry. These virtual classes depend on the choice of an orientation \(o({\mathcal {L}})\), i.e. the choice of a square root of the isomorphism
induced by the Serre duality pairing (here \({\mathbb {E}}=I_{{\mathcal {Z}}}\) or \({\mathbb {I}}^{{\scriptscriptstyle \bullet }}\) respectively).
1.1 Nekrasov genus
In this paper, X is a toric Calabi–Yau 4-fold.Footnote 1 Since X is non-proper, the moduli spaces I, P are in general non-proper and we define invariants by a localization formula. There are interesting cases for which P is proper, e.g. when \(X = \mathrm {Tot}_{{\mathbb {P}}^2}({\mathcal {O}}(-1) \oplus {\mathcal {O}}(-2)), \mathrm {Tot}_{{\mathbb {P}}^1 \times {\mathbb {P}}^1}({\mathcal {O}}(-1,-1) \oplus {\mathcal {O}}(-1,-1))\). Denote by \(({\mathbb {C}}^*)^4\) the dense open torus of X and let \(T \subseteq ({\mathbb {C}}^*)^4\) be the 3-dimensional subtorus preserving the Calabi–Yau volume form. Then
which consists of finitely many isolated reduced points [8, Lem. 2.2]. Roughly speaking, these are described by solid partitions (4D piles of boxes) corresponding to monomial ideals in each toric chart \(U_\alpha \cong {\mathbb {C}}^4\) with infinite “legs” along the coordinate axes, which agree on overlaps \(U_\alpha \cap U_\beta \). In general, the fixed locus \(P^{({\mathbb {C}}^*)^4}\) may not be isolated [8]. Throughout this paper, whenever we consider a moduli space P of stable pairs, we assume:
Assumption 0.1
X is a toric Calabi–Yau 4-fold and \(\beta \in H_2 (X,{\mathbb {Z}})\) such that \(\bigcup _n P_n(X,\beta )^{({\mathbb {C}}^*)^4}\) is at most 0-dimensional.
When Assumption 0.1 is satisfied, \(P_n(X,\beta )^{T} = P_n(X,\beta )^{({\mathbb {C}}^*)^4}\) for all n and it consists of finitely many reduced points, which are combinatorially described in [8, Sect. 2.2].
This assumption is equivalent to saying that in each toric chart \(U_\alpha \) at most two infinite legs come together (Lemma 1.4). This is the case when X is a local curve or local surface. If in each toric chart \(U_\alpha \) at most three legs come together, \(P^{({\mathbb {C}}^*)^4}\) is isomorphic to a disjoint union of products of \({\mathbb {P}}^1\)’s (essentially by [33]). This is the case when X is a local threefold. In full generality, four infinite legs can come together in each toric chart \(U_\alpha \). Then \(P^{({\mathbb {C}}^*)^4}\) is considerably more complicated; its connected components are cut out by incidence conditions from ambient spaces of the form \(\mathrm {Gr}(1,2)^\ell \times \mathrm {Gr}(1,3)^m \times \mathrm {Gr}(2,3)^n\). In order to avoid moduli, we focus on the isolated case, though we expect the results of this paper can be generalized to the general setting.
At any fixed point \(x=Z \in I^T\) or \(x=[(F,s)] \in P^T\), T-equivariant Serre duality implies that the T-equivariant K-theory classes
have square roots. Namely there exist \( \sqrt{T_I^{\mathrm {vir}}|_x}, \, \sqrt{T_P^{\mathrm {vir}}|_x} \in K_0^T(\mathrm {pt}) \) such that
and similarly for P, where \(\overline{(\cdot )}\) denotes the involution on \(K_0^T(\mathrm {pt})\) induced by \({\mathbb {Z}}\)-linearly extending the map \(t_1^{w_1}t_2^{w_2}t_3^{w_3}t_4^{w_4} \mapsto t_1^{-w_1}t_2^{-w_2}t_3^{-w_3}t_4^{-w_4}\). These square roots are non-unique. In what follows, we use the following notation
We denote the T-moving and T-fixed parts by
We use similar notations for the stable pairs case. A choice of a square root of \(T_I^{\mathrm {vir}}|_x\), \(T_P^{\mathrm {vir}}|_x\) induces a square root \(\sqrt{E}\) for each of the above complexes E.
For any T-equivariant line bundle L on X, we define
on the moduli spaces I and P. Here \(\pi _X\), \(\pi _I\) (resp. \(\pi _P\)) are projections from \(X\times I\) (resp. \(X\times P\)) to the corresponding factor. Moreover, for a T-equivariant vector bundle E on any scheme M with T-action, we define
where \(K^0_T(M)\) denotes the K-group of T-equivariant locally free sheaves on M. This can be extended to \(K^0_T(M)\) by \(\Lambda _\tau ([E]-[F]) := \Lambda _\tau (E) \cdot \mathrm {Sym}_{-\tau }(F)\) [18, Sect. 4]. Following Nekrasov [26], which deals with the case \(I_n({\mathbb {C}}^4,0)\), we define:
Definition 0.2
We define the following “Nekrasov genus” of the moduli space \(I := I_{n}(X,\beta )\). Consider an extra trivial \({\mathbb {C}}^*\)-action on X and let \({\mathcal {O}}\otimes y\) be the trivial line bundle with non-trivial \({\mathbb {C}}^*\)-equivariant structure corresponding to primitive character y. For any T-equivariant line bundle L on X, we define
where \(\Lambda ^{\scriptscriptstyle \bullet }(\cdot ) = \Lambda _{-1}(\cdot )\). Here the first two lines are suggestive notations and the third line is the actual definition. This definition depends on the choice of a sign \((-1)^{o({\mathcal {L}})|_Z}\) for each \(Z \in I^T\). We suppress this dependence from the notation. All Chern characters \({\text {ch}}(\cdot )\), the Euler class \(e(\cdot )\), and Todd class \(\mathrm {td}(\cdot )\) in this formula are \(T \times {\mathbb {C}}^*\)-equivariant (T is the Calabi–Yau torus and \({\mathbb {C}}^*\) the trivial torus) and the invariant takes value in \(\frac{{\mathbb {Q}}(t_1^{\frac{1}{2}},t_2^{\frac{1}{2}},t_3^{\frac{1}{2}},t_4^{\frac{1}{2}},y^{\frac{1}{2}})}{(t_1t_2t_3t_4-1)}\). Different choices of square root of \(T_I^{\mathrm {vir}}|_Z\) only change the contribution of Z to the invariant by a sign, so this gets absorbed in the choice of sign \((-1)^{o({\mathcal {L}})|_Z}\).Footnote 2 We define \(P_{n,\beta }(L, y)\) analogously replacing I by P and imposing Assumption 0.1.
Remark 0.3
When the the first version of this paper became public, the virtual structure sheaf and K-theoretic localization formula were not established yet in the setting of Calabi–Yau 4-folds. As a consequence, we defined our invariants \(I_{n,\beta }(L, y)\) (and \(P_{n,\beta }(L, y)\)) by the (expected) virtual localization formula as in Definition 0.2. Recently, the virtual structure sheaf and K-theoretic localization formula have been established by J. Oh and R. P. Thomas [30] thereby vindicating the calculations in this paper.
Remark 0.4
For any \(Z \in I^T := I_n(X,\beta )^T\), \(T_I^{\mathrm {vir}}|_Z\) does not contain any T-fixed terms with positive coefficient (Lemma 1.1). Therefore
When \(T_I^{\mathrm {vir}}|_Z\) does not contain T-fixed terms with negative coefficient, this equality is clear since \(T_I^{\mathrm {vir}}|_Z = N^{\mathrm {vir}}|_Z\) and \((T_I^{\mathrm {vir}}|_Z)^f=0\). When \(T_I^{\mathrm {vir}}|_Z\) contains a T-fixed term with negative coefficient, both LHS and RHS are zero (since \(e\big (\sqrt{\mathrm {Ob}_I |_Z}^f\big ) = 0\)). A similar statement holds in the stable pairs case (where we require Assumption 0.1 and use Lemma 1.5).
1.2 K-theoretic DT/PT correspondence
We show in Sect. 1 that the invariants \(I_{n,\beta }(L, y)\) and \(P_{n,\beta }(L, y)\) can be calculated by a K-theoretic vertex formalism. The case \(I_{n,0}(L, y)\) was originally established by Nekrasov [26] and Nekrasov–Piazzalunga [28], who also deal with the higher rank case. The case \(I_{n,\beta }(L, y)\) is recently independently established in [29], who also deal with ideal sheaves of surfaces and the higher rank case (see Sect. 0.7). Our focus is on the K-theoretic DT/PT correspondence for toric Calabi–Yau 4-folds. In Sect. 1, we define the K-theoretic DT/PT 4-fold vertexFootnote 3
for any finite plane partitions (3D partitions) \(\lambda , \mu , \nu , \rho \). In the stable pairs case, we require that at most two of \(\lambda , \mu , \nu , \rho \) are non-empty (which follows from Assumption 0.1 by Lemma 1.4). Roughly speaking, these are the generating series of \(I_{n,\beta }(L, y)\), \(P_{n,\beta }(L, y)\) in the case \(X = {\mathbb {C}}^4\), \(L = {\mathcal {O}}_{{\mathbb {C}}^4}\), and the underlying Cohen-Macaulay support curve is fixed and described by finite asymptotic plane partitions \(\lambda , \mu , \nu , \rho \) (see Definition 1.16). The series \({\mathsf {V}}_{\lambda \mu \nu \rho }^{\mathrm {DT}}\), \({\mathsf {V}}_{\lambda \mu \nu \rho }^{\mathrm {PT}}\) depend on the choice of a sign at each T-fixed point.
Before we phrase our DT/PT vertex correspondence, we discuss a beautiful conjecture by Nekrasov for \({\mathsf {V}}_{\varnothing \varnothing \varnothing \varnothing }^{\mathrm {DT}}\) [26, 28]. We recall the definition of the plethystic exponential. For any formal power series \(f(p_1, \ldots , p_r; q_1, \ldots , q_s)\) in \({\mathbb {Q}}(p_1, \ldots , p_r)[\![q_1, \ldots , q_s]\!]\), its plethystic exponential is defined by
viewed as an element of \({\mathbb {Q}}(p_1, \ldots , p_r)[\![q_1, \ldots , q_s]\!]\). Following Nekrasov [26], for any formal variable x, we define
Conjecture 0.5
(Nekrasov). There exist unique choices of signs such that
where \({\mathcal {F}}(t,y;q) \in \frac{{\mathbb {Q}}(t_1,t_2,t_3,t_4,y^{\frac{1}{2}},q)}{(t_1t_2t_3t_4-1)}\) is expanded as a formal power series in q.
See [26] for the existence part. Here we conjecture the uniqueness part. We propose the following K-theoretic DT/PT 4-fold vertex correspondence:
Conjecture 0.6
For any finite plane partitions \(\lambda , \mu , \nu , \rho \), at most two of which are non-empty, there are choices of signs such that
Suppose we choose the signs for \({\mathsf {V}}_{\varnothing \varnothing \varnothing \varnothing }^{\mathrm {DT}}(t,y,q)\) equal to the unique signs in Nekrasov’s conjecture 0.5. Then, at each order in q, the choice of signs for which LHS and RHS agree is unique up to an overall sign.
We verify this conjecture in various cases for which \(|\lambda | + |\mu | + |\nu | + |\rho | \leqslant 4\) and the number of embedded boxes is \(\leqslant 3\) (for the precise statement, see Proposition 1.17. This conjecture and the vertex formalism imply the following:
Theorem 0.7
Assume Conjecture 0.6 holds. Let X be a toric Calabi–Yau 4-fold and \(\beta \in H_2(X,{\mathbb {Z}})\) such that \(\bigcup _n P_n(X,\beta )^{({\mathbb {C}}^*)^4}\) is at most 0-dimensional. Let L be a T-equivariant line bundle on X. Then there exist choices of signs such that
One may wonder whether there are other K-theoretic insertions for which a DT/PT correspondence similar to Conjecture 0.6 holds. The most natural candidates are virtual holomorphic Euler characteristics \(\chi (I, {\widehat{{\mathcal {O}}}}^{\mathrm {vir}}_I)\), \(\chi (P, {\widehat{{\mathcal {O}}}}^{\mathrm {vir}}_P)\), or replacing L in Definition 0.2 by a higher rank vector bundle (or even K-theory classes of negative rank). However, we have not found any other K-theoretic insertions that work and we believe that the insertion of Definition 0.2 is special (see Remark 1.19 for the precise statement).
In Remark 1.18, we present expected closed formulae for the unique signs (up to overall sign) of Conjecture 0.6, which work for all the verifications done in this paper. This generalizes the sign formula obtained by Nekrasov–Piazzalunga, from physics methods, for Hilbert schemes of points on \({\mathbb {C}}^4\) [28, (2.60)].
We now discuss three limits, which were treated in the case of \(I_n({\mathbb {C}}^4,0)\) in [26, Sect. 5.1–5.2] (though we do not need the “perturbative term” of loc. cit.).
1.3 Dimensional reduction to 3-folds
Let D be a smooth toric 3-foldFootnote 4 and let \(\beta \in H_2(D,{\mathbb {Z}})\). Consider the following generating functions
where \({\widehat{{\mathcal {O}}}}^{\mathrm {vir}}_I = {\mathcal {O}}^{\mathrm {vir}}_I \otimes (K_I^{\mathrm {vir}})^{\frac{1}{2}}\), \({\widehat{{\mathcal {O}}}}^{\mathrm {vir}}_P = {\mathcal {O}}^{\mathrm {vir}}_P \otimes (K_P^{\mathrm {vir}})^{\frac{1}{2}}\) are the twisted virtual structure sheaves of \(I_n(D,\beta )\), \(P_n(D,\beta )\) introduced in [27].Footnote 5
The calculation of the K-theoretic DT/PT invariants of toric 3-folds is governed by the K-theoretic 3-fold DT/PT vertex [2, 27, 31]
where \(\lambda , \mu , \nu \) are line partitions (2D partitions) determining the underlying \(({\mathbb {C}}^*)^3\)-fixed Cohen-Macaulay curve and \(t_1,t_2,t_3\) are the characters of the standard torus action on \({\mathbb {C}}^3\).
In the next theorem, \(\lambda ,\mu ,\nu \) are line partitions in the \((x_2,x_3)\), \((x_1,x_3)\), \((x_1,x_2)\)-planes respectively. Then \(\lambda , \mu , \nu \) can be seen as plane partitions in \((x_2,x_3,x_4)\), \((x_1,x_3,x_4)\), \((x_1,x_2,x_4)\)-space, respectively, by inclusion \(\{x_4=0\} \subseteq {\mathbb {C}}^3\).
Any plane partition \(\lambda , \mu , \nu , \rho \) determine a \(({\mathbb {C}}^*)^4\)-fixed Cohen-Macaulay curve on \({\mathbb {C}}^4\) with asymptotic profiles \(\lambda , \mu , \nu , \rho \). The ideal sheaf of such a curve corresponds to a monomial ideal, which is described by a solid partition denoted by \(\pi _{\mathrm {CM}}(\lambda ,\mu ,\nu ,\rho )\) (this is explained in detail in Sect. 1.1). The renormalized volume of this solid partition is denoted by \(|\pi _{\mathrm {CM}}(\lambda ,\mu ,\nu ,\rho )|\) (Definition 1.2).
Theorem 0.8
Let \(\lambda ,\mu ,\nu \) be any line partitions in the \((x_2,x_3)\), \((x_1,x_3)\), \((x_1,x_2)\)-planes respectively. For any T-fixed subscheme \(Z \subseteq {\mathbb {C}}^4\) with underlying maximal Cohen-Macaulay curve C determined by \(\lambda ,\mu ,\nu , \varnothing \), we choose its sign in Definition 0.2 equal to \((-1)^{|\pi _{\mathrm {CM}}(\lambda ,\mu ,\nu ,\varnothing )| + \chi (I_C / I_Z)}\), where \(\chi (I_C / I_Z)\) equals the number of embedded points of Z. For any T-fixed stable pair (F, s) on \({\mathbb {C}}^4\) with underlying Cohen-Macaulay curve determined by \(\lambda ,\mu ,\varnothing , \varnothing \), we choose its sign in Definition 0.2 equal to \((-1)^{|\pi _{\mathrm {CM}}(\lambda ,\mu ,\varnothing ,\varnothing )| + \chi (Q)}\), where \(\chi (Q)\) denotes the length of the cokernel of s. Then
In particular, Conjecture 0.6 and compatibility of signs implyFootnote 6
Remark 0.9
In all the cases for which we checked Conjecture 0.6 (see Proposition 1.17), we verified that the compatible choice of signs mentioned in Theorem 0.8 exists. This explains our sign choice for the T-fixed points which are scheme theoretically supported on \(\{x_4=0\}\).
Theorem 0.10
Assume Conjecture 0.6 and compatibility of signs. Let D be a smooth toric 3-fold and \(\beta \in H_2(D,{\mathbb {Z}})\) such that all \(({\mathbb {C}}^*)^3\)-fixed points of \(\bigcup _n I_n(D,\beta )\), \(\bigcup _n P_n (D,\beta )\) have at most two legs in each maximal \(({\mathbb {C}}^*)^3\)-invariant affine open subset of D, e.g. D is a local toric curve or local toric surface. Then the K-theoretic DT/PT correspondence [27, Eqn. (16)] holds:
Remark 0.11
The usual DT/PT correspondence on toric 3-folds [33] is a special case of the K-theoretic version of Nekrasov–Okounkov [27, Eqn. (16)]. To the authors’ knowledge, the latter is still an open conjecture.
1.4 Cohomological limit I
Let \(t_i = e^{b \lambda _i}\), for all \(i=1,2,3,4\), and \(y = e^{b m}\). We impose the Calabi–Yau relation \(t_1t_2t_3t_4=1\), which translates into \(\lambda _1+\lambda _2+\lambda _3+\lambda _4=0\). In Sect. 2.2, we study the limit \(b \rightarrow 0\). Let X be a Calabi–Yau 4-fold, \(\beta \in H_2(X,{\mathbb {Z}})\), and L a T-equivariant line bundle on X. Define the following invariants
where \(\mathrm {ext}^2(I_Z,I_Z) = \dim {\text {Ext}}^2(I_Z,I_Z)\). The expression under the square root is a square by T-equivariant Serre duality. As in Definition 0.2, for a fixed Z, two choices of square root differ by a sign and this indeterminacy is absorbed by the choice of orientation \((-1)^{o({\mathcal {L}})|_Z}\). These invariants take values in
where \(\lambda _i := c_1(t_i)\), \(m := c_1(e^m)\) denote the \(T \times {\mathbb {C}}^*\)-equivariant parameters. Here \({\mathbb {C}}^*\) corresponds to a trivial torus action with equivariant parameter \(e^m\). We similarly define invariants \(P_{n,\beta }^{\mathrm {coho}}(L,m)\) replacing \(I_n(X,\beta )\) by \(P_n(X,\beta )\) and \(R\Gamma (X, L\otimes {\mathcal {O}}_Z)\) by \(R\Gamma (X, L\otimes F)\), in which case we also require Assumption 0.1 holds.
Theorem 0.12
Let X be a toric Calabi–Yau 4-fold, \(\beta \in H_2(X,{\mathbb {Z}})\), and let L be a T-equivariant line bundle on X. Then
where the choice of signs on RHS is determined by the choice of signs on LHS. For the second equality, we assume \(\bigcup _n P_n(X,\beta )^{({\mathbb {C}}^*)^4}\) is at most 0-dimensional. Hence, Conjecture 0.6 implies that there exist choices of signs such that
This theorem provides motivation for conjecturing the following new cohomological DT/PT correspondence for smooth projective Calabi–Yau 4-folds:
Conjecture 0.13
Let X be a smooth projective Calabi–Yau 4-fold and \(\beta \in H_2(X,{\mathbb {Z}})\). For any line bundle L on X, there exist choices of orientations such that
1.5 Cohomological limit II
Let \(t_i = e^{b \lambda _i}\), \(y = e^{b m}\), \(Q = m q\), where we again impose the Calabi–Yau relation \(t_1t_2t_3t_4=1\). In Sect. 2.3, we consider the limit \(b \rightarrow 0, m \rightarrow \infty \). In [8], the two first-named authors studied the following cohomological invariants
and similar invariants \(P_{n,\beta }^{\mathrm {coho}}\), where we replace \(I_{n}(X,\beta )\) by \(P_n(X,\beta )\) and impose Assumption 0.1. In [8], a vertex formalism for these invariants was established giving rise to the cohomological DT/PT vertex
for any finite plane partitions \(\lambda , \mu , \nu , \rho \). As above, in the stable pairs case we assume at most two of these partitions are non-empty.
The cohomological DT/PT 4-fold vertex correspondence [8] states:
Conjecture 0.14
(Cao-Kool). For any finite plane partitions \(\lambda , \mu , \nu , \rho \), at most two of which are non-empty, there are choices of signs such that
Theorem 0.15
Let X be a toric Calabi–Yau 4-fold and \(\beta \in H_2(X,{\mathbb {Z}})\). Then
where the choice of signs on RHS is determined by the choice of signs on LHS. For the second equality, we assume \(\bigcup _n P_n(X,\beta )^{({\mathbb {C}}^*)^4}\) is at most 0-dimensional. Moreover, Conjecture 0.6 implies Conjecture 0.14.
We summarise the above three limits in the following figure (Fig. 1).
1.6 Application: local resolved conifold
In order to illustrate the 4-fold vertex formalism and the three limits, we present a new conjectural formula, which can be seen as a curve analogue of Nekrasov’s conjecture. Let \(X = D \times {\mathbb {C}}\), where \(D = \mathrm {Tot}_{{\mathbb {P}}^1}({\mathcal {O}}(-1) \oplus {\mathcal {O}}(-1))\) is the resolved conifold. Consider the generating series of K-theoretic stable pair invariants of X:
Conjecture 0.16
Let \(X = \mathrm {Tot}_{{\mathbb {P}}^1}({\mathcal {O}}(-1) \oplus {\mathcal {O}}(-1) \oplus {\mathcal {O}})\). Then there exist unique choices of signs such that
where \(t_4^{-1}\) denotes the torus weight of \({\mathcal {O}}\) over \({\mathbb {P}}^1\) and \({\mathcal {F}}(t,y;q,Q) \in {\mathbb {Q}}(t_4^{\frac{1}{2}},y^{\frac{1}{2}},q,Q)\) is expanded as a formal power series in q and Q.
This conjecture is verified modulo (more or less) \(Q^5 q^6\) using the vertex formalism. See Proposition B.2 for the precise statement. Applying dimensional reduction, Conjecture 0.16 implies a formula for the K-theoretic stable pair invariants of the resolved conifold D recently proved by Kononov–Okounkov–Osinenko [21]. Applying the preferred limits discussed by Arbesfeld [2] to the formula of Kononov–Okounkov–Osinenko yields an expression obtained using the refined topological vertex by Iqbal–Kozçaz–Vafa [20]. Applying cohomological limit II yields a formula, which was recently conjectured in [8]. See Appendix B for the details.
1.7 Relations with other works
This paper is a continuation of our previous work [8], where we introduced the DT/PT correspondence (with primary insertions) for both compact and toric Calabi–Yau 4-folds. In the compact case, “DT=PT” due to insertions. In loc. cit. we used toric calculations to support this result and found the cohomological DT/PT 4-fold vertex correspondence (Conjecture 0.14), which surprisingly has the same shape as the DT/PT correspondence for Calabi–Yau 3-folds [32]. This motivated us to enhance Conjecture 0.14 to a K-theoretic version using Nekrasov’s insertion (Definition 0.2), which specializes to (i) the cohomological DT/PT correspondence for toric Calabi–Yau 4-folds, (ii) the K-theoretic DT/PT correspondence for toric 3-folds [27, 33].
During the writing of this paper, Piazzalunga announcedFootnote 7 his joint work with Nekrasov [29], which establishes the (more general) K-theoretic DT vertex for D0-D2-D4-D6-D8 bound states and realizes the DT generating series of a toric Calabi–Yau 4-fold X as the partition function of a certain super-Yang-Mills theory with matter (and gauge group \(\mathrm {U}(1|1\))) on X.
2 K-Theoretic Vertex Formalism
2.1 Fixed loci
This subsection is a recap of [8, Sect. 2.1, 2.2]. Proofs can be found in loc. cit. Let X be a toric Calabi–Yau 4-fold. Let \(\Delta (X)\) be the polytope corresponding to X and denote the collection of its vertices by V(X) and edges by E(X). The elements \(\alpha \in V(X)\) correspond to the \(({\mathbb {C}}^*)^4\)-fixed points \(p_\alpha \in X\). Each such fixed point lies in a maximal \(({\mathbb {C}}^*)^4\)-invariant affine open subset \({\mathbb {C}}^4 \cong U_\alpha \subseteq X\). The elements \(\alpha \beta \in E(X)\) (connecting vertices \(\alpha \), \(\beta \)) correspond to the \(({\mathbb {C}}^*)^4\)-invariant lines \({\mathbb {P}}^1 \cong L_{\alpha \beta } \subseteq X\) with normal bundle
where the second equality follows from the Calabi–Yau condition.
The action of the dense open torus \(({\mathbb {C}}^*)^4\) and its Calabi–Yau subtorus \(T \subseteq ({\mathbb {C}}^*)^4\) (the subtorus preserving the Calabi–Yau volume form) both lift to the Hilbert scheme \(I:=I_n(X,\beta )\). The following result is proved in [8, Lem. 2.2]:
Lemma 1.1
The scheme \(I^T=I^{({\mathbb {C}}^*)^4}\) consists of finitely many reduced points.
We characterize the elements \(I^{T}\) by collections of solid partitions.
Definition 1.2
A solid partition \(\pi \) is a sequence \(\pi = \big \{\pi _{ijk} \in {\mathbb {Z}}_{ \geqslant 0} \cup \{\infty \} \big \}_{i,j,k \geqslant 1}\) satisfying:
This extends the notions of plane partitions \(\lambda = \{ \lambda _{ij}\}_{i,j \geqslant 1}\) (which we visualize as a pile of boxes in \({\mathbb {R}}^3\) where \(\lambda _{ij}\) is the height along the \(x_3\)-axis) and line partitions \(\lambda = \{ \lambda _{i}\}_{i \geqslant 1}\) (which we visualize as a pile of squares in \({\mathbb {R}}^2\) where \(\lambda _i\) is the height along the \(x_2\)-axis). Given a solid partition \(\pi = \{\pi _{ijk}\}_{i,j,k \geqslant 1}\), there exist unique plane partitions \(\lambda , \mu , \nu , \rho \) such that
We refer to \(\lambda , \mu , \nu , \rho \) as the asymptotic plane partitions associated to \(\pi \) in directions 1, 2, 3, 4 respectively. We call \(\pi \) point-like, when \(\lambda = \mu = \nu = \rho = \varnothing \). Then the size of \(\pi \) is defined by
We call \(\pi \) curve-like when \(\lambda , \mu , \nu , \rho \) have finite size \(|\lambda |, |\mu |, |\nu |, |\rho |\) (not all zero). Similar to [23], when \(\pi \) is curve-like, we define its renormalized volume by
Let \(Z \in I^{T}\). Suppose \({\mathbb {C}}^4 \cong U_{\alpha } \subseteq X\) is a maximal \(({\mathbb {C}}^*)^4\)-invariant affine open subset. There are coordinates \((x_1,x_2,x_3,x_4)\) on \(U_{\alpha }\) such that
The restriction \(Z|_{U_{\alpha }}\) is given by a \(({\mathbb {C}}^*)^4\)-invariant ideal \(I_Z|_{U_{\alpha }} \subseteq {\mathbb {C}}[x_1,x_2,x_3,x_4]\). Solid partitions \(\pi \) which are point- or curve-like are in bijective correspondence to \(({\mathbb {C}}^*)^4\)-invariant ideals \(I_{Z_\pi } \subseteq {\mathbb {C}}[x_1,x_2,x_3,x_4]\) cutting out subschemes \(Z_\pi \subseteq {\mathbb {C}}^4\) of dimension \(\leqslant 1\) via the following formula
Hence \(Z \in I^{T}\) determines a collection of (point- or curve-like) solid partitions \(\{\pi ^{(\alpha )}\}_{\alpha = 1}^{e(X)}\), where e(X) is the topological Euler characteristic of X, i.e. the number of \(({\mathbb {C}}^*)^4\)-fixed points of X. Let \(\alpha \beta \in E(X)\) and consider the corresponding \(({\mathbb {C}}^*)^4\)-invariant line \(L_{\alpha \beta } \cong {\mathbb {P}}^1\). Suppose this line given by \(\{x_2=x_3=x_4=0\}\) in both charts \(U_\alpha \), \(U_\beta \). Let \(\lambda ^{(\alpha )}\), \(\lambda ^{(\beta )}\) be the asymptotic plane partitions of \(\pi ^{(\alpha )}\), \(\pi ^{(\beta )}\) along the \(x_1\)-axes in both charts. Then
A collection of point- or curve-like solid partitions \(\{\pi ^{(\alpha )}\}_{\alpha = 1}^{e(X)}\) satisfying (8), for all \(\alpha , \beta = 1, \ldots , e(X)\), is said to satisfy the gluing condition. We obtain a bijective correspondence
Suppose \(\beta \ne 0\) is effective. Then for any \(Z \in I^T = I_n(X,\beta )^{T}\), there exists a maximal Cohen-Macaulay subscheme \(C \subseteq Z\) such that the cokernel
is 0-dimensional. The restriction \(C|_{U_\alpha }\) is empty or corresponds to a curve-like solid partition \(\pi \) with asymptotics \(\lambda , \mu , \nu , \rho \). Since \(C|_{U_\alpha }\) has no embedded points, the solid partition \(\pi \) is entirely determined by the asymptotics \(\lambda , \mu ,\nu , \rho \) as follows
Using similar notation to [23], for any plane partition of finite size, and \(m,m',m'' \in {\mathbb {Z}}\), we define
For any \(\alpha \beta \in E(X)\) and finite plane partition \(\lambda \), we define
where \(m_{\alpha \beta }, m_{\alpha \beta }', m_{\alpha \beta }''\) were defined in (5).
Lemma 1.3
Let X be a toric Calabi–Yau 4-fold and let \(Z \subseteq X\) be a \(({\mathbb {C}}^*)^4\)-invariant closed subscheme of dimension \(\leqslant 1\). Then
The action of \(({\mathbb {C}}^*)^4\) on X also lifts to the moduli space \(P:=P_n(X,\beta )\) of stable pairs. Similar to [33], we give a description of the fixed locus \(P^{({\mathbb {C}}^*)^4}\).
For any stable pair (F, s) on X, the scheme-theoretic support \(C_F := \mathrm {supp}(F)\) is a Cohen–Macaulay curve [32, Lem. 1.6]. Stable pairs with Cohen–Macaulay support curve C can be described as follows [32, Prop. 1.8]:
Let \({\mathfrak {m}} \subseteq {\mathcal {O}}_C\) be the ideal of a finite union of closed points on C. A stable pair (F, s) on X such that \(C_F = C\) and \(\mathrm {supp}(Q)_{\mathrm {red}} \subseteq \mathrm {supp}({\mathcal {O}}_C / {\mathfrak {m}})\) is equivalent to a subsheaf of \(\varinjlim {\mathcal {H}}{} { {om}}({\mathfrak {m}}^r, {\mathcal {O}}_C) / {\mathcal {O}}_C\).
This uses the natural inclusions
induced by \({\mathfrak {m}}^{r+1} \subseteq {\mathfrak {m}}^{r} \subseteq {\mathcal {O}}_C\).
Suppose \([(F,s)] \in P^{({\mathbb {C}}^*)^4}\), then \(C_F\) is \(({\mathbb {C}}^*)^4\)-fixed and determines \(\{\pi ^{(\alpha )}\}_{\alpha \in V(X)}\) with each \(\pi ^{(\alpha )}\) empty or a curve-like solid partition. Consider a maximal \(({\mathbb {C}}^*)^4\)-invariant affine open subset \({\mathbb {C}}^4 \cong U_\alpha \subseteq X\). Denote the asymptotic plane partitions of \(\pi := \pi ^{(\alpha )}\) in directions 1, 2, 3, 4 by \(\lambda , \mu , \nu , \rho \). As in (7), these correspond to \(({\mathbb {C}}^*)^4\)-invariant ideals
Define the following \({\mathbb {C}}[x_1,x_2,x_3,x_4]\)-modules
Then [33, Sect. 2.4] gives
where \({\mathfrak {m}} = ( x_1, x_2, x_3, x_4 ) \subseteq {\mathbb {C}}[x_1,x_2,x_3,x_4]\). Each module \(M_i\) comes from a ring, so it has a unit 1, which is homogeneous of degree (0, 0, 0, 0) with respect to the character group \(X(({\mathbb {C}}^*)^4) = {\mathbb {Z}}^4\). We consider the quotient
Then \(({\mathbb {C}}^*)^4\)-equivariant stable pairs on \(U_\alpha \cong {\mathbb {C}}^4\) correspond to \(({\mathbb {C}}^*)^4\)-invariant \({\mathbb {C}}[x_1,x_2,x_3,x_4]\)-submodules of (11).
Combinatorial description of \(M / \langle (1,1,1,1) \rangle \) Denote the character group of \(({\mathbb {C}}^*)^4\) by \(X(({\mathbb {C}}^*)^4) = {\mathbb {Z}}^4\). For each module \(M_i\), the weights \(w \in {\mathbb {Z}}^4\) of its non-zero eigenspaces determine an infinite “leg” \(\mathrm {Leg}_i \subseteq {\mathbb {Z}}^4\) along the \(x_i\)-axis. For each weight \(w \in {\mathbb {Z}}^4\), introduce four independent vectors \({\varvec{1}}_w\), \({\varvec{2}}_w\), \({\varvec{3}}_w\), \({\varvec{4}}_w\). Then the \({\mathbb {C}}[x_1,x_2,x_3,x_4]\)-module structure on \(M / \langle (1,1,1,1) \rangle \) is determined by
where \(i,j=1, 2, 3, 4\) and \(e_1, e_2, e_3, e_4\) are the standard basis vectors of \({\mathbb {Z}}^4\). Similar to the 3-fold case [33, Sect. 2.5], we define regions
-
\(\mathrm {I}^+\) consists of the weights \(w \in {\mathbb {Z}}^4\) with all coordinates non-negative and which lie in precisely one leg. If \(w \in \mathrm {I}^+\), then the corresponding weight space of \(M / \langle (1,1,1,1) \rangle \) is 0-dimensional.
-
\(\mathrm {I}^-\) consists of all weights \(w \in {\mathbb {Z}}^4\) with at least one negative coordinate. If \(w \in \mathrm {I}^-\) is supported in \(\mathrm {Leg}_i\), then the corresponding weight space of \(M / \langle (1,1,1,1) \rangle \) is 1-dimensional
$$\begin{aligned} {\mathbb {C}}\cong {\mathbb {C}}\cdot {\varvec{i}}_w \subseteq M / \langle (1,1,1,1) \rangle . \end{aligned}$$ -
\(\mathrm {II}\) consists of all weights \(w \in {\mathbb {Z}}^4\), which lie in precisely two legs. If \(w \in \mathrm {II}\) is supported in \(\mathrm {Leg}_i\) and \(\mathrm {Leg}_j\), then the corresponding weight space of \(M / \langle (1,1,1,1) \rangle \) is 1-dimensional
$$\begin{aligned} {\mathbb {C}}\cong {\mathbb {C}}\cdot {\varvec{i}}_w \oplus {\mathbb {C}}\cdot {\varvec{j}}_w / {\mathbb {C}}\cdot ({\varvec{i}}_w + {\varvec{j}}_w) \subseteq M / \langle (1,1,1,1) \rangle . \end{aligned}$$ -
\(\mathrm {III}\) consists of all weights \(w \in {\mathbb {Z}}^4\), which lie in precisely three legs. If \(w \in \mathrm {III}\) is supported in \(\mathrm {Leg}_i\), \(\mathrm {Leg}_j\), and \(\mathrm {Leg}_k\), then the corresponding weight space of \(M / \langle (1,1,1,1) \rangle \) is 2-dimensional
$$\begin{aligned} {\mathbb {C}}^2 \cong {\mathbb {C}}\cdot {\varvec{i}}_w \oplus {\mathbb {C}}\cdot {\varvec{j}}_w \oplus {\mathbb {C}}\cdot {\varvec{k}}_w / {\mathbb {C}}\cdot ({\varvec{i}}_w + {\varvec{j}}_w + {\varvec{k}}_w) \subseteq M / \langle (1,1,1,1) \rangle . \end{aligned}$$ -
\(\mathrm {IV}\) consists of all weights \(w \in {\mathbb {Z}}^4\), which lie in all four legs. If \(w \in \mathrm {IV}\), then the corresponding weight space of \(M / \langle (1,1,1,1) \rangle \) is 3-dimensional
$$\begin{aligned} {\mathbb {C}}^3 \!\cong \! {\mathbb {C}}\cdot {\varvec{1}}_w \oplus {\mathbb {C}}\cdot {\varvec{2}}_w \oplus {\mathbb {C}}\cdot {\varvec{3}}_w \oplus {\mathbb {C}}\cdot {\varvec{4}}_w / {\mathbb {C}}\cdot ({\varvec{1}}_w \!+\! {\varvec{2}}_w \!+\! {\varvec{3}}_w \!+\! {\varvec{4}}_w) \subseteq M / \langle (1,1,1,1) \rangle . \end{aligned}$$
Box configurations. A box configuration is a finite collection of weights \(B \subseteq \mathrm {II} \cup \mathrm {III} \cup \mathrm {IV} \cup \mathrm {I}^-\) satisfying the following property:
if \(w = (w_1,w_2,w_3,w_4) \in \mathrm {II} \cup \mathrm {III} \cup \mathrm {IV} \cup \mathrm {I}^-\) and one of \((w_1-1,w_2,w_3,w_4)\), \((w_1,w_2-1,w_3,w_4)\), \((w_1,w_2,w_3-1,w_4)\), or \((w_1,w_2,w_3,w_4-1)\) lies in B then \(w \in B\).
A box configuration determines a \(({\mathbb {C}}^*)^4\)-invariant submodule of \(M / \langle (1,1,1,1) \rangle \) and therefore a \(({\mathbb {C}}^*)^4\)-invariant stable pair on \(U_\alpha \cong {\mathbb {C}}^4\) with cokernel of length
The box configurations defined in this section do not describe all \(({\mathbb {C}}^*)^4\)-invariant submodules of \(M / \langle (1,1,1,1) \rangle \). In this paper, we always work with Assumption 0.1 from the introduction, i.e. \(\bigcup _n P_n(X,\beta )^{({\mathbb {C}}^*)^4}\) is at most 0-dimensional. Then the restriction of any T-fixed stable pair (F, s) on X to any chart \(U_\alpha \) has a Cohen–Macaulay support curve with at most two asymptotic plane partitions and is described by a box configuration as above. See [8, Prop. 2.5, 2.6]:
Lemma 1.4
Suppose \(\bigcup _n P_n(X,\beta )^{({\mathbb {C}}^*)^4}\) is at most 0-dimensional. Then for any \([(F,s)] \in P_n(X,\beta )^{({\mathbb {C}}^*)^4}\) and any \(\alpha \in V(X)\), the Cohen-Macaulay curve \(C_F |_{U_\alpha }\) has at most two asymptotic plane partitions.
Lemma 1.5
Suppose \(\bigcup _n P_n(X,\beta )^{({\mathbb {C}}^*)^4}\) is at most 0-dimensional. Then, for any \(n \in {\mathbb {Z}}\), \(P_n(X,\beta )^{T} = P_n(X,\beta )^{({\mathbb {C}}^*)^4}\) consists of finitely many reduced points.
2.2 K-theory class of obstruction theory
Let X be a toric Calabi–Yau 4-fold and consider the cover \(\{U_\alpha \}_{\alpha \in V(X)}\) by maximal \(({\mathbb {C}}^*)^4\)-invariant affine open subsets. We discuss the DT and PT case simultaneously. Let \(E = I_Z\), with \(Z\in I^T = I_n(X,\beta )^T\), or \(E = I^{\scriptscriptstyle \bullet }\), with \([I^{\scriptscriptstyle \bullet }= \{{\mathcal {O}}_X \rightarrow F\} ] \in P^T = P_n(X,\beta )^T\). In the stable pairs case, we impose Assumption 0.1 of the introduction so \(P^T = P^{({\mathbb {C}}^*)^4}\) is at most 0-dimensional by Proposition 1.5. We are interested in the class
Note that in this section, we work with the full torus \(({\mathbb {C}}^*)^4\). In the next section, we will restrict to the Calabi–Yau torus \(T \subseteq ({\mathbb {C}}^*)^4\) when taking square roots. This class can be computed by a Čech calculation introduced for smooth toric 3-folds in [23, 33]. In the case of toric 4-folds, the calculation was done in [8, Sect. 2.4]. We briefly recall the results from loc. cit.
Consider the exact triangle
where \(E' = {\mathcal {O}}_Z\) when \(E = I_Z\), and \(E' = F\) when \(E = I^{\scriptscriptstyle \bullet }\). In both cases, \(E'\) is 1-dimensional. Define \(U_{\alpha \beta } := U_\alpha \cap U_\beta \), \(U_{\alpha \beta \gamma } := U_\alpha \cap U_\beta \cap U_\gamma \), etc., and let \(E_\alpha := E|_{U_{\alpha }}\), \(E_{\alpha \beta } := E|_{U_{\alpha \beta }}\) etc. The local-to-global spectral sequence, calculation of sheaf cohomology with respect to the Čech cover \(\{U_\alpha \}_{\alpha \in V(X)}\), and the fact that \(E'\) is 1-dimensional give
On \(U_\alpha \cong {\mathbb {C}}^4\), we use coordinates \(x_1,x_2,x_3, x_4\) such that the \(({\mathbb {C}}^*)^4\)-action is
Denote the T-character of \(E'|_{U_\alpha }\) by
In the case \(E' = {\mathcal {O}}_Z\), the scheme \(Z|_{U_\alpha }\) corresponds to a solid partition \(\pi ^{(\alpha )}\) as described in Sect. 1.1 and
When \(E' = F\), we use the short exact sequence
where C is the Cohen-Macaulay support curve and Q is the cokernel. Then
where \({\mathcal {O}}_C|_{U_\alpha }\) is described by a solid partition \(\pi ^{(\alpha )}\) and \(Q|_{U_\alpha }\) is described by a box configuration \(B^{(\alpha )}\) as in Sect. 1.1 (by Assumption 0.1). In this case, \({\text {tr}}_{{\mathcal {O}}_C|_{U_\alpha }}\) is given by the RHS of (12). Moreover, \({\text {tr}}_{Q|_{U_\alpha }}\) is the sum of \(t^w\) over all \(w \in B^{(\alpha )}\).
For any \(\alpha \beta \in E(X)\), we consider
In both cases, \(E = I_Z\) and \(E = I^{\scriptscriptstyle \bullet }\), there is an underlying Cohen-Macaulay curve \(C|_{U_{\alpha \beta }}\). Suppose in both charts \(U_\alpha , U_\beta \), the line \(L_{\alpha \beta } \cong {\mathbb {P}}^1\) is given by \(\{x_2 = x_3 = x_4 = 0\}\). Note that \(U_{\alpha \beta } \cong {\mathbb {C}}^* \times {\mathbb {C}}^3\). Then \(C|_{U_{\alpha \beta }}\) is described by a point-like plane partition \(\lambda _{\alpha \beta }\) (its cross-section along the \(x_1\)-axis) and
Using an equivariant resolution of \(E_\alpha \), \(E_{\alpha \beta }\), one readily obtains the following formulae for the T-representations of \(-{\mathbf {R}}\mathrm {Hom}(E_\alpha ,E_\alpha )_0\), \({\mathbf {R}}\mathrm {Hom}(E_{\alpha \beta },E_{\alpha \beta })_0\) (see [8, Sect. 2.4], which is based on the original calculation in [23])
where \(\overline{(\cdot )}\) is the involution on \(K_0^T(\mathrm {pt})\) mentioned in the introduction and
As in [23], one has to be careful about the precise meaning of (15). For instance, in the DT case, when \(\pi ^{(\alpha )}\) is point-like, the formula for \({\text {tr}}_{-{\mathbf {R}}\mathrm {Hom}(E_\alpha ,E_\alpha )_0}\) in (15) is Laurent polynomial in the variables \(t_i\). However, when \(\pi ^{(\alpha )}\) is curve-like, the infinite sum (12) for \(Z_{\alpha }\) first has to be expressed as a rational function and \({\text {tr}}_{-{\mathbf {R}}\mathrm {Hom}(E_\alpha ,E_\alpha )_0}\) is then viewed as a rational function in the variables \(t_i\).
The problem with (15) is that it consists of rational functions in \(t_1,t_2,t_3,t_4\). From [23], we learn how to redistribute terms in such a ways that we obtain Laurent polynomials. Let \(\beta _1,\beta _2,\beta _3,\beta _4\) be the vertices neighbouring \(\alpha \). DefineFootnote 8
where \(\{t_{i}, t_{i'}, t_{i''}, t_{i'''} \} = \{t_1, t_2, t_3, t_4\}\) and
corresponds to the coordinate transformation \(U_\alpha \rightarrow U_\beta \) and \(m_{\alpha \beta }, m'_{\alpha \beta }, m''_{\alpha \beta }\) are the weights of the normal bundle of \(L_{\alpha \beta }\) defined in (5). Then
and \({\mathsf {V}}_\alpha \), \({\mathsf {E}}_{\alpha \beta }\) are Laurent polynomials for all \(\alpha \in V(X)\) and \(\alpha \beta \in E(X)\) by [8, Prop. 2.11].
Remark 1.6
When we want to stress the dependence on \(Z_\alpha \), \(Z_{\alpha \beta }\) and distinguish between the DT/PT case, we write \({\mathsf {V}}_{Z_\alpha }^{\mathrm {DT}}\), \({\mathsf {V}}_{Z_\alpha }^{\mathrm {PT}}\), \({\mathsf {E}}_{Z_{\alpha \beta }}^{\mathrm {DT}}\), \({\mathsf {E}}_{Z_{\alpha \beta }}^{\mathrm {PT}}\) for the classes introduced in (17).
2.3 Taking square roots
Let \(\alpha \in V(X)\). As before, denote by \(\beta _1, \ldots , \beta _4 \in V(X)\) the vertices neighbouring \(\alpha \) and labelled such that \(L_{\alpha \beta _i} = \{x_{i'}=x_{i''} = x_{i'''} = 0\}\), where \(\{i',i'',i'''\} = \{1,2,3,4\} {\setminus } \{i\}\). We define
where \(P_{23} :=(1-t_2)(1-t_3)\) etc. In these formulae, there is an asymmetry with respect to the fourth leg, which we discuss below in Remark 1.10. Also note that these formulae become symmetric in 1,2,3 when the fourth leg is empty, i.e. \(Z_{\alpha \beta _4} = 0\). Recall that in the PT case, we impose Assumption 0.1 and there is no fourth leg. We stress that, at this point, we do not yet impose the relation \(t_1t_2t_3t_4=1\).
The first observation is that \({\mathsf {v}}_\alpha \) and \({\mathsf {e}}_{\alpha \beta }\) are Laurent polynomials in the variables \(t_1,t_2,t_3,t_4\). Indeed in the expression for \({\mathsf {e}}_{\alpha \beta _i}\) (18), both numerator and denominator vanish at \(t_i = 1\), so the pole in \(t_i=1\) cancels. In order to see that \({\mathsf {v}}_{\alpha }\) is a Laurent polynomial, one shows that it has no pole in \(t_i=1\) for each \(i=1,2,3,4\). Indeed, substituting
into (18), where \(\cdots \) does not contain poles in \(t_i=1\), one finds that all poles in \(t_i=1\) cancel.
Now we restrict to the Calabi–Yau torus \(t_1t_2t_3t_4=1\). Using definition (18), we find
for all \(\alpha \in V(X)\) and \(\alpha \beta \in E(X)\). This follows from a straight-forward calculation using \(t_1t_2t_3t_4=1\) and the following two identities (and their permutations)
Finally we note that, after setting \(t_1t_2t_3t_4=1\), \({\mathsf {v}}_\alpha \) and \({\mathsf {e}}_{\alpha \beta }\) do not have T-fixed part with positive coefficient. This follows from the fact that \({\mathsf {V}}_\alpha \) and \({\mathsf {E}}_{\alpha \beta }\) do not have T-fixed terms with positive coefficient (see comments in [8, Def. 2.12]). We therefore established the following:
Lemma 1.7
The classes \({\mathsf {v}}_\alpha \), \({\mathsf {e}}_{\alpha \beta }\) are Laurent polynomials in \(t_1,t_2,t_3,t_4\). When \(t_1t_2t_3t_4=1\), they satisfy the following equations
Moreover, for \(t_1t_2t_3t_4=1\), \({\mathsf {v}}_\alpha \), \({\mathsf {e}}_{\alpha \beta }\) do not have T-fixed part with positive coefficient.
Remark 1.8
When we want to stress the dependence on \(Z_\alpha \), \(Z_{\alpha \beta }\) and distinguish between the DT/PT case, we write \({\mathsf {v}}_{Z_\alpha }^{\mathrm {DT}}\), \({\mathsf {v}}_{Z_\alpha }^{\mathrm {PT}}\), \({\mathsf {e}}_{Z_{\alpha \beta }}^{\mathrm {DT}}\), \({\mathsf {e}}_{Z_{\alpha \beta }}^{\mathrm {PT}}\) for the classes introduced in this subsection.
Remark 1.9
In the case of \(I_n({\mathbb {C}}^4,0)\), the possibility of an explicit choice of of square root of \({\mathsf {V}}_{\alpha }\) first appeared in [28] and was kindly explained to us by Piazzalunga. The choice of square root in (18) is non-unique. For instance, in the case of \(I_n({\mathbb {C}}^4,0)\), [28] instead work with \({\mathsf {v}}_\alpha = Z_\alpha - P_{123} Z_\alpha {\overline{Z}}_\alpha \). Our choice is convenient when taking limits in Sect. 2.
Remark 1.10
Our choice of square root (18) is asymmetric in the indices 1, 2, 3, 4, i.e. index 4 is singled out. Later, when we add the insertion of Definition 0.2 (giving \(\widetilde{{\mathsf {v}}}_\alpha \) in (19)), we want to single out the fourth direction. Putting \(y=t_4\), we want \([-\widetilde{{\mathsf {v}}}_\alpha ]\) equal to zero when \(Z_\alpha \) is not scheme theoretically supported in the hyperplane \(\{x_4=0\}\) and we want \([-\widetilde{{\mathsf {v}}}_\alpha ]\) equal to the vertex of DT/PT theory of the toric 3-fold \(\{x_4 = 0\} \cong {\mathbb {C}}^3\) when \(Z_\alpha \) is scheme theoretically supported in \(\{x_4=0\}\) (Proposition 2.1).
2.4 K-theoretic insertion
We turn our attention to the K-theoretic insertion in Definition 0.2. Using \({\mathsf {v}}_{\alpha }\), \({\mathsf {e}}_{\alpha \beta }\) defined in the previous section, we define
Then
Lemma 1.11
The classes \(\widetilde{{\mathsf {v}}}_\alpha \), \(\widetilde{{\mathsf {e}}}_{\alpha \beta }\) are Laurent polynomials in \(t_1,t_2,t_3,t_4\).
Proof
By Lemma 1.7, \({\mathsf {v}}_\alpha \), \({\mathsf {e}}_{\alpha \beta }\) are Laurent polynomials in \(t_1,t_2,t_3,t_4\). Therefore, it suffices to only consider terms involving y, for which it is easy to see that all poles in \(t_i=1\) (\(i=1,2,3,4\)) cancel. \(\square \)
Remark 1.12
When we want to stress the dependence on \(Z_\alpha \), \(Z_{\alpha \beta }\) and distinguish between the DT/PT case, we write \(\widetilde{{\mathsf {v}}}_{Z_\alpha }^{\mathrm {DT}}\), \(\widetilde{{\mathsf {v}}}_{Z_\alpha }^{\mathrm {PT}}\), \(\widetilde{{\mathsf {e}}}_{Z_{\alpha \beta }}^{\mathrm {DT}}\), \(\widetilde{{\mathsf {e}}}_{Z_{\alpha \beta }}^{\mathrm {PT}}\) for the classes introduced in (19).
We introduce some further notations. On each chart \(U_\alpha \cong {\mathbb {C}}^4\) with coordinates \((x_1^{(\alpha )},x_2^{(\alpha )},x_3^{(\alpha )},x_4^{(\alpha )})\) the \(({\mathbb {C}}^*)^4\)-action is given by
for some characters \(\chi _i^{(\alpha )} : ({\mathbb {C}}^*)^4 \rightarrow {\mathbb {C}}^*\) with \(i=1,2,3,4\). We recall that both fixed loci \(I^T\), \(P^T\) consists of finitely many fixed points, giving rise to local data
In DT case, \(Z_{\alpha }\) are point- or curve-like solid partitions and \(Z_{\alpha \beta }\) are finite plane partitions. In the PT case, \(Z_{\alpha }\) are box configurations (see (13)) and \(Z_{\alpha \beta }\) are finite plane partitions. Recall that in the stable pairs case we impose Assumption 0.1 from the introduction. Finally, we introduce the following notation. For any \(t_1^{w_1}t_2^{w_2}t_3^{w_3}t_4^{w_4} y^{a} \in K_0^{T\times {\mathbb {C}}^*}(\mathrm {pt})\), we set
and we extend this definition to \(K_0^{T \times {\mathbb {C}}^*}(\mathrm {pt})\) by setting
where we use multi-index notation \(\tau := (t_1,t_2,t_3,t_4,y)\) and this expression is only defined when no index b equals 0.
Theorem 1.13
Let X be a toric Calabi–Yau 4-fold, \(\beta \in H_2(X,{\mathbb {Z}})\) and \(n \in {\mathbb {Z}}\). Let L be a T-equivariant line bundle on X and denote the character of \(L|_{U_\alpha }\) by \(\gamma ^{(\alpha )}(t) \in K_0^T(U_\alpha )\). Then
where the sums are over all T-fixed points \(Z =\big (\{Z_\alpha \}_{\alpha \in V(X)}, \{Z_{\alpha \beta }\}_{\alpha \beta \in E(X)}\big )\) and \(\widetilde{{\mathsf {v}}}_{Z_\alpha }, \widetilde{{\mathsf {e}}}_{Z_{\alpha \beta }}\) are evaluated at
Proof
We discuss the DT case; the PT case is similar. We suppose \(L = {\mathcal {O}}_X\) and discuss the general case afterwards. For any \(Z \in I^T\), we have
By Lemma 1.7,
At any fixed point \(Z\in I^T\), we have
where \({\mathcal {O}}_X^{[n]}\) was defined in (1). Calculation by Čech cohomology gives
As T-representations, \({\text {tr}}_{\Gamma (U_\alpha , {\mathcal {O}}_{Z_\alpha })} = Z_\alpha \), where \(Z_{\alpha }\) was defined in (12). Suppose \({\mathbb {P}}^1 \cong L_{\alpha \beta } = \{x_2^{(\alpha )}=x_3^{(\alpha )}=x_4^{(\alpha )}=0\}\), i.e. leg \(Z_{\alpha \beta }\) is along the \(x_1^{(\alpha )}\)-axis, then
where \(\chi ^{(\alpha )}_1(t)\) denotes the character corresponding to the \(({\mathbb {C}}^*)^4\)-action on the first coordinate of \(U_{\alpha \beta } \cong {\mathbb {C}}^* \times {\mathbb {C}}^3\) and \(\delta (t)\) was defined in (16). Next, we use the following essential identity
for any T-equivariant line bundle \({\mathcal {L}}\). Hence
Furthermore, we recall the following relations in the K-group
From (21), (22), (24), and the fact that \({\text {ch}}(\cdot )\) is a ring homomorphism, we at once deduce
where \({\mathsf {v}}_{Z_\alpha }, {\mathsf {e}}_{Z_{\alpha \beta }}\) were defined in (18). Using multi-index notation for \(t = (t_1,t_2,t_3,t_4)\), where \(t_1t_2t_3t_4=1\), we write
Note that \( {\mathsf {v}}_{Z_\alpha }\), \({\mathsf {e}}_{Z_{\alpha \beta }}\), \(Z_{\alpha \beta }\) are all Laurent polynomials (Lemma 1.7). However, \(Z_\alpha \) is in general a Laurent series (we will redistribute its term shortly). Combining (23) and (25), we find
where, for each \(\alpha \in V(X)\) and \(\alpha \beta \in E(X)\), the corresponding terms in the product are evaluated in
The terms in the products over \(u_{Z_\alpha }, u_{Z_{\alpha \beta }}\) can be “absorbed” into \({\mathsf {v}}_\alpha \), \({\mathsf {e}}_{\alpha \beta }\). This can be achieved by distributing
over \({\mathsf {v}}_\alpha \), \({\mathsf {e}}_{\alpha \beta }\) as in (19). We conclude
This finishes the case \(L = {\mathcal {O}}_X\). Replacing y by
establishes the general case. \(\square \)
Remark 1.14
In the case \(I_n({\mathbb {C}}^4,0)\), which is discussed in [28], our definition of \(\widetilde{{\mathsf {v}}}_{Z_\alpha }\) (19) differs slightly from loc. cit., who take \((1-y^{-1})Z_\alpha - P_{123} Z_\alpha {\overline{Z}}_\alpha \). The difference of the second term was discussed in Remark 1.9. The difference of the y-term is explained as follows. For \(I_n({\mathbb {C}}^4,0)\), Nekrasov–Piazzalunga consider the invariant defined in Definition 0.2 but with \(L^{[n]} \otimes y^{-1}\) replaced by \((L^{[n]})^{\vee } \otimes y\) (and \(L = {\mathcal {O}}_X\)). Note the following two identities
for any \(E \in K_0^{T \times {\mathbb {C}}^*}(\mathrm {pt})\). This shows at once that our definition differs from loc. cit. by an overall factor \((-1)^n\). In the vertex formalism, it results in replacing \(y {\overline{Z}}_\alpha \) by \(y^{-1} Z_\alpha \) in (19).
We end with an observation about the powers of the equivariant parameters. The expressions \([-\widetilde{{\mathsf {v}}}_{\alpha }]\), \([-\widetilde{{\mathsf {e}}}_{\alpha \beta }]\) a priori involve half-integer powers of \(t_1,t_2,t_3,t_4\) (formal square roots). In fact, taking a single leg of multiplicity one with weights \(m_{\alpha \beta } = 0\), \(m'_{\alpha \beta } = -1\), \(m''_{\alpha \beta } = -1\) already shows that non-integer powers indeed occur in the edge. Nonetheless, for the vertex we have the following:
Proposition 1.15
We have
Proof
We first consider the case that \(Z_\alpha \) satisfies \(Z_{\alpha \beta _1}=Z_{\alpha \beta _2}=Z_{\alpha \beta _3}=Z_{\alpha \beta _4} = 0\). As before, we will use multi-index notation for \(t = (t_1,t_2,t_3,t_4)\). A monomial \( \pm t^v\) in \(\widetilde{{\mathsf {v}}}_{\alpha }\) contributes as follows to \([-\widetilde{{\mathsf {v}}}_{\alpha }]\):
Hence, non-integer powers can only come from \(t^{ \mp \frac{v}{2}} = (\det ( \mp t^{v}))^{\frac{1}{2}}\). Therefore, it suffices to calculate \((\det (\cdot ))^{\frac{1}{2}}\) of
Writing \(Z_\alpha = \sum _{u} t^u\), we find
where we used that \(\det ({\overline{P}}_{123} Z_\alpha {\overline{Z}}_\alpha ) = 1\).
For the general case, write \(Z_\alpha = \sum _{i=1}^4 \frac{Z_{\alpha \beta _i}}{1-t_i} + W\), where W is a Laurent polynomial. Next, substitute this expression for \(Z_\alpha \) into definition (19) of \(\widetilde{{\mathsf {v}}}_{\alpha }\) and cancel all poles. Up to this point in the calculation, the relation \(t_1t_2t_3t_4=1\) is not imposed. Then, similar to the calculation above, taking \((\det (\cdot ))^{\frac{1}{2}}\) of the resulting Laurent polynomial gives only integer powers of \(t_i\). \(\square \)
2.5 K-theoretic 4-fold vertex
Let \(\lambda , \mu , \nu , \rho \) be plane partitions of finite size. This determines a T-fixed Cohen-Macaulay curve \(C \subseteq {\mathbb {C}}^4\) with solid partition defined by (9). We denote this solid partition by \(\pi _{\mathrm {CM}}(\lambda ,\mu ,\nu ,\rho )\). Consider the following:
-
All T-fixed closed subschemes \(Z \subseteq {\mathbb {C}}^4\) with underlying maximal Cohen-Macaulay subcurve C. These correspond to solid partitions \(\pi \) with asymptotic plane partitions \(\lambda ,\mu ,\nu ,\rho \) in directions 1, 2, 3, 4. We denote the collection of such solid partitions by \(\Pi ^{\mathrm {DT}}(\lambda ,\mu ,\nu ,\rho )\). Any \(\pi \in \Pi ^{\mathrm {DT}}(\lambda ,\mu ,\nu ,\rho )\) determines a character \(Z_\pi \) defined by the RHS of (12) and hence, by (19), a Laurent polynomial
$$\begin{aligned} \widetilde{{\mathsf {v}}}_{\pi }^{\mathrm {DT}} \in {\mathbb {Q}}[t_1^{\pm 1},t_2^{\pm 1},t_3^{\pm 1},t_4^{\pm 1},y] / (t_1t_2t_3t_4-1). \end{aligned}$$ -
Assume at most two of \(\lambda , \mu , \nu , \rho \) are non-empty. Consider all T-fixed stable pairs (F, s) on X with underlying Cohen-Macaulay support curve C. These correspond to box configurations as described in Sect. 1.1. We denote the collection of these box configurations by \(\Pi ^{\mathrm {PT}}(\lambda ,\mu ,\nu ,\rho )\). Any \(B \in \Pi ^{\mathrm {PT}}(\lambda ,\mu ,\nu ,\rho )\) determines a character \(Z_B\) defined by the RHS of (13), where the Cohen-Macaulay part is given by (12) with solid partition \(\pi _{\mathrm {CM}}(\lambda ,\mu ,\nu ,\rho )\). By (19), this determines a Laurent polynomial
$$\begin{aligned} \widetilde{{\mathsf {v}}}_{B}^{\mathrm {PT}} \in {\mathbb {Q}}[t_1^{\pm 1},t_2^{\pm 1},t_3^{\pm 1},t_4^{\pm 1},y] / (t_1t_2t_3t_4-1). \end{aligned}$$
Definition 1.16
Let \(\lambda , \mu , \nu , \rho \) be plane partitions of finite size. Define the DT 4-fold vertex by
where \(o({\mathcal {L}})|_\pi = 0,1\) denotes a choice of sign for each \(\pi \), \([\cdot ]\) was defined in (20), \(|\pi |\) denotes renormalized volume (Definition 1.2), and RHS is well-defined by Lemma 1.7. Note that the powers of \(t_i\) are integer by Proposition 1.15.
Next, suppose at most two of \(\lambda , \mu , \nu , \rho \) are non-empty. Define the PT 4-fold vertex by
where \(o({\mathcal {L}})|_B = 0,1\) denotes a choice of sign for each B, |B| denotes the total number of boxes in the box configuration, and \(|\pi _{\mathrm {CM}}(\lambda , \mu , \nu , \rho )|\) denotes renormalized volume. We often omit \(o({\mathcal {L}})\) from the notation.
Similarly, to any finite plane partition \(\lambda \), we associate a character \(Z_\lambda \) defined by RHS of (14). We then define edge terms
where \(\widetilde{{\mathsf {e}}}_{Z_\lambda }\) was defined in (19).
The vertex formalism reduces the calculation of \(I_{n,\beta }(L,y), P_{n,\beta }(L,y)\) for any toric Calabi–Yau 4-fold X, \(\beta \in H_2(X,{\mathbb {Z}})\), and \(n \in {\mathbb {Z}}\) to a combinatorial expression involving \({\mathsf {V}}_{\lambda \mu \nu \rho }\) and \({\mathsf {E}}_{\lambda }\). We illustrate this in a sufficiently general example. Let X be the total space of \({\mathcal {O}}_{{\mathbb {P}}^2}(-1) \oplus {\mathcal {O}}_{{\mathbb {P}}^2}(-2)\). Let \(\beta = d\,[{\mathbb {P}}^1]\), where \({\mathbb {P}}^1\) lies in the zero section \({\mathbb {P}}^2 \subseteq X\), and let L be a T-equivariant line bundle on X. Denote the characters of \(L|_{U_\alpha }\), \(L|_{U_{\alpha \beta }}\) by \(\gamma ^{(\alpha )}(t) \in K_0^T(U_\alpha )\), \(\gamma ^{(\alpha \beta )}(t) \in K_0^T(U_{\alpha \beta })\) for all \(\alpha =1,2,3\) and all \(\alpha \beta \). Then Lemma 1.3 and Theorem 1.13 imply
where the sum is over all finite plane partitions \(\lambda , \mu , \nu \) satisfying \(|\lambda |+|\mu |+|\nu | = d\). Here the choice of signs for the invariants \( I_{n,\beta }(L,y)\) is determined by the choice of signs in each vertex and edge term. Replacing \(\mathrm {DT}\) by \(\mathrm {PT}\), the same expression holds for the generating function of \(P_{n,\beta }(L,y)\).
We conjecture that the DT/PT 4-fold vertex satisfy Conjecture 0.6. As above, for finite plane partitions \(\lambda , \mu , \nu , \rho \), we denote by \(\pi _{\mathrm {CM}}(\lambda ,\mu ,\nu ,\rho )\) the curve-like solid partition corresponding to the Cohen-Macaulay curve with “asymptotics” \(\lambda , \mu , \nu , \rho \). We normalize the DT/PT 4-fold vertex so they start with \(q^0\) (whose coefficient is in general not equal to 1). This is achieved by multiplying by \(q^{-|\pi _{\mathrm {CM}}(\lambda ,\mu ,\nu ,\rho )|}\).
Using the vertex formalism, we verified the following cases:
Proposition 1.17
There are choices of signs such that
in the following cases:
-
for any \(|\lambda | + |\mu | + |\nu | + |\rho | \leqslant 1\) and \(N=4\),
-
for any \(|\lambda | + |\mu | + |\nu | + |\rho | \leqslant 2\) and \(N=4\),
-
for any \(|\lambda | + |\mu | + |\nu | + |\rho | \leqslant 3\) and \(N=3\),
-
for any \(|\lambda | + |\mu | + |\nu | + |\rho | \leqslant 4\) and \(N=3\).
In each of these cases, the uniqueness statement of Conjecture 0.6 holds.
Remark 1.18
(Sign rule) Let X be a toric Calabi–Yau 4-fold and \(\beta \in H_2(X,{\mathbb {Z}})\). Let \(Z =\{\{Z_\alpha \}_{\alpha \in V(X)}, \{Z_{\alpha \beta }\}_{\alpha \beta \in E(X)}\}\) be an element of the fixed locus \(\bigcup _n I_n(X,\beta )^T\). Consider charts \(U_\alpha \cong {\mathbb {C}}^4\) and \(U_{\alpha \beta } \cong {\mathbb {C}}^* \times {\mathbb {C}}^3\). Suppose that \(Z_\alpha , Z_{\alpha \beta }\) are set theoretically (but not necessarily scheme theoretically!) contained in \(\{x_4=0\}\). Denote by \(\pi \) the solid partition corresponding to \(Z_\alpha \), then we define
where \((a,a,a,d) \in \pi \) means \(1 \leqslant d \leqslant \pi _{aaa}\). When \(Z_\alpha \) is 0-dimensional, this reduces to \( \sigma _{\mathrm {DT}}(Z_\alpha ) = (-1)^{|\pi | + \# \{ (a,a,a,d) \in \pi \, : \, a < d\} }, \) which coincides with the sign discovered by Nekrasov–Piazzalunga [28, (2.60)].Footnote 9 Then \(\sigma _{\mathrm {DT}}(Z_\alpha )\) produces the correct unique signs (up to overall sign) in our verifications of Conjecture 0.6 as listed in Proposition 1.17. A similar formula appears to hold on the stable pair side.Footnote 10 Denote by \(\lambda \) the plane partition corresponding to \(Z_{\alpha \beta }\), then we define
This produces the unique signs in our verifications of Conjecture 0.16 as listed in Proposition B.2 (and it is also consistent with the signs required in the calculations in [9]).
We now show that Conjecture 0.6 implies Theorem 0.7 (global K-theoretic DT/PT correspondence).
Proof of Theorem 0.7
For ease of notation, we consider the case where \(X=\mathrm {Tot}_{{\mathbb {P}}^2} ({\mathcal {O}}(-1) \oplus {\mathcal {O}}(-2))\) and \(\beta =d\,[{\mathbb {P}}^1]\). The general case follows similarly. Conjecture 0.6 implies that there exist choices of signs such that
\(\square \)
Remark 1.19
Let X be a toric Calabi–Yau 4-fold and let \(I := I_n(X,\beta )\), \(P:=P_n(X,\beta )\). Consider the “virtual holomorphic Euler characteristic” of I
and its stable pairs analogue with I replaced by P. Then one can develop a (simpler) vertex formalism for these invariants. We checked in the case of a single leg of multiplicity one with a single embedded point that the analogue of the DT/PT correspondence (Conjecture 0.6) fails for all choices of signs.
Another natural thing to try is to replace L in Definition 0.2 by a T-equivariant vector bundle of rank 2 or 3 or a K-theory class of rank \(-1\) (more precisely: the class of \(-L\) where L is a T-equivariant line bundle on X). In none of these cases there exists an analogue of the DT/PT correspondence either. The special feature of the tautological insertion of Definition 0.2 is that, after it is absorbed in the vertex as in Sect. 1.4, the vertex \(\widetilde{{\mathsf {v}}}_\alpha \) has rank zero as we will prove in Proposition 2.3 below.
3 Limits of K-Theoretic Conjecture
3.1 Dimensional Reduction
Let X be a toric Calabi–Yau 4-fold and \(\beta \in H_2(X,{\mathbb {Z}})\). Let \(Z = \{\{Z_\alpha \}_{\alpha \in V(X)}, \{Z_{\alpha \beta }\}_{\alpha \beta \in E(X)}\}\) be an element of either of the fixed loci
where we recall Assumption 0.1 from the introduction. We will work in one chart \(U_\alpha \cong {\mathbb {C}}^4\).
Suppose the underlying Cohen-Macaulay curve corresponding to \(Z_{\alpha }\) lies scheme theoretically inside the hyperplane \(\{x_4 = 0\}\). In the stable pairs case, this implies \(Z_\alpha \) is scheme theoretically supported inside \(\{x_4=0\}\), however in the DT case \(Z_\alpha \) may have embedded points “sticking out” of \(\{x_4=0\}\).
Proposition 2.1
If \(Z_\alpha \) lies scheme theoretically in \(\{x_4=0\}\), then \(\widetilde{{\mathsf {v}}}_{Z_\alpha } |_{y = t_4} = {\mathsf {V}}_{Z_\alpha }^{\mathrm {3D}}\), where \({\mathsf {V}}_{Z_{\alpha }}^{\mathrm {3D}}\) is the (fully equivariant) DT/PT vertex of [23, Sect. 4.7–4.9] and [33, Sect. 4.4–4.6]. If the underlying Cohen-Macaulay curve of \(Z_\alpha \) lies scheme theoretically in \(\{x_4=0\}\), but \(Z_\alpha \) does not (which can only happen in the DT case), then \([-\widetilde{{\mathsf {v}}}_{Z_\alpha }] |_{y = t_4} = 0\).
Proof
When \(Z_\alpha \) lies scheme theoretically inside \(\{x_4=0\} \subseteq {\mathbb {C}}^4 =:U_\alpha \), the statement follows at once by comparing (19) to [23, Sect. 4.7–4.9], [33, Sect. 4.4–4.6].
Suppose we consider the DT case and the underlying maximal Cohen-Macaulay curve of \(Z_\alpha \) is scheme theoretically supported in \(\{x_4=0\}\), but \(Z_\alpha \) is not scheme theoretically supported in \(\{x_4=0\}\). The vertex \({\mathsf {v}}_{Z_\alpha }\) does not have T-fixed part with positive coefficient by Lemma 1.7. Therefore, it suffices to consider the T-fixed terms arising from setting \(y=t_4 = (t_1t_2t_3)^{-1}\) in the y-dependent part of \(\widetilde{{\mathsf {v}}}_{Z_\alpha }\).
As usual, we write
where \(\beta _1,\beta _2,\beta _3\) are the vertices in \(\{x_4=0\}\) neighbouring \(\alpha \) and W is a Laurent polynomial in \(t_1,t_2,t_3,t_4\). The only terms involving y in \(\widetilde{{\mathsf {v}}}_{Z_\alpha }\) are \(-y {\overline{W}}\). Since \(Z_\alpha \) is not scheme theoretically supported inside \(\{x_4=0\}\), W contains the term \(+t_4\). Setting \(y=t_4\) this term contributes
Furthermore, the underlying maximal Cohen-Macaulay curve of \(Z_\alpha \) is contained in \(\{x_4 = 0\}\), so all negative terms of W are of the form \(-t_1^{w_1} t_2^{w_2}t_3^{w_3}\) with \(w_1, w_2, w_3 \geqslant 0\). Therefore W does not contain terms of the form \(-t_4\) (which equals \(-t_1^{-1} t_2^{-1} t_3^{-1}\)). Hence \(\widetilde{{\mathsf {v}}}_{Z_\alpha }|_{y=t_4}\) has negative T-fixed part and the proposition follows. \(\square \)
Remark 2.2
Consider a chart \(U_{\alpha \beta } \cong {\mathbb {C}}^* \times {\mathbb {C}}^3\) and suppose in both charts \(U_\alpha , U_\beta \), the line \(L_{\alpha \beta } \cong {\mathbb {P}}^1\) is given by \(\{x_2 = x_3 = x_4 = 0\}\). Suppose \(m_{\alpha \beta }''=0\). Consider a Cohen-Macaulay curve \(Z_{\alpha \beta }\) which is scheme theoretically supported on \(\{x_4=0\}\). Then, similar to Proposition 2.1, \(\widetilde{{\mathsf {e}}}_{Z_{\alpha \beta }} |_{y = t_4} = {\mathsf {E}}_{Z_{\alpha \beta }}^{\mathrm {3D}}\), where \({\mathsf {E}}_{Z_{\alpha \beta }}^{\mathrm {3D}}\) is the fully equivariant DT (and therefore PT) edge of [23, Sect. 4.7–4.9].
Proof of Theorem 0.8
The first part of Theorem 0.8 is an immediate corollary of Proposition 2.1. Note that on RHS we obtain \(-q\) due to our choice of signs.Footnote 11
For the second part of Theorem 0.8, we choose signs as in Conjecture 0.6 and we assume this can be done compatibly with the choice of signs of all T-fixed points which are scheme theoretically supported on \(\{x_4=0\}\) as stated in the theorem. Then the second part of the theorem follows. \(\square \)
Proof of Theorem 0.10
We recall the vertex formalism for K-theoretic DT invariants of toric 3-folds from [2, 27, 31] (the stable pairs case is similar). We have
where \(T_{I}^{\mathrm {vir}}|_Z\) is the virtual tangent bundle, i.e. dual perfect obstruction theory, of \(I:= I_n(D,\beta )\) at Z, \(\mathrm {Ob}_I := h^1(T_I^{\mathrm {vir}})\), and the square root exists by [27, Sect. 6]. Note that for different choices of square roots \((K_I^{\mathrm {vir}}|_Z)^{\frac{1}{2}}\), the first Chern class (modulo torsion) does not change, so the invariants remain the same (see also [2, Section 2.5]). Moreover \(N^{\mathrm {vir}}|_Z\) denotes the \(({\mathbb {C}}^*)^3\)-moving part of \(T_{I}^{\mathrm {vir}}|_Z\) and \((\cdot )^f\) denotes \(({\mathbb {C}}^*)^3\)-fixed part. By [23, Lem. 6], \(T_{I}^{\mathrm {vir}}|_Z\) has no \(({\mathbb {C}}^*)^3\)-fixed terms with positive coefficients,Footnote 12 hence
From (23) and (24), we deduceFootnote 13
where the sums are over all T-fixed points \(Z =\big (\{Z_\alpha \}_{\alpha \in V(D)}, \{Z_{\alpha \beta }\}_{\alpha \beta \in E(D)}\big )\) and \({\mathsf {V}}^{\mathrm {3D},\mathrm {DT}}_{Z_\alpha }, {\mathsf {E}}^{\mathrm {3D},\mathrm {DT}}_{Z_{\alpha \beta }}\) are evaluated at the characters of the \(({\mathbb {C}}^*)^3\)-action on \(U_\alpha \cap D\), \(U_{\alpha \beta }\cap D\) respectively.
The generating function \(\sum _n \chi (I_n(D,\beta ), {\widehat{{\mathcal {O}}}}_I^{\mathrm {vir}}) \, q^n\) is calculated using the K-theoretic 3-fold DT vertex \({\mathsf {V}}^{\mathrm {3D},\mathrm {DT}}_{\lambda \mu \nu }(t,q)\) much like in the calculation after Definition 1.16. Since the DT/PT edge coincide [33, Sect. 0.4], the result follows from Theorem 0.8 and a calculation similar to the proof of Theorem 0.7. \(\square \)
3.2 Cohomological limit I
Again, let \(Z = \{\{Z_\alpha \}_{\alpha \in V(X)}, \{Z_{\alpha \beta }\}_{\alpha \beta \in E(X)}\}\) be an element of either of the fixed loci
where we recall Assumption 0.1 from the introduction. We will work in one chart \(U_\alpha \cong {\mathbb {C}}^4\) or \(U_{\alpha \beta } \cong {\mathbb {C}}^* \times {\mathbb {C}}^3\) with standard torus action (6).
Proposition 2.3
For any \(\alpha \in V(X)\) and \(\alpha \beta \in E(X)\), we have
i.e. the ranks of \(\widetilde{{\mathsf {v}}}_{Z_\alpha }\) and \(\widetilde{{\mathsf {e}}}_{Z_{\alpha \beta }}\) are zero.
Let \(Z_{\mathrm {CM},\alpha }\) be the underlying Cohen-Macaulay curve of \(Z_\alpha \) and denote by \(\lambda , \mu , \nu , \rho \) its asymptotic plane partitions. In the DT case, define
In the stable pairs case, define
where \(B^{(\alpha )}\) is the box configuration corresponding to the fixed point \(Z_\alpha \) (13). Then the terms involving y in the Laurent polynomial \(\widetilde{{\mathsf {v}}}_{Z_\alpha }\) are \(- y {\overline{W}}_\alpha \).
Suppose \({\mathbb {P}}^1 \cong L_{\alpha \beta } = \{x_2=x_3=x_4 = 0\}\), i.e. leg \(Z_{\alpha \beta }\) lies along the \(x_1\)-axis. Then the terms involving y in the Laurent polynomial \(\widetilde{{\mathsf {e}}}_{Z_{\alpha \beta }}\) are precisely
Proof
By definition of \(W_\alpha \), we have
where \(Z_{\alpha \beta _i}\), \(W_{\alpha }\) are all Laurent polynomials. Plugging into (19) gives the following identity in \({\mathbb {Z}}[t_1^{\pm 1}, t_2^{\pm 1}, t_3^{\pm 1}, y^{\pm 1}]\)
This implies
Moreover, we find that the only terms in \(\widetilde{{\mathsf {v}}}_{Z_\alpha }\) containing y after redistribution are \(- y {\overline{W}}_\alpha \).
Next we turn our attention to the edge term \(\widetilde{{\mathsf {e}}}_{Z_{\alpha \beta }}\) defined in (19). Multiply numerator and denominator of \(\widetilde{{\mathsf {e}}}_{Z_{\alpha \beta }}\) by \(t_1\) so the denominator becomes \(t_1-1\). Since numerator and denominator both contain a zero at \(t_1=1\), the Laurent polynomial \(\widetilde{{\mathsf {e}}}_{Z_{\alpha \beta }}\) is of the following form
where the term \(O(t_1-1)\) obviously has rank 0. Next, we write
where \(\lambda _{\alpha \beta }\) is the finite plane partition describing \(Z_{\alpha \beta }\). Substituting into (27), one easily finds
Moreover, the terms involving y in (27) are
modulo multiples of \((t_1-1)\). This yields the result. \(\square \)
We set \(t_i = e^{b \lambda _i}\) for all \(i=1,2,3,4\) and \(y = e^{b m}\). The relation \(t_1t_2t_3t_4=1\) translates into \(\lambda _1+\lambda _2+\lambda _3+\lambda _4=0\). We are interested in the limit \(b \rightarrow 0\).
Proposition 2.4
For any \(\alpha \in V(X)\) and \(\alpha \beta \in E(X)\), the following limits
exist in \({\mathbb {Q}}(\lambda _1,\lambda _2,\lambda _3,\lambda _4,m) / (\lambda _1+\lambda _2+\lambda _3+\lambda _4)\).
Proof
Using multi-index notation for \(\tau := (t_1,t_2,t_3,t_4,y)\), where \(t_1t_2t_3t_4=1\), we write
These sums are finite by Lemma 1.7. This representation is unique when we require that the sequences \(\{v\}\), \(\{w\}\) have no elements in common. Proposition 2.3 implies that the number of \(+\) (i.e. “deformation”) and − (i.e. “obstruction”) terms in both expressions are equal, i.e.
Recall that \(\widetilde{{\mathsf {v}}}_{Z_\alpha }\) has no T-fixed part with positive coefficient (Lemma 1.7). When one of the w is zero, \([-\widetilde{{\mathsf {v}}}_{Z_\alpha }] = 0\) and the proposition is clear. Next, write the components of the weight vectors in the sum as follows
and similarly for w. Then
Since the number of factors in numerator and denominator is equal, say \(N = \sum _v 1 = \sum _w 1\), we can divide numerator and denominator by \(b^N\) and deduce that the limit exists and equals
The proof for \(\widetilde{{\mathsf {e}}}_{Z_{\alpha \beta }}\) is similar. \(\square \)
Proof of Theorem 0.12
Consider the generating series
Both series are calculated by the vertex formalism of Theorem 1.13. Proposition 2.4 implies that the limits \(b \rightarrow 0\) exist. Recall that for any equivariant line bundle \({\mathcal {L}}\) we have (23)
Let \(\tau := (t_1,t_2,t_3,t_4,y)\) and use multi-index notation. If \({\mathcal {L}} = \tau ^w\), where \(w = (w_1,w_2,w_3,w_4,w_m)\), we obtain
Therefore, in the DT case, we have
for some \(N \in {\mathbb {Z}}\) (and similarly in the PT case). By equation (28) in the proof of Proposition 2.4, we know \(N=0\). Taking \(b \rightarrow 0\) proves the first part of the theorem.
Next assume Conjecture 0.6 holds. The second part of the theorem follows from Theorem 0.7. \(\square \)
Remark 2.5
Taking the cohomological limit of Proposition 2.4 and setting \(m = -\lambda _1-\lambda _2-\lambda _3\), one recovers the cohomological 3-fold DT/PT vertex from the cohomological 4-fold DT/PT vertex (this follows from Proposition 2.1). Using the vertex formalism, the 4-fold cohomological DT/PT correspondence therefore implies the 3-fold cohomological DT/PT correspondence. This gives the second diagonal arrow of Fig. 1 in the introduction.
3.3 Cohomological limit II
As before, let \(Z =\{\{Z_\alpha \}_{\alpha \in V(X)}, \{Z_{\alpha \beta }\}_{\alpha \beta \in E(X)}\}\) be an element of either of the fixed loci
where we recall Assumption 0.1 from the introduction. We will work in one chart \(U_\alpha \cong {\mathbb {C}}^4\) or \(U_{\alpha \beta } \cong {\mathbb {C}}^* \times {\mathbb {C}}^3\) with standard torus action (6). In the DT case, \(Z_\alpha \) is a point- or curve-like solid partition, whose renormalized volume we denote by \(|Z_\alpha |\). In the stable pairs case, \(Z_\alpha \) consists of a Cohen-Macaulay support curve \(Z_{\mathrm {CM}, \alpha }\) together with a box configuration \(B^{(\alpha )}\) (13). We denote the sum of the renormalized volume of \(Z_{\mathrm {CM},\alpha }\) and the length of \(B^{(\alpha )}\) by \(|Z_\alpha |\) as well.
In this section, we set \(t_i = e^{b \lambda _i}\) for all \(i=1,2,3,4\), \(y = e^{b m}\), \(Q = q m\), and take the double limit \(b \rightarrow 0\), \(m \rightarrow \infty \). In (4), we recalled the definition of the cohomological DT/PT invariants \(I_{n,\beta }^{\mathrm {coho}}, P_{n,\beta }^{\mathrm {coho}}\) studied in [8]. In [8], we defined
which are defined precisely as in Definition 1.16 but with the Nekrasov bracket \([\cdot ]\) replaced by T-equivariant Euler class \(e(\cdot )\).
Proposition 2.6
For any \(\alpha \in V(X)\) and \(\alpha \beta \in E(X)\), we have
where \(f(\alpha ,\beta )\) was defined in (10).
Proof
We continue using the notation of the proof of Propositions 2.3 and 2.4. We already showed
where \(W_\alpha \) was defined in the statement of Proposition 2.3. In fact, y always appears in \(\widetilde{{\mathsf {v}}}_{Z_\alpha }\), \(\widetilde{{\mathsf {e}}}_{Z_{\alpha \beta }}\) with power \(+1\), so \(w_m\), \(v_m\) are elements of \(\{0,1\}\).
As before, we set \(\tau :=(t_1,t_2,t_3,t_4,y)\) and we write
where the collections of weights \(\{a\}\) and \(\{c\}\) have no elements in common. Observe that the rank of \(W_\alpha \) equals the renormalized volume \(|Z_\alpha |\) (Definition 1.2). By Proposition 2.3, the terms of (29) involving m (i.e. \(w_m \ne 0\) or \(v_m\ne 0\)) are precisely
Therefore, sending \(m \rightarrow \infty \), this term becomes \(Q^{|Z_\alpha |}\). As we saw in the proof of Theorem 0.12, the terms of (29) which do not involving m (i.e. \(w_m = v_m=0\)) together are equal to \(e(-{\mathsf {V}}_{Z_\alpha }^{\mathrm {coho}})\). So in total, we have
Next, we turn our attention to \(\widetilde{{\mathsf {e}}}_{Z_{\alpha \beta }}\). Let \(\lambda _{\alpha \beta }\) be the asymptotic plane partition corresponding to \(Z_{\alpha \beta }\). Denote the term in between brackets in (26) by
where \(\{a\}\) and \(\{c\}\) have no elements in common. By (26), the rank of this complex is
where \(f(\alpha ,\beta )\) is defined in (10). Consequently, the terms of
involving m are equal to
Taking \(m \rightarrow \infty \), this reduces to \(Q^{f(\alpha ,\beta )}\). As in the case of the vertex, we conclude
\(\square \)
Proof of Theorem 0.15
The first part of the theorem follows from Theorem 1.13 and Proposition 2.6. Moreover, by Proposition 2.6 and Definition 1.16 we have
where \(\lambda ,\mu ,\nu ,\rho \) are finite plane partitions and in the stable pairs case, we assume at most two of them are non-empty. Moreover, the choices of signs for RHS are determined by the choices of signs for LHS. We deduce that Conjecture 0.6 implies Conjecture 0.14. \(\square \)
Notes
I.e. a smooth quasi-projective toric 4-fold X satisfying \(K_X \cong {\mathcal {O}}_X\), \(H^{>0}({\mathcal {O}}_X) = 0\), and such that every cone of its fan is contained in a 4-dimensional cone.
When developing the vertex formalism in Sect. 1.3, we make an explicit choice of square root for each \(T_I^{\mathrm {vir}}|_Z\) and \(T_P^{\mathrm {vir}}|_Z\).
A priori the powers of \(t_1,t_2,t_3,t_4\) in \({\mathsf {V}}_{\lambda \mu \nu \rho }^{\mathrm {DT}}(t,y,q)\), \({\mathsf {V}}_{\lambda \mu \nu \rho }^{\mathrm {PT}}(t,y,q)\) are half-integers. We prove in Proposition 1.15 that they are always integers.
More precisely, a smooth quasi-projective toric 3-fold such that every cone of its fan is contained in a 3-dimensional cone.
In the 3-fold case, the invariants \(\chi (I_n(D,\beta ), {\widehat{{\mathcal {O}}}}^{\mathrm {vir}}_I)\), \(\chi (P_n(D,\beta ), {\widehat{{\mathcal {O}}}}^{\mathrm {vir}}_P)\) do not depend on the choice of square root \((K_I^{\mathrm {vir}})^{\frac{1}{2}}\), \((K_P^{\mathrm {vir}})^{\frac{1}{2}}\). This is because different choices of square roots have the same first Chern class (modulo torsion). See also [2, Section 2.5].
“Gauge theory and virtual invariants”, Trinity College Dublin, May 13–17, 2019.
We only write down \({\mathsf {F}}_{\alpha \beta }\) and \({\mathsf {E}}_{\alpha \beta }\) when \(L_{\alpha \beta } \cong {\mathbb {P}}^1\) is given by \(\{x_2=x_3=x_4=0\}\), i.e. the leg along the \(x_1\)-axis. The other cases follow by symmetry.
Then \(Z_\alpha \) corresponds to a Cohen-Macaulay support curve described by a solid partition \(\pi _{\mathrm {CM}}\) together with a box configuration \(B \subseteq {\mathbb {Z}}^4\) (Sect. 1.1). The sign \(\sigma _{\mathrm {PT}}(Z_\alpha ) := (-1)^{|\pi _{\mathrm {CM}}| + |B| + \# \{ (a,a,a,d) \in B \, : \, a< d\}} \prod _{w=(a,a,a,d) \in \pi _{\mathrm {CM}} \atop a < d} (-1)^{1-\# \{\mathrm {legs \ containing \ } w\}}\) works in all our calculations.
Choosing all signs of all T-fixed points which are scheme theoretically supported on \(\{x_4=0\}\) equal to \(+1\) amounts to replacing \(-q\) by q on RHS of (2).
In fact, it has no \(({\mathbb {C}}^*)^3\)-fixed terms with negative coefficient either by [23, Lem. 8].
Note that on a smooth projective Calabi–Yau 4-fold, \([{\text {Hilb}}^n(X)]^{\mathrm {vir}}_{o({\mathcal {L}})}\) has degree 2n and the limit \(m \rightarrow 0\) would not be needed.
Recall the origin of the minus sign from Theorem 0.8.
References
Afgani, R.: Refinement of Kool-Thomas invariants via equivariant K-theoretic invariants. arXiv:2012.05278
Arbesfeld, N.: K-theoretic Donaldson–Thomas theory and the Hilbert scheme of points on a surface. Algebr. Geom. 8(5), 587–625 (2021)
Behrend, K., Fantechi, B.: The intrinsic normal cone. Invent. Math. 128, 45–88 (1997)
Borisov, D., Joyce, D.: Virtual fundamental classes for moduli spaces of sheaves on Calabi–Yau four-folds. Geom. Topol. 21, 3231–3311 (2017)
Bridgeland, T.: Hall algebras and curve-counting invariants. JAMS 24, 969–998 (2011)
Cao, Y., Gross, J., Joyce, D.: Orientability of moduli spaces of Spin(7)-instantons and coherent sheaves on Calabi–Yau 4-folds. Adv. Math. 368, 107134 (2020)
Cao, Y., Kool, M.: Zero-dimensional Donaldson–Thomas invariants of Calabi–Yau 4-folds. Adv. Math. 338, 601–648 (2018)
Cao, Y., Kool, M.: Curve counting and DT/PT correspondence for Calabi–Yau 4-folds. Adv. Math. 375, 107371 (2020)
Cao, Y., Kool, M., Monavari, S.: Stable pair invariants of local Calabi–Yau 4-folds. Int. Math. Res. Not. 6, 4753–4798 (2022)
Cao, Y., Leung, N.C.: Donaldson–Thomas theory for Calabi-Yau 4-folds. arXiv:1407.7659
Cao, Y., Leung, N.C.: Orientability for gauge theories on Calabi–Yau manifolds. Adv. Math. 314, 48–70 (2017)
Cao, Y., Maulik, D., Toda, Y.: Genus zero Gopakumar–Vafa type invariants for Calabi–Yau 4-folds. Adv. Math. 338, 41–92 (2018)
Cao, Y., Maulik, D., Toda, Y.: Stable pairs and Gopakumar–Vafa type invariants for Calabi–Yau 4-folds. J. Eur. Math. Soc. 24(2), 527–581 (2022)
Cao, Y., Toda, Y.: Curve counting via stable objects in derived categories of Calabi–Yau 4-folds. Adv. Math. 406, 108531 (2022)
Cao, Y., Toda, Y.: Gopakumar–Vafa type invariants on Calabi–Yau 4-folds via descendent insertions. Commun. Math. Phys. 383(1), 281–310 (2021)
Cao, Y., Toda, Y.: Tautological stable pair invariants of Calabi–Yau 4-folds. Adv. Math. 396, 108176 (2022)
Cao, Y., Toda, Y.: Counting perverse coherent systems on Calabi–Yau 4-folds. Math. Ann. https://doi.org/10.1007/s00208-022-02364-1
Fantechi, B., Göttsche, L.: Riemann–Roch theorems and elliptic genus for virtually smooth schemes. Geom. Topol. 14, 83–115 (2010)
Fasola, N., Monavari, S., Ricolfi, A.T.: Higher rank K-theoretic Donaldson-Thomas theory of points. Forum Math. Sigma 9(e15), 1–51 (2021)
Iqbal, A., Kozçaz, C., Vafa, C.: The refined topological vertex. J. High Energy Phys. 10, 069 (2009)
Kononov, Ya., Okounkov, A., Osinenko, A.: The 2-leg vertex in K-theoretic DT theory. Commun. Math. Phys. 382(3), 1579–1599 (2021)
Li, J., Tian, G.: Virtual moduli cycles and Gromov–Witten invariants of algebraic varieties. JAMS 11, 119–174 (1998)
Maulik, D., Nekrasov, N., Okounkov, A., Pandharipande, R.: Gromov–Witten theory and Donaldson–Thomas theory, I. Compos. Math. 142, 1263–1285 (2006)
Monavari, S.: Canonical vertex formalism in DT theory of toric Calabi–Yau 4-folds. J. Geom. Phys. 174, 104466 (2022)
Morrison, A., Mozgovoy, S., Nagao, K., Szendrői, B.: Motivic Donaldson–Thomas invariants of the conifold and the refined topological vertex. Adv. Math. 230, 2065–2093 (2012)
Nekrasov, N.: Magnificent Four. Ann. Inst. Henri Poincaré D 7(4), 505–534 (2020)
Nekrasov, N., Okounkov, A.: Membranes and sheaves. Algebraic Geom. 3, 320–369 (2016)
Nekrasov, N., Piazzalunga, N.: Magnificent Four with Colors. Commun. Math. Phys. 372, 573–597 (2019)
Nekrasov, N., Piazzalunga, N.: in preparation
Oh, J., Thomas, R.P.: Counting sheaves on Calabi–Yau 4-folds, I. arXiv:2009.05542
Okounkov, A.: Lectures on K-theoretic computations in enumerative geometry, Geometry of moduli spaces and representation theory, IAS/Park City Math. Ser. 24, AMS Providence RI (2017) 251–380
Pandharipande, R., Thomas, R.P.: Curve counting via stable pairs in the derived category. Invent. Math. 178, 407–447 (2009)
Pandharipande, R., Thomas, R.P.: The 3-fold vertex via stable pairs. Geom. Topol. 13, 1835–1876 (2009)
Pantev, T., Töen, B., Vaquié, M., Vezzosi, G.: Shifted symplectic structures. Publ. Math. I.H.E.S. 117, 271–328 (2013)
Thomas, R.P.: Equivariant K-theory and refined Vafa–Witten invariants. Commun. Math. Phys. 378(2), 1451–1500 (2020)
Toda, Y.: Curve counting theories via stable objects I. DT/PT correspondence. JAMS 23, 1119–1157 (2010)
Acknowledgements
This paper has a strong intellectual debt to the remarkable work of Nekrasov [26] and Nekrasov–Piazzalunga [28] without which this paper would not exist. We are very grateful to Nikita Nekrasov and Nicolò Piazzalunga for correspondence and helpful explanations of [26, 28]. We also warmly thank Noah Arbesfeld for many useful discussions on K-theoretic invariants. Y.C. is partially supported by the World Premier International Research Center Initiative (WPI), MEXT, Japan, the JSPS KAKENHI Grant Number JP19K23397 and Royal Society Newton International Fellowships Alumni 2019. M.K. is supported by NWO Grant VI.Vidi.192.012. S.M. is supported by NWO Grant TOP2.17.004.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by H.-T. Yau.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: Hilbert Schemes of Points
In this appendix, we consider Nekrasov’s Conjecture 0.5 in the two cohomological limits discussed in Sect. 2.2, 2.3 (see also [26, 28]).
Let X be a toric Calabi–Yau 4-fold with T-equivariant line bundle L. By Theorem 0.12, we have
where the invariants on the RHS are defined by localization (3). Since \(L^{[n]}\) is a rank n vector bundle, we have
and similarly at any T-fixed point. HenceFootnote 14
These invariants were studied in [7], where it is conjectured that there exist choices of signs such that the following equation holds
where all Chern classes are T-equivariant, \(\int _X\) denotes T-equivariant push-forward to a point, and
denotes MacMahon’s generating function for plane partitions.
As noted before in [26, Sect. 5.2], the conjectural formula (30) is a special case of Conjecture 0.5 as can be seen as follows.Footnote 15 For any \(n \geqslant 1\), we have
Recall the following identity
Let \(L|_{{\mathbb {C}}^4} \cong {\mathcal {O}}_{{\mathbb {C}}^4} \otimes t_{1}^{d_1}t_{2}^{d_2}t_{3}^{d_3}t_{4}^{d_4}\). Taking \(m = -(d_1 \lambda _1 + d_2 \lambda _2 + d_3 \lambda _3 + d_4 \lambda _4)\) and using Theorem 0.12, we see that Nekrasov’s conjecture implies (30) for \(X = {\mathbb {C}}^4\). Since LHS and RHS of (30) are “suitably multiplicative”, (30) also follows for any toric Calabi–Yau 4-fold X (see [7, Prop. 3.20] for details).
Finally, we consider the following limit (Theorem 0.15)
where the RHS is defined by localization, i.e. (4). For any \(n \geqslant 1\), we have
Therefore, Nekrasov’s Conjecture 0.5 implies that there exist choices of signs such that the following identity holds
This formula was also originally conjectured by Nekrasov and discussed in [7, App. B]. Note that the exponent appearing on RHS equals \(-\int _{{\mathbb {C}}^4} c_3({\mathbb {C}}^4)\) (interpreted as a T-equivariant integral). Therefore, Conjecture 0.5 and the vertex formalism together imply that there exist choices of signs such that the following equation holds
Appendix B: Local Resolved Conifold
We start with the following lemma, which recovers [33, Lemma 5] after applying dimensional reduction and cohomological limit I.
Lemma B.1
There exist unique choices of signs such that
Proof
For every length n of the cokernel, there is only one T-fixed point, and the character of the corresponding stable pair is
The corresponding vertex term is easily computed as
and we choose \((-1)^n\) for the corresponding sign. Then
where in the third line we used [31, Ex. 5.1.22]. \(\square \)
Let \(X = D \times {\mathbb {C}}\), where \(D = \mathrm {Tot}_{{\mathbb {P}}^1}({\mathcal {O}}(-1)\oplus {\mathcal {O}}(-1))\) is the resolved conifold. Consider the generating series
Using the vertex formalism, we verified Conjecture 0.16 in the following cases.
Proposition B.2
Conjecture 0.16 holds for curve classes \(\beta = d [{\mathbb {P}}^1]\) with \(d=1,2,3,4\) up to the following orders:
-
\(d=1\),
-
\(d=2\) modulo \(q^6\),
-
\(d=3\) modulo \(q^6\),
-
\(d=4\) modulo \(q^7\).
Moreover, the choices of signs in these verifications are unique and compatible with the signs in Conjecture 0.6 (and therefore also the signs of Theorem 0.8 by Remark 0.9).
Proof
For degree 1 the conjecture is equivalent to
The edge term for one leg with multiplicity 1 is
therefore, by Lemma B.1, we conclude
The other cases have been checked by an implementation of the vertex formalism in Mathematica. \(\square \)
Consider the generating series of K-theoretic stable pair invariants of the resolved conifold
We already saw that the 4-fold PT vertex/edge reduce to the 3-fold PT vertex/edge for all stable pairs scheme theoretically supported on \(D \subseteq X\) after setting \(y=t_4\) (Proposition 2.1 and Remark 2.2). By the same type of argument as in Proposition 2.1, one can show that all stable pairs not scheme theoretically supported in \(D \subseteq X\) contribute zero after setting \(y=t_4\). ThereforeFootnote 16
Hence Conjecture 0.16 implies
This equality was recently proved by Kononov–Okounkov–Osinenko [21, Sect. 4], which gives good evidence for Conjecture 0.16 from our perspective. Applying the preferred limits discussed by Arbesfeld in [2, Sect. 4], this formula coincides with an expression obtained using the refined topological vertex by Iqbal-Kozçaz-Vafa [20, Sect. 5.1]. More precisely, setting \({\widetilde{q}} := q\kappa \) and \({\widetilde{t}} := q\kappa ^{-1}\) yields [20, Eqn. (67)]. The formula also coincides with the generating series of motivic stable pair invariants of the resolved conifold obtained by Morrison–Mozgovoy–Nagao–Szendrői in [25, Prop. 4.5].
Consider the two cohomological generating series for \(X = \mathrm {Tot}_{{\mathbb {P}}^1}({\mathcal {O}}(-1) \oplus {\mathcal {O}}(-1) \oplus {\mathcal {O}})\) defined by (3) and (4):
Applying cohomological limits I and II (Theorem 0.12 and 0.15), Conjecture 0.16 and a calculation similar to the one in Appendix A imply
A wall-crossing interpretation of the first formula is discussed in [17]. Putting \(m = \lambda _4\) in the first expression yields the famous formula for the stable pair invariants (or topological string partition function) of the resolved conifold. The second formula was conjectured, and verified up to the same orders as above in [8, Conj. 2.22].
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Cao, Y., Kool, M. & Monavari, S. K-Theoretic DT/PT Correspondence for Toric Calabi–Yau 4-Folds. Commun. Math. Phys. 396, 225–264 (2022). https://doi.org/10.1007/s00220-022-04472-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-022-04472-0