Table of Contents
Fetching ...

A perfect obstruction theory for SU(2)-Higgs pairs

Simon Schirren

TL;DR

This work advances the theory of Vafa–Witten invariants for rank-2 Higgs sheaves on a smooth projective surface by replacing the classical C^×-localisation with an intrinsic Z/2-involution. Central to the approach is a spectral reformulation on X=Tot(K_S) and a lifting of the involution to the full tangent–obstruction complex, allowing a fixed-part obstruction theory on the SU(2) locus N^⊥. The authors develop a determinant/tracesplitting and trace-shift mechanism to decompose deformations into fixed and moving parts, showing that the fixed part yields a perfect obstruction theory on N^⊥ and a well-defined virtual cycle. The resulting framework enables a robust localisation computation of VW-type invariants and offers pathways to extend Vafa–Witten theory to other Lie algebras through similar fixed-point analyses. Overall, the paper provides a rigorous,-local-to-global strategy to obtain meaningful invariants from non-compact moduli by using an intrinsic involution-based localisation, with potential broad impact in gauge-theoretic enumerative geometry.

Abstract

We present a new method for constructing virtual cycles for rank-2 Higgs sheaves $(E,φ)$ on a smooth projective surface $S$. Using this, we redefine the $\mathbf{SU}(2)$-perfect obstruction theory previously constructed by Tanaka-Thomas. The key step in our construction involves modifying the $\mathbf{C}^\times$-localisation formula of Graber-Pandharipande by replacing the torus action with an involution $(E,φ) \mapsto (E^*,-φ^*)$.

A perfect obstruction theory for SU(2)-Higgs pairs

TL;DR

This work advances the theory of Vafa–Witten invariants for rank-2 Higgs sheaves on a smooth projective surface by replacing the classical C^×-localisation with an intrinsic Z/2-involution. Central to the approach is a spectral reformulation on X=Tot(K_S) and a lifting of the involution to the full tangent–obstruction complex, allowing a fixed-part obstruction theory on the SU(2) locus N^⊥. The authors develop a determinant/tracesplitting and trace-shift mechanism to decompose deformations into fixed and moving parts, showing that the fixed part yields a perfect obstruction theory on N^⊥ and a well-defined virtual cycle. The resulting framework enables a robust localisation computation of VW-type invariants and offers pathways to extend Vafa–Witten theory to other Lie algebras through similar fixed-point analyses. Overall, the paper provides a rigorous,-local-to-global strategy to obtain meaningful invariants from non-compact moduli by using an intrinsic involution-based localisation, with potential broad impact in gauge-theoretic enumerative geometry.

Abstract

We present a new method for constructing virtual cycles for rank-2 Higgs sheaves on a smooth projective surface . Using this, we redefine the -perfect obstruction theory previously constructed by Tanaka-Thomas. The key step in our construction involves modifying the -localisation formula of Graber-Pandharipande by replacing the torus action with an involution .
Paper Structure (73 sections, 33 theorems, 202 equations)

This paper contains 73 sections, 33 theorems, 202 equations.

Key Result

Lemma 1.1.7

Let $V^\bullet$ be a $\iota$-equivariant complex of coherent sheaves on $Y$ as defined in Def. equi and assume $Y^{\iota}\neq \emptyset$. Then $V^\bullet|_{Y^\iota}$ carries the structure of a complex of a $\mathcal{O}_{Y^\iota}[\langle \iota \rangle]$-module.

Theorems & Definitions (142)

  • Definition 1.1.1
  • Definition 1.1.3
  • Definition 1.1.5
  • Remark 1.1.6
  • Lemma 1.1.7
  • proof
  • Lemma 1.1.8
  • proof
  • Corollary 1.1.9
  • Remark 1.1.10
  • ...and 132 more