[Paper Review] Counting BPS Operators in the Chiral Ring of N=2 Supersymmetric Gauge Theories or N=2 Braine Surgery

Amihay Hanany, Christian Römelsberger|ArXiv.org|Nov 30, 2006

Black Holes and Theoretical Physics8 references19 citations

TL;DR

This paper develops a novel 'surgery' technique to precisely count BPS operators in the chiral ring of N=2 quiver gauge theories arising from D3 branes probing ALE singularities, resolving complications from mixed Higgs-Coulomb branches. The key contribution is a generating function (equation 3.25) that correctly accounts for overlapping operator contributions across branches, yielding exact counts via a unified, elegant formalism that avoids over- or under-counting in multi-branched moduli spaces.

ABSTRACT

This note is presenting the generating functions which count the BPS operators in the chiral ring of a N=2 quiver gauge theory that lives on N D3 branes probing an ALE singularity. The difficulty in this computation arises from the fact that this quiver gauge theory has a moduli space of vacua that splits into many branches -- the Higgs, the Coulomb and mixed branches. As a result there can be operators which explore those different branches and the counting gets complicated by having to deal with such operators while avoiding over or under counting. The solution to this problem turns out to be very elegant and is presented in this note. Some surprises with "surgery" of generating functions arises.

Motivation & Objective

• To resolve the challenge of counting BPS operators in the chiral ring of N=2 quiver gauge theories with split moduli spaces into Higgs, Coulomb, and mixed branches.
• To address the over- or under-counting of operators that explore multiple branches due to non-trivial intersections in the moduli space.
• To develop a systematic method for computing the generating function of BPS operators that accounts for quantum corrections and global symmetries.
• To provide a unified, exact formula for the full generating function that combines contributions from all branches without double-counting.

Proposed method

• Introduces a 'surgery' technique to systematically remove overcounted operators arising from intersections between Higgs and Coulomb branches.
• Constructs elementary partition functions for the Higgs branch (equation 5.18), Coulomb branch (equation 5.20), and line (intersection) branch (equation 5.21), using plethystic exponentials.
• Uses the relation $ G = rac{H \cdot C}{L} $ to combine Higgs, Coulomb, and line contributions, where $ H $, $ C $, and $ L $ are generating functions for the respective branches.
• Applies cancellation mechanisms via alternating sums and subtraction of overlapping sectors to isolate unique operator content.
• Employs generating functions with $ t_1, t_2, t_3 $ as fugacities for R-charges and baryonic charges, and $ \nu $ for the rank of the gauge group.
• Derives the final generating function (equation 3.25) through recursive surgery and consistency checks on small-rank examples.

Experimental results

Research questions

• RQ1 How can BPS operators be counted in N=2 quiver gauge theories when the moduli space splits into Higgs, Coulomb, and mixed branches?
• RQ2 What is the correct way to combine generating functions from different branches without overcounting operators that lie in their intersection?
• RQ3 Can a systematic method be developed to compute the full generating function of BPS operators in such theories?
• RQ4 How do quantum corrections and global symmetries affect the operator spectrum in the chiral ring of these gauge theories?
• RQ5 What is the role of the line branch (intersection) in the complete operator counting, and how can it be isolated and subtracted?

Key findings

• The main result is the derivation of the full generating function $ G $ via surgery, given by equation (3.25), which correctly accounts for all BPS operators in the chiral ring.
• For the $ A_n $ series, the Higgs branch generating function is $ g_1 = \frac{1 - t_1^n t_2^n}{(1 - t_1^n)(1 - t_2^n)(1 - t_1 t_2)(1 - t_3)} $, and the Coulomb branch is $ C = \sum_{k=0}^\infty \nu^k \prod_{i=1}^k \frac{1}{(1 - t^i)^n} $.
• The line branch generating function is $ L = \exp\left(\sum_{k=1}^\infty \frac{\nu^k}{k(1 - t^k)}\right) $, which serves as a normalization factor in the full formula.
• The full generating function is $ G = \frac{H \cdot C}{L} $, where $ H $ is the plethystic exponential of the Higgs branch, and this formula passes consistency checks via equation (5.17).
• The surgery method successfully resolves the overcounting problem by subtracting overlapping contributions, as verified through explicit computation of $ i_1, i_2, b_1 $ in equations (5.14)–(5.16).
• The method is validated on small-rank cases and extends to the $ A_n $ series, showing consistency and correctness in the limit of large $ n $ and large $ N $.