Contour Integral for the Partition Function of $\mathcal{N}=2$ Topologically Twisted on $\mathbb{CP}^2$ and Physical Fluxes

This paper computes the partition function of an $\mathcal{N}=2$ $SU(2)$ topologically twisted theory on $\mathbb{CP}^2$ via dimensional reduction from $S^5$, demonstrating that the result depends on a single physical flux rather than three equivariant ones, with the reduced summation compensated by a contour integral that captures additional poles and yields new equivariant invariants related to Donaldson invariants.

The Gist

Imagine you are trying to calculate the total "vibe" or energy of a very complex, multi-layered system. In the world of theoretical physics, this system is a universe shaped like a specific geometric object called CP2 (a twisted version of a 4-dimensional space), and the "vibe" is called the Partition Function.

This paper, written by Lorenzo Ruggeri, is essentially a guide on how to solve a massive, complicated math puzzle to find that number. Here is the story of how he did it, explained without the heavy jargon.

The Problem: Two Ways to Count the Same Thing

For a long time, physicists had a standard way to calculate this "vibe." They treated the problem like a 3D puzzle. They had to sum up three different types of "fluxes" (think of these as invisible magnetic winds blowing through three different directions of the space).

• The Old Method: You had to add up every possible combination of these three winds. It was like trying to count every possible way three people could shake hands in a room. It was messy, involved a lot of summing, and the math was tricky because you had to be very careful about where you drew your boundaries (the "contour") to get the right answer.

The New Approach: A 1D Shortcut

Ruggeri found a clever shortcut. Instead of looking at the problem as a 3D puzzle, he realized he could view it as a 1D line.

• The Analogy: Imagine you are trying to count the total weight of a stack of books.
  • The Old Way: You weigh every single book individually, then every pair, then every trio, and sum them all up.
  • The New Way: You realize the books are stacked in a specific, predictable way. You only need to weigh the bottom book (the "physical flux") and then use a special formula to figure out the rest.

Ruggeri achieved this by imagining his 4D space (CP2) as the "shadow" or "base" of a 5D space (a squashed sphere called $S^5$). By "dimensional reducing" (essentially flattening the 5D sphere down to the 4D base), he found that the complex 3D puzzle collapses into a single line.

The Catch: The "Contour" Trick

Here is the twist. Because he simplified the puzzle from 3D to 1D, the rules for how he counts changed.

• In the old 3D method, you only had to look at a few specific points (poles) to get the answer.
• In Ruggeri's new 1D method, because he is integrating along a line, he has to pick up an infinite number of points (poles) to get the same answer.

The Metaphor:
Think of the old method as picking apples from three different trees. You only pick the ripe ones near the trunk.
The new method is like walking down a single long path where apples are growing everywhere. You have to pick every single apple along the path.
However, Ruggeri proves that if you pick all those infinite apples along the path, the total weight is exactly the same as the weight of the few apples from the three trees in the old method. The "extra" apples he picks in the new method perfectly cancel out the "missing" complexity of the old method.

The "Position-Dependent" Twist

There is one more unique thing about his calculation. In the old method, the "strength" of the force holding the system together (the coupling constant) was the same everywhere, like a uniform temperature in a room.

In Ruggeri's new method, derived from the 5D sphere, this "strength" changes depending on where you are in the room. It's like the temperature in the room changes based on how close you are to a window.

• Because of this, the number he calculates is a new kind of mathematical invariant (a unique fingerprint of the shape CP2).
• It's a new "fingerprint" that hasn't been seen before in this specific form.

The Grand Finale: Connecting to the Classics

The paper ends by showing that even though Ruggeri's method uses a different path and a different "temperature" map, if you turn off the special 5D effects (the "squashing"), his new fingerprint turns into the Donaldson Invariants.

• The Analogy: Imagine Ruggeri invented a new, high-tech camera that takes photos in 4K resolution with a special filter. He shows that if you turn off the filter and lower the resolution, his photo looks exactly like the classic black-and-white photos everyone has been using for decades.
• This proves his new method is valid and consistent with established physics, but it also gives us a richer, more detailed picture (the new equivariant invariants) when we keep the filter on.

Summary

In short, this paper says:

1. We can calculate the energy of a complex 4D shape by flattening it from a 5D sphere.
2. This turns a messy 3D counting problem into a simpler 1D line problem.
3. To make the 1D line work, we have to sum up an infinite number of points, which perfectly balances out the simplification.
4. This results in a brand-new mathematical formula that describes the shape, which agrees with old formulas when simplified, but offers new details when kept complex.

It's a story of finding a shorter, more elegant path to a destination that everyone else was already visiting, and discovering that the view from the shortcut is actually more beautiful.

Technical Summary

Technical Summary: Contour Integral for the Partition Function of N = 2 Topologically Twisted on CP2 and Physical Fluxes

Problem Statement
The paper addresses the computation of the partition function for an $N=2$ topologically twisted pure $SU(2)$ gauge theory on the complex projective plane $\mathbb{CP}^2$. Previous literature (specifically [18–20]) computed this quantity by summing over three equivariant fluxes, one for each toric divisor of the manifold, and evaluating the integral over a two-dimensional Coulomb branch (the complex scalar components $a, \bar{a}$). This approach relied on a Jeffrey-Kirwan (JK) residue prescription, picking up a single pole at the origin for each flux sector. However, recent observations [23] suggested inconsistencies between this JK residue computation and expected results. Furthermore, the standard approach treats the fluxes as equivariant parameters rather than physical topological charges associated with the non-trivial two-cycles of the manifold. The authors aim to resolve these discrepancies by deriving the partition function via dimensional reduction from a 5d theory, thereby identifying the correct physical fluxes and integration contours.

Methodology
The authors employ a dimensional reduction strategy starting from an $N=1$ pure gauge theory on a squashed $S^5$, viewed as a $U(1)$ fibration over $\mathbb{CP}^2$. The procedure involves the following steps:

1. Dimensional Reduction via $\mathbb{Z}_h$ Quotient: Instead of simply shrinking the $S^1$ fiber radius, the authors first consider the theory on a finite quotient $M/\mathbb{Z}_h$ (a lens space). This introduces non-trivial flat gauge connections labeled by a winding number $m$. Taking the limit $h \to \infty$ causes the fiber to shrink, and the flat connections in 5d map to gauge field configurations with flux on the non-trivial two-cycle of the 4d base $\mathbb{CP}^2$.
2. BPS Solutions and Zero-Modes: The authors identify a specific solution to the BPS equations where one component of the complex scalar in the 4d vector multiplet is fixed by the flux sector $m$, while the other remains covariantly constant. This reduces the integration over zero-modes from a two-dimensional complex plane to a one-dimensional contour along the imaginary axis (due to Wick rotation required for the 5d kinetic term).
3. Analytic Structure: The partition function is constructed from classical, one-loop, and instanton contributions. The authors analyze the poles and zeroes of the integrand. Unlike the previous approach which summed over equivariant fluxes $(k_1, k_2, k_3)$, this method sums over a single physical flux $m$ (specifically $m_1$ for $SU(2)$).
4. Contour Deformation and Residue Sum: Since the integration contour (the imaginary line) crosses all poles of the integrand, the authors deform the contour to close at infinity. This captures an infinite number of poles for each flux sector. The summation over these residues is simplified using an "abstruse duality" (symmetry properties of the residues under sign flips of flux indices) to cancel unstable contributions, leaving only stable and semi-stable sectors.

Key Contributions and Results

• Physical vs. Equivariant Fluxes: The paper demonstrates that the partition function depends on a single physical flux $m$ assigned to the non-trivial two-cycle of $\mathbb{CP}^2$, rather than a triplet of equivariant fluxes. The reduction from three fluxes to one is compensated by the integration contour capturing a significantly larger set of poles (an infinite tower) for each flux sector.
• Stability Conditions: The projection condition arising from the dimensional reduction ($t = \alpha(m) \ge 0$) naturally encodes the stability conditions for gauge bundles over $\mathbb{CP}^2$. For $SU(2)$, this restricts the sum to $m_1 > 0$. For higher ranks like $SU(3)$, it reproduces the known stability inequalities (e.g., $2m_1 \ge m_2$).
• New Equivariant Invariants: Due to the dimensional reduction from a squashed $S^5$, the resulting 4d Yang-Mills coupling $\tilde{g}_{4d}$ is position-dependent (varying across the fixed points of the toric action). Consequently, the computed partition function represents a new set of equivariant invariants for $\mathbb{CP}^2$.
• Reproduction of Donaldson Invariants: In the non-equivariant limit (where the squashing parameters $\omega_i \to 1$ and the coupling becomes constant), the authors show that their observable reproduces the standard Donaldson invariants. They explicitly demonstrate that the classical, one-loop, and instanton terms map to those in [18–20] under this limit, validating the consistency of the new approach.
• Explicit Computation: The authors provide an explicit formula (Eq. 4.10) for the partition function as a sum over residues in the stable region $A$ (interior and boundary). They compute the leading terms for $m_1=2$, showing the expansion in the instanton counting parameter $q$.

Significance
The paper claims that the localization of an $N=2$ topologically twisted theory on $\mathbb{CP}^2$ can be performed in two inequivalent ways—either via the JK residue prescription over equivariant fluxes or via dimensional reduction over physical fluxes—yielding the same final physical expression. The primary significance lies in:

1. Clarifying the Flux Sum: Resolving the redundancy in summing over equivariant fluxes by identifying the underlying physical flux and the corresponding infinite tower of poles.
2. Geometric Origin of Stability: Showing that the stability conditions for gauge bundles arise intrinsically from the dimensional reduction procedure and the projection of modes, rather than being imposed ad-hoc.
3. New Observables: Defining a new observable with a position-dependent coupling that generalizes the standard Donaldson invariants, offering a new class of equivariant invariants for $\mathbb{CP}^2$.

The authors note that while their focus is on $SU(2)$, the methodology extends straightforwardly to $SO(3)$ and $U(2)$ theories, and the framework is set up to be applied to higher-rank gauge groups and other quasi-toric four-manifolds.