Abstract
In enumerative geometry, Virasoro constraints were first conjectured in Gromov-Witten theory with many new recent developments in the sheaf theoretic context. In this paper, we rephrase the sheaf theoretic Virasoro constraints in terms of primary states coming from a natural conformal vector in Joyce’s vertex algebra. This shows that Virasoro constraints are preserved under wall-crossing. As an application, we prove the conjectural Virasoro constraints for moduli spaces of torsion-free sheaves on any curve and on surfaces with only \((p,p)\) cohomology classes by reducing the statements to the rank 1 case.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This paper concerns the Virasoro constraints on sheaf counting theories. Given a moduli space of sheaves \(M\) with a virtual fundamental class \([M]^{\mathrm {vir}}\) we may produce numerical invariants by integrating natural cohomology classes – called descendents – against the virtual fundamental class. The Virasoro conjecture predicts that these numerical invariants are constrained by some explicit and universal relations. The main result of this paper is proof of those constraints in the following cases:
Theorem A
=Theorem 6.1
The Virasoro constraints (Conjecture 1.5) hold for the following moduli spaces when there are no strictly semistable sheaves:
-
1.
The moduli spaces \(M_{C}(r,d)\) of slope semistable bundles on any smooth projective curve \(C\).
-
2.
The moduli spaces \(M_{S}^{H}(r,c_{1}, c_{2})\) of slope or Gieseker semistable torsion-free sheaves on any smooth projective surface \(S\) with \(h^{1,0}(S)=h^{2,0}(S)=0\).
-
3.
Assuming that a necessary wall-crossing formula holds (see Assumption 5.8), the moduli spaces \(M_{S}^{H}(\beta , n)\) of slope semistable one-dimensional sheaves on any smooth projective surface \(S\) with \(h^{1,0}(S)=h^{2,0}(S)=0\).Footnote 1
Theorem 6.1 also proves an analog of (1), (2) and (3) in the presence of strictly semistable sheaves as stated in Conjecture 1.10. The case (2) of the theorem solves the conjecture of D. van Bree in [63] (see Remark 2.17 for a comparison of our formulation with van Bree’s). In the cases of \(S=\mathbb{P}^{2}\) and \(S=\mathbb{P}^{1}\times \mathbb{P}^{1}\), an alternative proof of (2) was given by the first author in [9] without relying on the previous result for \(\operatorname{Hilb}^{n}(S)\) in [48]. The formulation of the other two cases is new; indeed, we provide a very general conjecture that includes many other interesting cases. The proof of Assumption 5.8 making (3) self-contained will be addressed in the future.
Our work relies in a fundamental way on the vertex algebra that D. Joyce recently introduced [21, 26, 31] to study the wall-crossing of moduli spaces of sheaves. We explain how the Virasoro constraints can be naturally formulated in this language.
Theorem B
Let \(X\) be a curve or a surface with \(p_{g}=0\). There is a natural conformal element \(\omega \) in the vertex algebra \(V_{\bullet}^{\mathop {\mathrm {pa}}\nolimits }\) for which the corresponding Virasoro operators \(L_{n}^{\mathop {\mathrm {pa}}\nolimits }\) are dual to the Virasoro operators \({\mathsf {L}}_{n}^{\mathop {\mathrm {pa}}\nolimits }\colon {\mathbb{D}}^{X,\mathop {\mathrm {pa}}\nolimits }\to {\mathbb{D}}^{X,\mathop {\mathrm {pa}}\nolimits }\) for \(n\geq -1\) on the pair descendent algebra. A moduli space of sheaves (or pairs) satisfies the Virasoro constraints if and only if its class in (or \(V_{\bullet}^{\mathop {\mathrm {pa}}\nolimits }\)) is a primary state.
As a consequence of this description, the wall-crossing machinery developed by Joyce can be used to prove a compatibility between wall-crossing and the Virasoro constraints.
Theorem C
The Virasoro constraints are compatible with wall-crossing.
Theorem C also holds in the setting of quivers as was shown by the first author in [9, Theorem 1.2]. This was used to conclude Virasoro constraints for moduli spaces of semistable (framed) representations of quivers in loc. cit.
Our proof of Theorem A uses this wall-crossing compatibility to reduce the statement to the rank 1 case; for curves, the rank 1 case can be shown directly or via Joyce-Song wall-crossing, and for surfaces, it was already proven in [47, 48]. We remark that the hypotheses \(h^{1,0}(S)=h^{2,0}(S)=0\) are currently necessary: \(h^{2,0}(S)=0\) is needed to have a vertex algebraic interpretation of the Virasoro constraints (cf. Theorem B), and hence wall-crossing compatibility, and \(h^{1,0}(S)=0\) is necessary in the proof of the constraints for the Hilbert scheme of points in [47]; we hope these restrictions can be lifted in the future.
1.1 History
Virasoro constraints The study of Virasoro constraints on curve counts traces back to the origins of Gromov-Witten (GW) theory and intersection theory on the moduli space of stable curves, in Witten’s foundational paper [64]. Witten conjectured that integrals of products of descendents – certain natural classes in \(H^{\bullet}(\overline {\mathcal{M}}_{g,n})\) – obeyed some explicit relations. The relations he proposed were equivalent to certain differential operators, which satisfy the Virasoro bracket relation, annihilating the partition function which encodes all the integrals of descendents on \(\overline {\mathcal{M}}_{g,n}\). Witten’s conjecture was proven by Kontsevich [34] and new proofs were obtained by Okounkov-Pandharipande [52] and Mirzakhani [45].
In [15], the authors extended the Virasoro conjecture to the GW invariants of a variety \(X\). Since then, a lot of effort has been put into proving the result for some target varieties \(X\); most notably, the conjecture is now known when \(X\) is a toric variety (or, more generally, when \(X\) has semisimple quantum cohomology) by work of Givental and Teleman [19, 60] and when \(X\) is a curve by work of Okounkov-Pandharipande [51]. The general case, however, is still out of reach.
In [43, 44], Maulik-Nekrasov-Okounkov-Pandharipande propose a deep connection between Gromov-Witten invariants and Donaldson-Thomas (DT) invariants of 3-folds. Such correspondence suggested that the DT descendent invariants should as well be constrained by some sort of Virasoro operators. Almost 15 years ago, not long after the proposal of the MNOP conjecture, Oblomkov, Okounkov and Pandharipande were able to predict the precise form for the DT Virasoro operators (at least for \(X=\mathbb{P}^{3}\), see [54, Conjecture 8]) from experimental data with \(X\) toric. The understanding of the MNOP correspondence at the time, however, was not sufficiently explicit to be used effectively to relate the conjectures on the GW and on the DT sides. Recently, the GW/PT descendent correspondence has been made more effective and this allowed a proof of the DT Virasoro conjecture when \(X\) is a toric 3-fold in the stationary regime [48].Footnote 2
Taking a surface \(S\) and \(X=S\times \mathbb{P}^{1}\) it is possible to deduce some Virasoro constraints for the Hilbert scheme of points on \(S\) from the PT Virasoro constraints on \(X\). The third author used a universality argument in [47] to prove such constraints for every surface with \(H^{1}(S)=0\) by starting with the toric results in [48]. Subsequently, van Bree proposed a generalization of the Hilbert scheme constraints to the moduli spaces of torsion-free stable sheaves on a surface \(S\) and made several non-trivial checks for toric \(S\) using localization [63].
While the Virasoro constraints on sheaf-counting theories come historically from Gromov-Witten theory, they form a rich theory themselves as indicated by the examples where they can be studied – DT, PT, Hilbert scheme, stable torsion-free sheaves on surfaces. We show that they have an independent meaning and origin by connecting them to the geometric construction of the vertex algebras of Joyce [26] which were developed to study wall-crossing.
Wall-crossing and vertex algebras When Donaldson [13] introduced his invariants counting anti-self-dual instantons, they were intrinsically dependent on the choice of a metric \(g\) of the underlying four-manifold. Varying \(g\) leads to discontinuous jumps of the invariants along codimension one walls, a phenomenon called “wall-crossing”. The precise description of the wall-crossing contributions has been given in [36] and many further studies have been conducted.
With the goal of treating wall-crossing phenomena uniformly, Joyce [27–30] developed a theory which could be applied in large generality to abelian categories. Here the metric was replaced by stability conditions and instantons by semistable objects. Using a Lie algebra structure, he was able to define motivic invariants counting semistable objects and described how they change when varying the stability conditions. Further refinements to include DT theory of Calabi-Yau 3-folds were considered by Joyce-Song [32] and Kontsevich-Soibelman [35].
The (virtual) fundamental classes of sheaves are however not motivic outside of the realm of Calabi-Yau 3-folds, so their theories were not sufficient for studying other geometries. In a more recent development, Joyce [26] introduced a sheaf-theoretic construction of vertex algebras (see [10, 33, 37] for a gentle introduction to this topic).Footnote 3 Vertex algebras are representation theoretic objects introduced by Borcherds [10] and they give an axiomatization of conformal field theories in two dimensions [5]. The Lie bracket operation induced from the sheaf-theoretic vertex algebras was used to describe wall-crossing of virtual fundamental classes counting semistable objects, as conjectured in [21] and proven in many cases by Joyce [31]. For surfaces, these wall-crossing formulae are related to the work of Mochizuki [46] where the formulae are presented without vertex algebras.
Wall-crossing has been used in [7, 8] to give explicit formulae for all descendent invariants of punctual Quot schemes on surfaces and Calabi-Yau fourfolds, and in [11] to study moduli spaces of vector bundles on curves. However, further structures coming from the vertex algebra remained a mystery. We fill this gap by giving a geometric interpretation of a natural conformal element in terms of Virasoro constraints. The conformal element induces a representation of the Virasoro algebra on Joyce’s vertex algebra [26]. The Virasoro operators \(\{L_{n}\}_{n\in {\mathbb{Z}}}\) act on the homology of the stack where wall-crossing takes place, defining a smaller Lie algebra of primary/physical states [5, 10]. We show that the Virasoro constraints are precisely the statement that (virtual) fundamental classes of moduli of semistable sheaves are primary states, and thus are preserved by wall-crossing. We use this new technique, together with a rank reduction to the case of rank 1, to prove existing and new conjectures about Virasoro constraints.
1.2 Moduli of sheaves and pairs
Let \(X\) be a smooth projective variety over the complex numbers. Typically, we will restrict ourselves to small dimension \(X\) (up to dimension 3) so that the moduli spaces of sheaves that we consider have a virtual fundamental class in the sense of Behrend-Fantechi [4].Footnote 4
The main objects in this paper are moduli spaces \(M\) which parameterize semistable sheaves on \(X\) and their cohomology ring. Throughout this Introduction and Sect. 2, when we refer to a general moduli space \(M\) we assume that:
-
1.
\(M\) is a projective scheme of finite type.
-
2.
There are no ℂ-points of \(M\) corresponding to strictly semistable sheaves.
-
3.
Deformation theory at \([G]\in M\) is given by
$$\begin{aligned} \mathrm{Tan}&=\mathrm {Ext}^{1}(G,G) \\ \mathrm{Obs}&=\mathrm {Ext}^{2}(G,G) \\ 0&=\mathrm {Ext}^{>2}(G,G)\,. \end{aligned}$$
In such conditions, \(M\) admits a virtual fundamental class \([M]^{\mathrm {vir}}\in H_{\bullet}(M)\) by [4]. There are many examples of moduli of sheaves on curves, surfaces and Fano 3-folds where all the assumptions are satisfied. To facilitate the exposition, for the introduction we will also assume that there exists a universal sheaf \({\mathbb{G}}\) in \(M\times X\); we will explain why this is not necessary in Sect. 2.4. Note that a universal sheaf, when it exists, is non-unique: given a universal sheaf \({\mathbb{G}}\) and a line bundle \(L\) on \(M\), the sheaf \({\mathbb{G}}\otimes p^{\ast }L\) is also a universal sheaf (where \(p\colon M\times X\to M\) is the projection) parametrizing the same objects.
Later in the paper we will also formulate Virasoro constraints for moduli spaces \(M\) that have strictly semistable sheaves, by using Joyce’s invariant class
which is defined by a wall-crossing formula as we will overview in Sect. 5.3. This generalization will play an important role in the inductive argument used to prove Theorem A.
Remark 1.1
The relation between the coarse moduli spaces \(M\) and their invariant classes \([M]^{\mathrm {inv}}\) is not obvious in the presence of strictly semistables because there need not be a map \(M\to {\mathcal {M}}_{X}^{\mathrm {rig}}\). So saying that \(M\) satisfies Virasoro constraints is an abuse of terminology that we will repeatedly make throughout this work.
Apart from the moduli of sheaves, we also study those of pairs. We fix a sheaf \(V\) on \(X\) and we let \(P\) be a moduli space parametrizing a sheaf \(F\) together with a map \(V\to F\) (with some stability condition). We make the following assumptions:
-
1.
\(P\) is a projective scheme of finite type.
-
2.
There are no ℂ-points of \(P\) corresponding to strictly semistable pairs.
-
3.
There is a unique universal pair \(q^{*}V\rightarrow {\mathbb{F}}\) in \(P\times X\) where \(q\colon P\times X\to X\) is the projection.
-
4.
Deformation theory at \([V\to F]\in P\) is given by
$$\begin{aligned} \mathrm{Tan}&=\mathrm {Ext}^{0}([V\to F],F) \\ \mathrm{Obs}&=\mathrm {Ext}^{1}([V\to F],F) \\ 0&=\mathrm {Ext}^{>1}([V\to F],F)\,. \end{aligned}$$
In such conditions, \(P\) admits a virtual fundamental class \([P]^{\mathrm {vir}}\in H_{\bullet}(P)\). Various moduli of pairs on curves and surfaces satisfy these assumptions; Quot schemes with at most one-dimensional quotients and moduli of Bradlow pairs.
There are two important differences between moduli spaces of sheaves and pairs.
-
1.
The first is the difference in obstruction theory. It is apparent from comparing Example 2.6 and the definition of the Virasoro operators in Sect. 2.3 that obstruction theory dictates their form.
-
2.
The second is the uniqueness or non-uniqueness of the universal object. This difference will play a crucial role in our treatment of the Virasoro constraints for moduli of sheaves and for moduli of pairs.
Remark 1.2
When we refer to moduli of sheaves we are mostly thinking about moduli of sheaves without fixed determinant. This is implicit in the obstruction theory above since when the determinant is fixed the deformation theory should instead use traceless Ext groups:
We explain how to obtain a fixed determinant version of the Virasoro constraints in Sect. 2.8 when \(h^{1,0}\neq 0\) but \(h^{p,0}=0\) for \(p>1\). Although a conjecture for Hilbert schemes of points on surfaces with possibly \(p_{g}=h^{2,0}>0\) (which have traceless deformation theory) appears in [47], our approach in this paper is currently not suitable to understand it. We hope to pursue this direction in the future.
Remark 1.3
Virasoro constraints that we study for moduli of sheaves naturally generalize to moduli of objects in a derived category \(D^{b}(X)\). Indeed, moduli spaces of stable pairs on a 3-fold \(X\) (with \(H^{i}({\mathcal {O}}_{X})=0\) for \(i>0\)) in the sense of Pandharipande-Thomas [53] are instances of such. We emphasize here that stable pairs on 3-folds are subject to Virasoro constraints of sheaf type rather than pair type, despite their name. This is because virtual classes are constructed using the obstruction theory governed by \(\mathrm {Ext}^{i}(I^{\bullet},I^{\bullet})\) where \(I^{\bullet}=[{\mathcal {O}}_{X}\to F]\in D^{b}(X)\).
1.3 Universal sheaves and descendents
Descendents on \(M\) are defined using a slant product construction with a universal sheaf \({\mathbb{G}}\) and the maps
Definition 1.4
We let \({\mathbb{D}}^{X}\) be the supercommutative algebra generated by symbols \(\mathrm {ch}^{\mathrm {H}}_{i}(\gamma )\) for \(i\geq 0\), \(\gamma \in H^{\bullet}(X)\) (see Definition 2.3). The geometric realization with respect to a universal sheaf \({\mathbb{G}}\) in \(M\times X\) is the algebra homomorphism
defined on generators \(\mathrm {ch}^{\mathrm {H}}_{i}(\gamma )\) with \(\gamma \in H^{r,s}(X)\) by
The shift in the index of the Chern character using the Hodge degree of \(\gamma \) is non-standard, but useful for a cleaner formulation of the Virasoro operators. With this convention, we may think of \(\xi _{{\mathbb{G}}}(\mathrm {ch}_{i}^{\mathrm {H}}(\gamma ))\) as being in \(H^{i, i-r+s}(M)\) (of course \(M\) might be singular, so a Hodge decomposition may not exist). See also Remark 2.4.
The main objects of study in this paper are descendent integrals, i.e., the enumerative invariants obtained by integrating descendents against the virtual fundamental classes
Note that the descendent invariants of \(M\) depend in principle on the choice of universal sheaf \({\mathbb{G}}\). For some \(D\) in the descendent algebra, however, they do not depend on this choice; these \(D\) form what we call the weight 0 descendent algebra \({\mathbb{D}}^{X}_{{\mathrm {wt}_{0}}}\) (cf. Sect. 2.4). For \(D\in {\mathbb{D}}^{X}_{{\mathrm {wt}_{0}}}\) we will omit the geometric realization morphism and write
for any universal sheaf \({\mathbb{G}}\) since it does not depend on such choice.
The Virasoro constraints say that these numbers satisfy some explicit universal relations. These relations are stated using certain operators
that we will introduce in Sect. 2.
Conjecture 1.5
Virasoro for sheaves
Let \(M\) be a moduli of sheaves as before. Then
Conjecture 1.6
Virasoro for pairs
Let \(P\) be a moduli of pairs as before. Then
In Example 2.24 we illustrate very explicitly how the constraints look like in the case of rank 2 stable bundles over a curve.
Remark 1.7
The previous Virasoro conjectures for sheaves in [47, 48, 63] require a specific choice of a universal sheaf and \({\mathsf {S}}_{k}\) operators.Footnote 5 Conjecture 1.5 improves the formulation by avoiding both of these, and we prove that the two formulations are equivalent (see Proposition 2.16). Conjecture 1.6 for pairs is new and we provide convincing evidences by proving it for various geometries in this paper.
1.4 Joyce’s vertex algebra
D. Joyce recently introduced a vertex algebra and a closely related Lie algebra associated to the derived category \(D^{b}(X)\) [21, 26, 31]. Joyce proposes to use his Lie algebra to study wall-crossing formulae for moduli of sheaves (or, more generally, moduli of semistable objects in a ℂ-linear abelian or triangulated category).
The vertex algebra is constructed using the homology of the (higher) moduli stack \({\mathcal {M}}_{X}\) parametrizing objects in the triangulated category \(D^{b}(X)\). He defines a vertex algebra structure on
where \(\widehat{H}_{\bullet}\) is meant to denote an appropriate shift in the grading of the homology. The two most important ingredients for a vertex algebra are a translation operator \(T\) and a state-field correspondence \(Y(-,z)\); we will recall the definition of vertex algebras in Sect. 3.1. In our setting, the translation operator is obtained from the \(B{\mathbb{G}}_{m}\)–action on \({\mathcal {M}}_{X}\); the state-field correspondence \(Y(-,z)\) is defined in terms of the map \(\Sigma :\mathcal{M}_{X}\times \mathcal{M}_{X}\to \mathcal{M}_{X}\) induced by taking direct sums and a perfect complex \(\Theta \) on \(\mathcal{M}_{X}\times \mathcal{M}_{X}\). These arise as a consequence of the master space localization technique that is commonly used for the proof of wall-crossing formulae (for instance in Mochizuki’s work [46]); the complex \(\Theta \) is closely related to the virtual normal bundle appearing in the localization formula and thus to the obstruction theory of \({\mathcal {M}}_{X}\). Remark 4.13 uses this observation to explain the relation of Virasoro constraints to the obstruction theory which we eluded to earlier on.
Associated to the vertex algebra \(V_{\bullet}\) is the Lie algebra obtained as the quotient by the translation operator:
The Lie bracket on is a shadow of the vertex algebra structure on \(V_{\bullet}\) and is obtained by a well-known construction due to Borcherds [10]. Alternatively, it can be constructed as the homology \(H_{\bullet}({\mathcal {M}}^{\mathrm {rig}})\) of the rigidification ; the two definitions agree when restricted to complexes with non-trivial numerical class, see Lemma 4.10.
The Lie algebra is a natural place where we can compare virtual fundamental classes of moduli spaces of sheaves; given a moduli space \(M\) of semistable sheaves (or more generally of objects in \(D^{b}(X)\)) containing no strictly semistable sheaves, there is an open embedding \(M\hookrightarrow {\mathcal {M}}_{X}^{\mathrm {rig}}\). If \(M\) admits a virtual fundamental class, we may push it forward along this embedding to obtain a class
where the first appearance of represents an appropriate degree shift. If we fix a choice of a universal sheaf \({\mathbb{G}}\) in \(M\times X\), by the universal property of \({\mathcal {M}}_{X}\) we get a map \(f_{{\mathbb{G}}}\colon M\to {\mathcal {M}}_{X}\) lifting \(M\hookrightarrow {\mathcal {M}}_{X}^{\mathrm {rig}}\), and thus a natural lift of the virtual fundamental class to the vertex algebra
Crucially, Joyce defines more general classes
even when strictly semistable sheaves exist; when \([M]^{\mathrm {vir}}\) is defined, both classes agree.
The classes or \([M]^{\mathrm {vir}}_{{\mathbb{G}}}\in V_{\bullet}\) contain essentially the information of the (invariant) descendent integrals on \(M\). This is made precise by J. Gross’ [20] explicit description of \(V_{\bullet}\), which we recall in Sect. 4.2. The cohomologies \(H^{\bullet}({\mathcal {M}}_{X})\) and \(H^{\bullet}({\mathcal {M}}_{X}^{\mathrm {rig}})\) are closely related to the algebras of descendents \({\mathbb{D}}^{X}\) and \({\mathbb{D}}^{X}_{{\mathrm {wt}_{0}}}\), respectively; see Lemmas 4.8 and 4.10 for the precise statements. The pairing between cohomology and homology then recovers the descendent integrals
and
where the second integral is independent of the choice of \({\mathbb{G}}\).
1.5 Conformal element and Virasoro constraints
A vertex operator algebra is a vertex algebra \(V_{\bullet}\) equipped with a conformal element \(\omega \in V_{4}\). The main property of a conformal element (see Sect. 3.1 for a precise definition) is that the operators \(\{L_{n}\}_{n\in {\mathbb{Z}}}\) on \(V_{\bullet}\) induced from \(\omega \) via the state-field correspondence satisfy the Virasoro bracket
for some constant \(C\in {\mathbb{C}}\) called the central charge of \((V_{\bullet}, \omega )\). One of the goals of this paper is to explain the Virasoro operators in the descendent algebra previously studied in terms of a conformal element \(\omega \) in Joyce’s vertex algebra (or some slight variation, namely the pair vertex algebra). Due to the mysterious role that the Hodge degrees play in the Virasoro operators in [47], we do not know how to do so in complete generality, but only under the following assumption:
Assumption 1.8
We assume that the Hodge cohomology groups \(H^{p,q}(X)\) vanish whenever \(|p-q|>1\).
This assumption is satisfied for curves, surfaces with \(p_{g}=0\) and Fano 3-folds, hence covering the majority of the target varieties in Donaldson-Thomas theory.
The result of J. Gross [20]Footnote 6 shows that, under certain assumption (satisfied for curves, surfaces and rational 3-folds), Joyce’s vertex algebra \(V_{\bullet}\) is naturally isomorphic to a lattice vertex algebra from \((K^{\bullet}(X), K_{\text{sst}}^{0}(X), \chi _{\text{sym}})\); here
is the topological \(K\)-theory of \(X\) with ℂ-coefficient, \(K_{\text{sst}}^{0}(X)\) is the semi-topological \(K\)-theoryFootnote 7 with ℤ-coefficient and \(\chi _{\text{sym}}\) is the symmetric pairing on \(K^{\bullet}(X)\)
The construction of a vertex algebra from such data is recalled and summarized in Theorem 3.5 and follows Kac [33]; it uses Kac’s bosonic vertex algebra construction in the even part \(K^{0}(X)\) and the anti-fermionic vertex algebra construction in the odd part \(K^{1}(X)\).
Kac’s construction produces a conformal element when the pairing \(\chi _{\text{sym}}\) is non-degenerate; unfortunately, due to the symmetrization this is not often the case. It turns out that this issue can be overcome by using the larger vertex algebra \(V_{\bullet}^{\mathop {\mathrm {pa}}\nolimits }\). The vector space underlying \(V_{\bullet}^{\mathop {\mathrm {pa}}\nolimits }\) is the homology of the stack of pairs \({\mathcal {P}}_{X}\simeq {\mathcal {M}}_{X}\times {\mathcal {M}}_{X}\):
The construction of the conformal element requires a choice of an isotropic decomposition of the fermionic part (see Theorem 3.5 or [33, Sect. 3.6]). This decomposition is where the Hodge degrees and Assumption 1.8 come into play, because \(K^{1}(X)\) splits into the isotropic subspaces
which via the Chern character isomorphism correspond to
It is for the construction of such conformal element that we use the vertex algebra over the complex numbers while the result of J. Gross [20] works over any field containing rational numbers, as it relies on the Hodge decomposition. We prove that the Virasoro operators induced by this conformal element \(\omega \) are dual to the pair Virasoro operators defined in the algebra of descendents, see Sect. 4.3.
One remarkable aspect of Theorem B is that, while the operators \({\mathsf {L}}_{n}^{\mathop {\mathrm {pa}}\nolimits }\) on the descendent algebra were previously only defined for \(n\geq -1\), a conformal element provides fields \(L_{n}^{\mathop {\mathrm {pa}}\nolimits }\) for every \(n\in {\mathbb{Z}}\) and thus a complete representation of the Virasoro algebra. In particular, this representation now has a non-trivial central charge \(2\chi (X)\) which the positive branch \(\{L_{n}^{\mathop {\mathrm {pa}}\nolimits }\}_{n\geq -1}\) does not detect. We note that the factor of 2 appears due to working with the pair vertex algebra \(V_{\bullet}^{\mathop {\mathrm {pa}}\nolimits }\); if the pairing \(\chi _{\text{sym}}\) were non-degenerate we would get a conformal element in \(V_{\bullet}\) with central charge \(\chi (X)\). Remarkably, the Virasoro operators on the Gromov-Witten theory of \(X\) (at least if \(\dim (X)\) is even) are also known to admit an extension to a full representation of the Virasoro algebra; the central charge in the Gromov-Witten case is \(\chi (X)\) [17, Sect. 2.10].
This description of the Virasoro operators provides a beautiful formulation of the Virasoro constraints for sheaves and for pairs in terms of well-known notions in the theory of vertex operator algebras, namely subspace of primary states (also known as physical states):
Theorem 1.9
Sect. 4.4
Assume \(X\) is in class D (see Remark 4.2) and satisfies Assumption 1.8. Then
-
1.
Conjecture 1.5is equivalent to the class
being a primary state in (cf. Definition 3.9).
-
2.
Conjecture 1.6is equivalent to the class
$$ [P]_{(q^{\ast }V,{\mathbb{F}})}^{\mathrm {vir}}\in V^{\mathop {\mathrm {pa}}\nolimits }_{\bullet } $$being a primary state in \(P_{0}^{\mathop {\mathrm {pa}}\nolimits }\) (cf. Definition 3.9). Here, the class \([P]_{{(q^{\ast }V,{\mathbb{F}})}}^{\mathrm {vir}}\) denotes the lift of to \(V^{\mathop {\mathrm {pa}}\nolimits }_{\bullet}\) induced by the universal pair \(q^{\ast }V\to {\mathbb{F}}\).
While the part (1) in the above theorem was stated for moduli spaces of sheaves satisfying the assumptions (1), (2) and (3) from Sect. 1.2, the condition of being a primary state makes sense also for the invariant classes \([M]^{\mathrm {inv}}\) without the assumption (2). This motivates the following generalization of Conjecture 1.5.
Conjecture 1.10
Under the assumptions of Theorem 1.9, the moduli spaces \(M\), possibly containing strictly semistable sheaves, satisfy Virasoro constraints in the sense that
The proof of Theorem 1.9 is given in Sect. 4.4. We prove in Proposition 3.11, 3.13 that the space of physical states interact nicely with Lie bracket operations: is a Lie subalgebra and \(P_{0}^{\mathop {\mathrm {pa}}\nolimits } \subset V_{\bullet}^{\mathop {\mathrm {pa}}\nolimits }\) is a Lie submodule over . Since wall-crossing formulae in [31] are always written using the Lie bracket, these Lie algebraic statements prove a compatibility between wall-crossing and the Virasoro constraints.
1.6 Proof of Theorem A and other results
The main result of the paper is Theorem A, i.e., a proof of Conjecture 1.5 for semistable sheaves on curves and surfaces with \(h^{0,1}=h^{0,2}=0\). We also denote the three cases (1), (2) and (3) in Theorem A by \((m,d) = (1,1), (2,2)\) and \((2,1)\) where \(m\) denotes the dimension of the underlying variety and \(d\) the dimension of the support of sheaves we consider.
The main ingredient in the proof is an inductive rank reduction argument via wall-crossing. This is the content of Sect. 5. In each of the 3 cases, we consider the moduli spaces of Bradlow pairs \(P^{t}_{\alpha}\) which depend on a stability parameter \(t>0\). Assuming that \(M_{\alpha}\) contains no strictly semistable sheaves, when \(0< t\ll 1\) is small there is a map \(P^{0+}_{\alpha} :=P^{t\ll 1}_{\alpha}\to M_{\alpha}\) which is a (virtual) projective bundle. This geometric description is equivalent to wall-crossing at the Joyce-Song wall:
On the other hand, for large \(t\gg 1\) the moduli spaces \(P^{\infty}_{\alpha} :=P^{t\gg 1}_{\alpha}\) are easier to understand (and sometimes empty). We prove not only that \(M_{\alpha}\) satisfy the sheaf Virasoro constraints (i.e., Theorem A) but also that the moduli spaces of Bradlow pairs \(P_{\alpha}^{t}\) satisfy the pair analogue of the constraints:
Theorem 1.11
Theorem 5.12, Sect. 5.2, Sect. 6
The moduli spaces of Bradlow pairs \(P_{\alpha}^{t}\) (see Definition 5.2) satisfy the pair Virasoro constraints (Conjecture 2.18) for every \(t>0\) in the 3 settings of Theorem A, i.e., \((m,d)=(2,2), (1,1)\) and \((m,d)=(2,1)\) provided Assumption 5.8holds.
To prove Theorems A and 1.11 we need the following steps:
-
(i)
We prove in Sect. 6 that \(P^{\infty}_{\alpha}\) satisfies Conjecture 1.6. In case \((m,d)=(1,1)\), we only need to prove the statement for symmetric powers of curves which we do by a direct computation in Proposition 6.2. Cases \((m,d)=(2,1)\) and \((2,2)\) for slope stability can be reduced to Hilbert schemes of points, where they were shown to hold in [47, 48].
-
(ii)
We use the wall-crossing formula (57) between \(P^{\infty}_{\alpha}\) and \(P^{0+}_{\alpha}\) to show that \(P^{0+}_{\alpha}\) satisfies Virasoro constraints for pairs as well. By induction on \(\mathrm {rk}(\alpha )\), we know the Virasoro constraints on the wall-crossing terms. We then rely on the compatibility between wall-crossing and Virasoro constraints (Propositions 3.11 and 3.13).
-
(iii)
Finally, we use a projective bundle compatibility for \(P^{0+}_{\alpha}\to M_{\alpha}\) proved in Theorem 5.13 to show that the pair Virasoro constraints on \(P^{0+}_{\alpha}\) imply the sheaf Virasoro constraints on \(M_{\alpha}\). Wall-crossing from slope stability to Gieseker stability in Corollary 5.7 concludes the proof of Theorem A.
A crucial point in the argument is that we must include moduli spaces \(M_{\alpha}\) admitting strictly semistable sheaves in the induction since they unavoidably appear as wall-crossing terms. That is, we must prove that \([M]^{\mathrm {inv}}\) is in the Lie algebra of primary states. Because of that, in step (iii) we do not exactly have a projective bundle. However, by the very definition of the invariant classes \([M]^{\mathrm {inv}}\), what we have to prove is essentially the same as in the projective bundle case. We do this in Theorem 5.13.
In the appendix we explain Joyce-Song wall-crossing, using results of the first author in [7], which provides an alternative for some of the arguments in Sect. 6. In particular, we prove that the pair Virasoro constraints hold for punctual Quot schemes.Footnote 8
Theorem 1.12
=Theorem A.3
Let \(X\) be a curve or a surface and let \(V\) be a torsion-free sheaf on \(X\). Then the punctual Quot scheme \(\mathrm{Quot}_{X}(V, n)\) satisfies the pair Virasoro constraints (Conjecture 2.18).
1.7 Notation and conventions
Except the semi-topological \(K\)-group \(K_{\text{sst}}^{0}(X)\) which we consider over ℤ-coefficients, all cohomology and \(K\)-theory groups are assumed to have coefficients in ℂ unless stated otherwise. We write
for the topological \(K\)-theory and we denote by
the isomorphism between topological \(K\)-theory and cohomology. The total cohomology of a topological space is always understood to be the direct product of the cohomology groups in each degree, while homology is the direct sum. We will use the cap product with the cohomology acting on the left. This is the convention followed in [12]; it differs from the more usual convention with cohomology on the right by a sign, i.e., \(\gamma \cap u=(-1)^{|\gamma ||u|}u\cap \gamma \) for \(\gamma \in H^{\bullet}(X)\), \(u\in H_{\bullet}(X)\).
By an obstruction theory on a scheme \(M\) we mean a perfect complex \({\mathbb{E}}\) of non-negative degree together with a map \(\phi :{\mathbb{E}}^{\vee}\to {\mathbb{L}}_{M}\) such that \(h^{0}(\phi )\) and \(h^{-1}(\phi )\) are an isomorphism and a surjection, respectively. The complex \({\mathbb{E}}\), or its \(K\)-theory class, is also called the virtual tangent bundle of \(M\) (note that by [58] the virtual fundamental class only depends on the \(K\)-theory class \({\mathbb{E}}\), and in particular does not depend on the map to \({\mathbb{L}}_{M}\)). We will often abuse notation and just call \({\mathbb{E}}\) (or its \(K\)-theory class) the obstruction theory, leaving the map to \({\mathbb{L}}_{M}\) implicit. The construction of the morphism to \({\mathbb{L}}_{M}\) in all the cases considered is standard, see [23] for sheaves/complexes and e.g. [46, Sect. 5.3] for pairs.
α,β | Semi-topological K-theory classes in \(K_{\text{sst}}^{0}(X)\). |
γ,δ | Cohomology classes on X. |
v,w | Elements of \(K^{\bullet}(X)\). |
deg(−) | Degree for any graded vector space. |
| − | | Supergrading taking value in {0,1}. |
\(\mathrm {ch}^{\mathrm {H}}_{i}(\gamma )\) | The holomorphic descendent in degree 2i − p + q depending |
on the Hodge degree of \(\gamma \in H^{p,q}(X)\). | |
\(\mathrm {ch}_{i}(\gamma )\) | The topological descendent in degree 2i − |γ|. |
\(L_{n}, T_{n}, R_{n}\) | Virasoro operators on homology and vertex algebra. |
\(\mathsf{L}_{n}, \mathsf{T}_{n},\mathsf{R}_{n}\) | Dual operator notation on cohomology and descendent |
algebra. | |
\(\mathsf{L}_{{\mathrm {wt}_{0}}}\) | Weight 0 Virasoro operator on descendent algebra. |
1.8 Future directions
There are several open directions regarding the Virasoro constraints for sheaves. The first obvious direction is to try to improve Theorem A by removing the assumptions \(h^{0,1}=h^{0,2}=0\). The arguments in this paper show that we can get the constraints for \(h^{0,1}>0\) as long as we can prove them for the moduli of rank 1 sheaves (isomorphic to the Hilbert scheme of points times the Jacobian). Finding an argument that works in general for the Hilbert scheme of points and does not go through Gromov-Witten theory would be highly desirable. Removing the assumption \(h^{0,2}=0\) requires a better understanding of the constraints in the setting of reduced virtual fundamental classes for fixed determinant theory (see Remark 2.23).
Sheaf-theoretic Virasoro constraints of Fano 3-folds are of particular interest because they are related to the original Virasoro constraints in Gromov-Witten theory. Since wall-crossing compatibility of Virasoro constraints also holds in this case, it would be interesting to develop wall-crossing techniques for Fano 3-folds that can be applied to Virasoro constraints.
2 Virasoro constraints
In this section, we formulate the Virasoro constraints for moduli spaces of sheaves and pairs, denoted by \(M\) and \(P\), respectively. These moduli spaces satisfy the numbered assumptions in Sect. 1.2 unless otherwise mentioned. We use the notation \(M_{\alpha}\) when the topological type \(\alpha \) of the sheaves in the moduli space is relevant.
2.1 Supercommutative algebras
Before we move onto geometry, we note down some useful observations about freely generated supercommutative algebras and derivations on them. Let \(D_{\bullet}\) be a supercommutative ℤ-graded unital algebra over ℂ with degree \(\deg (v) = i\) for any \(v\in D_{i}\). Supercommutativity means that multiplication satisfies
where
The unit of \(D_{\bullet}\) is always going to be denoted by 1 and in general, we will omit specifying it in the notation.
A superderivation of degree \(r\) on \(D_{\bullet}\) is a ℤ-graded linear map
satisfying the graded Leibnitz rule
Definition 2.1
Let \(C_{\bullet}\) be a ℤ-graded ℂ-vector space. We denote by
the unital supercommutative algebra freely generated by \(C_{\bullet}\). Denote by \(C^{\bullet}\) the graded dual of \(C_{\bullet}\). We define the dual of \(D_{\bullet}\) as a completion of \(\text{SSym}[C^{\bullet}]\) with respect to the degree. More precisely, the dual is
where \(\text{SSym}[C^{\bullet}]^{i}\) denotes the degree \(i\) part of \(\text{SSym}[C^{\bullet}]\) with the degree induced by the one on \(C^{\bullet}\).Footnote 9
Given a linear map \(f\colon C_{\bullet}\to B_{\bullet +r}\) of degree \(r\), there is a unique way to extend \(f\) to an algebra homomorphism \(\text{SSym}[\!\![f]\!\!]\) and to a derivation \(\text{Der}(f)\) of degree \(r\).
The pairing between \(C_{\bullet}\) and \(C^{\bullet}\) can be promoted to a cap product between \(D_{\bullet}\) and \(D^{\bullet}\).
Definition 2.2
Fix \(C_{\bullet}\) and \(C^{\bullet}\) dual vector spaces and let \(\langle -,-\rangle \colon C^{\bullet}\times C_{\bullet}\to {\mathbb{C}}\) be the pairing. Let \(D_{\bullet}\) and \(D^{\bullet}\) be as in Definition 2.1. We define a cap product
by letting \(\nu \cap (-)\) for \(\nu \in C^{\bullet}\) act as a superderivation of degree \(-\deg (\nu )\) on \(D_{\bullet}\) restricting to \(\langle \nu ,-\rangle : C_{\bullet}\to {\mathbb{C}}\). The cap product extends uniquely to
by requiring that \((\mu \nu ) \cap u = \mu \cap (\nu \cap u)\). Notice that this makes \(D_{\bullet}\) into a left \(D^{\bullet}\)-module.
Starting from a map \(f: C_{1}^{\bullet}\to C_{2}^{\bullet}\), there is a dual map \(f^{\dagger}:C_{2,\bullet}\to C_{1,\bullet}\). Constructing algebra homomorphisms and derivations commutes with taking duals:
By composing with the projection \(D_{\bullet}\to {\mathbb{C}}\), we recover a non-degenerate pairings
An explicit description of the cap product can be obtained after fixing a basis \(B\subset C_{\bullet}\) and observing that
where \(\frac{\partial}{\partial v}\) is the superderivation of degree \(-\deg (v)\) acting on the elements of the basis \(B\) by \(\frac{\partial}{\partial v}(v)=1\) and \(\frac{\partial}{\partial v}(w)=0\) for \(w\in B\setminus \{v\}\).
2.2 Descendent algebra
Let \(X\) be a smooth projective variety over ℂ.
Definition 2.3
Let \(\text{CH}^{X}\) denote the infinite dimensional vector space over ℂ generated by symbols called holomorphic descendents of the form
subject to the linearity relations
for \(\lambda _{1}, \lambda _{2}\in {\mathbb{C}}\). We define the cohomological ℤ-grading on \(\text{CH}^{X}\) by
Finally, we let \({\mathbb{D}}^{X}\) be the ℤ-graded algebra of holomorphic descendents
which is the completion of the supercommutative algebra generated by \(\mathrm {ch}_{i}^{\mathrm {H}}(\gamma )\). We will write \(\mathrm {ch}^{\mathrm {H}}_{\bullet}(\gamma )\) for the element
Remark 2.4
This algebra of descendents is very similar to the one introduced in [48] with two small differences. Firstly, we now take a completion with respect to degree; this makes little difference in practice, but it is important in the comparison between \({\mathbb{D}}^{X}\) and \(H^{\bullet}({\mathcal {M}}_{X})\) (cf. Lemma 4.8) since we follow the standard convention that the total cohomology is a product of the groups in each degree. The second difference is in the grading; in our notation, given \(\gamma \in H^{p,q}(X)\), the symbol \(\mathrm {ch}^{\mathrm {H}}_{i}(\gamma )\) should be thought of as having Hodge degree \((i, i-p+q)\) (recall this from Definition 1.4) so that the geometric realization is degree preserving. The superscript \(H\) stands for holomorphic part of the Hodge degree and is used to indicate this degree convention. The original convention appearing in loc. cit. defined the descendents \(\mathrm {ch}^{\text{old}}_{i}(\gamma )\) as
for \(\gamma \in H^{p,q}(X)\). The reason for introducing holomorphic descendents is to give a natural looking expression for the operator \(\mathsf{T}_{k}\) in Sect. 2.3.
It will sometimes be useful to also consider the shift
so that \(\deg \mathrm {ch}_{i}(\gamma )=2i-|\gamma |\); we recall that \(|\gamma |\in \{0,1\}\) is the parity of \(\gamma \) as in Sect. 2.1.
Definition 2.5
Let \(\alpha \in K_{\text{sst}}^{0}(X)\) be a topological type. We define \(\text{CH}^{X}_{\alpha}\) to be the graded vector space generated by symbols
We let \({\mathbb{D}}^{X}_{\alpha}\) be \(\text{SSym}[\!\![\text{CH}^{X}_{\alpha}]\!\!]\). The algebra \({\mathbb{D}}^{X}_{\alpha}\) comes equipped with an algebra homomorphism \(p_{\alpha}\colon {\mathbb{D}}^{X}\to {\mathbb{D}}^{X}_{\alpha}\) sending
Note that abstractly the algebras \({\mathbb{D}}^{X}_{\alpha}\) are independent of \(\alpha \), but the morphisms \(p_{\alpha}\) depend on \(\alpha \) by their behavior on the descendents of degree 0. Let \(M_{\alpha}\) be a moduli space parametrizing sheaves of topological type \(\alpha \) with a universal sheaf \({\mathbb{G}}\). Then the geometric realization factors through \(p_{\alpha}\):
where we still denote by \(\xi _{{\mathbb{G}}}\) the factoring map, which is defined as
The map factors since \(\xi _{{\mathbb{G}}}(\mathrm {ch}^{\mathrm {H}}_{i}(\gamma ))=\int _{X} \gamma \cdot \mathrm {ch}(\alpha ) \in H^{0}(M_{\alpha})\) when \(\deg (\mathrm {ch}^{\mathrm {H}}_{i}(\gamma ))=0\) and the degree of \(\xi _{{\mathbb{G}}}\big(\mathrm {ch}^{\mathrm {H}}_{i}(\gamma )\big)\) is identical to (1). Given \(D, D'\in {\mathbb{D}}^{X}\) we say that “\(D=D'\) in \({\mathbb{D}}^{X}_{\alpha}\)” if \(p_{\alpha}(D)=p_{\alpha}(D')\).
Example 2.6
One may lift the Chern classes of the virtual tangent bundle of \(M_{\alpha}\) to \({\mathbb{D}}^{X}\) or \({\mathbb{D}}^{X}_{\alpha}\). As a topological K-theory class, the virtual tangent bundle is defined as
Using \(\sum _{t}\gamma _{t}^{L}\otimes \gamma _{t}^{R}\) to denote the Künneth decomposition of \(\Delta _{\ast} \mathrm {td}(X)\), where \(\Delta \colon X\to X\times X\) is the diagonal, and applying Grothendieck-Riemann-Roch, one computes that
where \(\gamma _{t}^{L}\in H^{p_{t}^{L}, q_{t}^{L}}(X)\). The reason for the existence of this lift will become apparent from Lemma 4.8. The similarity with Virasoro constraints below is a general phenomenon which can be used to guess their correct formulation.
2.3 Virasoro operators
In this section we define the Virasoro operators
which produce the Virasoro constraints. These operators have two terms, a derivation term \(\mathsf {R}_{k}\) and a linear term \({\mathsf {T}}_{k}\) which is quadratic in \(\mathrm {ch}^{\mathrm {H}}_{i}\). The full Virasoro operators are \({\mathsf {L}}_{k}=\mathsf {R}_{k}+{\mathsf {T}}_{k}\), where
-
1.
\(\mathsf {R}_{k} \colon {\mathbb{D}}^{X}\to {\mathbb{D}}^{X}\) is an even (of degree \(2k\)) derivation extended from \(\mathsf {R}_{k}\colon \text{CH}^{X}\to \text{CH}^{X}\), where it is defined by
$$ \mathsf {R}_{k} \mathrm {ch}^{\mathrm {H}}_{i}(\gamma ):=\left (\prod _{j=0}^{k} (i+j) \right )\mathrm {ch}^{\mathrm {H}}_{i+k}(\gamma )\,. $$We take the following conventions: the above product is 1 if \(k=-1\) and \(\mathrm {ch}^{\mathrm {H}}_{i+k}(\gamma )=0\) if \(i+k<0\).
-
2.
\({\mathsf {T}}_{k}\colon {\mathbb{D}}^{X}\to {\mathbb{D}}^{X}\) is the operator of multiplication by the element of \({\mathbb{D}}^{X}\) given by
$$ {\mathsf {T}}_{k}:=\sum _{i+j=k}(-1)^{\dim X-p^{L}}i!j!\mathrm {ch}^{\mathrm {H}}_{i}\mathrm {ch}^{\mathrm {H}}_{j}( \mathrm {td}(X)). $$In the formula above, \((-1)^{\dim X-p^{L}}\mathrm {ch}^{\mathrm {H}}_{i}\mathrm {ch}^{\mathrm {H}}_{j}(\mathrm {td}(X))\) is defined as follows: let \(\Delta \colon X\to X\times X\) be the diagonal map and let
$$ \sum _{t}\gamma _{t}^{L}\otimes \gamma _{t}^{R}=\Delta _{\ast }\mathrm {td}(X) $$be a Kunneth decomposition of \(\Delta _{\ast} \mathrm {td}(X)\) such that \(\gamma _{t}^{L}\in H^{p^{L}_{t}, q^{L}_{t}}(X)\) for some \(p_{t}^{L}, q_{t}^{L}\). Then
$$ (-1)^{\dim X-p^{L}}\mathrm {ch}^{\mathrm {H}}_{i}\mathrm {ch}^{\mathrm {H}}_{j}(\mathrm {td}(X)):=\sum _{t}(-1)^{ \dim X-p_{t}^{L}}\mathrm {ch}^{\mathrm {H}}_{i}(\gamma _{t}^{L})\mathrm {ch}^{\mathrm {H}}_{j}(\gamma _{t}^{R}). $$
Remark 2.7
The operator \({\mathsf {L}}_{-1}=\mathsf {R}_{-1}\) plays a special role and has a particularly nice geometric interpretation in terms of \({\mathbb{G}}_{m}\)–gerbes over \(M_{\alpha}\) which we describe in Lemma 4.9.
The operators \(\{{\mathsf {L}}_{k}\}_{k\geq -1}\) satisfy the Virasoro bracket relations
where the bracket denotes the usual commutator of operators \([X,Y]=X\circ Y-Y\circ X\). This was noted in [48]; for a detailed proof see [63, Proposition 2.10]. The unusual constant factor \((\ell -k)\), instead of \((k-\ell )\), suggests that there might be another set of more natural Virasoro operators to which \(\{{\mathsf {L}}_{k}\}_{k\geq -1}\) are dual. This observation is made into a precise statement in Theorem 4.12.
2.4 Weight zero descendents
One of the issues that arise when dealing with descendent invariants is that a priori they depend on a choice of universal sheaf \({\mathbb{G}}\) on \(M\times X\). Given a universal sheaf \({\mathbb{G}}\), the possible universal sheaves are of the form \({\mathbb{G}}'={\mathbb{G}}\otimes p^{\ast }L\) where \(L\) is a line bundle on \(M\).
Lemma 2.8
Let \({\mathsf {E}}\colon {\mathbb{D}}^{X}\to {\mathbb{D}}^{X}[\!\![\zeta ]\!\!]\) be the algebra homomorphism defined by
then given two universal sheaves \({\mathbb{G}}\) and \({\mathbb{G}}'={\mathbb{G}}\otimes p^{\ast }L\), the geometric realizations with respect to the two are related by
Proof
We may write
which after comparing to
yields the result. □
In particular, it follows that if \(D\) is such that \(\mathsf {R}_{-1}(D)=0\) then \(\xi _{{\mathbb{G}}}(D)=\xi _{{\mathbb{G}}'}(D)\). This leads to the definition of the algebra of weight 0 descendents. Its geometric interpretation is summarized in Lemma 4.10 and is related to taking rigidification of moduli stacks. Roughly speaking, these classify families of sheaves on \(S\times X\) up to twisting by line bundles on \(L\to S\) and the above discussion formulates the precise interaction between the twisting and the descendents.
Definition 2.9
For a topological type \(\alpha \in K_{\text{sst}}^{0}(X)\), we will also denote by
the derivation defined on generators by \(\mathsf {R}_{-1}\mathrm {ch}_{i}(\gamma )=\mathrm {ch}_{i-1}(\gamma )\), where \(\mathrm {ch}_{0}(\gamma )\) is interpreted as \(\int _{X} \gamma \cdot \mathrm {ch}(\alpha )\). We then define
For any weight 0 descendent \(D\in {\mathbb{D}}^{X}_{{\mathrm {wt}_{0}}}\), by Lemma 2.8, the geometric realization \(\xi _{{\mathbb{G}}}(D)\) does not depend on the choice of \({\mathbb{G}}\). Thus, when \(D\in {\mathbb{D}}^{X}_{{\mathrm {wt}_{0}}}\) we will often omit specifying the realization map and write
for any choice of universal sheaf \({\mathbb{G}}\). The morphism \({\mathbb{D}}^{X}_{{\mathrm {wt}_{0}}}\to H^{\bullet}(M)\) is defined even without assuming the existence of any universal sheaf \({\mathbb{G}}\). This fact can be proven using Lemma 4.10; if \(M=M_{\alpha}\) is a moduli space of topological type \(\alpha \), then it admits an open embedding \(\iota \colon M\hookrightarrow {\mathcal {M}}_{\alpha}^{\mathrm {rig}}\) and thus we get a map
Example 2.10
Given \(\gamma _{1},\gamma _{2}\in H^{\bullet}(X)\) we have
One can also check that the lift of \(\mathrm {ch}(T^{\mathrm {vir}}M)\) to \({\mathbb{D}}^{X}\) is in \({\mathbb{D}}^{X}_{{\mathrm {wt}_{0}}}\) using the expression in Example 2.6. A geometric reason for this is going to be given in Example 4.11.
2.5 Virasoro constraints for sheaves
To formulate the Virasoro constraints for moduli of sheaves, without a canonical choice of universal sheaf, we must produce relations among weight 0 descendents. This is achieved by combining the Virasoro operators previously introduced in the way which we now describe:
Definition 2.11
The weight 0 Virasoro operator \(\mathsf {L}_{{\mathrm {wt}_{0}}}\colon {\mathbb{D}}^{X}\to {\mathbb{D}}^{X}\) is defined by
The operator \(\mathsf {L}_{{\mathrm {wt}_{0}}}\) maps \({\mathbb{D}}^{X}\) to \({\mathbb{D}}^{X}_{{\mathrm {wt}_{0}}}\). Indeed, using that \([\mathsf {R}_{-1}, {\mathsf {L}}_{j}]=(j+1){\mathsf {L}}_{j-1}\) we find
In particular, for any \(D\in {\mathbb{D}}^{X}\) the integral \(\int _{M} \xi _{{\mathbb{G}}}(\mathsf {L}_{{\mathrm {wt}_{0}}}(D))\) does not depend on the universal sheaf \({\mathbb{G}}\) so we omit the realization homomorphism \(\xi _{{\mathbb{G}}}\) from the notation.
Conjecture 2.12
Let \(M\) be a moduli of sheaves as in Sect. 1.2. Then
This formulation is different from the ones which appear in previous works, namely [47, 48, 63]. There, Virasoro constraints are formulated using a choice of universal sheaf that is natural in each of the moduli spaces considered.
Definition 2.13
Let \(M=M_{\alpha}\) be a moduli space of sheaves of topological type \(\alpha \) and let \(\delta \in H^{\bullet}(X, {\mathbb{Z}})\) be an algebraic class such that \(\int _{X} \delta \cdot \mathrm {ch}(\alpha ) \neq 0\). We say that a universal sheaf \({\mathbb{G}}\) is \(\delta \)-normalized if
Given \(\delta \) as in the definition, we define the operators
where
Remark 2.14
If \(\delta \) is such that \(\int _{X} \delta \cdot \mathrm {ch}(\alpha )\neq 0\) then a \(\delta \)-normalized universal sheaf always exists (and is unique) as an element of the rational \(K\)-theory of \(M\times X\). Precisely, for any universal sheaf \({\mathbb{G}}\) we have
in the rational \(K\)-theory of \(M\times X\) that can be thought of as the unique \(\delta \)-normalized universal sheaf; here we use \(e^{c}\) to denote a rational line bundle with first Chern class equal to the algebraic class \(c\in H^{2}(M, {\mathbb{Q}})\).
The geometric realization with respect to \({\mathbb{G}}_{\delta}\) is given by \(\xi _{{\mathbb{G}}_{\delta}}=\xi _{{\mathbb{G}}}\circ \eta \) where \(\eta \colon {\mathbb{D}}^{X}\to {\mathbb{D}}^{X}_{{\mathrm {wt}_{0}},\alpha}\) is
Thus, we can talk about the geometric realization with respect to a \(\delta \)-normalized sheaf even if such a sheaf does not exist in the usual sense. Conjecture 2.15 still makes sense in this setting and the proof of Proposition 2.16 goes through as well.
Conjecture 2.15
Let \(M=M_{\alpha}\) be a moduli of sheaves as in Sect. 1.2and let \({\mathbb{G}}\) be a \(\delta \)-normalized universal sheaf. Then
Proposition 2.16
Conjectures 2.12and 2.15are equivalent.
Proof
We begin by observing that we have the identity
that follows from
By (5), Conjecture 2.15 clearly implies 2.12.
For the reverse implication we use (backward) induction on \(k\). For every \(k>\mathrm{virdim}(M)\) the statement of Conjecture 2.15 is clear by degree reasons. Assume now that the result holds for every \(k'>k\), and let \(F=\mathrm {ch}^{\mathrm {H}}_{1}(\delta )\in {\mathbb{D}}^{X}\) satisfying \(\xi _{{\mathbb{G}}}(F)~=~0\) by (4). The weight 0 Virasoro operator applied to \(F^{k+1}D\) gives
Since \(\mathsf {R}_{-1}\) is a derivation and \(\mathsf {R}_{-1}(F)=\mathrm {ch}^{\mathrm {H}}_{0}(\delta )=\int _{X} \delta \cdot \mathrm {ch}(\alpha )\) in \({\mathbb{D}}^{X}_{\alpha}\), we have
in \({\mathbb{D}}^{X}_{\alpha}\), where we denote \(r=\int _{X} \delta \cdot \mathrm {ch}(\alpha )\). Note also that the operators \({\mathsf {L}}_{j}^{\delta}\) satisfy the property that \({\mathsf {L}}_{j}^{\delta}(F D)=F \,{\mathsf {L}}_{j}^{\delta}(D)\) in \({\mathbb{D}}^{X}_{\alpha}\) for every \(D\). Since by (4) the geometric realization of \(F\) with respect to \({\mathbb{G}}\) is zero, the only terms of (7) contributing to (6) are the ones with \(s=k+1\), thus (6) becomes
By the induction hypothesis, all the terms with \(j>k\) vanish and thus the term with \(j=k\) also vanishes, showing that
which concludes the induction step. □
Remark 2.17
For surfaces or 3-folds \(X\) with \(H^{i}({\mathcal {O}}_{X})=0\) for \(i>0\), the Hilbert scheme of points and the moduli of stable pairs, respectively, are moduli of sheaves in the sense of Sect. 1.2. The canonical universal sheaves in each of these cases are precisely the \({\mathsf {pt}}\)-normalized universal sheaves and the formulations in [47, 48] coincide with Conjecture 2.15. In [63], the author considers moduli spaces of torsion free stable sheaves on surfaces with \(h^{1,0}=h^{2,0}=0\); the sheaves in such moduli spaces have fixed determinant \(\Delta \). The author uses a geometric realization with respect to the sheaf \({\mathbb{G}}\otimes \det({{\mathbb{G}}})^{-1/r}\). This is not a universal sheaf for \(M\) in the sense we use in this paper since its restriction to \(\{G\}\times X\) is \(G\otimes \det(G)^{-1/r}=G\otimes \Delta ^{-1/r}\) rather than \(G\); however,
recovers the \({\mathsf {pt}}\)-normalized universal sheaf of Remark 2.14. The equivalence between van Bree’s formulation of Virasoro for the moduli of stable sheaves of positive rank and Conjecture 2.15 is explained by Lemma 2.19.
2.6 Virasoro constraints for pairs
Since for moduli spaces of pairs we have a uniquely defined universal object \(q^{\ast }V\to {\mathbb{F}}\), there is no need to use the weight 0 Virasoro operator for pairs. We need, however, to slightly modify the operators to account for the different obstruction theory.
Let \(V\) be a fixed sheaf on \(X\) and let \(P\) as in Sect. 1.2 be a moduli space of pairs parametrizing sheaves \(F\) together with a map \(V\to F\). The moduli \(P\) comes equipped with a (unique) universal sheaf \({\mathbb{F}}\) on \(P\times X\) and a universal map \(q^{\ast }V\to {\mathbb{F}}\). We conjecture that descendent invariants obtained by integration on moduli of pairs are constrained by Virasoro operators which are similar to the ones introduced in Sect. 2.3. Define the operators
by \({\mathsf {L}}_{k}^{V}=\mathsf {R}_{k}+{\mathsf {T}}_{k}^{V}\) where
The operator \({\mathsf {L}}_{k}^{V}\) can be described in an alternative way that should make its definition more natural and that will be closer to the vertex algebra language that we will introduce later. Let
be the algebra of pair descendents. We denote the generators of the first copy of \({\mathbb{D}}^{X}\) by \(\mathrm {ch}_{i}^{\mathrm {H}, {\mathcal {V}}}(\gamma )\) and the generators of the second copy by \(\mathrm {ch}_{i}^{\mathrm {H}, {\mathcal {F}}}(\gamma )\). Given the universal pair \(q^{\ast }V\to {\mathbb{F}}\) on \(P\times X\), we have a geometric realization map
that is defined by
This geometric realization map factors through
where \(\xi _{V}\) is defined to send
here \(\delta _{i}=\delta _{i,0}\) is equal to 1 if \(i=0\) and 0 otherwise. We define the pair Virasoro operators \({\mathsf {L}}_{k}^{\mathop {\mathrm {pa}}\nolimits }\colon {\mathbb{D}}^{X, \mathop {\mathrm {pa}}\nolimits }\to {\mathbb{D}}^{X, \mathop {\mathrm {pa}}\nolimits }\), for \(k\geq -1\), as the sum \(\mathsf {R}_{k}^{\mathop {\mathrm {pa}}\nolimits }+{\mathsf {T}}_{k}^{\mathop {\mathrm {pa}}\nolimits }\) where
-
1.
\(\mathsf {R}_{k}^{\mathop {\mathrm {pa}}\nolimits }\) is a derivation defined on generators in the same way as \(\mathsf {R}_{k}\); in other words,
$$ \mathsf {R}_{k}^{\mathop {\mathrm {pa}}\nolimits }=\mathsf {R}_{k}\otimes \operatorname{id}+\operatorname{id}\otimes \mathsf {R}_{k}. $$ -
2.
\({\mathsf {T}}_{k}^{\mathop {\mathrm {pa}}\nolimits }\) is the operator of multiplication by the element
$$ {\mathsf {T}}_{k}^{\mathop {\mathrm {pa}}\nolimits }=\sum _{i+j=k} (-1)^{\dim X- p^{L}}i!j!\mathrm {ch}_{i}^{\mathrm {H}, {\mathcal {F}}-{\mathcal {V}}}\mathrm {ch}_{j}^{\mathrm {H}, {\mathcal {F}}}(\mathrm {td}(X))\in {\mathbb{D}}^{X, \mathop {\mathrm {pa}}\nolimits }$$where
$$ \mathrm {ch}_{i}^{\mathrm {H}, {\mathcal {F}}-{\mathcal {V}}}:=\mathrm {ch}_{i}^{\mathrm {H}, {\mathcal {F}}}-\mathrm {ch}_{i}^{ \mathrm {H}, {\mathcal {V}}}. $$
The definition of \({\mathsf {T}}_{k}^{\mathop {\mathrm {pa}}\nolimits }\) suggests an intimate relation between the linear part of the Virasoro operators and the obstruction theory of the moduli spaces we consider; recall that the deformation-obstruction theory of the pair moduli space \(P\) at \(V\to F\) is governed by
and use Example 2.6.
The operators \({\mathsf {L}}_{k}^{V}\) are obtained from \({\mathsf {L}}_{k}^{\mathop {\mathrm {pa}}\nolimits }\) by the following commutative diagram:
This holds due to the identity
It can be shown that the operators \(\{{\mathsf {L}}_{k}^{V}\}_{k\geq -1}\) and \(\{{\mathsf {L}}_{k}^{\mathop {\mathrm {pa}}\nolimits }\}_{k\geq -1}\) satisfy the Virasoro bracket relations.
Conjecture 2.18
Let \(P\) be a moduli of pairs as in Sect. 1.2with universal pair \(q^{\ast }V\to {\mathbb{F}}\) on \(P\times X\). Then
Equivalently, the pair Virasoro constraints can be formulated as
2.7 Invariance under twist
Suppose that \(M=M_{\alpha}\) is the moduli space of slope semistable sheaves with respect to a polarization \(H\) with topological type \(\alpha \). Then, the moduli space \(M'=M_{\alpha (H)}\) is isomorphic to \(M\) by sending a sheaf \([F]\in M\) to \([F']=[F\otimes H]\). As expected, the Virasoro constraints on \(M\) and \(M'\) are equivalent as we now proceed to verify.
Suppose that \({\mathbb{G}}\) is a universal sheaf on \(M\times X\). The universal sheaf on \(M'\times X\) is identified with \({\mathbb{G}}'={\mathbb{G}}\otimes q^{\ast }H\) via the isomorphism \(M'\times X\cong M\times X\). Define an algebra isomorphism \(\mathsf {F}\colon {\mathbb{D}}^{X}\to {\mathbb{D}}^{X}\) by
Then the following diagram commutes:
Lemma 2.19
The isomorphism \({\mathsf {F}}\) commutes with the Virasoro operators, i.e.
Thus, Conjecture 2.12holds for \(M\) if and only if it holds for \(M'\).
Proof
It is enough to show that \({\mathsf {L}}_{k}\) and \({\mathsf {F}}\) commute. Commutativity with \(\mathsf {L}_{{\mathrm {wt}_{0}}}\) follows immediately from its definition; the equivalence of Virasoro constraints follows from the commutativity and the diagram before the Lemma.
The commutativity with the derivation part, i.e., \(\mathsf {R}_{k}\circ {\mathsf {F}}={\mathsf {F}}\circ \mathsf {R}_{k}\), is straightforward. To show commutativity with the operator \({\mathsf {T}}_{k}\) we need \({\mathsf {F}}({\mathsf {T}}_{k})={\mathsf {T}}_{k}\) (recall that \({\mathsf {T}}_{k}\) denotes both an element in \({\mathbb{D}}^{X}\) and the operator which is multiplication by that element).
The last line uses the fact that for fixed \(c>0\) the sum \(\sum \limits _{a+b=c}\frac{(-1)^{a}}{a!b!}\) vanishes. □
2.8 Variants for the fixed determinant theory
As we pointed out in Remark 1.2, this paper is mostly concerned with moduli spaces of sheaves without fixed determinant; in other words, our obstruction theories use full \(\mathrm{Ext}\) groups instead of traceless \(\mathrm{Ext}\) groups. This contrasts with the situation for Pandharipande-Thomas stable pairs or Hilbert schemes of points studied in [47]. There, we see a new term appearing in the Virasoro operators which we now recall.
Definition 2.20
Given a class \(\gamma \in H^{\bullet}(X)\) denote by \(\mathsf {R}_{-1}[\gamma ]\) the superderivation (of degree \(\deg (\gamma )-2)\) acting on generators by
For \(k\geq -1\) we define the operator \({\mathsf {S}}_{k}\colon {\mathbb{D}}^{X}\to {\mathbb{D}}^{X}\) by
where the sum runs over the terms \(\gamma _{t}^{L}\otimes \gamma _{t}^{R}\) in the Künneth decomposition of \(\Delta _{\ast }1\) such that \(p_{t}^{L}=0\).
Remark 2.21
The part of \({\mathsf {S}}_{k}\) corresponding to the Künneth component \(1\otimes {\mathsf {pt}}\) is equal to \(-r{\mathsf {S}}_{k}^{{\mathsf {pt}}}\) where \(r=\mathrm {ch}_{0}(\alpha )=\mathrm {rk}(\alpha )\). When \(h^{0, q}(X)=0\) for \(q>0\) the appearance of the operator \({\mathsf {S}}_{k}\) is already explained in Remark 2.17 as being related to the \({\mathsf {pt}}\)-normalized universal sheaf.
We now proceed to explain the appearance of the operator \({\mathsf {S}}_{k}\) in the more general case in which \(h^{0, 1}\neq 0\) but \(h^{0, q}=0\) for \(q>1\). Let \(\alpha \) be such that \(r=\mathrm {rk}(\alpha )>0\) and \(M=M_{\alpha}\) be a moduli space parametrizing semistable sheaves with topological type \(\alpha \). Let \(\Delta \in \mathop {\mathrm {Pic}}\nolimits (X)\) be a fixed line bundle such that \(c_{1}(\Delta )=c_{1}(\alpha )\). We let \(M_{\Delta}\subseteq M\) be the moduli space of sheaves on \(F\in M\) with fixed determiant \(\det(F)=\Delta \); i.e., \(M_{\Delta}\) is the pullback
The moduli space \(M_{\Delta}\) has a 2-term obstruction theory given by
Given such a moduli space, there is a unique universal sheaf (possibly rational, in the same sense of Remark 2.14) \({\mathbb{G}}_{\Delta}\) on \(M_{\Delta}\times X\) such that \(\det({{\mathbb{G}}}_{\Delta})=q^{\ast }\Delta \). We suppose also that the Jacobian \(\mathop {\mathrm {Pic}}\nolimits ^{0}(X)\) acts on \(M\) in the natural way; that is,
for \(L\in \mathop {\mathrm {Pic}}\nolimits ^{0}(X)\). The two main examples to keep in mind are
-
1.
\(M=M_{C}(r, d)\) a moduli of stable bundles on a curve \(C\) and \(\Delta \) a line bundle of degree \(d\);
-
2.
\(M=M_{S}^{H}(r, c_{1},c_{2})\) a moduli of stable sheaves on a surface \(S\) with \(p_{g}(S)=0\) and \(\Delta \) a line bundle with \(c_{1}(\Delta )=c_{1}\). Note that if we take \(r=1, c_{1}=0\) and \(\Delta ={\mathcal {O}}_{S}\) we recover the Hilbert scheme of points on \(S\)
$$ M_{S}^{H}(1, {\mathcal {O}}_{S}, n)= S^{[n]}\,. $$
Proposition 2.22
Suppose that \(X\) is such that \(h^{0, q}=0\) for \(q>1\) and \(M, M_{\Delta}\) are as described before. Suppose also that the Virasoro constraints (Conjecture 2.12) hold for \(M\). Then, we have
whereFootnote 10
Proof
We use the tensoring morphism
This morphism is a part of the Cartesian diagram
where \(f(G,L):=(G\otimes L,\Delta \otimes L^{r})\) with \(r=\mathrm {rk}(\alpha )\). The morphism \(f\) is essentially the multiplication by \(r\) map of the abelian variety \(\mathop {\mathrm {Pic}}\nolimits ^{0}(X)\). This implies that \(\pi \) is an étale morphism of degree \(r^{2g}\) where \(g=h^{0,1}(X)=\dim (\mathop {\mathrm {Pic}}\nolimits ^{0}(X))\).
On the other hand, \(f\) respects the obstruction theory because the obstruction theory of \(M\) is invariant under tensoring by line bundles. This implies the compatibility between virtual classes
and \(\pi _{*}[\widetilde{M}]^{\mathrm {vir}}=r^{2g}\cdot [M]^{\mathrm {vir}}\).
We now apply the above discussion to translate the Virasoro constraints of \(M\) to that of \(M_{\Delta}\). Let \({\mathcal {P}}\) be the Poincaré bundle on \(\mathop {\mathrm {Pic}}\nolimits ^{0}(X)\times X\) (i.e., the \({\mathsf {pt}}\)-normalized universal bundle of \(\mathop {\mathrm {Pic}}\nolimits ^{0}(X)\)) and let \({\mathbb{G}}\) be the \({\mathsf {pt}}\)-normalized universal sheaf on \(M\times X\). Since \(\widetilde{{\mathbb{G}}}={\mathbb{G}}_{\Delta}\boxtimes {\mathcal {P}}\) is also \({\mathsf {pt}}\)-normalized it follows that \((\pi \times \operatorname{id})^{\ast }{\mathbb{G}}=\widetilde {{\mathbb{G}}}\) (in rational \(K\)-theory) and thus \(\pi ^{\ast}\circ \xi _{{\mathbb{G}}}=\xi _{\widetilde {{\mathbb{G}}}}\). Using the compatibilities between virtual classes and Proposition 2.16 we get
where
Recall that \(g=h^{0,1}(X)=h^{1,0}(X)\) and let \(\{e_{1}, \ldots , e_{g}\}\subseteq H^{0,1}(X)\) and \(\{f_{1}, \ldots , f_{g}\}\subseteq H^{1,0}(X)\) be basis; let \(\{\hat{e}_{1}, \ldots , \hat{e}_{g}\}\subseteq H^{m, m-1}(X)\), \(\{\hat{f}_{1}, \ldots , \hat{f}_{g}\}\subseteq H^{m-1, m}(X)\) be their dual basis, meaning that
Let
so that
The Jacobian is topologically a real torus of dimension \(2g\) and its cohomology is the exterior algebra generated by the classes \(\{\tau _{j}, \rho _{j}\}_{j=1}^{g}\). Let
By rescaling the elements of the basis, we may assume that \(\int _{\mathop {\mathrm {Pic}}\nolimits ^{0}(X)}\prod _{j=1}^{g} \rho _{j}\tau _{j}=\frac{1}{g!}\) so that \(\omega ^{g}\in H^{2g}(\mathop {\mathrm {Pic}}\nolimits ^{0}(X))\) is the class Poincaré dual to a point in \(\mathop {\mathrm {Pic}}\nolimits ^{0}(X)\).
Since \(\mathrm {ch}_{0}({\mathbb{G}}_{\Delta})=r\) and \(\mathrm {ch}_{1}({\mathbb{G}}_{\Delta})=q^{\ast }c_{1}(\Delta )\), we have
in \(H^{\bullet}\big(\widetilde{M}\big)=H^{\bullet}(M_{\Delta}\times \mathop {\mathrm {Pic}}\nolimits ^{0}(X))\) where we omit the obvious pullback. Let
We will apply equation (9) to descendents of the form \(W^{g} D\) for some \(D\in {\mathbb{D}}^{X}\) and use that to deduce the Proposition. We have
We now rewrite the second integral in terms of an integral in \(M_{\Delta}\). We have
Claim 1
Let \(h\colon \widetilde{M}\to M_{\Delta}\) be the projection and let \(D\in {\mathbb{D}}^{X}\). Then we have
Proof of claim
Let \(J\subseteq H^{\bullet}\big(\widetilde{M}\big)\) be the annihilator ideal of \(\omega ^{g-1}\rho _{j}\); in particular, \(H^{\geq 2}(\mathop {\mathrm {Pic}}\nolimits ^{0}(X))\subseteq J\). By definition,
where the terms in … are all in the ideal \(J\) and where we omit all the pullbacks via the projections \(\widetilde{M}\to M_{\Delta}\) and \(\widetilde{M}\to \mathop {\mathrm {Pic}}\nolimits ^{0}(X)\). Thus,
Since
the claim is proven. □
Given the claim, (10) becomes
Since \(h^{0, q}=0\) for \(q>1\), we have
so the Proposition follows. □
Remark 2.23
When \(S\) is a surface with \(p_{g}>0\) we do not know a rigorous interpretation for the terms of the \({\mathsf {S}}_{k}\) with \(\gamma _{t}^{L}\in H^{0,2}(S)\). Heuristically, these should be related to a diagram like (8) where the Picard group is interpreted as a derived stack, see [57].
Example 2.24
Let \(M=M_{C}(2, \Delta )\) be the moduli space of stable bundles on a curve \(C\) of genus \(g\) with rank 2 and fixed determinant \(\Delta \in \mathop {\mathrm {Pic}}\nolimits (C)\) of odd degree; this is a smooth moduli space of dimension \(3g-3\). This moduli space has been studied a lot in the past and in particular its ring structure and descendent integrals are completely understood. We use this example to illustrate what kind of information the Virasoro constraints provide on descendent integrals. Let \(\{e_{1}, \ldots , e_{g}\}\subseteq H^{0,1}(C)\) and \(\{f_{1}, \ldots , f_{g}\}\subseteq H^{1,0}(C)\) be dual basis. Newstead proved in [49, Theorem 1] that the cohomology \(H^{\bullet}(M)\) is generated by the classesFootnote 11
The geometric realization \(\xi \) is taken with respect to the sheaf \({\mathbb{G}}\otimes \det({{\mathbb{G}}})^{-1/2}\) (see Remark 2.17). Every descendent can be written explicitly in terms of the classes \(\eta , \theta , \xi _{j}, \psi _{j}\). By [61, (24) Proposition], one can then write every descendent integral in terms of integrals of products of the classes \(\eta , \theta \) and
These integrals are fully determined in [61, (30)]: for \(m, k, p\) such that \(m+2k+3p=3g-3\) we have
where \(q=m+p-g+1\) and \(B_{q}\) is a Bernoulli number. A careful combinatorial analysis shows that the Virasoro constraints given by Proposition 2.22 for \(M\) are equivalent to the relations
which of course follows from (11); it would be interesting to have a direct and simpler proof of this identity. Note that the Virasoro constraints do not capture the most interesting part of (11) which is the Bernoulli number. In some sense this is to be expected: since the Virasoro constraints hold in great generality (in particular are invariant under wall-crossing), it should not be expected that they can capture special information about particular moduli spaces.
3 Vertex operator algebra
To prove the conjectures from the previous sections, we will apply the wall-crossing machinery introduced by Joyce which relies on his geometric construction of vertex algebras. The resulting vertex algebras have been described in many cases as lattice vertex algebras and as such admit a natural family of conformal elements. This section focuses on developing the necessary vertex operator algebra language, including the definition of lattice vertex operator algebras in the generality that we need, Borcherds Lie algebra associated to a vertex algebra and the notion of primary states.
3.1 Vertex operator algebra
There are many equivalent formulations of vertex algebras. We will follow the definitions and notation in [33]. In particular, vertex algebra for us means ℤ-graded vertex superalgebra over ℂ.
Definition 3.1
A vertex algebra is a ℤ-graded vector space \(V_{\bullet}\) over ℂ together with
-
1.
a vacuum vector
,
-
2.
a linear operator \(T\colon V_{\bullet}\to V_{\bullet +2}\) called the translation operator,
-
3.
and a state-field correspondence which is a degree 0 linear map
$$ Y\colon V_{\bullet}\longrightarrow \mathrm {End}(V_{\bullet})[\!\![z,z^{-1} ]\!\!]\,, $$denoted by
$$ Y(a,z):=\sum _{n\in {\mathbb{Z}}}{a_{(n)}}z^{-n-1}\,, $$where \(a_{(n)}:V_{\bullet}\rightarrow V_{\bullet +\deg (a)-2n-2}\) and \(\deg (z) =-2\).
They are required to satisfy conditions which can be formulated in many different ways. We choose our favorite version:
-
1.
(vacuum)
, \(Y(|0\rangle , z)=\mbox{id}\), \(Y(a,z)|0\rangle \in a+zV_{\bullet}[\!\![z]\!\!]\),
-
2.
(translation covariance) \([T,Y(a,z)] = \frac{d}{dz} Y(a,z)\) for any \(a\in V_{\bullet}\),
-
3.
(locality) for any \(a,b\in V_{\bullet}\), there is an \(N\gg 0\) such that
$$ (z-w)^{N}[Y(a,z),Y(b,w)] = 0\,, $$where the supercommutator is defined on \(\text{End}(V_{\bullet})\) by
$$ [A,B] =A\circ B - (-1)^{|A| |B|}B\circ A\,. $$
For later purposes it is useful to note that these axioms imply the two following identities which were used by Borcherds [10, Sect. 4] to originally define vertex algebras:
They are a refinement of skew-symmetry and the Jacobi identity to the setting of vertex algebras. Additionally, we will also use
which follows from the more general reconstruction result. To understand it, one needs to make sense of a product of two fields \(Y(v,z)\) and \(Y(w,z)\) which naively could contain infinite sums for each coefficient. For this one uses the following trick.
Definition 3.2
[33, (2.3.5)]
A normal ordering :−: is defined by
In general, this can be extended to any monomial in \(v_{(k)}\) by iterating the above operation on the neighboring terms until all terms with non-positive index \(k\) are on the right.
Theorem 3.3
[33, Corollary 4.5]
Let \(a^{1},\ldots , a^{n}\in V_{\bullet}\) be a finite collection of elements and \(k_{1},\dots ,k_{n}\in {\mathbb{Z}}_{\geq 0}\), then a general field can be described as follows:
To get (14) simply use
and compare the coefficients on both sides.
We now recall the definition of an additional structure on vertex algebras called a conformal element or conformal vector. They induce a homomorphism from the Virasoro vertex algebra to the given vertex algebra. As we will see in Sect. 4, conformal element in the setting of Joyce’s vertex algebra gives rise to a compact way to summarize all the information contained in the Virasoro constraints.
Definition 3.4
A conformal element \(\omega \) on a vertex algebra \(V_{\bullet}\) is an element of \(V_{4}\) such that its associated fields \(L_{n}=\omega _{(n+1)}\), defined by
satisfy
-
1.
the Virasoro bracket
$$ \big[L_{n},L_{m}\big] = (n-m)L_{m+n} +\frac{n^{3}-n}{12}\delta _{n+m,0} \cdot C \,, $$where \(C\in {\mathbb{C}}\) is a constant called the central charge of \(\omega \),
-
2.
\(L_{-1} = T\),
-
3.
and \(L_{0}\) is diagonalizable.
A vertex algebra \(V_{\bullet}\) together with a conformal element \(\omega \) is called a conformal vertex algebra or vertex operator algebra. We denote by \(V^{\omega}_{\bullet}\) the conformal grading on the underlying vector space, where \(V^{\omega}_{i}\) is the \(i\in {\mathbb{C}}\) eigenspace of \(L_{0}\). We denote the conformal degree by
to distinguish it from the original degree on \(V_{\bullet}\).
3.2 Lattice vertex (operator) algebras
We next describe a particular construction of a vertex operator algebra which we will be working with, called lattice vertex algebras. The following theorem is a summary (and slight generalization, see footnote 13) of the constructions and statements in [33, Sects. 3.5, 3.6 and 5.5]. In the rest of the section we will explain the construction in further detail.
Theorem 3.5
Kac
Assume that we have the following data:
-
1.
A \({\mathbb{Z}}_{2}\)-graded ℂ-vector space \(\Lambda =\Lambda _{\overline{0}}\oplus \Lambda _{\overline{1}}\) with a symmetric bilinear pairing \(Q\colon \Lambda \times \Lambda \to {\mathbb{C}}\) which is a direct sum of its restrictions \(Q_{\overline{i}}:\Lambda _{\overline{i}}\times \Lambda _{\overline{i}} \to {\mathbb{C}}\).
-
2.
The pairing \(Q\) is obtained as the symmetrization of a not necessarily symmetric pairing \(q\colon \Lambda \times \Lambda \to {\mathbb{C}}\), i.e.,Footnote 12
$$ Q(v, w)=q(v, w)+q(w, v). $$ -
3.
An abelian group of a finite rank \(\Lambda _{\textit{sst}}\) that admits a ℂ-linear inclusion
$$ \Lambda _{\textit{sst}}\otimes _{{\mathbb{Z}}}{\mathbb{C}}\hookrightarrow \Lambda _{ \overline{0}} $$such that the restriction of \(q\) to \(\Lambda _{\textit{sst}}\) is integer valued. This makes \((\Lambda _{\textit{sst}}, Q)\) an even generalized integeral lattice in the sense of [20, Sect. 3].
Then there is a uniquely defined vertex algebra \(V_{\bullet}\) whose underlying vector space is
where
The state-field correspondence is determined by equations (20), (17) and (18) and the translation operator is defined by equation (15).
Suppose moreover that we have:
-
4.
The pairing \(Q\) is non-degenerate.
-
5.
A decomposition of \(\Lambda _{\overline{1}}\) as a sum of two maximal isotropic subspaces, i.e.,
$$ \Lambda _{\overline{1}}=I\oplus \hat{I}. $$
Then \(V_{\bullet}\) admits a conformal element \(\omega \) defined as (23) whose central charge is
We will use the notation \(v_{-k}=v \cdot t^{-k}\in {\mathbb{D}}_{\Lambda}\) and \(e^{\alpha}\in {\mathbb{C}}[\Lambda _{\text{sst}}]\) for the elements associated to \(v\in \Lambda \) and \(\alpha \in \Lambda _{\text{sst}}\), respectively. The ℤ-grading of \(V_{\bullet}\) is defined by the degree assignment
A vacuum vector is defined as \(|0\rangle :=e^{0}\otimes 1\in V_{0}\).
For \(v\in \Lambda \) and \(k>0\), the creation operator \(v_{(-k)}\) on \(V_{\bullet}\) is defined as a left multiplication by the element \(v_{-k}\in {\mathbb{D}}_{\Lambda}\). This gives \(V_{\bullet}\) the structure of a free \({\mathbb{D}}_{\Lambda}\)-module with basis \(\{e^{\alpha}\}_{\alpha \in \Lambda _{\text{sst}}}\). Thus, specifying an operator \(A\colon V_{\bullet}\to V_{\bullet}\) is equivalent to describing its commutators with creation operators \([A, v_{(-k)}]\) and its action on the basis \(A(e^{\alpha})\). The operators that appear are often derivations of the \({\mathbb{D}}_{\Lambda}\)-module \(V_{\bullet}\), and we will often define them by describing their action on the generators \(v_{-k}\) of \({\mathbb{D}}_{\Lambda}\) and on the basis \(e^{\alpha}\).
The translation operator \(T\) is a ℂ-linear even derivation of the \({\mathbb{D}}_{\Lambda}\)-module \(V_{\bullet}\) determined by
Note that when we write \(\alpha _{-1}\) for \(\alpha \in \Lambda _{\mathrm{sst}}\) we are implicitly using the map
to regard \(\alpha \) as an element of \(\Lambda _{\overline{0}}\). For \(k\geq 0\), the annihilation operator \(v_{(k)}\) is defined as a derivation of the \({\mathbb{D}}_{\Lambda}\)-module \(V_{\bullet}\) as we explain below, following Kac [33, Sects. 3.6 and 5.4]. The field corresponding to \(v_{-1}\) is then obtained as a sum of creation and annihilation operators:
We separate the construction of the fields into two cases. If our lattice \(\Lambda \) is concentrated in even degree (i.e., \(\Lambda _{\overline{1}}=\{0\}\)) we use Kac’s bosonic construction and if it is concentrated in odd degree (i.e., \(\Lambda _{\overline{0}}=\{0\}\)) we use a fermionic construction. In the general case, we take the tensor product of the two.
Definition 3.6
Suppose that
-
1.
\(\Lambda _{\overline{1}} = \{0\}\), then the resulting vertex algebra \(V_{\overline {0},\bullet}={\mathbb{C}}[\Lambda _{\text{sst}}]\otimes {\mathbb{D}}_{\Lambda _{ \overline{0}}}\) is called a bosonic lattice vertex algebra. In this case, the action of the annihilation operators \(\{v_{(k)}\}_{k\geq 0}\) for \(v\in \Lambda _{\overline{0}}\) is an even derivation on the \({\mathbb{D}}_{\Lambda _{\overline {0}}}\)-module \(V_{\overline {0},\bullet}\) determined by
$$ v_{(k)}(w_{-l}) = k\,Q(v,w)\,\delta _{k-l,0}\,,\qquad v_{(k)}(e^{ \alpha}) = Q(v,\alpha )\,\delta _{k,0}\,e^{\alpha}\,, \quad k\geq 0, l>0 \,. $$Kac [33, Sect. 5.5]Footnote 13 endows \(V_{\overline {0},\bullet}\) with a vertex algebra structure such that
$$\begin{aligned} Y(v_{-1},z) &= \sum _{k\in {\mathbb{Z}}}v_{(k)}z^{-k-1}\,, \end{aligned}$$and
$$\begin{aligned} &Y(e^{\alpha},z) \\ &\quad= (-1)^{q(\alpha , \beta )}z^{Q(\alpha ,\beta )}e^{ \alpha} \exp \Big[-\sum _{ k< 0}\frac{\alpha _{(k)}}{k}z^{-k}\Big] \exp \Big[-\sum _{k>0}\frac{\alpha _{(k)}}{k}z^{-k}\Big] \end{aligned}$$(17)on \(e^{\beta}\otimes {\mathbb{D}}_{\Lambda}\); in the formula, \(e^{\alpha}\) stands for the operator sending \(e^{\beta}\otimes w\) to \(e^{\alpha +\beta}\otimes w\). Note that the signs \(\varepsilon _{\alpha , \beta}=(-1)^{q(\alpha , \beta )}\) satisfy [33, Equations 5.4.14]. The general state-field correspondence is set to be
(18) -
2.
\(\Lambda _{\overline {0}} = \{0\}\), then the resulting vertex algebra \(V_{\overline {1}, \bullet}={\mathbb{D}}_{\Lambda _{\overline{1}}}\) is called a fermionic vertex algebra, see [33, Sect. 3.6]. It is determined uniquely by setting the annihilation operators \(\{v_{(k)}\}_{k\geq 0}\), for \(v\in \Lambda _{\overline{1}}\), to be odd derivations on the supercommutative algebra \({\mathbb{D}}_{\Lambda _{\overline{1}}}\) such that
$$ v_{(k)}(w_{-l}) =Q(v,w)\delta _{k-l+1,0}\,, \quad k\geq 0, l>0 \,. $$The remaining fields are obtained again by the reconstruction Theorem [33, Theorem 4.5], which states the analog of (18) without \(e^{\alpha}\).
In general, \(V_{\bullet}\) is defined as the tensor product of the two lattice vertex algebras,
which are associated to \(\Lambda _{\text{sst}}\otimes _{{\mathbb{Z}}}{\mathbb{C}}\hookrightarrow \Lambda _{ \overline{0}}\) and \(\Lambda _{\overline {1}}\), respectively. The resulting fields are determined uniquely by
whenever \(a_{\overline{i}}\in V_{\,\overline{i},\,\bullet}\).
We can summarize the above description by formulating the commutation relations of the operators \(v_{(k)}\) as
which holds for all \(k,\ell \in {\mathbb{Z}}\). If we want to obtain a closed formula for (16), we may rewrite the annihilation operators in terms of derivatives to get
on \(e^{\beta}\otimes {\mathbb{D}}_{\Lambda}\subseteq V_{\bullet}\), where \(B\subset \Lambda \) is a basis.
We will later identify Joyce’s vertex algebra with a lattice vertex algebra. For that, the following proposition, which is a simple corollary of [33, Proposition 5.4], will be useful.
Proposition 3.7
Let \(V_{\bullet}\) be a vertex algebra with the underlying vector space \({\mathbb{C}}[\Lambda _{\textit{sst}}]\otimes {\mathbb{D}}_{\Lambda}\) such that:
-
(i)
The vacuum vector is \(e^{0}\otimes 1\);
-
(ii)
The fields \(Y(e^{0}\otimes v_{-1}, z)\) are given by (20);
-
(iii)
We have
$$ [z^{Q(\alpha ,\beta )}] Y(e^{\alpha},z)e^{\beta}=(-1)^{q(\alpha , \beta )}e^{\alpha +\beta}\,. $$(21)
Then \(V_{\bullet}\) is isomorphic to the lattice vertex algebra of Theorem 3.5.
Proof
By [33, Proposition 5.4], conditions (i) and (ii) imply that \(V_{\bullet}\) is uniquely determined by a choice of operators \(c_{\alpha}\colon V_{\bullet}\to V_{\bullet}\) for each \(\alpha \in \Lambda _{\text{sst}}\) satisfying
For such a choice of operators, the field \(Y(e^{\alpha}, z)\) is given by
To show that \(V_{\bullet}\) is the lattice vertex algebra we need to show that \(c_{\alpha}\) acts as \((-1)^{q(\alpha , \beta )}\) on \(e^{\beta}\otimes {\mathbb{D}}_{\Lambda}\). Since \(c_{\alpha}\) commutes with creation operators, it is enough to show that \(c_{\alpha}(e^{\beta})=(-1)^{q(\alpha ,\beta )}e^{\beta}\) for all \(\beta \in \Lambda _{\text{sst}}\). We have
Extracting the coefficient of \(z^{Q(\alpha , \beta )}\) from both sides and using (iii) the result follows. □
3.3 Kac’s conformal element
Let \(V_{\bullet }= {\mathbb{C}}[\Lambda _{\text{sst}}]\otimes {\mathbb{D}}_{\Lambda}\) be a lattice vertex algebra associated to a non-degenerate symmetric pairing
Recall that \(V_{\bullet}\) is expressed as a tensor product \(V_{\bullet }= V_{\overline {0},\,\bullet}\otimes V_{\overline {1},\,\bullet}\). This allows us to address the construction of the conformal element as
Let us first fix a basis \(B_{\,\overline {0}}\) of \(\Lambda _{\,\overline {0}}\) and its dual \(\hat{B}_{\,\overline {0}}\) with respect to \(Q\); we denote by \(\hat{v}\in \hat{B}_{\,\overline {0}}\) the dual of \(v\in B_{\,\overline {0}}\), so that
Then the bosonic part has a natural choice of a conformal element given by
See [33, Proposition 5.5]. The central charge of \(\omega _{\overline{0}}\) is \(\dim (\Lambda _{\overline{0}})\).
We now consider the fermionic part. Recall that we have in the assumptions of Theorem 3.5 a splitting
into maximal isotropic subspaces. Given such a splitting, Kac [33, 3.6.14] constructs a family of conformal elements \(\omega ^{\lambda}_{\overline {1}}\) parameterized by \(\lambda \in {\mathbb{C}}\). To give its explicit description, pick a basis \(B_{I}\subset I\); then its dual basis is denoted by \(B_{\hat{I}}\subset \hat{I}\) with elements \(\hat{w}\) satisfying \(Q(v,\hat{w}) = \delta _{v,w}\). One then sets
Notice that the expression is independent of a choice of bases \(B_{I},B_{\hat{I}}\) and swapping \(I\) and \(\hat{I}\) only interchanges \(\lambda \) and \((1-\lambda )\). We set \(\lambda =0\) and denoteFootnote 14
The central charge of \(\omega _{\overline {1}}\) is
by [33, 3.6.16] after plugging \(\lambda =0\). Therefore, the central charge of the full conformal element \(\omega =\omega _{\overline {0}}+\omega _{\overline {1}}\) is given by
Remark 3.8
The choice of the conformal element \(\omega \) is equivalent to the choice of a splitting (22), so we will often denote the latter piece of data also by \(\omega \).
The corresponding conformal grading on \(e^{\alpha}\otimes {\mathbb{D}}_{\Lambda}\subset V_{\bullet}\), depending on the choice of the splitting \(\omega \), is determined by the operator
The last equality is obtained by separating the sum into \(k>0\) or \(k<0\) terms and using (20) in the form
Specifically, the induced conformal grading is
for each \(k>0\), while the ℤ-grading on \(V_{\bullet}\) that we started with is given by
The conformal grading \(V_{\bullet}^{\omega}\) is useful when it comes to studying Virasoro operators as we explain now. Starting from the notation for the decomposition
we label the conformal shift
We also define a new pairing \(Q^{\omega}(v,w)\) as
This pairing is non-degenerate and supersymmetric because \(Q\) is non-degenerate and symmetric. Using the shift notation \(v^{\omega}_{-1}\) and a new pairing \(Q^{\omega}\), we can rewrite the conformal element as
In the last equality, we use the basis \(B=B_{\overline {0}}\sqcup B_{I}\sqcup B_{\hat{I}}\) of \(\Lambda \) and \(\{\tilde{v}\}\) denotes the dual basis to \(B=\{v\}\) with respect to \(Q^{\omega}\), such that \(Q^{\omega}(v,\tilde{w})=\delta _{v,w}\). If we also shift the notation for the creation and annihilation operators defining \(v^{\omega}_{(k)}\) by the formula
the Virasoro operators can be written as
We also note that shifted creation and annihilation operators are subject to the bracket relations that are similar to bosonic fields
This can be shown by dividing into three cases;
and using the translation formula (14).
3.4 Lie algebra of physical states
Borcherds [10] associates to any vertex algebra \(V_{\bullet}\) a graded Lie algebra
In this section, we study the Lie subalgebra of primary states (also known as physical states) that is closely related to Virasoro constraints. Algebraic statements in this section will translate into a compatibility between wall-crossing and Virasoro constraints for sheaves and pairs in the geometric setting.
Definition 3.9
Let \(\big(V_{\bullet},\omega \big)\) be a conformal vertex algebra. The space of primary states of conformal weight \(i\in {\mathbb{Z}}\) is defined as
The following assumption is used to construct the Lie subalgebra of primary states.
Assumption 3.10
We have \(\ker (T)\cap V^{\omega}_{i}=\{0\}\) for all \(i<0\).
This assumption is satisfied for the lattice vertex algebras with Kac’s conformal element because the kernel
consists only of elements with zero conformal weight.
Primary states yield a smaller Lie subalgebra by the proposition below. To state it, we introduce the Lie subalgebra
The fact that is closed under the Lie bracket on \(V_{\bullet}/T(V_{\bullet})\) is a consequence of the fact \(V_{1}^{\omega}\) is closed with respect to the 0-th product.
Proposition 3.11
[10]
Let \(\big(V_{\bullet},\omega \big)\) be a conformal vertex algebra satisfying Assumption 3.10. Then defines a natural Lie subalgebra of .
Proof
We record the proof to be self-contained. For any \(a\in V_{\bullet}\) and \(n\in {\mathbb{Z}}\), we have
This implies that if \(a\in P_{0}\) then \(Ta\in P_{1}\), hence making sense of the quotient .
In order to show that the natural map \(P_{1}/T(P_{0})\rightarrow V_{1}^{\omega}/T(V_{0}^{\omega})\) is injective, we need to prove that \(a\in V_{0}^{\omega}\) with \(Ta\in P_{1}\) implies \(a\in P_{0}\). Suppose that \(a\in V_{0}^{\omega}\) with \(Ta\in P_{1}\). We use induction on \(n\) to prove that \(L_{n}(a)=0\). The base case \(n=0\) follows from \(a\in V_{0}^{\omega}\). If \(L_{n-1}(a)=0\) for some \(n\geq 1\) by induction hypothesis, then (27) implies \(T(L_{n}(a))=0\) since \(Ta\in P_{1}\). Since \(L_{n}(a)\in \ker (T)\) has a negative conformal weight \(-n\), Assumption 3.10 implies \(L_{n}(a)=0\).Footnote 15
Finally, this defines a Lie subalgebra because if \(a, b\in P_{1}\) then
hence \(a_{(0)}b\in P_{1}\). Here we used the fact that if \(a\in P_{1}\) then the operator \(a_{(0)}\) commutes with any Virasoro operators \(L_{n}\) [10, Sect. 5]. □
We give an alternative way to define a Lie subalgebra of primary states that is related to the weight 0 Virasoro operator. For this new definition, we need a partial lift of the Borcherds’ Lie bracket.
Lemma 3.12
There is a well-defined linear map Footnote 16
which makes \(V_{\bullet}\) a representation of a graded Lie algebra .
Proof
It suffices to check the factoring property of \(a_{(0)}b\) in the first coordinate. This follows from (14) because \((Ta)_{(0)}=0\). □
Proposition 3.13
Let \(\big(V_{\bullet},\omega \big)\) be a conformal vertex algebra satisfying Assumption 3.10. Then the linear map in Lemma 3.12restricts to
which makes \(P_{i}\) a subrepresentation of \(V_{i}^{\omega}\) with respect to the Lie algebra .
Proof
The proof is similar to that of Proposition 3.11 relying on the fact that if \(a\in P_{1}\) then the operator \(a_{(0)}\) commutes with any Virasoro operators \(L_{n}\). □
Definition 3.14
Let \(\big(V_{\bullet},\omega \big)\) be a conformal vertex algebra. We define a Lie subalgebra
In the definition above, the operator \([-,\omega ]\) is a linear map defined in Lemma 3.12. The fact that defines a Lie subalgebra follows from the representation property in Lemma 3.12. Connection of to the formulation of the Virasoro constraints for moduli spaces of sheaves will be explained using the Lemma below; note the similarity between the weight 0 Virasoro operator introduced in Definition 2.11 and the formula for \([-, \omega ]\).
Lemma 3.15
Let \(\big(V_{\bullet},\omega \big)\) be a conformal vertex algebra. Then we have
Proof
By (12), we have
□
From Lemma 3.15, it is clear that . The next lemma states the converse when working with lattice vertex algebras.
Proposition 3.16
Let \((V_{\bullet}, \omega )\) be a lattice vertex operator algebra as in Theorem 3.5with \(V_{\bullet}={\mathbb{C}}[\Lambda _{\textit{sst}}]\otimes {\mathbb{D}}_{\Lambda}\). Then we have on the summands \(e^{\alpha}\otimes {\mathbb{D}}_{\Lambda}\) such that \(\alpha \) is not torsion.
Proof
Let \(\overline{a}\) be an element admitting a lift \(a\in e^{\alpha}\otimes {\mathbb{D}}_{\Lambda}\) for some non torsion \(\alpha \). Suppose that , i.e., \(a_{(0)}\omega =0\). We show that by constructing another lift of \(\overline{a}\), not necessarily the same as \(a\), that lies in \(P_{1}\). Since the pairing \(Q\) is non-degenerate, there exists some \(b\in \Lambda _{\overline {0}}\) such that \(Q(\alpha ,b)=1\). In the proof of this lemma, we denote \(e^{0}\otimes b_{-1}\subset V_{1}^{\omega}\) simply by \(b\); note that the creation/annihilation operators associated to \(b\in \Lambda _{\overline {0}}\) and the fields induced by \(b=e^{0}\otimes b_{-1}\in V_{\bullet}\) are the same by definition, so the symbol \(b_{(k)}\) is unambiguous. We claim that such \(b\) provides a desired lift of \(\overline{a}\) defined as
Since (26) defines a Lie bracket, we know that
Recall that the operator \(b_{(0)}\) acts on \(e^{\alpha}\otimes {\mathbb{D}}_{\Lambda}\) as multiplication by \(Q(\alpha ,b)=1\). Therefore \(\eta _{b}(\overline{a})\) is indeed another lift of \(\overline{a}\).
To show that \(\eta _{b}(\overline{a})\in V^{\omega}_{1}\) is a primary state in \(P_{1}\), we must show
This follows from the assumption \(a_{(0)}\omega =0\) and the identity (13)
together with the basic fact that \(b=e^{0}\otimes b_{-1}\in P_{1}\) [33, page 81]. □
4 VOA from sheaf theory
The general treatment of vertex algebras in the previous section is now paralleled by their geometric construction formulated by Joyce [26]. Beginning from the application to the moduli stack of pairs of perfect complexes, we compare the resulting vertex algebras to lattice vertex algebras following the work of Gross [20]. The later parts of the section are focused on describing the duals of the operators \(\mathsf{L}_{k}\) as Virasoro operators for a natural conformal element.
4.1 Joyce’s vertex algebra construction
We begin by describing the assumptions needed for the geometric construction of the vertex algebra for perfect complexes following Joyce’s [26].Footnote 17 We then follow it up with how to extend it to pairs of complexes which is the most natural setting to work in for conformal elements and the rank reduction arguments later on.
We use the notation
for projections to components whenever \(J\subset I\) are finite sets, and denote for a \(K\)-theory class \(\mathcal{K}\) on \(\prod _{j\in J}Z_{j}\) the pullback by \(\mathcal{K}_{J} =\pi ^{\ast}_{J}(\mathcal{K})\). Pushforwards, pullbacks and duality below are all understood to be derived.
Definition 4.1
-
1.
We work with a (higher) moduli stack \(\mathcal {M}_{X}\) of perfect complexes on \(X\) constructed by Toën-Vaquié [62] which admits a universal perfect complex \({\mathcal {G}}\) on \(\mathcal {M}_{X}\times X\). The two structures we are interested in are the direct sum map \(\Sigma \colon \mathcal {M}_{X}\times \mathcal {M}_{X}\to \mathcal {M}_{X}\), such that
$$ (\Sigma \times \operatorname{id}_{X})^{\ast }{\mathcal {G}}= {\mathcal {G}}_{1,3}\oplus {\mathcal {G}}_{2,3}\,, $$and an action \(\rho \colon B{\mathbb{G}}_{m}\times \mathcal {M}_{X}\to \mathcal {M}_{X}\) determined by
$$ (\rho \times \operatorname{id}_{X})^{\ast}({\mathcal {G}}) = {\mathcal {Q}}_{1}\otimes {\mathcal {G}}_{2,3} $$for the universal line bundle \({\mathcal {Q}}\) on \(B{\mathbb{G}}_{m}\).
-
2.
The second major ingredient in constructing vertex algebras is a complex
$$ \mathrm {Ext}= (\pi _{1,2})_{\ast}\Big({\mathcal {G}}_{1,3}^{\vee}\otimes {\mathcal {G}}_{2,3} \Big)\,, $$(29)on \({\mathcal {M}}_{X}\times {\mathcal {M}}_{X}\). Denoting by \(\sigma \colon \mathcal {M}_{X}\times \mathcal {M}_{X}\to \mathcal {M}_{X}\times \mathcal {M}_{X}\) the map swapping the factors we construct its symmetrization
$$ \Theta = \mathrm {Ext}^{\vee}\oplus \sigma ^{\ast} \mathrm {Ext}$$which satisfies \(\sigma ^{*} \Theta \cong \Theta ^{\vee} \).
-
3.
For any topological type \(\alpha \in K_{\text{sst}}^{0}(X)\simeq \pi _{0}(\mathcal{M}_{X})\), we denote the corresponding connected component by \(\mathcal {M}_{\alpha }\subseteq {\mathcal {M}}_{X}\). Any restriction of an object living on \(\mathcal {M}_{X}\) to \(\mathcal {M}_{\alpha }\) will be labelled by adjoining the subscript \((-)_{\alpha}\). This allows us to express
$$ \chi _{\text{sym}}(\alpha ,\beta ):=\mathrm {rk}\big(\Theta _{\alpha ,\beta} \big) = \chi (\alpha ,\beta ) + \chi (\beta ,\alpha ) $$for \(\chi \colon K_{\text{sst}}^{0}(X)\times K_{\text{sst}}^{0}(X)\to {\mathbb{Z}}\) the usual Euler form.
By the construction of Blanc [6, Sect. 3.4], there exists a topological space \({\mathcal {S}}^{\text{t}}\) defined up to homotopy which is assigned to each (higher) stack \({\mathcal {S}}\). The homology and cohomology of \({\mathcal {S}}\) are then defined by
Each perfect complex ℰ on \({\mathcal {S}}\) corresponds to a map \({\mathcal {S}}\xrightarrow{{\mathcal {E}}} \text{Perf}_{{\mathbb{C}}} \) which induces \({\mathcal {S}}^{\text{t}}\xrightarrow{{\mathcal {E}}^{\text{t}}}BU\times {\mathbb{Z}}\) and the \(K\)-theory class
The Chern classes of ℰ are defined to be the Chern classes of \([\!\![{\mathcal {E}}]\!\!]\).
Remark 4.2
We will only work with geometries where the natural map
for the semi-topological \(K\)-theory \(K^{i}_{\text{sst}}(X, {\mathbb{Z}})\) in [16] is an isomorphism for all \(i>0\) and an injection when \(i=0\). Gross [20] calls the class of such varieties class D; it includes curves, surfaces, rational 3-folds and rational 4-folds. From [6, Theorem 4.21] it follows that for such varieties
The vertex algebra on the shifted homology
for the shift
was constructed by [26] as follows:
Theorem 4.3
[26, Theorem 3.12]
There is a vertex algebra structure on \(V_{\bullet}\) from (30) defined by
-
1.
letting \(0\colon *\to {\mathcal {M}}_{0}\) be the inclusion of the zero object and setting
-
2.
taking \(t\in H_{2}\big(B{\mathbb{G}}_{m}\big)\) to be the dual of \(c_{1}({\mathcal {Q}})\in H^{2}\big(B{\mathbb{G}}_{m}\big)\) and setting
$$ T(u) = \rho _{\ast}\big(t\boxtimes u\big)\,. $$ -
3.
constructing the state-field correspondence by the formula
$$ Y(u,z)v = (-1)^{\chi (\alpha ,\beta )}z^{\chi _{\textit{sym}}(\alpha ,\beta )} \Sigma _{\ast}\Big[e^{zT}\boxtimes \textit{id}\big(c_{z^{-1}}(\Theta ) \cap (u\boxtimes v)\big)\Big] $$(31)for any \(u\in \widehat{H}_{\bullet}(\mathcal{M}_{\alpha})\) and \(v\in \widehat{H}_{\bullet}(\mathcal{M}_{\beta})\).
While moduli spaces of sheaves (recall Sect. 1.2) naturally define an element in the vertex algebra \(V_{\bullet}\) (or the associated Lie algebra ), this vertex algebra is not suitable to study wall-crossing in moduli spaces of pairs. Essentially this is due to the fact that the complex \(\mathrm {Ext}\) in Definition 4.1 captures the deformation theory of sheaves but not of pairs.
Thus, when working with pairs we will work with a larger vertex algebra \(V_{\bullet}^{\mathop {\mathrm {pa}}\nolimits }\) that is constructed from the homology of a stack parametrizing a pair of complexes and replaces the class \(\mathrm {Ext}\) by \(\mathrm {Ext}^{\mathop {\mathrm {pa}}\nolimits }\), more related to the deformation theory of pairs. It also turns out that the vertex algebra \(V_{\bullet}^{\mathop {\mathrm {pa}}\nolimits }\) is the adequate place to construct a conformal element that produces the Virasoro operators.
Definition 4.4
-
1.
Let \({\mathcal {P}}_{X}:={\mathcal {M}}_{X}\times {\mathcal {M}}_{X}\) and denote by \({\mathcal {V}}={\mathcal {G}}_{1,3}\) and \({\mathcal {F}}={\mathcal {G}}_{2,3}\) the pullbacks of \({\mathcal {G}}\) via the two possible projections \({\mathcal {M}}_{X}\times {\mathcal {M}}_{X}\times X\to {\mathcal {M}}_{X}\times X\). This stack has a natural direct sum map \(\Sigma ^{\mathop {\mathrm {pa}}\nolimits }\) and a \(B{\mathbb{G}}_{m}\)–action \(\rho ^{\mathop {\mathrm {pa}}\nolimits }\)
$$\begin{aligned} \Sigma ^{\mathop {\mathrm {pa}}\nolimits }&:=\big(\Sigma \times \Sigma \big)\circ \sigma _{2,3} : {\mathcal {P}}_{X}\times {\mathcal {P}}_{X}\longrightarrow {\mathcal {P}}_{X}\,, \\ \rho ^{\mathop {\mathrm {pa}}\nolimits }&:=\big(\rho \times \rho \big) \circ \big(\Delta _{B {\mathbb{G}}_{m}}\times \operatorname{id}_{{\mathcal {P}}_{X}}\big): B{\mathbb{G}}_{m}\times {\mathcal {P}}_{X} \longrightarrow {\mathcal {P}}_{X}\,. \end{aligned}$$where \(\sigma _{2,3}\) swaps the second and third copy of \({\mathcal {M}}_{X}\) in \({\mathcal {P}}_{X}\times {\mathcal {P}}_{X}={\mathcal {M}}_{X}^{\times 4}\).
-
2.
One extends \(\mathrm {Ext}\) to a perfect complex
$$ \mathrm {Ext}^{\mathop {\mathrm {pa}}\nolimits } = (\pi _{1,2})_{\ast}\Big(({\mathcal {F}}_{1,3}\oplus {\mathcal {V}}_{1,3}[1])^{ \vee}\otimes {\mathcal {F}}_{2,3}\Big) $$(32)on \({\mathcal {P}}_{X}\times {\mathcal {P}}_{X}\). We introduce its symmetrization
$$ \Theta ^{\mathop {\mathrm {pa}}\nolimits } = (\mathrm {Ext}^{\mathop {\mathrm {pa}}\nolimits })^{\vee }\oplus (\sigma ^{\mathop {\mathrm {pa}}\nolimits })^{\ast} \mathrm {Ext}^{\mathop {\mathrm {pa}}\nolimits }\,, $$where \(\sigma ^{\mathop {\mathrm {pa}}\nolimits }:{\mathcal {P}}_{X}\times {\mathcal {P}}_{X}\to {\mathcal {P}}_{X}\times {\mathcal {P}}_{X}\) swaps the two factors.
-
3.
We now work with two copies of the \(K\)-theory with the connected components labeled by \({\mathcal {P}}_{\alpha ^{\mathop {\mathrm {pa}}\nolimits }}\) whenever \(\alpha ^{\mathop {\mathrm {pa}}\nolimits }=(\alpha _{1},\alpha _{2})\in K_{\text{sst}}^{0}(X)^{\oplus 2}\) and continue to denote by the subscript \((-)_{\alpha ^{\mathop {\mathrm {pa}}\nolimits }}\) the restriction of some object to each connected component. We define the pairing
$$\begin{aligned} \chi ^{\mathop {\mathrm {pa}}\nolimits }\big(\alpha ^{\mathop {\mathrm {pa}}\nolimits },\beta ^{\mathop {\mathrm {pa}}\nolimits }\big) :=\chi ( \alpha _{2} -\alpha _{1},\beta _{2}) =\mathrm {rk}\big(\mathrm {Ext}^{\mathop {\mathrm {pa}}\nolimits }_{\alpha ^{ \mathop {\mathrm {pa}}\nolimits },\beta ^{\mathop {\mathrm {pa}}\nolimits }}\big) \,. \end{aligned}$$and its symmetrization
$$ \chi ^{\mathop {\mathrm {pa}}\nolimits }_{\text{sym}}(\alpha ^{\mathop {\mathrm {pa}}\nolimits },\beta ^{\mathop {\mathrm {pa}}\nolimits }\big) :=\chi ( \alpha ^{\mathop {\mathrm {pa}}\nolimits },\beta ^{\mathop {\mathrm {pa}}\nolimits }\big)+ \chi (\beta ^{\mathop {\mathrm {pa}}\nolimits }, \alpha ^{\mathop {\mathrm {pa}}\nolimits } \big)=\mathrm {rk}\big(\Theta ^{\mathop {\mathrm {pa}}\nolimits }_{\alpha ^{\mathop {\mathrm {pa}}\nolimits },\beta ^{\mathop {\mathrm {pa}}\nolimits }}\big) \,. $$
The pair vertex algebra has the underlying graded vector space
where \(\widehat{H}_{\bullet}\big({\mathcal {P}}_{\alpha ^{\mathop {\mathrm {pa}}\nolimits }}\big) = H_{\bullet -2 \chi ^{\mathop {\mathrm {pa}}\nolimits }(\alpha ^{\mathop {\mathrm {pa}}\nolimits }, \alpha ^{\mathop {\mathrm {pa}}\nolimits })}\big({\mathcal {P}}_{\alpha ^{\mathop {\mathrm {pa}}\nolimits }} \big)\). The structure of a vertex algebra is constructed exactly as in Theorem 4.3. In particular, the state-field correspondence is given by
for \(u\in \widehat{H}_{\bullet}\big({\mathcal {P}}_{\alpha ^{\mathop {\mathrm {pa}}\nolimits }}\big)\), \(v\in \widehat{H}_{\bullet}\big({\mathcal {P}}_{\beta ^{\mathop {\mathrm {pa}}\nolimits }}\big)\). Note that the inclusion of \({\mathcal {M}}_{X}\hookrightarrow {\mathcal {P}}_{X}\) sending \(F\mapsto (0, F)\) realizes \(V_{\bullet}\) as a vertex subalgebra of \(V_{\bullet}^{\mathop {\mathrm {pa}}\nolimits }\).
Remark 4.5
In Joyce’s theory [31, Sect. 8], wall-crossing for pairs plays an important role in the definition of the invariant classes \([M]^{\mathrm {inv}}\). However, the vertex algebra that he uses to formulate such wall-crossing formulae is not \(V_{\bullet}^{\mathop {\mathrm {pa}}\nolimits }\). For our purposes, it will be enough to consider the stack \({\mathcal {N}}_{X}\) parametrizing triples \((U,F,f)\) where \(U\) is a vector space, \(F\) is a sheaf and \(f:U \otimes {\mathcal {O}}_{X}\to F\) is a morphism (cf. [31, Definition 8.2] with \(L={\mathcal {O}}_{X}\) or [8, Definition 2.12] when \(n=0\)). The stack \({\mathcal {N}}_{X}\) maps to \({\mathcal {P}}_{X}\) by
If one replaces \(\mathrm {Ext}^{\mathop {\mathrm {pa}}\nolimits }\) by
in the definition of (33), then the vertex algebra structure on \({\mathcal {N}}_{X}\) used by Joyce makes the pushforward \(\Omega _{*}\) in homology into a vertex algebra homomorphism.
When doing wall-crossing in Sect. 5 and in the Appendix 6.3, we only work with \(Y(u,z)v\) where
The restrictions of \(\mathrm {Ext}^{\mathop {\mathrm {pa}}\nolimits }\) and \(\mathrm {Ext}^{\text{vpa}}\) to \({\mathcal {P}}_{X}\times {\mathcal {M}}_{X}\subset {\mathcal {P}}_{X}\times {\mathcal {P}}_{X}\) coincide, so the resulting wall-crossing formulae remain the same. This was discussed in more detail for quivers in [9, Remark 3.5 and 3.12, Lemma 4.4] where the comparison of vertex algebras was stated explicitly.
4.2 Joyce’s vertex algebra as a lattice vertex algebra
We will now give an explicit description of \(V_{\bullet}\) and \(V^{\mathop {\mathrm {pa}}\nolimits }_{\bullet}\) as lattice vertex algebras (see Theorem 3.5) following Gross’ work [20].
Let \(\Lambda \) be the \({\mathbb{Z}}_{2}\)-graded vector space
Let also \(\Lambda _{\text{sst}}=K_{\text{sst}}^{0}(X)\). Next we need to describe the bilinear forms \(Q, q\) on \(\Lambda \) extending the natural Euler pairing on \(\Lambda _{\text{sst}}=K_{\text{sst}}^{0}(X)\). Recall that we have a natural Chern character isomorphism \(K^{\bullet}(X)\cong H^{\bullet}(X)\). Define the dual \((-)^{\vee}\colon K^{\bullet}(X)\to K^{\bullet}(X)\) by identifying with \(H^{\bullet}(X)\) and setting
where \(\deg \mathrm {ch}(v)\) is the cohomological degree. This leads to
We define the extension of the Euler pairing to \(K^{\bullet}(X)\) as
We will denote its symmetrization by \(\chi _{\text{sym}}\):
For the pair version, we let
Given \(v\in \Lambda \) we will denote by \(v^{{\mathcal {V}}}=(v,0),\, v^{{\mathcal {F}}}=(0,v)\in \Lambda ^{\mathop {\mathrm {pa}}\nolimits }\) the corresponding elements in the first and second copies of \(\Lambda \), respectively. Given two elements
their pairing is defined as
and as usual its symmetrization is
Note that the forms \(\chi ^{\mathop {\mathrm {pa}}\nolimits }\) and \(\chi ^{\mathop {\mathrm {pa}}\nolimits }_{\text{sym}}\) extend the ones in Definition 4.4.(3).
Lemma 4.6
The form \(\chi ^{\mathop {\mathrm {pa}}\nolimits }_{\textit{sym}}\) is non-degenerate.
Proof
Using the decomposition \(\Lambda ^{\mathop {\mathrm {pa}}\nolimits }=\Lambda \oplus \Lambda \) the symmetric form \(\chi ^{\mathop {\mathrm {pa}}\nolimits }_{\text{sym}}\) can be represented by the block matrix
Since clearly \(\chi \) is non-degenerate it follows that \(\chi ^{\mathop {\mathrm {pa}}\nolimits }_{\text{sym}}\) is non-degenerate as well. □
The following is a necessary modification of [20, Theorem 5.7] which we write out in full detail to avoid imprecisions and to include the analog statement for the pair vertex algebra. We point out that while all the ideas already appear in loc. cit. the computation of the odd degree fields is not present there and their description has a degree shift to the correct one. Furthermore, unlike the Definition of the generalized lattice vertex algebra in [20], we do not rely on the construction of Abe [1].
Theorem 4.7
Let \(X\) be a variety in class D (cf. Remark 4.2). Then we have isomorphisms of vertex algebras
where: the left hand sides are the vertex algebras from Joyce’s geometrical construction with the data of Definitions 4.1and 4.4, respectively; the right hand sides are the lattice vertex algebras from Theorem 3.5and the symmetric bilinear forms \(q=\chi , Q=\chi _{\textit{sym}}\) and \(q=\chi ^{\mathop {\mathrm {pa}}\nolimits }, Q=\chi _{\textit{sym}}^{\mathop {\mathrm {pa}}\nolimits }\), respectively.
We begin the proof of the Theorem by explaining how to identify both sides as graded vector spaces. Using the universal sheaf \({\mathcal {G}}_{\alpha}\) on \({\mathcal {M}}_{\alpha}\times X\) we have for each \(\alpha \in K_{\text{sst}}^{0}(X)\) a geometric realization morphism (3)
Lemma 4.8
[20, Theorem 4.15]
Let \(X\) be a variety in class D. Then the map \(\xi _{{\mathcal {G}}_{\alpha}}\) is an isomorphism,
Similarly,
Proof
Gross shows that \(H^{\bullet}({\mathcal {M}}_{\alpha})\) is freely generated by the Kunneth components of \(\mathrm {ch}_{k}({\mathcal {G}}_{\alpha})\in H^{\bullet}({\mathcal {M}}_{\alpha}\times X)\). But these are precisely the geometric realization of descendents, see (45). The result for pairs follows from the sheaf version. □
We know from the previous lemma that
and we define the pairing \(\langle -,-\rangle \colon \text{CH}^{X}_{\alpha}\times \text{CH}_{ \Lambda} \longrightarrow {\mathbb{C}}\) given by
The reader can recall the definition of \(\text{CH}^{X}_{\alpha}\) and \(\text{CH}_{\Lambda}\) in Definition 2.5 and Theorem 3.5, respectively. The pairing above is a perfect pairing, so it identifies the dual of the graded vector space \(\text{CH}^{X}_{\alpha}\) with \(\text{CH}_{\Lambda}\); we will use † to denote duals. Recalling the discussion from Sect. 2.1, we then get an identification between
Moreover, by Definition 2.2 the pairing between \({\mathbb{D}}_{\alpha}^{X}\) and \({\mathbb{D}}_{\Lambda}\) can be promoted to a cap product
such that for a basis \(B\) of \(K^{\bullet}(X)\), we have
The isomorphisms \({\mathbb{D}}_{\Lambda}\cong H_{\bullet}({\mathcal {M}}_{\alpha})\) and \({\mathbb{D}}_{\alpha}^{X}\cong H^{\bullet}({\mathcal {M}}_{\alpha})\) identify this abstract cap product with the topological cap product, i.e.,
commutes where \(\xi ^{-\dagger}\) denotes the inverse of the isomorphism \(\xi ^{\dagger}\).
By assembling all the isomorphisms of graded vector spaces \(\widehat{H}_{\bullet}({\mathcal {M}}_{\alpha})\cong e^{\alpha }{\mathbb{D}}_{\Lambda}\) we get
and similarly
To prove Theorem 4.7 it remains to show that the vertex algebra that Joyce defined on the left hand side and the lattice vertex algebra on the right hand side are compatible under this isomorphism. We will do this using Proposition 3.7.
Before we analyze the fields required to show that the two vertex algebra structures are compatible, it will be useful to identify the translation operators on both sides. Recall Definition 2.9 of the operator \(\mathsf{R}_{-1}: {\mathbb{D}}^{X}_{\alpha}\to {\mathbb{D}}^{X}_{\alpha}\).
Lemma 4.9
Under the identification of \({\mathbb{D}}^{X}_{\alpha}\) with \(H^{\bullet}({\mathcal {M}}_{\alpha})\cong H_{\bullet}({\mathcal {M}}_{\alpha}) ^{\dagger}\), the translation operator \(T\colon H_{\bullet}({\mathcal {M}}_{\alpha})\to H_{\bullet +2}({\mathcal {M}}_{\alpha})\) (defined in Theorem 4.3) is dual to \(\mathsf {R}_{-1}\). Moreover, the isomorphisms (42), (43) preserve the respective translation operators on both sides.
Proof
We recall the operator
from Lemma 2.8. We claim that the following diagram commutes:
The triangle on the left commutes because \(\rho ^{*}({\mathcal {G}}_{\alpha}) = {\mathcal {Q}}\boxtimes {\mathcal {G}}_{\alpha}\). The parallelogram on the right commutes by Lemma 2.8. It follows that, under the identification \({\mathbb{D}}^{X}_{\alpha}\cong H^{\bullet}({\mathcal {M}}_{\alpha})\), \({\mathsf {E}}=\rho ^{\ast}\) and thus \(\mathsf {R}_{-1}=(t\backslash -)\circ \rho ^{\ast}\) where the \((t\backslash -)\) stands for the slant product with the generator \(t\in H_{2}(B{\mathbb{G}}_{m})\) dual to \(\zeta =c_{1}({\mathcal {Q}})\in H^{2}(B{\mathbb{G}}_{m})\). This is clearly the dual to Joyce’s translation operator defined by \(T=\rho _{\ast}\circ (t\boxtimes -)\).
To show that Joyce’s translation operator agrees with the one constructed in the lattice vertex algebra it is enough to check equations (15). This is straightforward with the identification of \(T\) with the dual of \(\mathsf {R}_{-1}\). □
Before we reproduce the proof of Theorem 4.7, we introduce some notation. From now on we will omit the isomorphism \(\xi _{{\mathcal {G}}_{\alpha}}\) and simply write \(\mathrm {ch}_{i}(\gamma )\in H^{\bullet}({\mathcal {M}}_{\alpha})\). We also set \(\mathrm {ch}_{0}(\gamma )\) to be \(\int _{X} \gamma \cdot \mathrm {ch}(\alpha )\in H^{0}({\mathcal {M}}_{\alpha})\). We will use the notation \(\mathrm {ch}_{i}^{{\mathcal {V}}}(\gamma )=\mathrm {ch}_{i}(\gamma )\otimes 1\) and \(\mathrm {ch}_{i}^{{\mathcal {F}}}(\gamma )=1\otimes \mathrm {ch}_{i}(\gamma )\) for the generators of \({\mathbb{D}}^{X, {\mathop {\mathrm {pa}}\nolimits }}_{\alpha ^{\mathop {\mathrm {pa}}\nolimits }}={\mathbb{D}}^{X}_{\alpha _{1}}\otimes {\mathbb{D}}^{X}_{ \alpha _{2}}\), as we did in Sect. 2.6. We also use the same notation for the images in \(H^{\bullet}({\mathcal {P}}_{\alpha ^{\mathop {\mathrm {pa}}\nolimits }})\). Given \(\gamma \in H^{\bullet}(X)\) we let \(\gamma ^{{\mathcal {V}}}=(\gamma , 0), \gamma ^{{\mathcal {F}}}=(0, \gamma )\in H^{\bullet}(X)^{ \oplus 2}\). Given \(\gamma ^{\mathop {\mathrm {pa}}\nolimits }\in H^{\bullet}(X)^{\oplus 2}\) we introduce the symbol \(\mathrm {ch}_{i}(\gamma ^{\mathop {\mathrm {pa}}\nolimits })\in {\mathbb{D}}^{X, {\mathop {\mathrm {pa}}\nolimits }}_{\alpha ^{\mathop {\mathrm {pa}}\nolimits }}\) so that \(\mathrm {ch}_{i}(\gamma ^{{\mathcal {V}}})=\mathrm {ch}_{i}^{{\mathcal {V}}}(\gamma )\), \(\mathrm {ch}_{i}(\gamma ^{{\mathcal {F}}})=\mathrm {ch}_{i}^{{\mathcal {F}}}(\gamma )\). Given \(\gamma ^{\mathop {\mathrm {pa}}\nolimits }\in H^{\bullet}(X)^{\oplus 2}\) and \(w^{\mathop {\mathrm {pa}}\nolimits }\in K^{\bullet}(X)^{\oplus 2}\) we define the pairing
If \(\{w^{\mathop {\mathrm {pa}}\nolimits }\}\) is a basis of \(K^{\bullet}(X)^{\oplus 2}\) we then have the analogue of (40) for pairs:
Proof of Theorem 4.7
We will only give the proof of the statement for pairs, since the sheaf version is easier and a direct consequence. Since we have already identified the underlying vector spaces, by Proposition 3.7 it is enough to check conditions (i)-(iii) for the vertex algebra defined by Joyce. The vacuum condition (i) is immediate. Before we compute the fields necessary in (ii), (iii) we will obtain a formula for the Chern classes of \(\Theta ^{\mathop {\mathrm {pa}}\nolimits }\). Fix a basis \(\{\gamma \}\subseteq H^{\bullet}(X)\) and let \(\{ \overline{\gamma}\}\subseteq H^{\bullet}(X)\) be the dual basis, such that \(\int _{X} \gamma _{1}\cdot \overline{\gamma _{2}}=\delta _{\gamma _{1}, \gamma _{2}}\). Then the class of the diagonal in \(X\times X\) is
where the sum is over the basis we fixed. We then have
and an analogous formula for \({\mathcal {V}}\). The term \(\mathrm {ch}_{i}^{{\mathcal {F}}}(\overline{\gamma})\otimes \gamma \) contributes to \(\mathrm {ch}_{k}({\mathcal {F}})\) for
Thus,
Using Grothendieck-Riemann-Roch as in [20, Proposition 5.2] and being careful with signs obtained from commuting odd variables we find that
in \(H^{\bullet}({\mathcal {P}}_{X}\times {\mathcal {P}}_{X})\). In the first line, we sum over \(\gamma , \delta \) in our prescribed basis. In the second line, we sum over the basis
and use the definition of \(\chi ^{\mathop {\mathrm {pa}}\nolimits }\). The pairings \(\chi , \chi ^{\mathop {\mathrm {pa}}\nolimits }\) coincide with the ones for \(K\)-theory previously described under the Chern character isomorphism, i.e.,
Note that all the non-zero terms in (46) have \(|\gamma |=|\delta |=|\overline{\gamma}|=|\overline{\delta}|\), so we replace the occurrence of any of those parities by \(|\gamma |\). From (46) (and being again careful with the signs introduced by taking the dual and by \((\sigma ^{\mathop {\mathrm {pa}}\nolimits })^{\ast}\)) we get the Chern character of the symmetrization
By Newton’s identities we have
It suffices to consider the expansion of this exponential up to the linear terms in
because quadratic terms and beyond annihilate \((v^{\mathop {\mathrm {pa}}\nolimits }_{-1}\boxtimes -)\) for degree reasons. The constant term of the exponential (48), namely 1, determines the creation part of the field \(Y(v^{\mathop {\mathrm {pa}}\nolimits }_{-1},z)\) as
This uses the fact that
for \(k\geq 0\), see [20, Lemmas 5.3, 5.5] (the first one also follows from Lemma 4.9). On the other hand, it suffices to consider the linear terms of (48) with \(i=1\) and \(j-|\gamma ^{\mathop {\mathrm {pa}}\nolimits }|=k\geq 0\) for degree reasons. They determine the annihilation part of the field \(Y(v^{\mathop {\mathrm {pa}}\nolimits }_{-1},z)\) as
The sign disappears in the second line due to the interaction between the cap product and the tensor product [12, 12.17] and reappears in the last line by using
We can further simplify this expression by replacing descendent actions with derivatives. Let \(\{w^{\mathop {\mathrm {pa}}\nolimits }\}\subseteq K^{\bullet}(X)^{\oplus 2}=\Lambda ^{\mathop {\mathrm {pa}}\nolimits }\) be the basis obtained by applying the inverse of the Chern character isomorphism to \(\{\delta ^{\mathop {\mathrm {pa}}\nolimits }\}\). By (44),
The constant descendent action by \(\mathrm {ch}_{0}(\overline{\delta}^{\mathop {\mathrm {pa}}\nolimits })\) is treated separately as a multiplication by \(\langle \overline{\delta}^{\mathop {\mathrm {pa}}\nolimits },\alpha ^{\mathop {\mathrm {pa}}\nolimits }\rangle \) on \(H_{\bullet}({\mathcal {P}}_{\alpha ^{\mathop {\mathrm {pa}}\nolimits }})\). Therefore, we have
on \(H_{\bullet}({\mathcal {P}}_{\alpha ^{\mathop {\mathrm {pa}}\nolimits }})\). Combining with the creation part (49), this matches exactly with (20), so we are done with (ii).
For (iii) we are left with computing \(Y(e^{\alpha ^{\mathop {\mathrm {pa}}\nolimits }},z)e^{\beta ^{\mathop {\mathrm {pa}}\nolimits }}\):
where we used the fact that \(\mathrm {ch}_{i}(\overline{\gamma}^{\mathop {\mathrm {pa}}\nolimits })\cap -\) and \(\mathrm {ch}_{j}(\overline{\delta}^{\mathop {\mathrm {pa}}\nolimits })\cap -\) annihilate \(e^{\alpha ^{\mathop {\mathrm {pa}}\nolimits }}, e^{\beta ^{\mathop {\mathrm {pa}}\nolimits }}\) for any \(i,j>0\). The \(z^{\chi _{\text{sym}}^{\mathop {\mathrm {pa}}\nolimits }(\alpha ^{\mathop {\mathrm {pa}}\nolimits },\beta ^{\mathop {\mathrm {pa}}\nolimits })}\) coefficient is simply
as required in (iii), thus finishing the proof. □
Recall from Sect. 3.4 that associated to a vertex algebra \(V_{\bullet}\) we have a Lie algebra . This quotient of \(V_{\bullet}\) also has a geometric interpretation observed by [26] and related to \({\mathbb{D}}^{X}_{{\mathrm {wt}_{0}}, \alpha}\) from Definition 2.9. We begin by recalling that the \(B{\mathbb{G}}_{m}\)–action \(\rho \) on \({\mathcal {M}}_{X}\) leads to a rigidification (see [3, Appendix] and [26, Proposition 2.25 (b)]) which quotients out \({\mathbb{G}}_{m}\cdot \operatorname{id}\) from the stabilizer of each object in the moduli stack. We denote it by
Lemma 4.10
Let \(X\) be a variety in class D. Let \(\mathrm {ch}(\alpha )\neq 0\) and \(\pi ^{\mathrm {rig}}_{\alpha}: {\mathcal {M}}_{\alpha}\to {\mathcal {M}}^{\mathrm {rig}}_{\alpha}\) be the projection, then \((\pi ^{\mathrm {rig}}_{\alpha})^{\ast}: H^{\bullet}({\mathcal {M}}^{\mathrm {rig}}_{\alpha})\to H^{ \bullet}({\mathcal {M}}_{\alpha})\) is injective and the isomorphism of Lemma 4.8induces
Equivalently, we have the isomorphism
Proof
A big part of this proof is already due to Joyce [26, Proposition 3.24], [31, Theorem 4.8, Remark 4.10]. He proves that
when \(\mathrm {ch}(\alpha )\neq 0\). This is the last statement of the lemma. Dually, we have injectivity of the pull-back and
The isomorphism with \({\mathbb{D}}^{X}_{{\mathrm {wt}_{0}},\alpha}\) finally follows from the fact that \(\rho ^{\ast}=e^{\zeta \mathsf {R}_{-1}}\) under the identification \(H^{\bullet}({\mathcal {M}}_{\alpha})\cong {\mathbb{D}}^{X}_{\alpha}\) as we showed in the proof of Lemma 4.9. □
Example 4.11
We continue with the Example 2.10 proving it differently for the full stack. On \({\mathcal {M}}_{\alpha}\) and \({\mathcal {M}}^{\mathrm {rig}}_{\alpha}\), virtual tangent bundles \(T^{\mathrm {vir}}{\mathcal {M}}_{\alpha}\) and \(T^{\mathrm {vir}}{\mathcal {M}}_{\alpha}^{\mathrm {rig}}\) are defined as the topological K-theory classes of the duals of the natural obstruction theory complexes.Footnote 18 Before rigidifying, the virtual tangent bundle is given by
and its relation to \(T^{\mathrm {vir}}{\mathcal {M}}^{\mathrm {rig}}_{\alpha}\) in \(K\)-theory is
We see from Lemma 4.10 that \(\mathrm {ch}(T^{\mathrm {vir}})\in {\mathbb{D}}^{X}_{{\mathrm {wt}_{0}}, \alpha}\). This clearly holds for any \(K\)-theory class pulled back from \({\mathcal {M}}^{\mathrm {rig}}_{\alpha}\).
4.3 Virasoro operators from Kac’s conformal element
Construction of conformal element depends on Assumption 1.8 which we assume throughout this section. Recall that we need to make a choice of a maximal isotropic decomposition of \(K^{1}(X)^{\oplus 2}\) with respect to a symmetric non-degenerate pairing \(\chi ^{\mathop {\mathrm {pa}}\nolimits }_{\text{sym}}\) (recall Lemma 4.6) to define Kac’s conformal element. Hodge decomposition is a source of the decomposition that we use. Define the subspaces \(K^{\bullet ,\bullet +1}(X)\) and \(K^{\bullet +1,\bullet}(X)\) of \(K^{1}(X)\) such that via the Chern character isomorphism we have
We consider a decomposition of \(K^{1}(X)^{\oplus 2}=I\oplus \hat{I}\) given by
that is maximally isotropic due to Hodge degree consideration. This defines a conformal element \(\omega \) inside \(V_{\bullet}^{\mathop {\mathrm {pa}}\nolimits }={\mathbb{C}}[\Lambda ^{\mathop {\mathrm {pa}}\nolimits }_{\text{sst}}]\otimes {\mathbb{D}}_{\Lambda ^{ \mathop {\mathrm {pa}}\nolimits }}\) hence the vertex Virasoro operators \(L_{n}^{\mathop {\mathrm {pa}}\nolimits }\) for all \(n\in {\mathbb{Z}}\). On the other hand, we defined in Sect. 2.6 descendent Virasoro operators \({\mathsf {L}}_{n}^{\mathop {\mathrm {pa}}\nolimits }\) for \(n\geq -1\) acting on the formal pair descendent algebra \({\mathbb{D}}^{X,\mathop {\mathrm {pa}}\nolimits }\).
In this section, we prove duality between the two Virasoro operators \(L_{n}^{\mathop {\mathrm {pa}}\nolimits }\) and \({\mathsf {L}}_{n}^{\mathop {\mathrm {pa}}\nolimits }\) for \(n\geq -1\). To set up the stage where we state the duality, let \(\alpha ^{\mathop {\mathrm {pa}}\nolimits }\in \Lambda _{\text{sst}}^{\mathop {\mathrm {pa}}\nolimits }\) and consider the realization homomorphism
as in Definition 2.5. By Assumption 1.8, this realization homomorphism is surjective. Furthermore, descendent Virasoro operators \({\mathsf {L}}_{k}^{\mathop {\mathrm {pa}}\nolimits }\) factor through this quotient as follows from noting that \(\ker (p_{\alpha})\) is only generated by symbols of the form \(\mathrm {ch}^{H}_{0}(\gamma )\) giving us
We use the same notation for the resulting operators on \({\mathbb{D}}^{X,\mathop {\mathrm {pa}}\nolimits }_{\alpha ^{\mathop {\mathrm {pa}}\nolimits }}\).
Theorem 4.12
For any \(\alpha ^{\mathop {\mathrm {pa}}\nolimits }\in \Lambda _{\textit{sst}}^{\mathop {\mathrm {pa}}\nolimits }\) and \(n\geq -1\), Virasoro operators \(L_{n}^{\mathop {\mathrm {pa}}\nolimits }\) and \({\mathsf {L}}_{n}^{\mathop {\mathrm {pa}}\nolimits }\) are dual to each other with respect to the perfect pairing
Proof
On \(K^{\bullet}(X)^{\oplus 2}\) we are given a symmetric non-degenerate pairing
The maximal isotropic decomposition (51) determines the conformal element \(\omega \in V^{\mathop {\mathrm {pa}}\nolimits }_{\bullet}\) and a new supersymmetric non-degenerate pairing (see Sect. 3.3) \(Q^{\omega}=\chi ^{\mathrm {H},\mathop {\mathrm {pa}}\nolimits }_{\text{ssym}}\). We use the superscript \(\mathrm {H}\) instead of \(\omega \) to indicate the relevance to the holomorphic degree in the Hodge decomposition. This new pairing can be written as
where \(\chi ^{\mathrm {H}}\) is a pairing on \(K^{\bullet}(X)\) defined as
The supersymmetric pairing \(\chi ^{\mathrm {H},\mathop {\mathrm {pa}}\nolimits }_{\text{ssym}}\) allows a simple formulation of the conformally shifted field:
This formula is proven by the non-shifted version for \(Y(v_{-1}^{\mathop {\mathrm {pa}}\nolimits },z)\) as in (49), together with a case division analysis as in the proof of (25).
Recall that the vertex Virasoro operator are written as
When \(n\geq -1\), we write \(L_{n}^{\mathop {\mathrm {pa}}\nolimits }=R_{n}^{\mathop {\mathrm {pa}}\nolimits }+T_{n}^{\mathop {\mathrm {pa}}\nolimits }\) where
From the computation (52), we have
where in the last equality the summation takes over
This is exactly dual to the multiplication operator \({\mathsf {T}}_{n}^{\mathop {\mathrm {pa}}\nolimits }\).
Now we prove that operators \(R_{n}^{\mathop {\mathrm {pa}}\nolimits }\) and \(\mathsf {R}_{n}^{\mathop {\mathrm {pa}}\nolimits }\) are dual to each other. Let \(R_{n}^{{\mathop {\mathrm {pa}}\nolimits }, \dagger}\colon {\mathbb{D}}^{X,\mathop {\mathrm {pa}}\nolimits }_{\alpha ^{\mathop {\mathrm {pa}}\nolimits }}\to {\mathbb{D}}^{X, \mathop {\mathrm {pa}}\nolimits }_{\alpha ^{\mathop {\mathrm {pa}}\nolimits }}\) be the dual to \(R_{n}^{\mathop {\mathrm {pa}}\nolimits }\). For \(n\geq -1\), both \(R_{n}^{{\mathop {\mathrm {pa}}\nolimits }, \dagger}\) and \(\mathsf {R}_{n}^{\mathop {\mathrm {pa}}\nolimits }\) annihilate 1 so it is enough to show that their commutators with right multiplication by descendents agree, i.e.,
Dually, this is equivalent to
We finish the proof by showing the required commutator relation. Since \(\chi ^{\mathrm {H},\mathop {\mathrm {pa}}\nolimits }_{\text{ssym}}\) is a perfect pairing, there is a unique \(w^{\mathop {\mathrm {pa}}\nolimits }\in K(X)^{\mathop {\mathrm {pa}}\nolimits }\) such that
From (52), this implies that \(w_{(k)}^{\mathrm {H},\mathop {\mathrm {pa}}\nolimits }=k!\mathrm {ch}_{k}^{\mathrm {H}}(\gamma ^{\mathop {\mathrm {pa}}\nolimits })\cap \). On the other hand, we have
since the dual \(\tilde{v}^{\mathop {\mathrm {pa}}\nolimits }\) is defined by supersymmetric pairing \(\chi ^{\mathrm {H},\mathop {\mathrm {pa}}\nolimits }_{\text{ssym}}\). Therefore, we obtain
where we used the bracket formula (25) with \(k\geq 0\). □
Remark 4.13
To summarize the ideas leading up to this final statement, we explain where the obvious similarity between \({\mathsf {T}}_{k}\) and the virtual tangent bundle (see Example 2.6) comes from in general. It is best represented by the diagram
Meaning of the arrows are explained below.
-
(i)
represents pullback along the diagonal which restricts \(\mathrm {Ext}^{\mathop {\mathrm {pa}}\nolimits }\) to the virtual tangent bundle of any pair moduli space mapping to \({\mathcal {P}}_{X}\). This is the content of assumption [31, Assumption 4.4] and is satisfied in larger generality than our Definition 4.4.
-
(ii)
corresponds to taking ranks of the symmetrization \(\Theta ^{\mathop {\mathrm {pa}}\nolimits }\) of \(\mathrm {Ext}^{\mathop {\mathrm {pa}}\nolimits }\) and then fixing a choice of an isotropic splitting \(\Lambda _{\overline {1}}^{\mathop {\mathrm {pa}}\nolimits } = I\oplus \hat{I}\) of the odd part of \(\Lambda ^{\mathop {\mathrm {pa}}\nolimits }\) as we did in (22). Out of it, we constructed a supersymmetric pairing which in the case
$$ I= K^{\bullet ,\bullet +1}(X)^{\oplus 2},\quad \hat{I}= K^{\bullet +1, \bullet}(X)^{\oplus 2}\,, $$led to \(\chi ^{\mathrm {H},\mathop {\mathrm {pa}}\nolimits }_{\text{ssym}}\). This can be generalized to any setting where the induced pairing is non-degenerate so that isotropic splitting can be chosen.
-
(iii)
is assigning the conformal element for a given choice of an isotropic splitting in the procedure described in Sect. 3.3 (more explicitly see (23)) and works as long as Joyce’s construction in Sect. 4.1 leads to a lattice vertex algebra.
-
(iv)
is filled in by Theorem 4.12 that fundamentally depends on the comparison between \({\mathbb{D}}^{X,\mathop {\mathrm {pa}}\nolimits }\) and \(H^{\bullet}({\mathcal {P}}_{X})\) contained in the description of the lattice vertex algebra structure on \(\widehat{H}_{\bullet}({\mathcal {P}}_{X})\) proved in Theorem 4.7. This would again work in a setting where a similar comparison can be made.
A direct geometric relation represented by the “?” between Virasoro constraints and the virtual tangent bundle is however unclear.
4.4 Virasoro constraints and primary states
Let \(M=M_{\alpha}\), for \(\mathrm {ch}(\alpha )\neq 0\), be a moduli space of sheaves as in Sect. 1.2 with a universal sheaf \({\mathbb{G}}\). By the universal property of the stack \({\mathcal {M}}_{X}\) there is a map \(f_{{\mathbb{G}}}\colon M\to {\mathcal {M}}_{X}\) such that \((f_{{\mathbb{G}}}\times \operatorname{id}_{X})^{\ast }{\mathcal {G}}={\mathbb{G}}\) where \({\mathcal {G}}\) is the universal complex in \({\mathcal {M}}_{X}\times X\). Even without a universal sheaf \({\mathbb{G}}\), we always have an open embedding into the rigidified stack \(\iota \colon M \hookrightarrow {\mathcal {M}}_{X}^{\mathrm {rig}}\). When a universal sheaf exists this embedding is the composition
We define classes in \({\mathcal {M}}_{X}\), \({\mathcal {M}}_{X}^{\mathrm {rig}}\) by
By Lemma 4.10 we may regard the class \([M]^{\mathrm {vir}}\) as being in Borcherds Lie algebra . Given any \({\mathbb{G}}\) the class \([M]^{\mathrm {vir}}_{{\mathbb{G}}}\) is a lift of \([M]^{\mathrm {vir}}\in V_{\bullet +2}/TV_{\bullet}\) to the vertex algebra \(V_{\bullet}\) – quotienting by \(T\) removes the ambiguity in the choice of \({\mathbb{G}}\). The integrals of geometric realizations of descendents \(D\in {\mathbb{D}}^{X}_{\alpha}\) can be expressed in terms of these classes by
By Theorem 4.8, if \(X\) is a variety in class D then \(\xi _{{\mathcal {G}}}\) is an isomorphism between \({\mathbb{D}}^{X}_{\alpha}\) and \(H^{\bullet}({\mathcal {M}}_{\alpha})\), so knowing the class \([M]^{\mathrm {vir}}_{{\mathbb{G}}}\) is precisely the same as knowing all the descendent integrals. Similarly, by Lemma 4.10 the class contains precisely the information of integrals of weight 0 descendents \(D\in {\mathbb{D}}^{X}_{\alpha , {\mathrm {wt}_{0}}}\).
An analogous situation happens for moduli spaces of pairs and the stack \({\mathcal {P}}_{X}\). Given a moduli of pairs as in Sect. 1.2 with universal sheaf \(q^{\ast }V\to {\mathbb{F}}\), by the universal property of the stack \({\mathcal {P}}_{X}\) we have a map
such that
The classes
contain exactly the information of the descendent integrals
A class \([M]^{\mathrm {vir}}\) coming from a moduli of sheaves can also be considered in via the embedding \({\mathcal {M}}_{X}\hookrightarrow {\mathcal {P}}_{X}\) sending \(G\mapsto (0,G)\).
We now use Theorem 4.12, which states the duality between the Virasoro operators on the descendent algebra and on the vertex algebra, to prove Theorem 1.9 saying that the Virasoro constraints holding for some moduli space of sheaves \(M\) or pairs \(P\) are equivalent to their respective classes on the Lie/vertex algebra being primary states.
Proof of Theorem 1.9
We start with part (2) which refers to pairs. Under Assumption 1.8 the morphism \(p_{\alpha ^{\mathop {\mathrm {pa}}\nolimits }}\colon {\mathbb{D}}^{X, \mathop {\mathrm {pa}}\nolimits }\to {\mathbb{D}}^{X, \mathop {\mathrm {pa}}\nolimits }_{\alpha ^{\mathop {\mathrm {pa}}\nolimits }}\) is surjective, so Conjecture 2.18 holds if and only if
for every \(D\in {\mathbb{D}}^{X, \mathop {\mathrm {pa}}\nolimits }_{\alpha ^{\mathop {\mathrm {pa}}\nolimits }}\) and \(n\geq 0\). By Theorem 4.12 and the previous observations
Since \(\xi _{({\mathcal {V}}, {\mathcal {F}})}\) defines an isomorphism between \({\mathbb{D}}^{X, \mathop {\mathrm {pa}}\nolimits }_{\alpha ^{\mathop {\mathrm {pa}}\nolimits }}\) and the cohomology \(H^{\bullet}({\mathcal {P}}_{\alpha ^{\mathop {\mathrm {pa}}\nolimits }})\) the last integral vanishes for all \(D\) if and only if \(L_{n}^{\mathop {\mathrm {pa}}\nolimits }\big([P]^{\mathrm {vir}}_{(q^{\ast }V, {\mathbb{F}})}\big)=0\), i.e.,
The claim (1) for sheaves follows in a similar way by noting that the operator \({\mathsf {L}}_{{\mathrm {wt}_{0}}}\) is dual to \([-, \omega ]\) by Theorem 4.12 and Lemma 3.15 and using the equivalente characterization of primary states in provided by Proposition 3.16. □
Joyce defines more generally (under certain conditions, see [31, Theorem 5.7] or Sect. 5.3) classes even when \(M\) contains strictly semistable sheaves; when it does not contain strictly semistable sheaves, this class coincides with \([M]^{\mathrm {vir}}\). As in Remark 1.1 and Conjecture 1.10, we say that \(M\) satisfies the Virasoro constraints if \([M]^{\mathrm {inv}}\) is a primary state, i.e.
5 Rank reduction via wall-crossing
In this section, we will explain the main step in the proof of Theorem A, which consists of a rank reduction argument via wall-crossing as described in [31, Sect. 8.6] for positive rank and generalized here to include the case (3). The rank-reduction of loc. cit. is stated for slope stability only, so we use additional wall-crossing from slope stability to Gieseker stability to conclude Virasoro constraints for the latter stability condition, see Corollary 5.7.
We will treat the 3 cases (1), (2), (3) in a uniform way by fitting them into the general framework of Joyce [31]. Then their virtual fundamental classes viewed as elements of \(H_{\bullet}({\mathcal {M}}^{\mathrm {rig}}_{X})\) are related in terms of the Lie bracket defined on .
Let \(X\) be a smooth projective variety of dimension \(m=1\) or \(m=2\). In the case of \(m=2\), we assume that \(h^{0,2}(X)=0\). Let \(H\) be a fixed polarization of \(X\). Given \(1\leq d\leq m\), we consider the moduli spaces of \(d\)-dimensional slope semistable sheaves \(F\) (cf. [24, Theorem 4.3.4, Definition 8.2.7])
with respect to the slope stability \(\mu \), where \(\alpha \) is the topological type of the sheaves we consider. In our case, we will work with \(\alpha \in K^{0}(X)\) which can be represented by a non-zero sheaf on \(X\), and we label this subset of \(K^{0}(X)\) by \(C(X)\). This fits the description of the wall-crossing data given in [31, Assumption 5.1 (b)]:Footnote 19 there is a morphism
from the Grothendieck group of \(\mathrm {Coh}(X)\) by smoothness and projectivity of \(X\) and only the zero coherent sheaf has trivial topological \(K\)-theory class. The restriction of this morphism to the semigroup of elements of \(K_{0}\big(\mathrm {Coh}(X)\big)\) represented by a non-zero sheaf maps onto \(C(X)\) by its definition. We will not mention that \(\alpha \) lies in \(C(X)\) from now on.
Recall that \(\mu \) is defined by
where \(\deg (F), r(F)\) are (normalized) coefficients of the Hilbert polynomial \(P_{F}(z)\); denoting by \([z^{k}]P(z)\) the \(z^{k}\) coefficient of a polynomial \(P\),
When \(d=m\), the number \(r(F)\) is (up to multiplication by a constant) the rank of \(F\). In general, we regard the number \(r(F)\) as a generalized rank; it is a non-negative integer for every sheaf of dimension at most \(d\). The cases (1), (2), (3) in Theorem A correspond, respectively, to \((m,d)=(1,1), (2,2), (2,1)\).
Twisting by \({\mathcal {O}}_{X}(H)\) induces isomorphisms
It is a standard fact that, given a fixed \(\alpha \), for large \(n\) all the \(\mu \)-semistable sheaves with topological type \(\alpha (nH)\) are globally generated and have vanishing higher cohomology (e.g. [24, Corollary 1.7.7]). Replacing \(\alpha \) by \(\alpha (nH)\) we shall often assume this to be the case.
Assumption 5.1
All the \(\mu \)-semistable sheaves \(F\) of topological type \(\alpha \) are globally generated and have vanishing higher cohomology \(H^{>0}(F)=0\).
5.1 Bradlow pairs
We now describe the notion of Bradlow stability, depending on a parameter \(t\in {\mathbb{R}}_{>0}\), on pairs \((F, s)\) where \(s\colon {\mathcal {O}}_{X}\to F\) is a section.
Definition 5.2
Let \(t> 0\). A pair \(s\colon {\mathcal {O}}_{X}\to F\) is \(\mu ^{t}\)-(semi)stable if it is non-zero and:
-
1.
For every subsheaf \(G\hookrightarrow F\) we have
$$ \mu (G)(\leq )\mu (F)+\frac{t}{r(F)}. $$ -
2.
For every proper subsheaf \(G\hookrightarrow F\) through which the section \(s\) factors
$$ s\colon {\mathcal {O}}_{X}\to G\to F\,, $$we have
$$ \mu (G)+\frac{t}{r(G)}(\leq ) \mu (F)+\frac{t}{r(F)}\,. $$
The symbol \((\leq )\) stands for ≤ in the semistable case and < in the stable case.
We denote by \(P_{\alpha}^{t}\) the moduli space of \(\mu ^{t}\)-semistable pairs \({\mathcal {O}}_{X}\to F\) with topological type \([\!\![F]\!\!]=\alpha \). These are often called moduli spaces of Bradlow pairs and constructed by [61, Sect. 1] and [38, 40] for curves and higher dimensions, respectively.Footnote 20 If \(t\) is such that \(t\notin \frac{1}{r(\alpha )!}{\mathbb{Z}}\) then the moduli spaces \(P_{\alpha}^{t}\) have no strictly semistable objects. When this is the case, \(P_{\alpha}^{t}\) is a fine moduli space with a universal pair
admitting a virtual class \([P_{\alpha}^{t}]^{\mathrm {vir}}\) by the standard argument as recorded below.
Lemma 5.3
Assume that there are no strictly \(\mu ^{t}\)-semistable pairs in \(P^{t}_{\alpha}\). Then the moduli space \(P^{t}_{\alpha}\) has a natural 2-term perfect obstruction theory given by \(\mathrm {RHom}([{\mathcal {O}}_{P^{t}_{\alpha}\times X}\to {\mathbb{F}}], {\mathbb{F}})\) when \((m,d) = (1,1),(2,2),(2,1)\).
Proof
The construction of a morphism from the dual of \(\mathrm {RHom}([{\mathcal {O}}_{P^{t}_{\alpha }\times X}\to {\mathbb{F}}], {\mathbb{F}})\) to the cotangent complex is standard, see for example [46, Sect. 5.3].
Using the long exact sequence
Mochizuki [46, Lemma 6.1.14] (see also Joyce [31, Sect. 8.3.2]) showed the vanishing of \(\mathrm {Ext}^{i}\) for \((m,d) = (1,1),(2,2)\) and \(i\neq 0,1\). When \((m,d)\) is such that \(d\leq 1\), then the terms vanish immediately for \(i\neq -1,0,1\) because \(H^{2}(F) = 0\). The vanishing for \(i=-1\) would follow from the injectivity of
Suppose for the contradiction that there exists a non-zero morphism \(\phi \in \mathrm {Ext}^{0}(F,F)\) such that \(\phi \circ s=0\). Consider the induced short exact sequence
where \(F_{1}=\ker (\phi )\) and \(F_{2}=\operatorname{coker}(\phi )\subsetneq F\). By \(\mu ^{t}\)-stability of \({\mathcal {O}}_{X}\xrightarrow{s} F\), we have
Using the usual arithmetic of ratios, this gives the contradiction. □
These moduli spaces fit in the framework of Sect. 8 of [31]. There, Joyce considers the abelian category \(\grave{{\mathcal {A}}}\) of pairs \(U\otimes {\mathcal {O}}_{X}\to F\) where \(U\) is a ℂ-vector space and \(F\in \mathrm {Coh}(X)\), and introduces the stability function on such pairs given by
The \(\mu ^{t}\)-(semi)stable pairs with \(U={\mathbb{C}}\) are precisely the \(\mu ^{t}\)-(semi)stable pairs in Definition 5.2. Conditions (1) and (2) in Definition 5.2 correspond to looking for destabilizing subpairs of the form \(0\to G\) and \({\mathcal {O}}_{X}\to G\), respectively.
The stack parametrizing objects in the category \(\grave {{\mathcal {A}}}\) is the stack \({\mathcal {N}}_{X}\) from Remark 4.5. Hence the moduli spaces \(P_{\alpha}^{t}\) admit a map
and thus define a class \([P_{\alpha}^{t}]^{\mathrm {vir}}\) in the Lie algebras \(H_{\bullet}({\mathcal {N}}_{X}^{\mathrm {rig}})\) or \(H_{\bullet}({\mathcal {P}}_{X}^{\mathrm {rig}})\) by pushing forward \([P_{\alpha}^{t}]^{\mathrm {vir}}\in H_{\bullet}(P_{\alpha}^{t})\) along this map. Moreover, since we have a universal pair \({\mathcal {O}}\to {\mathbb{F}}\) there is actually a lift of this map to the non-rigidified stacks
This defines a lift of the class \([P_{\alpha}^{t}]^{\mathrm {vir}}\)
to the vertex algebras \(H_{\bullet}({\mathcal {N}}_{X})\) and \(H_{\bullet}({\mathcal {P}}_{X})=V_{\bullet}^{\mathop {\mathrm {pa}}\nolimits }\) when \(P_{\alpha}^{t}\) does not contain strictly semistable pairs. This class is in the connected component \({\mathcal {P}}_{([\!\![{\mathcal {O}}_{X}]\!\!], \alpha )}\); to alleviate notation, we will write
5.2 Limits \(t\rightarrow 0\) and \(t\to \infty \)
Our rank reduction argument will be based on using the wall-crossing formula to compare the \(\mu ^{t}\) Bradlow pairs with \(t\) small and \(t\) large. We now identify the moduli spaces \(P_{\alpha}^{t}\) in these two limits.
Proposition 5.4
[31, Theorem 8.13, Ex. 5.6]
Let \(0< t<1/r(\alpha )!\) and \(F\) be a sheaf of topological type \(\alpha \). Then \(s\colon {\mathcal {O}}_{X}\to F\) is \(\mu ^{t}\)-semistable if and only if it is \(\mu ^{t}\)-stable if and only if the following three conditions hold:
-
1.
\(F\) is semistable with respect to \(\mu \);
-
2.
\(s\neq 0\);
-
3.
there is no \(0\neq G\subsetneq F\) with \(\mu (G)=\mu (F)\) such that \(\mathrm{im}(s)\subseteq G\).
Since the stable objects do not change for such small \(t\) we denote by \(P_{\alpha}^{0+}=P_{\alpha}^{t}\) the moduli of \(\mu ^{t}\)-stable pairs for \(0< t\ll 1\) and by \(\mu ^{0+}\) the limit stability \(\mu ^{t}\) with \(t\rightarrow 0\). The limit stability can be explicitly defined by
where \((-\infty , \infty ]\times {\mathbb{Z}}_{\geq 0}\) is given the lexicographic order.
Note in particular that if \(M_{\alpha}\) has no strictly semistable sheaves then condition \((3)\) is vacuous, so \(P_{\alpha}^{0+}\) parametrizes stable sheaves \([F]\in M_{\alpha}\) together with a non-vanishing section \(s\in H^{0}(F)\) (up to scaling of the section). Assuming 5.1,
is a projective bundle over \(M_{\alpha}\) with fiber \({\mathbb{P}}(H^{0}(F))\cong {\mathbb{P}}^{\chi (\alpha )-1}\) over \([F]\in M_{\alpha}\).
When \(M_{\alpha}\) has strictly semistable sheaves, \(P_{\alpha}^{0+}\) plays a crucial role in Joyce’s definition of the classes in [31, Section 9.1], as we will recall next. This idea is also present in Mochizuki’s work [46].
Proposition 5.5
[53, Lemma 1.3]
Let \(t\gg 0\) be large enough. Then \(s\colon {\mathcal {O}}_{X}\to F\) is \(\mu ^{t}\)-semistable if and only if it is \(\mu ^{t}\)-stable if and only if \(F\) is pure of dimension \(d\) and \(\operatorname{coker}(s)\) is supported in dimension at most \(d-1\).
We denote by \(P_{\alpha}^{\infty}\) the moduli of such pairs and by \(\mu ^{\infty}\) the limit stability. We proceed now to identify this moduli space in the three cases of interest to us, \((m,d)=(1,1), (2,2), (2,1)\).
-
1.
Suppose that \((m,d)=(1,1)\) and \(\mathrm {rk}(\alpha )>1\). Then \(P_{\alpha}^{\infty}=\emptyset \) since
$$ \mathrm {rk}(\operatorname{coker}(s))\geq \mathrm {rk}(F)-\mathrm {rk}({\mathcal {O}}_{X})>0 $$for any \(s\colon {\mathcal {O}}_{X}\to F\) with \(\mathrm {rk}(F)>1\). Suppose now that \(\mathrm {rk}(\alpha )=1\); then the elements of \(P_{\alpha}^{\infty}\) are non-zero pairs \(s\colon {\mathcal {O}}_{X}\to F\) such that \(F\) is a torsion-free rank 1 sheaf. A torsion-free rank 1 sheaf on a smooth curve \(C\) with a non-zero section is given by an effective divisor. When \(\mathrm {ch}(\alpha )=1+n \cdot {\mathsf {pt}}\) for \(n\geq 0\) this implies that
$$ P^{\infty}_{\alpha}=\{{\mathcal {O}}_{X}\to {\mathcal {O}}_{X}(E)\text{ such that }|E|=n \}=C^{[n]} $$is the \(n\)-th symmetric power of \(C\).
-
2.
Suppose that \((m,d)=(2,2)\). As before, \(P_{\alpha}^{\infty}=\emptyset \) whenever \(\mathrm {rk}(\alpha )>1\). Given a torsion-free rank 1 sheaf \(F\) on a surface \(S\), we get an embedding into its double dual \(F\hookrightarrow F^{\vee \vee}\), which must be a line bundle \({\mathcal {O}}_{S}(E)\) [24, Example 1.1.16]. Twisting by \(-E\) gives
so \(F(-E)=I_{Z}\) is the ideal sheaf of a zero-dimensional subscheme \(Z\subseteq E\). Thus, the moduli space \(P_{\alpha}^{\infty}\) is isomorphic to the nested Hilbert scheme \(S_{\beta}^{[0,n]}\) in [18] parametrizing a pair \((E,Z)\) of a divisor \(E\) in class \(\beta \in H_{2}(X, {\mathbb{Z}})\) and a zero-dimensional subscheme \(Z\subseteq E\) of length \(n\), where
$$ \mathrm {ch}(\alpha )=1+\beta +\frac{\beta ^{2}}{2}-n\cdot {\mathsf {pt}}\,. $$The isomorphism is given by sending
$$ (E,Z)\mapsto \big({\mathcal {O}}_{S}\to I_{Z}(E)\big)\,. $$The obstruction theory, and hence virtual fundamental class, of \(P_{\alpha}^{\infty}\) is easily seen to match the ones defined for \(S_{\beta}^{[0,n]}\) in [18]. Indeed, the obstruction theory of the latter at \((E,Z)\) (see Proposition 2.2 and the proof of Proposition 3.1 in loc. cit.) is given by
$$\begin{aligned} \textrm{Cone}\big(\mathrm {RHom}({\mathcal {O}}_{S}(-E), I_{Z})&\to \mathrm {RHom}(I_{Z}, I_{Z}) \big) \\ &=\mathrm {RHom}({\mathcal {O}}_{S}\to I_{Z}(E), I_{Z}(E))\,. \end{aligned}$$ -
3.
If \((m,d)=(2,1)\) then \(P_{\alpha}^{\infty}\) is shown in [18, Proposition 3.1.5] to also be isomorphic to the nested Hilbert scheme \(S_{\beta}^{[0,n]}\) with \(\mathrm {ch}(\alpha )=\beta -\frac{\beta ^{2}}{2}+n\cdot {\mathsf {pt}}\). The isomorphism sends
$$ (E, Z)\mapsto \big({\mathcal {O}}_{S}\to {\mathcal {O}}_{E}(Z)\big)\,. $$The virtual fundamental classes of \(P^{\infty}_{\alpha}\) and \(S_{\beta}^{[0,n]}\) are also shown to agree.
5.3 Invariant classes \([M]^{\mathrm {inv}}\)
When there are strictly semistable sheaves in \(M_{\alpha}\), we cannot obtain a class in by simply pushing forward a virtual fundamental class from \(H_{\bullet}(M_{\alpha})\). However, Joyce constructs classes \([M_{\alpha}]^{\mathrm {inv}}\) for every \(\alpha \) such that \([M_{\alpha}]^{\mathrm {inv}}=[M_{\alpha}]^{\mathrm {vir}}\) when there are no strictly semistable sheaves. The classes \([M_{\alpha}]^{\mathrm {inv}}\) appear when one writes down wall-crossing formulae. We will now summarize – and slightly reformulate – the construction of these classes in [31, Theorem 5.7, Sect. 9] when \((m,d)\) is one of our three cases.
First, we observe that it is enough to define the classes \([M_{\alpha}]^{\mathrm {inv}}\) when \(\alpha \) satisfies Assumption 5.1. The definition extends to all \(\alpha \) by requiring that \([M_{\alpha (H)}]^{\mathrm {inv}}\) is obtained from \([M_{\alpha}]^{\mathrm {inv}}\) via the map \(H_{\bullet}({\mathcal {M}}_{\alpha}^{\mathrm {rig}})\to H_{\bullet}({\mathcal {M}}_{\alpha (H)}^{ \mathrm {rig}})\) induced by tensoring with \({\mathcal {O}}_{X}(H)\). The argument that this definition is consistent is one of the core arguments in Joyce’s theory proved in [31, Proposition 9.12].
Let \(\Pi \colon {\mathcal {P}}_{X}\to {\mathcal {M}}_{X}^{\mathrm {rig}}\) be the composition of the projection \({\mathcal {P}}_{X}\to {\mathcal {M}}_{X}\) onto the second component with the rigidification map \({\mathcal {M}}_{X}\to {\mathcal {M}}_{X}^{\mathrm {rig}}\). We define the \(K\)-theory class \(\mathrm {T}^{\mathrm {rel}}\) in \({\mathcal {P}}_{X}\) by
where \(p\colon {\mathcal {P}}_{X}\times X\to {\mathcal {P}}_{X}\) is the projection. Then, one defines the class
Alternatively, note that if we define \(\Pi _{\alpha}\) as the composition
then by Assumption 5.1 the relative tangent bundle \(\mathrm {T}_{\Pi _{\alpha}}\), which has fibers
is a vector bundle of rank \(\chi (\alpha )-1\) such that
in \(K\)-theory. Equation (53) can be rewritten as
which is the form in [31, (5.29)].
Before we begin discussing wall-crossing, we set some notation. We will use \(\underline{\alpha} = (\alpha _{1},\ldots ,\alpha _{l})\) for the vector of \(K\)-theory classes and denote by \(\underline{\alpha}\vdash \alpha \) the fact that it is a partition of \(\alpha \), i.e., \(\alpha _{1}+\cdots +\alpha _{l} = \alpha \), where \(l\) always denotes the length of \(\alpha \). When we write \(\sum _{\underline{\alpha}\vdash \alpha}\) we mean a sum over all \(\alpha _{1}, \ldots , \alpha _{l}\) such that \(\alpha _{1}+\cdots + \alpha _{l}=\alpha \).
The classes are now defined by
Equation (55) provides an inductive definition of the classes \([M_{\alpha}]^{\mathrm {inv}}\) by comparing
where … is expressed in terms of classes \([M_{\alpha _{i}}]^{\mathrm {inv}}\) such that \(r(\alpha _{i})< r(\alpha )\). Note that Assumption 5.1 implies \(\chi (\alpha )>0\).
Remark 5.6
When \(M_{\alpha}^{\mathrm{ss}}=M_{\alpha}^{\mathrm{s}}\) there are no decompositions \(\alpha =\alpha _{1}+\cdots +\alpha _{l}\) with \(l>1\), \(\mu (\alpha _{i})=\mu (\alpha )\) and \(M_{\alpha _{i}}\neq \emptyset \). Hence the right hand side of (55) has only one non-zero term, so
Recall that without strictly semistable sheaves \(f\colon P_{\alpha}^{0+}\to M_{\alpha}\) is a projective bundle with fibers \({\mathbb{P}}(H^{0}(F))\cong {\mathbb{P}}^{\chi (\alpha )-1}\) over \([F]\in M_{\alpha}\) by Proposition 5.4 and the discussion following; moreover, \([M_{\alpha}]^{\mathrm {inv}}=[M_{\alpha}]^{\mathrm {vir}}\) is actually the (pushforward to \(H_{\bullet}(\mathcal{M}_{X}^{\mathrm {rig}})\) of the) virtual fundamental class. Indeed, we have
by the virtual pullback formula [41, Theorem 4.7]. The following heuristic is useful to keep in mind: the class \(\Upsilon _{\alpha}\) is constructed so that the intersection theories against \([P_{\alpha}^{0+}]^{\mathrm {vir}}\) and \(\Upsilon _{\alpha}\) are related in a way similar to a projective bundle; the wall-crossing type formula (55) defines \([M_{\alpha}]^{\mathrm {inv}}\) by “correcting” \(\Upsilon _{\alpha}\).
Above we only discussed the case of slope stability, but Joyce defines the classes \([M_{\alpha}(\tau )]^{\mathrm {inv}}\) for any stability condition \(\tau \) satisfying his list of assumptions [31, Assumption 5.1 and 5.2]. In particular, this holds when \((m,d) = (2,2)\) and \(\tau \) is the Gieseker stability, by [31, Sect. 7]; note that Gieseker stability coincides with slope stability when \(d=1\), so only the \((2,2)\) case is new.
It is well-known that slope stability \(\mu \) dominates Gieseker stability \(\tau \) in the sense of [31, Definition 3.8]. In other words – if \(p_{E}(z)\leq p_{F}(z)\) for any two sheaves \(E,F\) and any \(z\gg 0\), then \(\mu (E)\leq \mu (F)\). The dominant wall-crossing formula stated in [31, Theorem 5.8, Theorem 7.64] applies precisely to this scenario and takes the form
where \(U(\underline{\alpha};\mu ,\tau )\) are the coefficients defined in [31, Sect. 3.2]. Applying the compatibility of Virasoro constraints with the Lie bracket that follows from Theorem 1.9 and Proposition 3.11, we reduce Virasoro constraints for Gieseker stability to slope stability.
Corollary 5.7
If Virasoro conjecture holds for \([M_{\alpha}(\mu )]^{\mathrm {inv}}\) for any \(\alpha \), i.e., , then it is also satisfied by \([M_{\alpha}(\tau )]^{\mathrm {inv}}\) where \(\tau \) is the Gieseker stability.
5.4 Wall-crossing formula for Bradlow stability
When working with pair wall-crossing formulae, we will include \(\alpha _{0}\) into the partition \(\underline{\alpha}\vdash \alpha \) by \(\underline{\alpha}=(\alpha _{0},\alpha _{1},\ldots ,\alpha _{l})\) and \(\alpha _{0}+\alpha _{1}+\cdots +\alpha _{l} = \alpha \). Joyce’s wall-crossing formula (Theorem 5.9 in [31]) between Bradlow stability \(\mu ^{t_{-}}\) and \(\mu ^{t_{+}}\)-stability is
where
are combinatorial coefficients defined in [31, Sect. 3.2]. In particular we have a wall-crossing formula between the (limit) stability conditions \(\mu ^{0+}\) and \(\mu ^{\infty}\)
where
Equations (56) and (57) are proven as equalities in the Lie algebra under some technical assumptions (Assumptions 5.1-5.3 in loc. cit.) on the category \(\grave{{\mathcal {A}}}\) and on a set of permissible classes \(C_{\mathrm{pe}}(\grave{{\mathcal {A}}})\). The necessary assumptions are all verified in Sect. 8 of loc. cit. for the cases \((m,d)=(1,1), (2,2)\). The case \((m,d)=(2,1)\) is not treated, but the first author plans to address this in a separate work focusing on proving them for all pair theories relevant to Joyce’s wall-crossing.
Assumption 5.8
Let \(\grave{{\mathcal {A}}}\) be the abelian category of pairs \(U\otimes {\mathcal {O}}_{X}\to F\), where \(F\) is a sheaf with \(\dim (F)\leq 1\) and \(U\) a vector space.Footnote 21 Then the assumptions in [31, Assumption 5.1-5.3] hold for this category and a surface \(S\) such that \(h^{0,2}(S)=0\) with
Remark 5.9
Note that the data used in [31, Assumption 4.4] was constructed in Definition 4.4. Most of the assumptions 5.1 - 5.3 are satisfied by a simple adaptation of the arguments in [31, Sects. 8.2 and 8.3]. New ideas are needed only for the assumptions 5.2(b) and 5.2(h) where one needs to show that the stacks of semistable pairs are finite type and the moduli spaces of stable quiver-pairs defined in [31, Def. 5.5] are proper.
An important point in the rank reduction induction that we will use is that there are no contributions of rank 0 objects in the wall-crossing formula above.
Lemma 5.10
Let \(\alpha \) be such that \(r(\alpha )>0\). If the coefficient \(U(\underline{\alpha})\) is non-zero, then \(r(\alpha _{i})>0\) for each \(i=0, 1, \ldots , l\).
Proof
Let \(t\) be a wall and let \(t_{-}< t< t_{+}\) define stability conditions on the two chambers adjacent to the wall. We have the wall-crossing formula between \(\mu ^{t_{-}}\)-stability and \(\mu ^{t_{+}}\)-stability given by (56). To prove the Lemma it is enough to show that the coefficients \(U(\underline{\alpha}; \mu ^{t_{-}}, \mu ^{t_{+}})\) vanish unless \(r(\alpha _{i})> 0\) for every \(i\), since (57) can be obtained by putting together the \(\mu ^{t_{-}}/\mu ^{t_{+}}\) wall-crossing formulae; in other words, [31, Theorem 3.11] can be applied iteratively to compute \(U(\underline{\alpha})\) in terms of \(U(\underline{\alpha}; \mu ^{t_{-}}, \mu ^{t_{+}})\) for \(t_{-}, t_{+}\) in adjecent chambers.
Since \(\mu ^{t_{-}}\), \(\mu ^{t_{+}}\) are in the adjacent chambers to the wall defined by \(t\), the stability \(\mu ^{t}\) dominates (cf. [31, Definition 3.8]) both \(\mu ^{t_{-}}\) and \(\mu ^{t_{+}}\). By [31, Theorem 3.11], \(U(\underline{\alpha}; \mu ^{t_{-}}, \mu ^{t_{+}})=0\) unless
Since \(r(\alpha )>0\), \(\mu ^{t}(1, \alpha )<\infty \) so it follows that \(r(\alpha _{i})>0\) for each \(i=0, 1, \ldots , l\). □
Formula (57) holds a priori in the Lie algebra . As explained in Remark 4.5, we can pushforward this identity to the Lie algebra or, equivalently, (recall Lemma 4.10). However, our formulation of the Virasoro constraints for the pair moduli spaces \(P_{\alpha}^{t}\) is not in terms of the class , but instead of its lift \([P_{\alpha}^{t}]^{\mathrm {vir}}_{({\mathcal {O}},{\mathbb{F}})}\in V_{\bullet}^{\mathop {\mathrm {pa}}\nolimits }\) to the vertex algebra (see Theorem 1.9). Hence it is desirable to lift the formula (57) to the vertex algebra. We use the following Lemma to do so:
Lemma 5.11
-
a)
Suppose that and \(v\in V_{\bullet}^{\mathop {\mathrm {pa}}\nolimits }\) is such that
$$ \mathrm {ch}_{1}^{{\mathcal {V}}}({\mathsf {pt}})\cap v=0\,. $$Then
$$ \mathrm {ch}_{1}^{{\mathcal {V}}}({\mathsf {pt}})\cap [\overline{u}, v]=0 $$where the bracket is the partial lift to the vertex algebra from Lemma 3.12.
-
b)
Let \(u,v\in V_{\bullet , (\alpha _{1}, \alpha _{2})}^{\mathop {\mathrm {pa}}\nolimits }\) with \(\mathrm {rk}(\alpha _{1})>0\) be such that
$$ \mathrm {ch}_{1}^{{\mathcal {V}}}({\mathsf {pt}})\cap u=0=\mathrm {ch}_{1}^{{\mathcal {V}}}({\mathsf {pt}})\cap v $$and \(\overline{u}=\overline{v}\) in . Then \(u=v\) in \(V_{\bullet}^{\mathop {\mathrm {pa}}\nolimits }\).
Proof
Since \(\chi _{\text{sym}}^{\mathop {\mathrm {pa}}\nolimits }\) is non-degenerate by Lemma 4.6, there is \(w\in K^{\bullet}(X)^{\oplus 2}\) such that
Comparing (20) and (44) it follows that \(\mathrm {ch}_{1}^{{\mathcal {V}}}({\mathsf {pt}})\cap -=w_{(1)}\). Using the identity (13) we have
By hypothesis \(w_{(1)} v=0\). Since \(u\in V_{\bullet}\) both \(w_{(0)} u=w_{(1)} u=0\) as the pullbacks of \(\mathrm {ch}_{1}^{{\mathcal {V}}}({\mathsf {pt}}), \mathrm {ch}_{0}^{{\mathcal {V}}}({\mathsf {pt}})\) to \(H^{\bullet}({\mathcal {M}}_{X})\) both vanish.
For the second part, suppose that \(u-v=T(x)\). Consider the operator
on \(V_{\bullet , (\alpha _{1}, \alpha _{2})}^{\mathop {\mathrm {pa}}\nolimits }\); note that this is dual to the operator \(\eta \) from Remark 2.14. It follows from Lemma 4.9 that
from which it is easy to show that \(\eta ^{\dagger}\circ T=0\). Thus, by the assumption,
□
We can use the lemma to lift the previous wall-crossing formula to an equality
holding in \(V_{\bullet}^{\mathop {\mathrm {pa}}\nolimits }\), where all the brackets on the right hand side are the partial lift of the Lie bracket to the vertex algebra. To deduce this from the lemma we note that
since the pullback of \(\mathrm {ch}_{1}^{{\mathcal {V}}}({\mathsf {pt}})\) to \(P_{\alpha _{0}}^{t}\) is \(\xi _{{\mathcal {O}}}(\mathrm {ch}_{1}({\mathsf {pt}}))=0\). By part a) of the lemma the right hand side is also annihilated by \(\mathrm {ch}_{1}^{{\mathcal {V}}}({\mathsf {pt}})\) and by part b) we must have equality – both sides live in \(V^{\mathop {\mathrm {pa}}\nolimits }_{\bullet , (1, \alpha )}\) and their classes in agree by (57).
5.5 Rank reduction of Virasoro
We can now explain the rank reduction argument for proving Virasoro on \(M_{\alpha}\) assuming that it holds for the stable pair moduli space \(P_{\alpha}^{\infty}\). We described these spaces explicitly in Sect. 5.2.
Theorem 5.12
Working with \((m,d)= (1,1),(2,2)\), suppose that the pair Virasoro constraints (Conjecture 2.18) hold for \(P_{\alpha}^{\infty}\) for every \(\alpha \) with \(r(\alpha )> 0\). Then the Virasoro conjecture holds for \(M_{\alpha}\), \(P^{t}_{\alpha}\) for every \(\alpha \) with \(r(\alpha )>0\) and \(t\in [0+, \infty ]\), i.e.,
If the Assumption 5.8holds, then the above is true also for \((m,d) =(2,1)\).
The strategy of the proof is quite simple: we will argue by induction on \(r(\alpha )\) and we will prove (assuming the induction hypothesis) that
Implications \((\mathrm{I})\) and \((\mathrm{III})\) will follow from (58), (55) and the compatibility between wall-crossing and Virasoro constraints proven in Propositions 3.11 and 3.13.
The implication \((\mathrm{II})\) is a projective bundle compatibility. We will postpone its proof until the next section, see Theorem 5.13, and prove Theorem 5.12 assuming it.
Proof of Theorem 5.12
We argue by induction on \(r(\alpha )\). The base case is when \(r(\alpha )>0\) is minimal and is dealt essentially in the same way as the induction step. Assume then that for every \(\alpha '\) such that \(0< r(\alpha ')< r(\alpha )\); note in particular that this holds vacuously if \(r(\alpha )\) is minimal.
To prove implication \((\mathrm{I})\) we consider the wall-crossing formula (58) and we look at each individual summand
with \(\sum _{i=0}^{l} \alpha _{i}=\alpha \) and non-vanishing coefficient \(U(\underline{\alpha})\neq 0\). By hypothesis, \([P_{\alpha _{0}}^{\infty}]^{\mathrm {vir}}_{({\mathcal {O}}, {\mathbb{F}})} \in P_{0}^{\mathop {\mathrm {pa}}\nolimits }\). Moreover by Lemma 5.10 we have for \(i=1, \ldots , l\) that
So the induction hypothesis applies and
By Propositions 3.11 and 3.13 we have
so \([P_{\alpha}^{0+}]^{\mathrm {vir}}_{({\mathcal {O}}, {\mathbb{F}})} \in P_{0}^{\mathop {\mathrm {pa}}\nolimits }\). The exact same argument shows that \([P_{\alpha}^{t}]^{\mathrm {vir}}_{({\mathcal {O}}, {\mathbb{F}})} \in P_{0}^{\mathop {\mathrm {pa}}\nolimits }\) for any \(t>0\): just replace the \({0+}/\infty \) wall-crossing formula (58) by the \(t/\infty \) wall-crossing.
For both implications \((\mathrm{II})\) and \((\mathrm{III})\) we will assume that \(\alpha \) satisfies Assumption 5.1. This is enough to prove the result for every \(\alpha \) since we may replace \(\alpha \) by \(\alpha (mH)\) for large enough \(m\) so that \(\alpha (mH)\) satisfies the assumption. As explained in Sect. 5.3, Joyce classes \([M_{\alpha}]^{\mathrm {inv}}, [M_{\alpha (mH)}]^{\mathrm {inv}}\) are related by the automorphism \(H_{\bullet}({\mathcal {M}}_{X}) \to H_{\bullet}({\mathcal {M}}_{X})\) induced by \(-\otimes {\mathcal {O}}_{X}(mH)\). This automorphism preserves physical states by Lemma 2.19.
The implication \((\mathrm{II})\) is precisely Theorem 5.13. So we are left with implication \((\mathrm{III})\). For that, we use (55) and induction as in \((\mathrm{I})\). The left hand side of (55) is . The right hand side is the sum of the leading term \(\chi (\alpha )[M_{\alpha}]^{\mathrm {inv}}\) with terms of the form
with \(l\geq 2\), \(\underline{\alpha}\vdash \alpha \) and \(\mu (\alpha _{i})=\mu (\alpha )\). The latter condition implies that \(r(\alpha _{i})>0\), and since \(l\geq 2\) it follows that \(0< r(\alpha _{i})< r(\alpha )\). Thus the induction hypothesis guarantees that , so by Proposition 3.11 we get
Finally this implies that the leading term also satisfies Virasoro, i.e.,
since \(\chi (\alpha )>0\) by Assumption 5.1. □
5.6 Projective bundle compatibility
We recall the reader of the notation \(\Pi , \Pi _{\alpha}, \mathrm {T}^{\mathrm {rel}}, \mathrm {T}_{\Pi _{\alpha}}\) introduced in Sect. 5.3. For ease of notation, we omit the superscript “pa” from now on when it is clear from the context that we use the pair Virasoro operators.
Theorem 5.13
Let \(\alpha \) be a class satisfying Assumption 5.1. Suppose that \(P^{0+}_{\alpha}\) satisfies the pair Virasoro constraints (Conjecture 2.18), i.e., \([P^{0+}_{\alpha}]^{\mathrm {vir}}_{({\mathcal {O}}, {\mathbb{F}})}\in P^{\mathop {\mathrm {pa}}\nolimits }_{0}\). Then
satisfies the sheaf Virasoro constraints.
Proof
We ought to show that \(\int _{\Upsilon _{\alpha}} \mathsf {L}_{{\mathrm {wt}_{0}}}(D)=0\) for any \(D\in {\mathbb{D}}^{X}_{\alpha}\) where we use the suggestive integral notation to denote the pairing between a homology class \(\Upsilon _{\alpha}\in H_{\bullet}(\mathcal{M}^{\mathrm {rig}}_{\alpha})\) and a cohomology class \(\mathsf {L}_{{\mathrm {wt}_{0}}}(D)\in {\mathbb{D}}^{X}_{{\mathrm {wt}_{0}}, \alpha}\cong H^{\bullet}(\mathcal{M}^{\mathrm {rig}}_{ \alpha})\).
We have the following commutative diagram:
Hence we can compute:
We use \(c_{\chi (\alpha )-1}\in {\mathbb{D}}_{\alpha}^{X}\) to denote the element in the algebra of descendents
The penultimate equality is using that
We can calculate \(c_{\chi (\alpha )-1}\) more explicitly: by Grothendieck-Riemann-Roch we have
and by Newton identities it follows that
We denote by \(c\) the corresponding element in the algebra of descendents and we let \(c_{i}\) be the degree \(i\) part of \(c\), i.e.,
Let \(n=\chi (\alpha )-1\). We shall now argue that the integral at the end of (59) vanishes assuming that \(P_{\alpha}^{0+}\) satisfies the pair Virasoro constraints. For convenience, from now on we leave implicit the geometric realization map \(\xi _{{\mathbb{F}}}\) in all the integrals against \([P_{\alpha}^{0+}]^{\mathrm {vir}}\).
We start with the \(j=-1\) and \(j=0\) terms in the last line of (59), which we treat together. Their sum vanishes by simple degree considerations:
Note that we used
Consider now \(j\geq 1\). By the Virasoro constraints on \(P^{0+}_{\alpha}\) we have
We analyze the term where the derivation \(\mathsf {R}_{j}\) applies to \(c_{n}\); we may do so using the interaction between an exponential and a derivation:
so
Using the Newton identities and the fact that \(\mathrm {T}_{\Pi _{\alpha}}\) is a vector bundle of rank \(n\), the geometric realization of the above is
It follows that the two last terms in (61) cancel out and we are left with
for \(j\geq 1\). Using (60) and (63) for every \(j\geq 1\) we have shown that the last integral in (59) vanishes, and we are done. □
Remark 5.14
We can formulate the previous Theorem more abstractly as follows: let \(u\in V_{\bullet , (1, \alpha )}^{\mathop {\mathrm {pa}}\nolimits }\) be such that
-
1.
\(\mathrm {ch}_{i}^{{\mathcal {V}}}(\gamma )\cap u=0\) for \(i>0, \gamma \in H^{\bullet}(X)\);
-
2.
\(c_{b}(Rp_{\ast }{\mathcal {F}})\cap u=0\) for \(b\geq \chi (\alpha )\).
Then
The first condition is used when formulating the pair Virasoro constraints in terms of \({\mathsf {L}}_{k}^{{\mathcal {O}}}\) as in Conjecture 2.18. Condition (2) was used in (62); in the setting of the Lemma, it is a consequence of the fact that \(\mathrm {T}_{\Pi _{\alpha}}\) is a vector bundle of rank \(\chi (\alpha )-1\).
6 Virasoro for \(P_{\alpha}^{\infty}\)
In this section, we finish the proof of the main result of this paper:
Theorem 6.1
Let \(X\) be a curve or a surface with \(h^{1,0}=h^{2,0}=0\). Then the moduli space \(M\) of slope or Gieseker semistable torsion-free sheaves on \(X\) satisfies the Virasoro constraints, i.e.,
Under Assumption 5.8, the same statement holds for the moduli spaces of slope semistable one-dimensional sheaves on such surfaces.
When there are no strictly semistable sheaves, the above statement proves Conjecture 1.5 in the cases \((m,d) = (1,1), (2,2)\) and \((2,1)\) under Assumption 5.8 as shown in Sect. 4.4. More generally, this theorem provides strong evidence for Conjecture 1.10 even when there exist strictly semistable sheaves.
In order to prove Theorem 6.1, we are left to prove the Virasoro constraints for \(P_{\alpha}^{\infty}\) by Theorem 5.12. This is what we now proceed to do. Recall that we explained in Sect. 5.2 that these moduli spaces are:
-
1.
symmetric powers \(C^{[n]}\) for curves,
-
2.
nested Hilbert scheme \(S_{\beta}^{[0,n]}\) (both in the torsion-free and torsion cases).
In the case of the symmetric power of curves, we give an elementary and direct proof in Proposition 6.2.
Recall from Sect. 5.2 that when \(\mathrm {rk}(\alpha )=1\), there is an identification
so it is enough to prove Virasoro constraints for the latter moduli space in this case. Under Assumption 5.1, the natural map \(P_{\alpha}^{0+}\to M_{\alpha}\) is a projective bundle – see Remark 5.6. For a general \(\alpha \) the map is a virtual projective bundle, see Sect. 6.2. This structure can be used to show the equivalence between Virasoro constraints on \(P_{\alpha}^{0+}\) and \(M_{\alpha}\). Indeed, the implication from \(P_{\alpha}^{0+}\) to \(M_{\alpha}\) was already used in the general rank reduction argument (Theorem 5.13). We will prove the implication from \(M_{\alpha}\) to \(P_{\alpha}^{0+}\) in Corollary 6.4. It will follow from the formula (65), expressing the class of \(P_{\alpha}^{0+}\) in terms of \(M_{\alpha}\) using Joyce’s Lie bracket. Although this formula can be interpreted as a wall-crossing formula (see Remark A.1) we will give a direct proof from the definition of the Lie bracket.
Concretely, for surfaces, this virtual projective bundle is identified with the map
that forgets the divisor \(E\) and remembers the 0-dimensional subscheme \(Z\). Virasoro constraints were proven for Hilbert schemes of surfaces with \(h^{0,1}=0\) in [47, 48]. In Sect. 6.3 we use this to prove the constraints for nested Hilbert schemes and finish the proof of Theorem A\((2),(3)\).
Finally, we point out that some of the results in this section can alternatively be shown using Joyce-Song wall-crossing, which we discuss in the Appendix. In particular, Proposition 6.2 is a special case of the more general Theorem A.3.
6.1 Symmetric powers of curves
Symmetric powers \(C^{[n]}\) parametrize divisors \(E\subseteq C\) of degree \(n\) or, equivalently, non-zero maps of the form \({\mathcal {O}}_{C}\to {\mathcal {O}}_{C}(E)\). They come equipped with a universal pair
where \({\mathcal {E}}\subseteq C^{[n]}\times C\) is the universal divisor.
Let
be basis such that
Proposition 6.2
Let \(C\) be a curve and \(n\geq 1\). Then the pair Virasoro conjecture (cf. Conjecture 2.18) holds for the symmetric powers \(C^{[n]}\), i.e., \(\big[C^{[n]}\big]_{({\mathcal {O}}, {\mathcal {O}}({\mathcal {E}}))}\in V_{\bullet}^{\mathop {\mathrm {pa}}\nolimits }\).
Proof
Let \(f\colon C^{n}\to C^{[n]}\) be the projection from the \(n\)-fold product \(C^{n}=C^{\times n}\) to the symmetric product; \(f\) is a finite morphism of degree \(n!\). The pullback via \(f\) of the universal pair
to \(C\times C^{n}\) is
where \(\Delta =\sum _{i=1}^{n} \Delta _{i}\) and \(\Delta _{i}\subseteq C^{n} \times C\) is the pullback of the class of the diagonal \(C\subseteq C\times C\) via the projection onto coordinates \(i\) and \(n+1\). By the push-pull formula we have
Thus Virasoro for symmetric powers may be formulated entirely as a relation among integrals in \(C^{n}\). Let us denote by \(\alpha _{i}\in H^{\bullet}(C^{n})\) the pullback of a class \(\alpha \in H^{\bullet}(C)\) via projection onto the \(i\)-th coordinate with \(i=1,\ldots , n\). We compute descendents in \(H^{\bullet}(C^{n})\); in the formulae below and from now on, we omit the geometric realization morphism \(\xi _{{\mathcal {O}}(\Delta )}\):
where
The formulae above show that the geometric realization map factors through the ring
formally generated by symbols \(\eta , \mathrm {ch}_{0}^{\mathrm {H}}(e_{j}), \mathrm {ch}_{1}^{\mathrm {H}}(f_{j})\). Moreover the Virasoro operators are well defined on \(\widetilde{{\mathbb{D}}}^{C}\). Indeed, define
as follows:
-
1.
\(\widetilde {\mathsf {R}}_{k}\) is a derivation on \(\widetilde {{\mathbb{D}}}^{C}\) defined on generators by
$$ \widetilde {\mathsf {R}}_{k}(\eta )=\eta ^{k+1}\, , \quad \widetilde {\mathsf {R}}_{k}( \mathrm {ch}_{0}^{\mathrm {H}}(e_{j}))=0\, , \quad \widetilde {\mathsf {R}}_{k}(\mathrm {ch}_{1}^{\mathrm {H}}(f_{j}))=(k+1) \eta ^{k}\mathrm {ch}_{1}^{\mathrm {H}}(f_{j})\,. $$ -
2.
\(\widetilde {{\mathsf {T}}}_{k}^{{\mathcal {O}}}\) is multiplication by the element
$$ (1-g)k\eta ^{k}-n \eta ^{k}+k \theta \eta ^{k-1}\in \widetilde {{\mathbb{D}}}^{C} \,. $$
Claim 2
The following square commutes:
Proof
The proof is a straightforward computation. □
We now take an element
Then we have
where \(a=\sum _{j=1}^{g} a_{j}\). By degree reasons, the integral of \({\mathsf {L}}_{k}^{{\mathcal {O}}}(D)\) vanishes unless \(k+a+\ell =n\); when that is the case, it simplifies to
To finish the proof we are required to show that
We use the following easy claim:
Claim 3
The integral
vanishes unless \(a_{j}=b_{j}\in \{0,1\}\) for every \(j=1, \ldots , g\) and \(k+\ell +\sum _{j=1}^{g} a_{j}=n\). In that case, the integral is equal to
By the claim we may assume that \(a_{j}=b_{j}\in \{0,1\}\), otherwise both sides of (64) vanish. Letting \(J=\{1\leq j\leq g\colon a_{j}=1\}\) we have
showing (64) and concluding the proof. □
6.2 Virtual projective bundle compatibility
Let \(M=M_{\alpha}\) be a moduli space with a universal sheaf \({\mathbb{G}}\) as in Sect. 1.2, without strictly semistable sheaves. If \(H^{\geq 1}(G)=0\) for every sheaf \([G]\in M\), then \(Rp_{\ast }{\mathbb{G}}=p_{\ast }{\mathbb{G}}\) is a vector bundle of rank \(\chi ( \alpha )\) and we may form the projective bundle
This projective bundle is naturally a moduli space of pairs: it parametrizes non-zero pairs of the form \({\mathcal {O}}_{X}\to F\) such that \([F]\in M\).
More generally, H. Park considers in [55, Sect. 4] the situation in which \(H^{\geq 2}(G)~=~0\). In this case, we have a virtual projective bundle \(f\colon P\to M\) where
The morphism \(f\) comes equipped with a natural relative perfect obstruction theory. By [41], there is a virtual pullback \(f^{!}\colon A_{\bullet}(M)\to A_{\bullet}(P)\) between Chow groups. It is easily seen that the sheaf obstruction theory on \(M\), the pair obstruction theory on \(P\) and the relative obstruction theory on \(f\) are compatible in the sense of [41, Corollary 4.9], hence
The moduli space \(P\) comes equipped with a unique universal pair
Note that \({\mathbb{F}}\) does not depend on the choice of \({\mathbb{G}}\).
The virtual pullback relation between the virtual fundamental classes can be translated to Joyce’s vertex algebra framework as follows:
Proposition 6.3
Let \(f\colon P\to M\) be a virtual projective bundle as described before. Then we have:
In the first formula, the bracket is the partial lift to the vertex algebra in Lemma 3.12and \(e^{(1,0)}\) is the class of the point \(\{({\mathcal {O}}_{X}, 0)\}\) in \(H_{0}({\mathcal {P}}_{(1, 0)})\subseteq V_{\bullet}^{\mathop {\mathrm {pa}}\nolimits }\).
Proof
The second statement (66) is a consequence of [55, Theorem 0.5 (2)]. For the first formul we give a direct proof straight from the definition of the bracket. We do so by evaluating both sides against descendents
By a similar argument to the one in Lemma 5.11 a) it is enough to consider \(D\in {\mathbb{D}}^{X}_{\alpha}\subseteq {\mathbb{D}}^{X, \mathop {\mathrm {pa}}\nolimits }_{(1, \alpha )}\) since otherwise both sides would vanish.
We start with the left side:
By Lemma 2.8 we have
and the argument in the proof of Proposition 4.2 in [55] shows that
where \(s_{i}(Rp_{\ast }{\mathbb{G}})=c_{i}(-Rp_{\ast }{\mathbb{G}})\) are the Segre classes of \(Rp_{\ast }{\mathbb{G}}\). Putting everything together, we find
The analogous formula for the pairing with the right hand side can be deduced directly from Joyce’s definition of the fields (31). Since \([M]^{\mathrm {vir}}_{{\mathbb{G}}}\) is a lift of \([M]^{\mathrm {vir}}\) we can compute the bracket by
Recall that \(\mathsf {R}_{-1}\) is dual to \(T\) and note that the pullback of \(\Theta ^{\mathop {\mathrm {pa}}\nolimits }\) to \(M\) via the map
is precisely \(-Rp_{\ast }{\mathbb{G}}\). Using these two facts one checks that
Clearly taking the residue in (68) gives (67), finishing the proof of (65). □
As a result, we get compatibility of the Virasoro constraints with respect to (virtual) projective bundles.
Corollary 6.4
Let \(f\colon P\to M\) be a virtual projective bundle as described before. Then the sheaf Virasoro constraints on \(M\) imply the pair Virasoro constraints on \(P\), i.e.,
If \(f\colon P\to M\) is actually a smooth projective bundle (i.e., \(R^{1}\!p_{\ast} {\mathbb{G}}=0\)) we have the converse implication
Proof
The first implication follows from the first formula in Theorem 6.3, Proposition 3.13 and the straightforward fact that \(e^{(1,0)}\in P_{0}^{\mathop {\mathrm {pa}}\nolimits }\). The converse implication follows from Theorem 5.13. □
Remark 6.5
For the second implication, we really need \(f\) to be a smooth projective bundle. This is due to the fact that in the proof of Theorem 5.13 we used that \(\mathrm {T}_{\Pi _{\alpha}}\) is a vector bundle of rank \(\chi (\alpha )-1\), see Remark 5.14. Indeed, if the moduli space \(M\) is such that \(p_{\ast }{\mathbb{G}}=0\) (e.g. if \(M=M_{\alpha (mH)}\) for \(m\) sufficiently negative) then \(P\) is empty but the Virasoro constraints on \(M\) are non-trivial.
6.3 Nested Hilbert scheme
We now treat the base cases for parts (2), (3) of Theorem A. Let \(S\) be a surface with \(h^{0,1}=h^{0,2}=0\). Let \(S_{\beta}^{[0,n]}\) be the nested Hilbert scheme as in [18]. It parametrizes a pair of subschemes
where \(E\) is a divisor in class \(\beta \) and \(Z\subseteq E\) is a 0 dimensional subscheme of length \(n\). We have universal subschemes
where we use \({\mathcal {S}}=S\times S_{\beta}^{[0,n]}\). As explained in Sect. 5.2, the nested Hilbert scheme \(S_{\beta}^{[0,n]}\) can be seen as a moduli of Bradlow pairs in 2 ways, by looking at a point \((E, Z)\in S_{\beta}^{[0,n]}\) either as
That is,
Each description comes with a natural universal pair, namely
The first description allows us to describe \(S_{\beta}^{[0,n]}\) as a virtual projective bundle over the Hilbert scheme of points on \(S\). Let \(\alpha \) be such that \(\mathrm {ch}(\alpha )=(1, \beta , -n+\beta ^{2}/2)\). Since \(\alpha \) does not decompose as \(\alpha _{1}+\alpha _{2}\) with \(r(\alpha _{i})>0\), a pair \({\mathcal {O}}_{S}\to F\) is \(\mu ^{t}\)-(semi)stable if and only if \(F\) is torsion free if and only if \(F\) is stable, so the moduli space \(P^{t}_{\alpha}\) does not change with \(t\) and we have a map
Since \(h^{0,1}=0\) there exists a unique line bundle \(L_{\beta}\) with \(c_{1}(L_{\beta})=\beta \). Hence,
Note that the deformation theory of \(M_{\alpha}\) is smooth (see e.g. [14, Proposition 2.2]), so under the isomorphism above the virtual fundamental class \([M_{\alpha}]\) coincides with the usual fundamental class \([S^{[n]}]\).
We claim that if \(S_{\beta}^{[0,n]}\) is not empty then the map \(f\) is a virtual projective bundle as described in the previous section. For this we need to show that if \(F=I_{Z}\otimes L_{\beta}\in M_{\alpha}\) then \(H^{2}(F)=0\). If \(S_{\beta}^{[0,n]}\) is not empty then there must exist a divisor \(E\subseteq S\) in class \(\beta \). Considering the long exact sequence on cohomology obtained from
and using that \(H^{2}({\mathcal {O}}_{S})=0\) it follows that \(H^{2}(L_{\beta})=0\). Then the long exact sequence on cohomology associated to
shows that \(H^{2}(I_{Z}\otimes L_{\beta})=0\).
Proposition 6.6
The nested Hilbert scheme \(S_{\beta}^{[0,n]}\) satisfies the Virasoro constraints with either of the two descriptions as a pair moduli space, that is,
Proof
We begin with the first statement. It was proven in [47, Theorem 5] that the Hilbert scheme \(S^{[n]}\cong M_{(1,0, -n)}\) satisfies Virasoro constraints; see Remark 2.4 and Proposition 2.16 for a comparison between the formulation in loc. cit. and ours. By Lemma 2.19, it follows that Virasoro constraints hold for \(M_{\alpha}\) for any \(\alpha \) of rank 1. By Corollary 6.4 and the discussion preceeding this Proposition,
We now deduce the second statement from the first. The dual of \({\mathcal {O}}_{{\mathcal {E}}}({\mathcal {Z}})\) in \(K\)-theory can be computed to be
In the first equality we used [22, Example 3.41] and in the second we used
As a consequence,
Define the involution \({\mathsf {I}}\colon {\mathbb{D}}^{X, \mathop {\mathrm {pa}}\nolimits }\to {\mathbb{D}}^{X, \mathop {\mathrm {pa}}\nolimits }\) by
By the previous computation of duals, we have
We can see straight from the definition of the pair Virasoro operators \({\mathsf {L}}_{k}^{\mathop {\mathrm {pa}}\nolimits }\) (see Sect. 2.6) that
With all these observations, the equivalence between the two statements becomes clear. Indeed,
This shows that \(\Big[S_{\beta}^{[0,n]}\Big]^{\mathrm {vir}}_{({\mathcal {O}}, {\mathcal {O}}_{{\mathcal {E}}}({\mathcal {Z}}))}\in P_{0}^{ \mathop {\mathrm {pa}}\nolimits }\) as well and finishes the proof. □
Notes
The results in [48] are formulated entirely in the theory of stable pairs, also known as Pandharipande-Thomas (PT) invariants, and not DT invariants. In the stationary regime for toric 3-folds, however, the two formulations of Virasoro are known to be equivalent.
See also H. Liu’s work [39] where he extends it to \(K\)-theory and multiplicative vertex algebras.
Virasoro constraints are also expected for moduli spaces of sheaves on Calabi-Yau 4-folds, admitting a virtual fundamental class in the sense of Oh-Thomas [50]. However, we will not consider this case here and it will be the subject of future work.
It would be interesting to see the implication of Virasoro constraints to the generating series of descendent invariants of Quot schemes studied in [25].
We follow here the convention that the total homology is the direct sum of the homology groups in each degree, while cohomology is the product.
We use symmetrization instead of supersymmetrization as in [20].
The construction in [33, Sect. 5.4] is only for the case in which \(\Lambda _{\text{sst}}\) is a lattice (i.e., a free abelian group) and \(\Lambda _{\text{sst}}\otimes _{{\mathbb{Z}}}{\mathbb{C}}=\Lambda _{\overline{0}}\), but everything works just fine in this slightly more general setting. This modification was already considered by Gross in [20, Definition 3.5]. Note also that the case \(\Lambda _{\text{sst}}=\{0\}\) corresponds to what Kac calls the vertex algebra of free bosons, see [33, Sect. 3.5]; this slightly more general construction can be thought of as interpolating the lattice vertex algebra and the bosonic vertex algebra.
We suppress the dependence of \(\omega _{\overline {1}}\) on the choice of \(I\) and \(\hat{I}\) for simplicity of the notation.
The operator \(L_{n}\) decreases the conformal grading by \(n\) since \([L_{0},L_{n}]=(-n)L_{n}\).
We abuse the Lie bracket notation that was originally used for .
In [62], the stack \({\mathcal {M}}_{\alpha}\) is constructed by truncating its derived refinement. Because derived refinements naturally induce obstruction theories (see [57, Proposition 1.2]), we have a natural obstruction theory on \({\mathcal {M}}_{\alpha}\) given by the formula that follows as shown in [62, Corollary 3.29]. Because these derived refinements can be rigidified in the same way as the original stacks, there is also a natural choice of an obstruction theory on \({\mathcal {M}}^{\mathrm {rig}}_{\alpha}\).
This assumption introduces a quotient \(K\big(\mathrm {Coh}(X)\big)\) of \(K_{0}\big(\mathrm {Coh}(X)\big)\) with \(C\big(\mathrm {Coh}(X)\big)\subset K\big(\mathrm {Coh}(X)\big)\) containing elements represented by non-zero sheaves. The wall-crossing is then expressed in terms of \(\alpha \)’s contained in \(C(X)\). In our case, we directly define \(C\big(\mathrm {Coh}(X)\big) =C(X)\).
Strictly speaking, these moduli spaces are constructed for Gieseker type Bradlow stability as opposed to the slope type Bradlow stability in Definition 5.2. However, we need the construction of the moduli space only when there are no strictly \(\mu ^{t}\)-semistable pairs in which case the two stability notions coincide. When there exist strictly \(\mu ^{t}\)-semistable pairs, Joyce’s theory [31] uses only the moduli stacks rather than the moduli spaces.
As opposed to \(\acute{{\mathcal {A}}}\) which was used in [31] to denote the category of all pairs without the restriction on dimension.
Recall that \({\mathcal {M}}_{n{\mathsf {pt}}}\) is the stack of all perfect complexes with class \(n{\mathsf {pt}}\).
References
Abe, T.: A \({\mathbb{Z}}_{2}\)-orbifold model of the symplectic fermionic vertex operator superalgebra. Math. Z. 255(4), 755–792 (2007)
Antieau, B., Heller, J.: Some remarks on topological \(K\)-theory of dg categories. Proc. Am. Math. Soc. 146(10), 4211–4219 (2018)
Abramovich, D., Olsson, M., Vistoli, A.: Tame stacks in positive characteristic. Ann. Inst. Fourier 58(4), 1057–1091 (2008)
Behrend, K., Fantechi, B.: The intrinsic normal cone. Invent. Math. 128(1), 45–88 (1997)
Belavin, A.A., Polyakov, A.M., Zamolodchikov, A.B.: Infinite conformal symmetry in two-dimensional quantum field theory. Nucl. Phys. B 241, 333–380 (1984)
Blanc, A.: Topological \(K\)-theory of complex noncommutative spaces. Compos. Math. 152(3), 489–555 (2016)
Bojko, A.: Wall-crossing for punctual Quot-schemes (2021). https://arxiv.org/abs/2111.11102
Bojko, A.: Wall-crossing for zero-dimensional sheaves and Hilbert schemes of points on Calabi–Yau 4-folds (2021). https://arxiv.org/abs/2102.01056
Bojko, A.: Universal Virasoro Constraints for Quivers with Relations (2023). https://arxiv.org/abs/2310.18311
Borcherds, R.E.: Vertex algebras, Kac-Moody algebras, and the monster. Proc. Natl. Acad. Sci. 83(10), 3068–3071 (1986)
Bu, C.: Counting sheaves on curves. Adv. Math. 434, 109334–109387 (2023)
Dold, A.: Lectures on Algebraic Topology, 2nd edn. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 200, p. 377. Springer, Berlin (1980)
Donaldson, S.K.: An application of gauge theory to four-dimensional topology. J. Differ. Geom. 18(2), 279–315 (1983)
Ellingsrud, G., Göttsche, L., Lehn, M.: On the cobordism class of the Hilbert scheme of a surface. J. Algebraic Geom. 10(1), 81–100 (2001)
Eguchi, T., Hori, K., Xiong, C.-S.: Quantum cohomology and Virasoro algebra. Phys. Lett. B 402(1–2), 71–80 (1997)
Friedlander, E.M., Walker, M.E.: Semi-topological \(K\)-theory. In: Handbook of \(K\)-Theory, vol. 1, pp. 877–924. Springer, Berlin (2005)
Getzler, E.: The Virasoro conjecture for Gromov-Witten invariants. In: Algebraic Geometry: Hirzebruch 70, Warsaw, 1998. Contemp. Math., vol. 241, pp. 147–176. Am. Math. Soc., Providence (1999)
Gholampour, A., Sheshmani, A., Yau, S.-T.: Nested Hilbert schemes on surfaces: virtual fundamental class. Adv. Math. 365, 107046–107050 (2020)
Givental, A.B.: Gromov-Witten invariants and quantization of quadratic Hamiltonians, vol. 1. (2001). Dedicated to the memory of I. G. Petrovskii on the occasion of his 100th anniversary. https://doi.org/10.17323/1609-4514-2001-1-4-551-568
Gross, J.: The homology of moduli stacks of complexes (2019). https://arxiv.org/abs/1907.03269
Gross, J., Joyce, D., Tanaka, Y.: Universal structures in ℂ-Linear enumerative invariant theories. SIGMA 18, 068 (2022)
Huybrechts, D.: Fourier-Mukai Transforms in Algebraic Geometry. Oxford Mathematical Monographs, p. 307. The Clarendon Press, Oxford University Press, Oxford (2006)
Huybrechts, D., Thomas, R.P.: Deformation-obstruction theory for complexes via Atiyah and Kodaira-Spencer classes. Math. Ann. 346(3), 545–569 (2010)
Huybrechts, D., Lehn, M.: The Geometry of Moduli Spaces of Sheaves. Aspects of Mathematics, E31 p. 269. Friedr. Vieweg & Sohn, Braunschweig (1997)
Johnson, D., Oprea, D., Pandharipande, R.: Rationality of descendent series for Hilbert and Quot schemes of surfaces. Sel. Math. New Ser. 27(2), 23–52 (2021)
Joyce, D.: Ringel–Hall style Lie algebra structures on the homology of moduli spaces (2019). Available on the author’s personal webpage, accessed in December 2023. https://people.maths.ox.ac.uk/joyce/hall.pdf
Joyce, D.: Configurations in Abelian categories. I. Basic properties and moduli stacks. Adv. Math. 203(1), 194–255 (2006)
Joyce, D.: Configurations in Abelian categories. II. Ringel-Hall algebras. Adv. Math. 210(2), 635–706 (2007)
Joyce, D.: Configurations in Abelian categories. III. Stability conditions and identities. Adv. Math. 215(1), 153–219 (2007)
Joyce, D.: Configurations in Abelian categories. IV. Invariants and changing stability conditions. Adv. Math. 217(1), 125–204 (2008)
Joyce, D.: Enumerative invariants and wall-crossing formulae in Abelian categories (2021). https://arxiv.org/abs/2111.04694
Joyce, D., Song, Y.: A theory of generalized Donaldson-Thomas invariants. Mem. Am. Math. Soc. 217(1020), 199 (2012)
Kac, V.: Vertex Algebras for Beginners, 2nd edn. University Lecture Series, vol. 10, p. 201. Am. Math. Soc., Providence (1998)
Kontsevich, M.: Intersection theory on the moduli space of curves and the matrix Airy function. Commun. Math. Phys. 147(1), 1–23 (1992)
Kontsevich, M., Soibelman, Y.: Stability structures, motivic Donaldson-Thomas invariants and cluster transformations (2008). https://arxiv.org/abs/0811.2435
Kotschick, D., Morgan, J.W.: \({\rm SO}(3)\)-invariants for 4-manifolds with \(b^{+}_{2}=1\). II. J. Differ. Geom. 39(2), 433–456 (1994)
Lepowsky, J., Li, H.: Introduction to Vertex Operator Algebras and Their Representations. Birkhäuser, Basel (2004)
Lin, Y.: Moduli spaces of stable pairs. Pac. J. Math. 294(1), 123–158 (2018)
Liu, H.: Equivariant \(K\)-theoretic enumerative invariants and wall-crossing formulae in Abelian categories (2022). https://arxiv.org/abs/2207.13546
Le Potier, J.: Systèmes cohérents et structures de niveau. Astérisque 214, 143 (1993)
Manolache, C.: Virtual pull-backs. J. Algebraic Geom. 21(2), 201–245 (2012)
Marian, A., Oprea, D., Pandharipande, R.: Segre classes and Hilbert schemes of points. Ann. Sci. Éc. Norm. Supér. (4) 50(1), 239–267 (2017)
Maulik, D., Nekrasov, N., Okounkov, A., Pandharipande, R.: Gromov-Witten theory and Donaldson-Thomas theory. I. Compos. Math. 142(5), 1263–1285 (2006)
Maulik, D., Nekrasov, N., Okounkov, A., Pandharipande, R.: Gromov-Witten theory and Donaldson-Thomas theory. II Compos. Math. 142(5), 1286–1304 (2006)
Mirzakhani, M.: Simple geodesics and Weil-Petersson volumes of moduli spaces of bordered Riemann surfaces. Invent. Math. 167(1), 179–222 (2007)
Mochizuki, T.: Donaldson Type Invariants for Algebraic Surfaces. Lecture Notes in Mathematics, vol. 1972, p. 383. Springer, Berlin (2009)
Moreira, M.: Virasoro conjecture for the stable pairs descendent theory of simply connected 3-folds (with applications to the Hilbert scheme of points of a surface). J. Lond. Math. Soc. (2) 106(1), 154–191 (2022)
Moreira, M., Oblomkov, A., Okounkov, A., Pandharipande, R.: Virasoro constraints for stable pairs on toric threefolds. Forum Math. Pi 10, 20 (2022)
Newstead, P.E.: Characteristic classes of stable bundles of rank 2 over an algebraic curve. Trans. Am. Math. Soc. 169, 337–345 (1972)
Oh, J., Thomas, R.P.: Counting sheaves on Calabi-Yau 4-folds, I. Duke Math. J. 172(7), 1333–1409 (2023)
Okounkov, A., Pandharipande, R.: Virasoro constraints for target curves. Invent. Math. 163(1), 47–108 (2006)
Okounkov, A., Pandharipande, R.: Gromov-Witten theory, Hurwitz numbers, and matrix models. In: Algebraic Geometry—Seattle 2005. Part 1. Proc. Sympos. Pure Math., vol. 80, pp. 325–414. Am. Math. Soc., Providence (2005)
Pandharipande, R., Thomas, R.P.: Curve counting via stable pairs in the derived category. Invent. Math. 178(2), 407–447 (2009)
Pandharipande, R.: Descendents for stable pairs on 3-folds. In: Modern Geometry: A Celebration of the Work of Simon Donaldson. Proc. Sympos. Pure Math., vol. 99, pp. 251–287. Am. Math. Soc., Providence (2018)
Park, H.: Virtual Pullbacks in Donaldson-Thomas Theory of Calabi-Yau 4-Folds (2021). https://arxiv.org/abs/2110.03631
Pi, W., Shen, J.: Generators for the cohomology ring of the moduli of one-dimensional sheaves on \(\mathbb{P}^{2}\). Algebr. Geom. 10(4), 504–520 (2023)
Schürg, T., Toën, B., Vezzosi, G.: Derived algebraic geometry, determinants of perfect complexes, and applications to obstruction theories for maps and complexes. J. Reine Angew. Math. 702, 1–40 (2015)
Siebert, B.: Virtual fundamental classes, global normal cones and Fulton’s canonical classes. In: Frobenius Manifolds. Aspects Math., vol. E36, pp. 341–358. Friedr. Vieweg, Wiesbaden (2004)
Stark, S.: On the Quot scheme \(\mathrm{Quot}^{l}(\mathscr{E})\) (2021). https://arxiv.org/abs/2107.03991
Teleman, C.: The structure of 2D semi-simple field theories. Invent. Math. 188(3), 525–588 (2012)
Thaddeus, M.: Conformal field theory and the cohomology of the moduli space of stable bundles. J. Differ. Geom. 35(1), 131–149 (1992)
Toën, B., Vaquié, M.: Moduli of objects in dg-categories. Ann. Sci. Éc. Norm. Supér. (4) 40(3), 387–444 (2007)
van Bree, D.: Virasoro constraints for moduli spaces of sheaves on surfaces. Forum Math. Sigma 11, 4–35 (2023)
Witten, E.: Two-dimensional gravity and intersection theory on moduli space. In: Surveys in Differential Geometry (Cambridge, MA, 1990), pp. 243–310. Lehigh Univ., Bethlehem (1991)
Acknowledgements
The authors would like to thank Y. Bae, D. van Bree, J. Gross, A. Henriques, D. Joyce, M. Kool, H. Liu, A. Mellit, G. Oberdieck, A. Oblomkov, R. Pandharipande and W. Pi for many conversations about the Virasoro constraints on moduli spaces of sheaves.
Funding
Open Access funding provided by the MIT Libraries. The first and third authors were supported by ERC-2017-AdG-786580-MACI. The second author is supported by the grant SNF-200020-182181. The project received funding from the European Research Council (ERC) under the European Union Horizon 2020 research and innovation programme (grant agreement 786580).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix: Joyce-Song wall-crossing and punctual Quot schemes
Appendix: Joyce-Song wall-crossing and punctual Quot schemes
In Sects. 5 and 6 we have explored equivalences between Virasoro constraints in different moduli spaces that ultimately led to the proof of Theorem A. Some of these equivalences are shown in the following diagram:
where \(M_{n}\) and \(M_{\beta ,n}\) denote the moduli of zero-dimensional and one-dimensional sheaves, respectively. The labels RR, JS and PB stand for rank reduction (Theorem 5.12), Joyce-Song wall-crossing and projective bundle compatibility, respectively. The rank reduction argument was the main content of Sect. 5. The projective bundle compatibility was explained in Sect. 6.2 and used in Sect. 6.3 to show that the Virasoro constraints hold for nested Hilbert schemes. This appendix concerns the remaining arrow: Joyce-Song wall-crossing expresses the virtual fundamental class of moduli of pairs in terms of the classes of moduli of sheaves.
A general formulation of Joyce-Song wall-crossing formula is proved in [7, Theorem A.4], and we recall it below, see (A.4); in the case of moduli of vector bundles on curves it appears already in [11, Theorem 2.8]. For the symmetric power of curves the consequence of (A.4) is
where \(e^{(1,0)}\in V_{\bullet}^{\mathop {\mathrm {pa}}\nolimits }\) is the class of a point \(\{({\mathcal {O}}_{X}, 0)\}\) in the component \({\mathcal {P}}_{(1,0)}\) and \(M_{n}\) is the moduli space of 0-dimensional sheaves of length \(n\).
In particular, this formula together with Lemma A.2, which shows that , gives an alternative proof of the Virasoro constraints for the symmetric power of a curve (Proposition 6.2). More generally, the same approach proves the Virasoro constraints for punctual Quot schemes \(\text{Quot}_{X}(V,n)\) on curves and surfaces, which are of independent interest and for which we do not know a direct proof without wall-crossing techniques. We also remark that the first part of Proposition 6.3 is a special case of the Joyce-Song wall-crossing.
1.1 A.1 Joyce-Song pairs and wall-crossing
Joyce-Song stable pairs are named after their first appearance in the work of Joyce and Song [32, Sect. 12.1]. Let \(X\) be a curve or a surface, \(\alpha \in C(X)\) and let \(V\) be a fixed torsion-free sheaf on \(X\) such that
Recall that \(p_{F}(z)\) denotes the reduced Gieseker polynomial of a sheaf \(F\) where we will also use the notation \(p_{\alpha}(z):=p_{F}(z)\). Joyce-Song pairs consist of a sheaf \(F\) and a morphism
with the following stability condition:
-
1.
\(F\) is Gieseker-semistable;
-
2.
\(s\neq 0\);
-
3.
there is no \(0\neq G\subsetneq F\) with \(p_{F}(G)=p_{F}(z)\) such that \(\mathrm{im}(s)\subseteq G\).
We denote the resulting moduli space by \(P^{0+}_{V,\alpha}\). It has an obstruction theory at each \([V\to F]\in P^{0+}_{V,\alpha}\) given by
which is 2-term by (A.3). Denote by \([P^{0+}_{V,\alpha}]^{\mathrm {vir}}\) the resulting virtual fundamental class.
When \(V={\mathcal {O}}_{X}\), this stability condition is essentially the one in Proposition 5.4, except there stability is given in terms of \(\mu \)-stability and we now work with Gieseker stability because of a technicality explained in [7, Rem. A.3]. This makes no difference in our applications, because we either work with sheaves supported in dimension \(\leq 1\) or ideal sheaves, in which cases \(P^{0+}_{{\mathcal {O}}_{X}, \alpha}\) coincides with the previously defined \(P^{0+}_{1,\alpha}\). Note also that Assumption 5.1 implies the vanishing \(\mathrm {Ext}^{\geq 2}({\mathcal {O}}_{X},F)=0\). As explained in [7] (see Definition A.1 and the discussion afterwards), one can construct a 1-parameter family of stability conditions that connects the Joyce-Song stability to a stability condition in which the stable objects are \(U\otimes V\to 0\) for some vector space \(U\) and \(0\to F\) for some Gieseker stable \(F\).
The author then used Joyce’s general theory to show the following wall-crossing formula for any \(X=C,S\) (cf. [7, Theorem A.4]):
where \(e^{([\!\![V]\!\!],0)}\in V_{\bullet}^{\mathop {\mathrm {pa}}\nolimits }\) is the class of a point in the component \({\mathcal {P}}_{([\!\![V]\!\!],0)}\). This formula holds in , but using Lemma 5.11 and the same argument that appears after the Lemma, we can lift it to \(V_{\bullet}^{\mathop {\mathrm {pa}}\nolimits }\):
We recall the argument: clearly \(\mathrm {ch}_{1}^{{\mathcal {V}}}({\mathsf {pt}})\cap \) annihilates both \([P^{0+}_{V,\alpha}]^{\mathrm {vir}}_{(q^{*}V,{\mathbb{F}})}\) and \(e^{([\!\![V]\!\!],0)}\), so by Lemma 5.11 a) it annihilates both sides of (A.4) and by part b) of the same Lemma (together with the original wall-crossing formula in ), we conclude (A.4).
The necessary assumptions for wall-crossing formulae to hold, similar to the ones alluded to in Assumption 5.8, were explicitly checked in [7, Appendix].
Remark A.1
Suppose that \(\alpha \) is such that there are no Gieseker strictly semistable sheaves of type \(\alpha \). Then condition \((3)\) in the definition of Joyce-Song pairs is vacuous and \(P^{0+}_{V,\alpha}\) admits a description as a virtual projective bundle (cf. Sect. 6.2)
Under this assumption, there are no decompositions \(\alpha =\alpha _{1}+\cdots +\alpha _{l}\) with \(p_{\alpha _{i}}=p_{\alpha}\), \(M_{\alpha _{i}}\neq \emptyset \) and \(l>1\). In this case, (A.4) becomes
When \(V={\mathcal {O}}_{X}\) this is precisely the formula (65), for which we gave a direct proof.
1.2 A.2 Application to Quot schemes
One special case of Joyce-Song pairs are punctual Quot schemes, and we can use (A.4) to give a proof of the Virasoro constraints for them. We currently do not have a direct proof of these without wall-crossing techniques.
For \(X=C,S\) and a fixed torsion-free sheaf \(V\) on \(X\), the Quot scheme \(\text{Quot}_{X}(V,n)\) for \(X=C,S\) parameterizes equivalence classes of surjective morphisms \(V\to F\) from \(V\) to a zero-dimensional sheaf \(F\). When \(V\) is a vector bundle, the virtual fundamental classes
were constructed by Marian-Oprea-Pandharipande [42, Lemma 1.1] (see Stark [59, Proposition 5] for a more detailed proof). It was remarked in [7, Sect. 1.1] that the same obstruction theory given at each \([V\to F]\in \text{Quot}_{X}(V,n)\) by
is perfect of tor-amplitude \([-1,0]\) whenever \(V\) is more generally torsion-free. To apply (A.4), we use the identifications of moduli spaces and virtual fundamental classes
following immediately from their descriptions above; note that we are writing \(n\) for the \(K\)-theory class of the sheaf \({\mathcal {O}}_{{\mathsf {pt}}}^{\oplus n}\). To prove the Virasoro constraints for Quot schemes, we first show that the invariant classes counting zero-dimensional sheaves satisfy them. Note that \(M_{n}\) has virtual dimension 1, which makes a direct proof accessible.
Lemma A.2
For any \(n>0\) and any \(X=C,S\), the class \([M_{n}]^{\mathrm {inv}}\) is primary, i.e.,
Proof
By Proposition 3.16, it is sufficient to prove that
where \([M_{n}]^{\overline{\mathrm {inv}}}\in V_{\bullet}\) is the unique lift of satisfying \(\mathrm {ch}^{\mathrm {H}}_{1}(1)\cap [M_{n}]^{\overline{\mathrm {inv}}}\). Since \({\mathsf {L}}_{0}\) acts as the multiplication by the conformal degree 1, the case \(k=0\) follows. On the other hand \(\mathsf {R}_{1}(D)\) annihilates \([M_{n}]^{\overline{\mathrm {inv}}}\) by degree reasons. In conclusion, it suffices to prove that \(\int _{[M_{n}]^{\overline{\mathrm {inv}}}} {\mathsf {T}}_{1}=0\).
Recall the definition of \({\mathsf {T}}_{1}\) from Sect. 2.3 leading to
where \(\Delta _{*}(\mathrm {td}(X))=\sum _{s} \gamma _{s}^{L}\otimes \gamma _{s}^{R}\). Therefore it suffices to consider the Kunneth components satisfying \(|p_{s}^{L}|=|p_{s}^{R}|\) which is further restricted by \(p_{s}^{L}+p_{s}^{R}\geq \dim (X)\). On the other hand, \(\mathrm {ch}_{0}^{\mathrm {H}}(-)\) has a property that (after realization)
These vanishing properties are enough to prove that \(\int _{[M_{n}]^{\overline{\mathrm {inv}}}} {\mathsf {T}}_{1}=0\) when \(X=C\).
When \(X=S\), we additionally need that
for all \(\gamma ^{1,2}\in H^{1,2}(X)\) and \(\gamma ^{2,\bullet}\in H^{2,\bullet}(X)\). This follows from [7, Lemma 4.2], but we make the argument used to prove it explicit in terms of descendents. Note that both \(\mathrm {ch}_{0}^{\mathrm {H}}(\gamma ^{1,2})\) and \(\mathrm {ch}_{1}^{\mathrm {H}}(\gamma ^{2,\bullet})\) use the first Chern character \(\mathrm {ch}_{1}({\mathcal {F}})\) of the universal complex over \({\mathcal {M}}_{n{\mathsf {pt}}}\times X\).Footnote 22 By the construction of invariant classes, they lie in the image of the pushforward map
where \(\iota :\mathcal{N}_{n{\mathsf {pt}}}=\mathcal{N}_{(0,n{\mathsf {pt}})}\hookrightarrow {\mathcal {M}}_{n{\mathsf {pt}}}\) denotes the open immersion from the stack of zero-dimensional coherent sheaves of length \(n\). Then the extra vanishings (A.5) follow from the geometric fact that \((\iota \times \operatorname{id}_{X})^{*}\mathcal{F}\) is the universal zero-dimensional sheaf on \(\mathcal{N}_{n{\mathsf {pt}}}\times X\) hence \((\iota \times \operatorname{id}_{X})^{*}\mathrm {ch}_{1}(\mathcal{F})=0\). □
We now conclude the precise version of Theorem 1.12. Because of
Proposition 6.2 is a consequence of this more general result.
Theorem A.3
If \(X=C\) or \(X=S\) with \(h^{2,0}(S)=0\), punctual Quot schemes \(\textit{Quot}_{X}(V,n)\) satisfy pair Virasoro constraints, i.e.,
Proof
As a corollary of (A.4), we obtain the wall-crossing formula for Quot scheme involving invariant classes of zero-dimensional sheaves:
Using Lemma A.2 and Proposition 3.13, we conclude the result. □
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
Bojko, A., Lim, W. & Moreira, M. Virasoro constraints for moduli of sheaves and vertex algebras. Invent. math. 236, 387–476 (2024). https://doi.org/10.1007/s00222-024-01245-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-024-01245-5