Quantized Coulomb branch of 4d $\mathcal{N}=2$ $Sp(N)$ gauge theory and spherical DAHA of $(C_N^{\vee}, C_N)$-type

This paper establishes that the quantized Coulomb branch of 4d $\mathcal{N}=2$ $Sp(N)$ gauge theory with specific matter content is isomorphic to the spherical double affine Hecke algebra of $(C_N^{\vee}, C_N)$-type, a result rigorously proven for the rank-one case and conjectured for higher ranks with supporting evidence from 't Hooft loop operators.

The Gist

Imagine the universe as a giant, complex video game. In this game, there are different "levels" or "worlds" where particles and forces interact. Physicists spend their time trying to figure out the rules of these levels, specifically how energy and matter behave in a special kind of world called a 4D N=2 Gauge Theory.

This paper is like a detective story where the author, Yutaka Yoshida, tries to solve a mystery: How do the "rules" of this specific quantum world connect to a very advanced, abstract branch of mathematics?

Here is the breakdown of the story using simple analogies:

1. The Setting: The Quantum Playground

Think of the "Coulomb branch" as the control panel of our quantum universe. It's a place where you can tweak knobs (called parameters) to change how the universe behaves.

• The Problem: In the real world, these knobs don't just sit there; they wiggle and interact in messy, unpredictable ways due to quantum effects. Calculating exactly what happens when you turn a knob is incredibly hard.
• The Solution: The author uses a special "camera" called Supersymmetric Localization. Imagine this camera can freeze time and filter out all the noise, leaving only the most important, stable signals. This allows the author to calculate the "expectation value" (the average behavior) of specific loops of energy, called BPS loops.

2. The Mystery: Monopole Bubbling

One of the biggest headaches in these calculations is something called the Monopole Bubbling Effect.

• The Analogy: Imagine you are trying to measure the wind speed at a specific point (the loop). But suddenly, a tiny, invisible bubble of wind (a "monopole") pops up right next to your sensor. This bubble changes the reading.
• The Challenge: In the past, physicists tried to calculate this using a "naive" method (like guessing the bubble's size), but it kept giving wrong answers.
• The Fix: The author uses a String Theory trick involving D-branes (think of them as invisible sheets or membranes in higher dimensions). By arranging these sheets in a specific 3D configuration (like a complex origami sculpture), the author can see exactly how these "bubbles" form and interact.
  • The "Extra" Step: The author discovers that sometimes, the naive calculation includes "ghost" bubbles that don't actually affect the real physics. He has to carefully subtract these "decoupled states" (the ghosts) to get the true answer.

3. The Big Reveal: The Mathematical Connection

Once the author has the correct, clean numbers for how these loops behave, he compares them to a famous mathematical structure called the Double Affine Hecke Algebra (DAHA).

• The Analogy: Imagine you have a secret code (the physics of the universe) and a famous, ancient cipher book (the DAHA).
• The Discovery:
  • For the simple case (Rank 1): The author proves that the code from the physics world matches the cipher book perfectly. The "loop operators" (the physics rules) are exactly the same as the "polynomial representation" of the math structure. It's like finding that the rules of a specific video game level are identical to a known mathematical theorem.
  • For the complex case (Rank N): The author makes a bold conjecture (a very educated guess). He believes that even for the more complex, higher-dimensional versions of this universe, the physics rules still match a more advanced version of that same cipher book (the spherical DAHA of type $(C^\vee_N, C_N)$).

4. The Evidence: The "Koornwinder" Key

To prove his guess, the author tests a specific, powerful tool called the Koornwinder operator.

• The Analogy: Think of the Koornwinder operator as a master key in the math world. It's a special machine that takes a number, does a complex dance with it, and spits out a new number.
• The Result: The author shows that the "Master Key" from the math book does the exact same dance as the "Monopole Bubble" calculation from the physics world.
  • When he calculates the physics of a specific loop (an 't Hooft loop), the result is mathematically identical to the Koornwinder operator.
  • This is strong evidence that his guess is correct: The quantum universe and the abstract math are two sides of the same coin.

Summary

In simple terms, this paper says:

1. We looked at a complex quantum universe with specific particles.
2. We used a "string theory origami" trick to clean up messy calculations involving invisible bubbles.
3. We found that the rules governing this universe are identical to a very sophisticated mathematical structure known as the Spherical DAHA.
4. For the simplest version, we proved it 100%. For the complex versions, we have strong evidence (the "Master Key" matches) and are confident it's true.

Why does this matter?
It's like finding a universal translator between two languages that were thought to be unrelated. It helps mathematicians understand physics better, and it helps physicists use powerful math tools to solve problems about the universe that were previously impossible to crack.

Technical Summary

1. Problem Statement

The paper investigates the algebraic structure of the quantized Coulomb branch in four-dimensional $\mathcal{N}=2$ supersymmetric gauge theories. Specifically, it focuses on the $Sp(N)$ gauge theory with four fundamental hypermultiplets and one hypermultiplet in the antisymmetric representation.

• Context: In 3d $\mathcal{N}=4$ theories, the Coulomb branch chiral ring is known to be related to algebras like the rational Cherednik algebra or truncated shifted Yangians upon deformation quantization. In 4d $\mathcal{N}=2$ theories on $S^1 \times \mathbb{R}^3$, the Coulomb branch operators are lifted to BPS loop operators (Wilson, 't Hooft, and dyonic loops).
• The Gap: While the quantized Coulomb branch of $U(N)$ gauge theory is known to coincide with the polynomial representation of the spherical Double Affine Hecke Algebra (DAHA) of type $A_{N-1}$ (or $gl_N$), the corresponding algebraic structure for $Sp(N)$ gauge theories was not explicitly established.
• Goal: To determine if the quantized Coulomb branch of the specific $Sp(N)$ theory described above is isomorphic to the spherical DAHA of type $(C^\vee_N, C_N)$, and to provide explicit evidence for this isomorphism.

2. Methodology

The author employs a combination of supersymmetric localization, string theory brane constructions, and algebraic representation theory.

A. Supersymmetric Localization

The vacuum expectation values (VEVs) of BPS loop operators are calculated using the SUSY localization formula on $S^1 \times \mathbb{R}^3$. The VEV $\langle L(p,q) \rangle$ for a loop with magnetic charge $p$ and electric charge $q$ is given by:
$$\langle L(p,q) \rangle = \sum_{w \in W_G} e^{w(p)\cdot b + w(q)\cdot a} Z_{1\text{-loop}} + \sum_{\tilde{p}} e^{\tilde{p}\cdot b} Z_{1\text{-loop}} Z_{\text{mono}}$$

• Key Challenge: The term $Z_{\text{mono}}$ represents the monopole bubbling effect, arising from the path integral over the moduli space of solutions to the Bogomol'nyi equation with reduced magnetic charge $\tilde{p}$.

B. Monopole Bubbling and Brane Constructions

To evaluate $Z_{\text{mono}}$, the paper utilizes two complementary approaches:

1. Brane Constructions (Type IIB String Theory):
   • For the rank-one case ($Sp(1) \simeq SU(2)$), the author uses a "naive" brane setup (D3, D7, NS5) and identifies a discrepancy in the Witten index calculation due to wall-crossing.
   • This is resolved by introducing extra D5-branes to complete the brane setup. This modification eliminates wall-crossing ambiguities and correctly captures the "extra" states ($Z_{\text{extra}}$) that are decoupled from the 4d global gauge symmetry.
   • For dyonic loops, the author interprets the JK-residue part of the 1d SQM Witten index as the "JK part" of the bubbling effect and subtracts the decoupled states to find the physical contribution.
2. Instanton Partition Function Truncation:
   • For higher ranks ($N \ge 2$), where explicit brane setups for antisymmetric matter are not fully established, the author uses the Kronheimer correspondence.
   • The JK part of the monopole bubbling ($Z_{JK}$) is derived by truncating the 5d Nekrasov instanton partition function. Specifically, one extracts the $\epsilon_-$-independent part of the partition function after a specific shift in parameters (Eq. 5.21).
   • The "extra" term ($Z_{\text{extra}}$) is conjectured to be the contribution of states neutral under the 4d global gauge symmetry, which are subtracted from the JK part.

C. Deformation Quantization

The algebra of loop operators is defined via the Moyal product (star product) derived from the Weyl-Wigner transformation. The commutation relations are determined by the $\Omega$-background parameter $\epsilon_+$.
$$\hat{L}(p,q) = \widehat{\langle L(p,q) \rangle}$$
The goal is to map these quantized operators $\hat{L}$ to the generators of the spherical DAHA.

3. Key Contributions and Results

A. Rank-One Case: $Sp(1) \simeq SU(2)$

• Result: The author explicitly demonstrates that the quantized algebra of loop operators for the $Sp(1)$ theory is isomorphic to the spherical DAHA of type $(C^\vee_1, C_1)$.
• Evidence:
  • The quantized Wilson loop $\hat{L}(0,1)$ corresponds to the variable $x + x^{-1}$.
  • The quantized 't Hooft loop $\hat{L}(1,0)$ corresponds to the Koornwinder operator (a specific difference operator) in the polynomial representation of the DAHA.
  • The parameters of the gauge theory (fugacities, $\Omega$-background) are mapped precisely to the parameters of the DAHA ($t_0, t_1, u_0, u_1, q$).

B. Higher-Rank Case: $Sp(N)$($N \ge 2$)

• Conjecture: The quantized Coulomb branch of the 4d $\mathcal{N}=2$ $Sp(N)$ gauge theory is isomorphic to the spherical DAHA of type $(C^\vee_N, C_N)$.
• Evidence Provided:
  1. Wilson Loops: The algebra of gauge and flavor Wilson loops is identified with the $W_{Sp(N)}$-invariant Laurent polynomial ring, which matches the subalgebra of the spherical DAHA generated by the idempotent $e$.
  2. 't Hooft Loop $L(e_1, 0)$: The deformation quantization of the minimal charge 't Hooft loop is shown to coincide exactly with the Koornwinder operator $V_1$ (the degree-1 element in the polynomial representation of the spherical DAHA).
  3. Higher Charges: The author computes the quantized 't Hooft loop for charge $L(e_1+e_2, 0)$. While the full operator identification is hindered by the unknown $x$-dependence of the $Z_{\text{extra}}$ term for higher charges, the shift-operator coefficients are shown to match those of the second van Diejen operator ($V_2$), which is the degree-2 symmetric polynomial in the DAHA generators.

C. Technical Derivations

• Explicit Formulas: The paper provides explicit localization formulas for the monopole bubbling effects $Z_{\text{mono}}$ in $Sp(N)$ theories, separating the JK part (derived from instanton truncation) and the extra part (decoupled states).
• Parameter Mapping: A precise dictionary is established between the physical parameters of the gauge theory (Coulomb branch moduli $a_i$, flavor fugacities $m_f$, $\epsilon_+$) and the algebraic parameters of the DAHA ($x_i, t_i, u_i, q$).

4. Significance

• Mathematical Physics Bridge: This work significantly extends the AGT (Alday-Gaiotto-Tachikawa) correspondence and the known relations between gauge theories and DAHAs. It establishes that $(C^\vee_N, C_N)$-type spherical DAHAs naturally arise in the quantized Coulomb branches of $Sp(N)$ gauge theories, just as $A_{N-1}$-type DAHAs arise in $U(N)$ theories.
• Resolution of Bubbling Ambiguities: The paper clarifies the calculation of monopole bubbling effects in the presence of antisymmetric matter, a case where previous brane constructions were incomplete. The method of subtracting "decoupled states" from the JK residue provides a robust prescription for higher-rank theories.
• New Algebraic Structures: It identifies the Koornwinder operators and van Diejen operators as the physical realization of quantized 't Hooft loops in these specific gauge theories. This suggests a deep connection between the integrable systems associated with these operators and the BPS spectrum of the gauge theory.
• Future Directions: The paper outlines a path toward understanding the 3d limit (rational DAHA) and the 5d limit (elliptic DAHA) of these theories, suggesting that the current work is a foundational step in a broader classification of quantized Coulomb branches across dimensions and gauge groups.

In summary, Yutaka Yoshida provides strong evidence that the quantized Coulomb branch of 4d $\mathcal{N}=2$ $Sp(N)$ gauge theory is the spherical DAHA of type $(C^\vee_N, C_N)$, explicitly matching the quantized 't Hooft loops to the Koornwinder and van Diejen operators.