Motivic Donaldson-Thomas invariants of small crepant resolutions (Q2346697)

For the integers \(N_0\geq 0\) and \(N_1>0\) with \(N=N_0+N_1\), let \[ \mathcal{X}=\text{Spec}(\mathbb{C}[X,Y,Z,W]/XY-Z^{N_0}W^{N_1})). \] One can construct a quiver with potential whose Jacobian algebra \(J\) gives an NCCR (non-commutative crepant resolution) of \(\mathcal{X}\). We denote by \(\Delta\), \(\Delta_+\), \(\Delta_+^{\mathrm{re}}\), and \(\Delta_+^{\mathrm{im}}\), the set of roots, positive roots, \dots of type \(\widetilde{A}_N\). To this data one associates the generating function of the motivic Donaldson-Thomas invariants \[ A_U(y)=\sum_{\alpha \in \mathbb{N}^N} [\mathfrak{M}(J,\alpha)]_{\mathrm{vir}}y^\alpha, \] where \([\mathfrak{M}(J,\alpha)]\) is the moduli stack of \(J\)-modules with dimension vector \(\alpha\). For \(\alpha \in \Delta^{\mathrm{im}}_+\) define \[ A^\alpha(y)=\text{Exp} \left(\frac{N-1+\mathbb{L}}{1-\mathbb{L}^{-1}}y^\alpha\right) \] and define a similar expression for \(\alpha \in \Delta^{\mathrm{re}}_+\). The main result of the paper under review is \(A_U(y)=\prod_{\alpha \in \Delta_+}A^\alpha(y)\). The authors prove at least two applications of the main result. Let \(\widetilde{J}\) be the framed algebra obtained by adding an additional vertex and arrow to the quiver of \(J\). One defines the generating function \[ Z_\zeta(y)=\sum_{\alpha \in \mathbb{N}^{N}\times\{1\}} [\mathfrak{M}_\zeta(\widetilde{J},\alpha)]_{\mathrm{vir}}y^\alpha, \] where \(\mathfrak{M}_\zeta(\widetilde{J},\alpha)\) is the moduli space of \(\zeta\)-stable \(\widetilde{J}\)-modules with dimension vector \(\alpha\). The first corollary proves an explicit root theoretic formula for \(Z_\zeta(y)\). The second corollary finds an explicit root theoretic formulas for the motivic Donaldson-Thomas and Pandharipande-Thomas invariants of \(\mathcal{X}\) which is derived equivalent to \(J\), and as a result proves a correspondence between the two types of invariants. Numerical versions of all the results mentioned above were proven before in several papers some by the same authors and their collaborators. Proofs are based on wall-crossing techniques in the setting of motivic DT invariants. The formulas obtained in this paper are among the very few known explicit formulas for the motivic DT invariants.