Joyce invariants for \(K3\) surfaces and mock theta functions (Q2638181)

This paper sits in the frame of the study of Bridgeland stability conditions on \(K3\) surfaces. In fact, they can be seen as a tool to investigate invariants (such us DT-invariants) on the moduli stack of objects in a given triangulated category. In particular, the authors address the problem of understanding the behavior of the Joyce invariant, a motivic invariant that extends the Donaldson-Thomas invariant in a way that wall-crossing of stability conditions yields differential equations in the invariants, on the bounded derived category \(\mathbf D^b(X)\) when \(X\) is a \(K3\) surface. \textit{D. Joyce} proved in [Adv. Math. 217, No. 1, 125--204 (2008; Zbl 1134.14008)] that such an invariant can be on \(\mathbf{Coh}(X)\) and it is independent from the choice of the Gieseker stability on this abelian category. Moreover, in [Adv. Math. 217, No. 6, 2736--2781 (2008; Zbl 1136.14007)], \textit{Y. Toda} showed that this invariants can be defined also upon \(\mathbf{D}^b(X)\) and that it does not depend on the choice of the stability condition \(\sigma\in \mathrm{Stab}^\ast(X)\), the connected component of the space of stability conditions on \(\mathbf D^b(X)\) constructed by Bridgeland. The authors derive, as an immediate consequence of Toda's work, that for every \(X\) algebraic \(K3\) surface, Mukai vector \(\alpha\) of \(X\), motivic invariant \(I\), faithful stability conditions \(\sigma,\;\sigma'\in\mathrm{Stab}^*(X)\), \[ I(M^\alpha(\sigma))=I(M^\alpha(\sigma')) \] is true; that is a more explicit manifestation of the invariance cited above. Using the theorem they are able to compute explicitly the class of \(M^{n\alpha}(\sigma)\) for a spherical Mukai vector \(\alpha\) and a faithful stability condition \(\sigma \in\mathrm{Stab}^*(X)\). This corollary enables the authors to know the shape of moduli stacks and make explicit computation on stabilizer groups and hence on Joyce invariant, to study generating functions obtained by moduli stacks counting and differential equations.