pith. sign in

arxiv: 2503.15446 · v2 · submitted 2025-03-19 · ✦ hep-th · math-ph· math.AG· math.MP· math.RT

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

Pith reviewed 2026-05-22 23:23 UTC · model grok-4.3

classification ✦ hep-th math-phmath.AGmath.MPmath.RT
keywords BPS loop operatorsCoulomb branch quantizationSp(N) gauge theoryspherical DAHAOmega-backgroundKoornwinder operatordouble affine Hecke algebraN=2 supersymmetry
0
0 comments X

The pith

The quantized Coulomb branch of 4d N=2 Sp(N) gauge theory equals the spherical DAHA of (C_N^vee, C_N)-type.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper examines BPS loop operators in 4d N=2 Sp(N) gauge theory with four fundamental hypermultiplets and one antisymmetric hypermultiplet. The algebra of these operators in the Omega-background deforms the Coulomb branch and is expected to match the quantized K-theoretic Coulomb branch. For Sp(1) equivalent to SU(2), supersymmetric localization yields exact agreement with the polynomial representation of the spherical DAHA of (C1^vee, C1)-type. For N greater than or equal to 2 the authors conjecture an isomorphism to the spherical DAHA of (C_N^vee, C_N)-type, supported by the match between the quantized 't Hooft loop and the Koornwinder operator.

Core claim

The algebra of BPS loop operators in the Omega-background supplies a deformation quantization of the Coulomb branch that agrees with the polynomial representation of the spherical DAHA of (C1^vee, C1)-type for Sp(1), and is conjectured to be isomorphic to the spherical DAHA of (C_N^vee, C_N)-type for general N, with the 't Hooft loop providing supporting evidence via its identification with the Koornwinder operator.

What carries the argument

The algebra of BPS loop operators in the Omega-background, which deforms the Coulomb branch and is matched to the polynomial representation of spherical DAHA of (C_N^vee, C_N)-type.

If this is right

  • The match for Sp(1) is established by explicit supersymmetric localization.
  • The conjecture identifies the full quantized Coulomb branch with the spherical DAHA for every N.
  • Quantized 't Hooft loops correspond exactly to Koornwinder operators in the DAHA representation.
  • The identification supplies an algebraic presentation of the loop operator algebra in these theories.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same operator-algebra construction may identify quantized Coulomb branches for other classical groups with appropriate DAHA variants.
  • DAHA multiplication rules could be used to generate higher-order BPS operator products without further localization integrals.
  • The correspondence links physical deformation quantization directly to the representation theory of double affine Hecke algebras.

Load-bearing premise

The algebra of BPS loop operators in the Omega-background supplies the deformation quantization of the Coulomb branch that coincides with the quantized K-theoretic Coulomb branch.

What would settle it

A direct supersymmetric localization computation for Sp(2) that produces an algebra of BPS operators different from the polynomial representation of the spherical DAHA of (C2^vee, C2)-type would falsify the conjecture.

Figures

Figures reproduced from arXiv: 2503.15446 by Yutaka Yoshida.

Figure 1
Figure 1. Figure 1: (a): A brane configuration in the (x 4 , x5 )-plane for an ’t Hooft loop with magnetic charge p = (1, −1) (resp. p = 1) in U(2) (resp. SU(2)) gauge theory with four hypermul￾tiplets. The red and green circles represent a D7-brane and a D3-brane, respectively. The blue line represents an NS5-brane. (b): Another brane configuration for a ’t Hooft loop. Figure (a) and Figure (b) are related by the Hanany-Witt… view at source ↗
Figure 2
Figure 2. Figure 2: (a): A D1-brane suspended between two D3-branes is added to Figure 1(b). (b): [PITH_FULL_IMAGE:figures/full_fig_p010_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: (a): The quiver diagram representing 1d supermultiplets associated with the [PITH_FULL_IMAGE:figures/full_fig_p010_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: (a): When NS5-branes cross the branch cuts (denoted by black dashed lines) [PITH_FULL_IMAGE:figures/full_fig_p012_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: (a): The brane configuration for a dyonic loop with [PITH_FULL_IMAGE:figures/full_fig_p013_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: The quiver diagram of SQM for monopole bubbling in the dyonic loop [PITH_FULL_IMAGE:figures/full_fig_p014_6.png] view at source ↗
read the original abstract

We study BPS loop operators in a 4d $\mathcal{N}=2$ $Sp(N)$ gauge theory with four hypermultiplets in the fundamental representation and one hypermultiplet in the anti-symmetric representation. The algebra of BPS loop operators in the $\Omega$-background provides a deformation quantization of the Coulomb branch, which is expected to coincide with the quantized K-theoretic Coulomb branch in the mathematical literature. For the rank-one case, i.e., $Sp(1) \simeq SU(2)$, we show that the quantization of the Coulomb branch, evaluated using the supersymmetric localization formula, agrees with the polynomial representation of the spherical part of the double affine Hecke algebra (spherical DAHA) of $(C_1^{\vee}, C_1)$-type. For higher-rank cases, where $N \geq 2$, we conjecture that the quantized Coulomb branch of the 4d $\mathcal{N}=2$ $Sp(N)$ gauge theory is isomorphic to the spherical DAHA of $(C_N^{\vee}, C_N)$-type . As evidence for this conjecture, we show that the quantization of an 't Hooft loop agrees with the Koornwinder operator in the polynomial representation of the spherical DAHA.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 0 minor

Summary. The paper examines BPS loop operators in 4d N=2 Sp(N) gauge theory with four fundamental and one antisymmetric hypermultiplet. It uses supersymmetric localization to show that, for N=1 (Sp(1) ≃ SU(2)), the resulting quantized Coulomb branch matches the polynomial representation of the spherical DAHA of (C₁^∨, C₁)-type. For N ≥ 2 the manuscript conjectures an isomorphism between the quantized Coulomb branch and the spherical DAHA of (C_N^∨, C_N)-type, with supporting evidence consisting of an explicit match between the quantized 't Hooft loop and the Koornwinder operator.

Significance. The rank-one computation supplies a concrete, verifiable link between a gauge-theoretic observable and a known DAHA representation. Should the higher-rank conjecture hold, the work would furnish a physical origin for the spherical DAHA of (C_N^∨, C_N)-type and illustrate how BPS loop algebras realize quantized K-theoretic Coulomb branches, thereby connecting supersymmetric localization techniques to representation theory.

major comments (2)
  1. [Abstract] Abstract: The central identification—that the algebra of BPS loop operators in the Ω-background supplies a deformation quantization of the Coulomb branch that coincides with the quantized K-theoretic Coulomb branch—is introduced as an expectation without derivation or citation. This assumption is load-bearing for both the explicit N=1 computation and the N≥2 conjecture; its justification is required for the claims to be fully supported.
  2. [Abstract] Abstract (final sentence): The conjecture for N≥2 rests on a single operator match (quantized 't Hooft loop = Koornwinder operator). While presented as evidence rather than proof, additional checks on generators, relations, or other observables would be needed to assess the strength of the proposed isomorphism.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment point by point below, proposing revisions to strengthen the presentation where appropriate.

read point-by-point responses
  1. Referee: [Abstract] Abstract: The central identification—that the algebra of BPS loop operators in the Ω-background supplies a deformation quantization of the Coulomb branch that coincides with the quantized K-theoretic Coulomb branch—is introduced as an expectation without derivation or citation. This assumption is load-bearing for both the explicit N=1 computation and the N≥2 conjecture; its justification is required for the claims to be fully supported.

    Authors: We agree that the abstract states the identification as an 'expectation' without explicit derivation or citation. This phrasing reflects the general framework in the literature on BPS operators and quantized Coulomb branches (e.g., the expectation that the algebra of line operators in the Ω-background realizes the quantized K-theoretic Coulomb branch, as discussed in works such as Bullimore et al. on Coulomb branch quantization). To address the concern, we will revise the abstract and add a short paragraph in the introduction with relevant citations to justify this standard expectation in the field, making the load-bearing assumption explicit and supported. revision: yes

  2. Referee: [Abstract] Abstract (final sentence): The conjecture for N≥2 rests on a single operator match (quantized 't Hooft loop = Koornwinder operator). While presented as evidence rather than proof, additional checks on generators, relations, or other observables would be needed to assess the strength of the proposed isomorphism.

    Authors: We acknowledge that the evidence for the N≥2 conjecture is indeed limited to the explicit match between the quantized 't Hooft loop and the Koornwinder operator, which is a distinguished generator. While this provides nontrivial support (as the Koornwinder operator encodes key relations in the spherical DAHA), we agree that further checks on additional generators or relations would be desirable. However, explicit computation of other BPS loop operators for N≥2 via supersymmetric localization is technically demanding and lies beyond the scope of the present work. We will revise the manuscript to include a dedicated discussion paragraph clarifying the limited nature of the current evidence, emphasizing that the statement remains a conjecture, and outlining potential avenues for future verification. revision: partial

Circularity Check

0 steps flagged

No circularity; explicit rank-1 computation matches independent mathematical object

full rationale

The paper states the BPS loop algebra identification as an 'expectation' from the literature and then performs an explicit supersymmetric localization computation for Sp(1) that is shown to agree with the independently defined polynomial representation of spherical DAHA of (C1^vee, C1)-type. The higher-rank statement is labeled a conjecture, with supporting evidence from matching one operator to the Koornwinder operator. No step reduces a claimed result to a fitted parameter, self-definition, or self-citation chain by construction; the central rank-1 agreement is a direct comparison against an external algebraic object.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the domain assumption that BPS loop operator algebra in Omega-background equals the mathematical quantized K-theoretic Coulomb branch; no free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption The algebra of BPS loop operators in the Omega-background provides a deformation quantization of the Coulomb branch that coincides with the quantized K-theoretic Coulomb branch
    Invoked at the outset of the abstract as the expected identification that justifies comparing the localization result to spherical DAHA.

pith-pipeline@v0.9.0 · 5778 in / 1566 out tokens · 57703 ms · 2026-05-22T23:23:11.166978+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

40 extracted references · 40 canonical work pages · 29 internal anchors

  1. [1]

    Mirror Symmetry in Three Dimensional Gauge Theories

    K. A. Intriligator and N. Seiberg, “Mirror symmetry in three-dimensional gauge theories,” Phys. Lett. B387 (1996) 513–519, arXiv:hep-th/9607207 [hep-th]

  2. [2]

    Type IIB Superstrings, BPS Monopoles, And Three-Dimensional Gauge Dynamics

    A. Hanany and E. Witten, “Type IIB superstrings, BPS monopoles, and three-dimensional gauge dynamics,” Nucl. Phys. B492 (1997) 152–190, arXiv:hep-th/9611230 [hep-th]

  3. [3]

    Mirror Symmetry in Three-Dimensional Gauge Theories, Quivers and D-branes

    J. de Boer, K. Hori, H. Ooguri, and Y. Oz, “Mirror symmetry in three-dimensional gauge theories, quivers and D-branes,” Nucl. Phys. B 493 (1997) 101–147, arXiv:hep-th/9611063

  4. [4]

    Towards a mathematical definition of Coulomb branches of $3$-dimensional $\mathcal N=4$ gauge theories, I

    H. Nakajima, “Towards a mathematical definition of Coulomb branches of 3-dimensional N = 4 gauge theories, I,” Adv. Theor. Math. Phys. 20 (2016) 595–669, arXiv:1503.03676 [math-ph]

  5. [5]

    Towards a mathematical definition of Coulomb branches of 3-dimensional N = 4 gauge theories, II,

    A. Braverman, M. Finkelberg, and H. Nakajima, “Towards a mathematical definition of Coulomb branches of 3-dimensional N = 4 gauge theories, II,” arXiv:1601.03586 [math.RT]

  6. [6]

    The Coulomb Branch of 3d $\mathcal{N}=4$ Theories

    M. Bullimore, T. Dimofte, and D. Gaiotto, “The Coulomb Branch of 3d N = 4 Theories,” Commun. Math. Phys. 354 no. 2, (2017) 671–751, arXiv:1503.04817 [hep-th]

  7. [7]

    Coulomb branches of $3d$ $\mathcal N=4$ quiver gauge theories and slices in the affine Grassmannian (with appendices by Alexander Braverman, Michael Finkelberg, Joel Kamnitzer, Ryosuke Kodera, Hiraku Nakajima, Ben Webster, and Alex Weekes)

    A. Braverman, M. Finkelberg, and H. Nakajima, “Coulomb branches of 3 d N = 4 quiver gauge theories and slices in the affine Grassmannian,” Adv. Theor. Math. Phys. 23 (2019) 75–166, arXiv:1604.03625 [math.RT]

  8. [8]

    Quantized Coulomb branches of Jordan quiver gauge theories and cyclotomic rational Cherednik algebras

    R. Kodera and H. Nakajima, “Quantized Coulomb branches of Jordan quiver gauge theories and cyclotomic rational Cherednik algebras,” Proc. Symp. Pure Math. 98 (2018) 49–78, arXiv:1608.00875 [math.RT]

  9. [9]

    SUSY Localization for Coulomb Branch Operators in Omega-Deformed 3d N = 4 Gauge Theories,

    T. Okuda and Y. Yoshida, “SUSY Localization for Coulomb Branch Operators in Omega-Deformed 3d N = 4 Gauge Theories,” Commun. Math. Phys. 399 no. 3, (2023) 1373–1438, arXiv:1910.01802 [hep-th]

  10. [10]

    Quantized Coulomb branches, monopole bubbling and wall-crossing phenomena in 3d N = 4 theories,

    B. Assel, S. Cremonesi, and M. Renwick, “Quantized Coulomb branches, monopole bubbling and wall-crossing phenomena in 3d N = 4 theories,” JHEP 04 (2020) 213, arXiv:1910.01650 [hep-th]

  11. [11]

    Line operators on S^1xR^3 and quantization of the Hitchin moduli space

    Y. Ito, T. Okuda, and M. Taki, “Line operators on S1 × R3 and quantization of the Hitchin moduli space,” JHEP 04 (2012) 010, arXiv:1111.4221 [hep-th] . [Erratum: JHEP03,085(2016)]

  12. [12]

    Exact Results for 't Hooft Loops in Gauge Theories on S^4

    J. Gomis, T. Okuda, and V. Pestun, “Exact Results for ’t Hooft Loops in Gauge Theories on S4,” JHEP 1205 (2012) 141, arXiv:1105.2568 [hep-th] . 31

  13. [13]

    Monopoles and Taub-NUT metrics

    P. Kronheimer, “Monopoles and Taub-NUT metrics.”. MSc. thesis (Oxford University, 1986), available on the author’s home page

  14. [14]

    Loop operators and S-duality from curves on Riemann surfaces

    N. Drukker, D. R. Morrison, and T. Okuda, “Loop operators and S-duality from curves on Riemann surfaces,” JHEP 09 (2009) 031, arXiv:0907.2593 [hep-th]

  15. [15]

    Gauge Theory Loop Operators and Liouville Theory

    N. Drukker, J. Gomis, T. Okuda, and J. Teschner, “Gauge Theory Loop Operators and Liouville Theory,” JHEP 02 (2010) 057, arXiv:0909.1105 [hep-th]

  16. [16]

    Loop and surface operators in N=2 gauge theory and Liouville modular geometry

    L. F. Alday, D. Gaiotto, S. Gukov, Y. Tachikawa, and H. Verlinde, “Loop and surface operators in N=2 gauge theory and Liouville modular geometry,” JHEP 01 (2010) 113, arXiv:0909.0945 [hep-th]

  17. [17]

    ’t Hooft defects and wall crossing in SQM,

    T. D. Brennan, A. Dey, and G. W. Moore, “’t Hooft defects and wall crossing in SQM,” JHEP 10 (2019) 173, arXiv:1810.07191 [hep-th]

  18. [18]

    Witten Index and Wall Crossing

    K. Hori, H. Kim, and P. Yi, “Witten Index and Wall Crossing,” JHEP 01 (2015) 124, arXiv:1407.2567 [hep-th]

  19. [19]

    General instanton counting and 5d SCFT

    C. Hwang, J. Kim, S. Kim, and J. Park, “General instanton counting and 5d SCFT,” JHEP 07 (2015) 063, arXiv:1406.6793 [hep-th] . [Addendum: JHEP04,094(2016)]

  20. [20]

    On 't Hooft Defects, Monopole Bubbling and Supersymmetric Quantum Mechanics

    T. D. Brennan, A. Dey, and G. W. Moore, “On ’t Hooft defects, monopole bubbling and supersymmetric quantum mechanics,” JHEP 09 (2018) 014, arXiv:1801.01986 [hep-th]

  21. [21]

    On Monopole Bubbling Contributions to 't Hooft Loops

    B. Assel and A. Sciarappa, “On monopole bubbling contributions to ’t Hooft loops,” JHEP 05 (2019) 180, arXiv:1903.00376 [hep-th]

  22. [22]

    D-branes, Monopoles and Nahm Equations

    D.-E. Diaconescu, “D-branes, monopoles and Nahm equations,” Nucl. Phys. B503 (1997) 220–238, arXiv:hep-th/9608163 [hep-th]

  23. [23]

    On skein relations in class S theories

    Y. Tachikawa and N. Watanabe, “On skein relations in class S theories,” JHEP 06 (2015) 186, arXiv:1504.00121 [hep-th]

  24. [24]

    Wall-crossing and operator ordering for ’t Hooft operators in N = 2 gauge theories,

    H. Hayashi, T. Okuda, and Y. Yoshida, “Wall-crossing and operator ordering for ’t Hooft operators in N = 2 gauge theories,” JHEP 11 (2019) 116, arXiv:1905.11305 [hep-th]

  25. [25]

    ABCD of ’t Hooft operators,

    H. Hayashi, T. Okuda, and Y. Yoshida, “ABCD of ’t Hooft operators,” JHEP 04 (2021) 241, arXiv:2012.12275 [hep-th]

  26. [26]

    Double affine Hecke algebras of rank 1 and affine cubic surfaces

    A. Oblomkov, “Double affine hecke algebras of rank 1 and affine cubic surfaces,” International Mathematics Research Notices 2004 no. 18, (2004) 877–912, arXiv:math/0306393 [math.RT]

  27. [27]

    Framed BPS States

    D. Gaiotto, G. W. Moore, and A. Neitzke, “Framed BPS States,” Adv. Theor. Math. Phys. 17 no. 2, (2013) 241–397, arXiv:1006.0146 [hep-th] . 32

  28. [28]

    Supersymmetric gauge theories, quantization of moduli spaces of flat connections, and conformal field theory

    J. Teschner and G. S. Vartanov, “Supersymmetric gauge theories, quantization of Mflat, and conformal field theory,” Adv. Theor. Math. Phys. 19 (2015) 1–135, arXiv:1302.3778 [hep-th]

  29. [29]

    DAHA and skein algebra on surface: double-torus knots

    K. Hikami, “DAHA and skein algebra of surfaces: double-torus knots,” Lett. Math. Phys. 109 no. 10, (2019) 2305–2358, arXiv:1901.02743 [math-ph]

  30. [30]

    A note on discrete dynamical systems in theories of class S,

    M. Cirafici, “A note on discrete dynamical systems in theories of class S,” JHEP 05 (2021) 224, arXiv:2011.12887 [hep-th]

  31. [31]

    Branes and Representations of DAHA $C^\vee C_1$: affine braid group action on category

    J. Huang, S. Nawata, Y. Zhang, and S. Zhuang, “Branes and Representations of DAHA C ∨C1: affine braid group action on category,” arXiv:2412.19647 [hep-th]

  32. [32]

    Nonsymmetric Koornwinder polynomials and duality

    S. Sahi, “Nonsymmetric koornwinder polynomials and duality,” Annals of Mathematics 150 no. 1, (1999) 267–282, arXiv:q-alg/9710032 [math.QA]

  33. [33]

    Askey-Wilson polynomials: an affine Hecke algebraic approach

    M. Noumi and J. V. Stokman, “Askey–wilson polynomials: an affine hecke algebraic approach,” in Laredo Lectures on Orthogonal Polynomials and Special Functions , pp. 111–144. Nova Science Publishers, New York, 2004. arXiv:math/0001033 [math.QA]

  34. [34]

    Macdonald-koornwinder polynomial and affine hecke algebra,

    M. Noumi, “Macdonald-koornwinder polynomial and affine hecke algebra,” RIMS Kokyuroku 919 (1995) 44–55. In Japanese

  35. [35]

    Askey-wilson polynomials for root systems of type,

    T. H. Koornwinder, “Askey-wilson polynomials for root systems of type,” in Hypergeometric Functions on Domains of Positivity, Jack Polynomials, and Applications, vol. 138 of Contemporary Mathematics, pp. 189–204. American Mathematical Society, 1992

  36. [36]

    Seiberg-Witten Prepotential From Instanton Counting

    N. A. Nekrasov, “Seiberg-Witten prepotential from instanton counting,” Adv. Theor. Math. Phys. 7 no. 5, (2003) 831–864, arXiv:hep-th/0206161 [hep-th]

  37. [37]

    ABCD of instantons

    N. Nekrasov and S. Shadchin, “ABCD of instantons,” Commun. Math. Phys. 252 (2004) 359–391, arXiv:hep-th/0404225 [hep-th]

  38. [38]

    Commuting difference operators with polynomial eigenfunctions

    J. F. van Diejen, “Commuting difference operators with polynomial eigenfunctions,” Compositio Mathematica 95 no. 2, (1995) 183–233, arXiv:funct-an/9306002. http://www.numdam.org/item/CM_1995__95_2_183_0/

  39. [39]

    ’t Hooft surface operators in five dimensions and elliptic Ruijsenaars operators,

    Y. Yoshida, “’t Hooft surface operators in five dimensions and elliptic Ruijsenaars operators,” arXiv:2105.00659 [hep-th]

  40. [40]

    5-dim Superconformal Index with Enhanced En Global Symmetry

    H.-C. Kim, S.-S. Kim, and K. Lee, “5-dim Superconformal Index with Enhanced En Global Symmetry,” JHEP 10 (2012) 142, arXiv:1206.6781 [hep-th] . 33