Higgs branch of 5d $\mathcal{N}=1$ symplectic gauge theories and dressed instanton operators

This paper characterizes the infinite coupling chiral ring of the Higgs branch for 5d $\mathcal{N}=1$ $Sp(k)$ gauge theories with $N_f$ flavors by decomposing it into a product of bare instantons and a universal dressing factor that encodes the finite coupling chiral ring of a theory with one additional color.

The Gist

Imagine you are trying to understand the architecture of a massive, invisible city. This city isn't made of bricks and mortar, but of energy, forces, and particles. In the world of theoretical physics, this city is called a 5-dimensional gauge theory.

Specifically, this paper by Hanany and Van den Driessche is a map of a specific district in this city: the Higgs Branch. Think of the Higgs Branch as the "residential zone" where particles (specifically, matter fields) can move freely and change their shape without being stuck in a rigid structure.

Here is the story of what they discovered, broken down into simple analogies.

1. The Setting: A City at Two Different Times

The physicists are studying this city under two different conditions:

• Finite Coupling (The "Normal" Day): The city is running at a standard speed. The rules are well-known. The "residents" here are called Mesons (think of them as standard houses).
• Infinite Coupling (The "Supercharged" Day): The city is pushed to its absolute limit. The energy is so high that new, exotic things appear. The rules change. Suddenly, Instantons appear.

What is an Instanton?
Imagine a "ghost" or a "vortex" that can pop in and out of existence. In this theory, these aren't just random ghosts; they are charged particles that carry a specific "topological charge" (like a unique ID number). When the city is supercharged, these ghosts become real, massless, and start building new parts of the city.

2. The Big Discovery: The "Dressed" Ghosts

The authors wanted to know: If we look at the entire city at this supercharged limit, what does it look like?

They found a beautiful pattern. The entire city (the "Chiral Ring," which is just a fancy math term for the list of all possible buildings/structures) can be built using a simple recipe:

Total City = (The Ghost) × (The Decoration)

They call this "Dressed Instantons."

• The Bare Instanton (The Ghost): This is the core structure. It's the "ghost" itself, carrying a specific charge (like +1, +2, or -1). It's the foundation.
• The Dressing Factor (The Decoration): This is the fancy stuff you put on top of the ghost. It includes the standard Mesons (the houses) and a special "bound state" (a ghost and an anti-ghost holding hands).

The Magic Insight:
The most surprising part of the paper is that the "Decoration" (the Dressing Factor) is exactly the same for every single ghost, no matter how many charges it has.

It's like saying:

• If you have a ghost with charge +1, you dress it with a red hat and a blue scarf.
• If you have a ghost with charge +100, you dress it with the exact same red hat and blue scarf.
• If you have a ghost with charge -50, you still use the same hat and scarf.

The "hat and scarf" (the Dressing Factor) actually represents the entire city you would see if you added one extra dimension to the gauge group (a technical detail, but think of it as adding one extra floor to the building).

3. The Analogy of the "Modular Toy Set"

Imagine you have a LEGO set.

• The Mesons are the standard bricks.
• The Instantons are special, rare, glowing bricks that only appear when you turn the power up to maximum.

The authors realized that the glowing bricks come in different sizes (charges). But instead of building a completely new castle for every size of glowing brick, you just take the glowing brick and snap the same standard LEGO castle onto it.

• Small Glowing Brick + Standard Castle = Small Dressed Instanton.
• Big Glowing Brick + Standard Castle = Big Dressed Instanton.

The "Standard Castle" is the Dressing Factor. It turns out this castle is identical to the castle you would build if you had one more type of LEGO piece available in your box (the "additional colour" mentioned in the abstract).

4. Why Does This Matter?

Before this paper, physicists knew how to describe the city at normal power (Finite Coupling) and they knew how to describe the individual glowing bricks (Instantons). But they didn't have a simple way to describe the whole supercharged city.

This paper provides a universal translator.

• It says: "Don't try to calculate the whole supercharged city from scratch. Just take the normal city, add one extra floor to it, and then multiply it by the different types of ghosts."
• This works for almost every combination of "colors" (gauge groups) and "flavors" (matter types) they tested.

5. The One Exception

The authors tried to apply this rule to the most extreme case possible (where the number of flavors is at the maximum limit, $N_f = 2k + 5$). In this case, the "ghosts" get so powerful that they merge into a giant, complex shape (an $E_8$ symmetry). The simple "Hat and Scarf" rule got a bit tangled here, and they couldn't fully simplify the formula yet. It's like trying to fit a giant elephant into a tiny car; the standard rules of the road don't quite apply.

Summary

In plain English, this paper says:
"The complex, wild world of 5D physics at infinite energy isn't actually that chaotic. It's just a simple, repeating pattern. Every exotic particle (instanton) is just a 'naked' core wrapped in a 'suit' that looks exactly like the physics of a slightly larger, simpler version of the theory."

They have given physicists a new, much simpler way to calculate and understand these high-energy theories, turning a mountain of complex math into a neat, modular formula.

Technical Summary

1. Problem Statement

The paper addresses the structure of the Higgs branch chiral ring for 5-dimensional $\mathcal{N}=1$ supersymmetric gauge theories with gauge group $Sp(k)$ and $N_f$ fundamental hypermultiplets (flavours).

• The Challenge: While the classical (finite coupling) Higgs branch is well-understood and parameterized by mesons, the infinite coupling limit (UV fixed point) is non-trivial. At infinite coupling, the theory becomes strongly coupled and often lacks a Lagrangian description. In this regime, massless instanton operators appear, opening new directions in the moduli space and enhancing global symmetries.
• The Gap: Existing methods, such as the Hilbert Series (HS), struggle to decompose the infinite coupling chiral ring into distinct topological sectors (instanton charge sectors) and identify the specific representation content of the operators. The authors aim to expand the chiral ring in terms of the $U(1)$ instanton charge and explicitly characterize the "bare instanton" operators and the "dressing" factors that generate the full ring.

2. Methodology

The authors employ a multi-faceted approach combining string theory brane constructions, algebraic geometry, and representation theory:

• Brane Web Construction: They utilize Type IIB string theory brane webs (D5-branes stretched between NS5-branes with O7-planes) to visualize the theory. The infinite coupling limit corresponds to the vanishing horizontal separation of NS5-branes. This allows them to interpret the Higgs branch as the moduli space of dressed instanton operators (where D1-branes inside D5-branes act as instantons).
• Highest Weight Generating Functions (HWG): Instead of the standard Hilbert Series, the authors use HWGs. The HWG enumerates operators by their highest weights under the flavor symmetry and grades them by R-charge. This tool is crucial for isolating specific representations that the Hilbert Series obscures.
• Topological Sector Decomposition: The chiral ring is decomposed into sectors labeled by the instanton charge $I \in \mathbb{Z}$. The authors propose that the HWG for a specific sector $I$ factorizes as:
  $$\text{HWG}_I = (\text{Bare Instanton}_I) \times (\text{Dressing Factor})$$
• Residue Computation & Weyl Integration: To isolate the "dressing factor" (which is independent of the instanton charge), the authors perform a Hyperkähler quotient with respect to the instanton symmetry ($U(1)$ or enhanced $SU(2)$). This involves integrating the HWG over the fugacity of the instanton symmetry group, effectively removing the instanton charge dependence.
• Magnetic Quivers: They cross-verify results using magnetic quivers (moduli spaces of dressed monopoles) derived from the brane web, utilizing techniques like quiver subtraction to find intersections of cones in the moduli space.

3. Key Contributions and Results

A. Factorization of the Chiral Ring

The central result is the factorization of the infinite coupling chiral ring. The entire ring is expressed as the product of:

1. Bare Instantons: Operators defined by their specific $D_{N_f}$ flavor symmetry representation and R-charge, corresponding to a specific topological sector $I$.
2. Dressing Factor: A common factor for all sectors that encodes the mesons and the instanton-anti-instanton bound state.

B. Characterization of Bare Instantons

The authors derive explicit expressions for the bare instanton for any charge $I$:

• R-charge: The R-charge of a bare instanton of charge $I$ is $R = \frac{|I|}{2}(k+1)$, where $k+1$ is the dual Coxeter number of $Sp(k)$.
• Flavor Representation: The instantons transform in specific representations of the flavor group $D_{N_f}$ (or enhanced groups in the UV).
  • For $N_f$ even: Representation is $\mu_{N_f}^{|I|}$.
  • For $N_f$ odd: Representation depends on the sign of $I$ (either $\mu_{N_f-1}^I$ or $\mu_{N_f}^{|I|}$).
• Physical Origin: These representations arise from the degeneracy of fermionic zero modes of strings stretching between D1-branes (instantons) and D7-branes (flavours).

C. The Dressing Factor and Symmetry Enhancement

The "Dressing Factor" ($\text{HWG}_0$) represents the chiral ring of the theory at finite coupling but with one additional color ($k \to k+1$).

• Case $N_f \le 2k+1$: The dressing factor corresponds to the classical Higgs branch of $Sp(k)$ with $N_f$ flavors (mesons + instanton-anti-instanton bound state not at threshold).
• Case $N_f \ge 2k+2$: The dressing factor corresponds to the classical Higgs branch of $Sp(k+1)$ with $N_f$ flavors.
• Symmetry Enhancement:
  • For $N_f = 2k+4$, the global symmetry enhances to $SO(2N_f) \times SU(2)$. The dressing factor is derived by branching the $SU(2)$ representations.
  • For $N_f = 2k+5$, the symmetry enhances to $SO(2N_f+2)$. The authors successfully branch the HWG but note that a simple factorization into a single dressing factor and bare instanton is not fully resolved due to the embedding of the $U(1)$ into the larger symmetry group.

D. Dimensional Analysis

The paper provides a complete table of the complex dimensions of the Higgs branch at finite vs. infinite coupling, showing the growth in dimension due to the inclusion of instanton operators. For example, for $N_f = 2k+5$, the dimension grows from $2k(2N_f - 2k - 1)$ to $N_f(N_f+1) + 1$.

4. Significance

• New Classification Scheme: The paper establishes a robust framework for classifying 5d SCFT chiral rings by decomposing them into topological sectors. This "dressed instanton" picture offers a more granular view than the total Hilbert Series.
• Resolution of UV Structure: It provides a concrete algebraic description of the UV fixed point for $Sp(k)$ theories, which are notoriously difficult to study due to the lack of a Lagrangian at infinite coupling.
• Connection to 4d/6d Dualities: The results are consistent with known dualities (e.g., $Sp(k)$ with $N_f$ flavors is dual to $SU(k+1)$ with specific Chern-Simons levels). The findings suggest that the dressing factor effectively shifts the rank of the gauge group, hinting at a deeper structural relationship between theories of different ranks.
• Methodological Advancement: The successful use of HWGs and residue computations to isolate instanton sectors sets a precedent for analyzing other non-Lagrangian theories where standard index methods fail to separate topological charges.

5. Conclusion

Hanany and Van den Driessche successfully map the infinite coupling Higgs branch of $Sp(k)$ theories. They demonstrate that the chiral ring is generated by bare instantons (carrying specific flavor representations and R-charges) dressed by a universal factor that corresponds to the chiral ring of a theory with an extra color. This work bridges the gap between the classical moduli space and the strongly coupled UV fixed point, providing a precise operator dictionary for these 5d SCFTs.