Table of Contents
Fetching ...

A Vafa-Intriligator formula for semi-positive quotients of linear spaces

Riccardo Ontani

TL;DR

This work develops a comprehensive framework for genus zero quasimap invariants of targets of the form $V/\!/G$. It proves an abelianisation principle reducing nonabelian invariants to torus data on $V/\!/T$, and derives Jeffrey–Kirwan residue formulae that express invariants as explicit residues after abelianisation. Under a semi-positivity assumption, it extends these ideas to a Vafa–Intriligator-type formula for the generating series, written as a finite sum of explicit contributions via an involution on the dual torus and a Jacobian determinant. The approach combines fixed-locus localisation, the Chern–Weil morphism on fixed loci, and known toric results (Szenes–Vergne) to achieve closed expressions and convergence results, thus providing practical computational tools for quasimap invariants beyond toric and Grassmannian cases. This bridges nonabelian GIT quotients with toric techniques, enabling residue- and generating-function computations across a broad class of reductive quotients.

Abstract

We consider genus zero quasimap invariants of smooth projective targets of the form $V/\!/G$, where $V$ is a representation of a reductive group $G$. In particular we consider integrals of cohomology classes arising as characteristic classes of the universal quasimap. In this setting, we provide a way to express the invariants of $V/\!/G$ in terms of invariants of $V/\!/T$, where $T$ is a maximal subtorus of $G$. Using this, we obtain residue formulae for such invariants as conjectured by Kim, Oh, Yoshida and Ueda. Finally, under some positivity assumptions on $V/\!/G$, we prove a Vafa-Intriligator formula for the generating series of such invariants, expressing them as finite sums of explicit contributions.

A Vafa-Intriligator formula for semi-positive quotients of linear spaces

TL;DR

This work develops a comprehensive framework for genus zero quasimap invariants of targets of the form . It proves an abelianisation principle reducing nonabelian invariants to torus data on , and derives Jeffrey–Kirwan residue formulae that express invariants as explicit residues after abelianisation. Under a semi-positivity assumption, it extends these ideas to a Vafa–Intriligator-type formula for the generating series, written as a finite sum of explicit contributions via an involution on the dual torus and a Jacobian determinant. The approach combines fixed-locus localisation, the Chern–Weil morphism on fixed loci, and known toric results (Szenes–Vergne) to achieve closed expressions and convergence results, thus providing practical computational tools for quasimap invariants beyond toric and Grassmannian cases. This bridges nonabelian GIT quotients with toric techniques, enabling residue- and generating-function computations across a broad class of reductive quotients.

Abstract

We consider genus zero quasimap invariants of smooth projective targets of the form , where is a representation of a reductive group . In particular we consider integrals of cohomology classes arising as characteristic classes of the universal quasimap. In this setting, we provide a way to express the invariants of in terms of invariants of , where is a maximal subtorus of . Using this, we obtain residue formulae for such invariants as conjectured by Kim, Oh, Yoshida and Ueda. Finally, under some positivity assumptions on , we prove a Vafa-Intriligator formula for the generating series of such invariants, expressing them as finite sums of explicit contributions.

Paper Structure

This paper contains 36 sections, 34 theorems, 153 equations, 1 figure.

Key Result

Proposition 2.1

Let $\delta_1, \delta_2 \in \chi(G)^\vee$ be so that $\delta = \delta_1 + \delta_2$. The fiber product over the evaluation maps admits a closed embedding into $Q(V/\!/G, \delta)$ as a fixed subvariety. Moreover, all the fixed quasimaps are of this form:

Figures (1)

  • Figure 1: For every simplicial cone $\mathfrak{s}$ spanned by integral elements of $\mathfrak{c}$, a translation $\mathfrak{s}$ is contained in the inverse image $D$ of the convergence domain of $\langle P \rangle^T$. Being $\chi(G)_\mathbb{R}$ a linear subspace, this means that if it intersects the interior of $\mathfrak{s}$, then it intersects $D$ too.

Theorems & Definitions (87)

  • Definition 1.1
  • Definition 1.2
  • Remark 1
  • Remark 2
  • Definition 2.1
  • Example 2.1
  • Definition 2.2
  • Example 2.2
  • Proposition 2.1
  • Remark 3
  • ...and 77 more