arXiv subjects

Ties Laarakker

Publications and source records attributed to Ties Laarakker.

3 recordsLinked to original sources

arXiv2026

Vafa-Witten invariants from wall-crossing for framed sheaves

We consider the refined $\mathrm{SU}(r)$ Vafa-Witten partition function of a smooth projective surface with non-zero holomorphic 2-form. This partition function has a vertical contribution, expressible in terms of nested Hilbert schemes. First, we write the vertical contribution in terms of $χ_y$-genera of moduli spaces of framed sheaves on ${\mathbb P}^2$. Then, we state two wall-crossing identities for moduli spaces of framed sheaves: a blow-up formula due to Kuhn-Leigh-Tanaka and a new stable/co-stable wall-crossing formula. We prove the latter using the theory of mixed Hodge modules. We apply these identities to obtain constraints on Vafa-Witten invariants predicted by conjectures of Göttsche and the second- and third-named authors. For $r=2$, we obtain a proof of the vertical part of a celebrated formula by Vafa-Witten.

math.AG↗

arXiv2019

Monopole contributions to refined Vafa-Witten invariants

We study the monopole contribution to the refined Vafa-Witten invariant, recently defined by Maulik and Thomas [13]. We apply results of Gholampour and Thomas [7] to prove a universality result for the generating series of contributions of Higgs pairs with 1-dimensional weight spaces. For prime rank, these account for the entire monopole contribution, by a theorem of Thomas. We use toric computations to determine part of the generating series, and find agreement with the conjectures of Göttsche and Kool [10] for rank 2 and 3.

math.AG↗

arXiv2017

The Kleiman-Piene Conjecture and node polynomials for plane curves in $\mathbb{P}^3$

For a relative effective divisor $\mathcal{C}$ on a smooth projective family of surfaces $q:\mathcal{S}\rightarrow B$, we consider the locus in $B$ over which the fibres of $\mathcal{C}$ are $δ$-nodal curves. We prove a conjecture by Kleiman and Piene on the univerality of an enumerating cycle on this locus. We propose a bivariant class $γ(\mathcal{C})\in A^*(B)$ motivated by the BPS calculus of Pandharipande and Thomas, and show that it can be expressed universally as a polynomial in classes of the form $q_*(c_1(\mathcal{O}(\mathcal{C}))^a c_1(T_{\mathcal{S}/B})^b c_2(T_{\mathcal{S}/B})^c)$. Under an ampleness assumption, we show that $γ(\mathcal{C})\cap[B]$ is the class of a natural effective cycle with support equal to the closure of the locus of $δ$-nodal curves. Finally, we will apply our method to calculate node polynomials for plane curves intersecting general lines in $\mathbb{P}^3$. We verify our results using 19th century geometry of Schubert.

math.AG↗