Maulik–Ranganathan's logarithmic Donaldson–Thomas conjecture

Let $X$ be a smooth projective threefold and let $D\subset X$ be a simple normal crossings divisor. The logarithmic Hilbert scheme of points has virtual generating function

$$Z(X,D)=\sum_{n\geq 0}\deg[\operatorname{Hilb}^n(X,D)]^{\operatorname{vir}}q^n.$$

Here $T_X^{\mathrm{log}}$ and $K_X^{\mathrm{log}}$ denote the logarithmic tangent and canonical bundles of the pair $(X,D)$, respectively, and $M(q)$ is the MacMahon function

$$M(q)=\prod_{n\geq 1}\frac{1}{(1-q^n)^n}.$$

Maulik–Ranganathan's conjecture. The generating functions satisfy

$$Z(X,D)=M(q)^{\int_X c_3\left(T_X^{\mathrm{log}}\otimes K_X^{\mathrm{log}}\right)}.$$

This extends the degree-zero Donaldson–Thomas formula from smooth projective threefolds to simple normal crossings pairs. The paper's abstract states that the main result proves this conjecture, but the supplied parser gives no explicit resolution status; the database status is therefore left open pending verification.