Pith. sign in

REVIEW 2 major objections 4 minor 16 references

Dualities of $K$-theoretic Coulomb branches from a once-punctured torus

T0 review · 2 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that all three $\mathbb{Z}_2$-invariant subalgebras of the relative skein algebra of a once-punctured torus are isomorphic to quantized K-theoretic Coulomb branches, and that the mapping class group…

desk verdict A solid extension of the authors' earlier SL2 result, proving the PGL2 Coulomb branch isomorphisms; Theorem 5.6 has a fillable but load-bearing missing parity check. read the letter →

arxiv 2411.17378 v1 pith:QQBFTOUB submitted 2024-11-26 math.RT hep-thmath.GTmath.QA

Dylan G. L. Allegretti , Peng Shan This is my paper · ORCID
classification math.RThep-thmath.GTmath.QA
keywords relativeskeinalgebraonce-puncturedtorusquantizedK-theoreticCoulombbranchdoubleaffineHeckemappingclassgroupactionPGL2gaugeequivariantK-theoryN=2*theories
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Quantizing the $\mathrm{SL}_2$-character variety of a once-punctured torus gives the relative skein algebra $\mathrm{Sk}_{A,\lambda}(S_{1,1})$. The paper proves that its three $\mathbb{Z}_2$-invariant subalgebras, cut out by the involutions $\xi_1,\xi_2,\xi_3$, are all isomorphic to quantized K-theoretic Coulomb branches: $\xi_2$ gives the branch for the gauge group $\mathrm{SL}_2$, while $\xi_1$ and $\xi_3$ give the branch for the Langlands dual group $\mathrm{PGL}_2$. The $\mathrm{SL}_2(\mathbb{Z})$ mapping class group of the torus permutes these subalgebras, matching the S-duality action on the corresponding 4d $\mathcal{N}=2^*$ theories. If correct, this gives a precise mathematical home to physics predictions that these theories' Coulomb branches are governed by character varieties of the once-punctured torus.

What carries the argument

Two presentations of the same quantized algebra carry the argument. The skein algebra $\mathrm{Sk}_{A,\lambda}(S_{1,1})$ embeds into the spherical double affine Hecke algebra of type $A_1$, whose polynomial representation realizes the generators $\alpha,\beta,\gamma$ as operators $X+X^{-1}$ and dressed differences $V(X)\varpi+V(X^{-1})\varpi^{-1}$ on Laurent polynomials. The Coulomb branch is presented inside the localized torus-equivariant K-theory ring $D_{q,z}$ by dressed minuscule monopole operators $E_n[f]$, $F_n[f]$ together with symmetric Laurent polynomials in the variables $w_1,w_2$; the quotient by $D_1D_2-1$ implements the passage from $\mathrm{GL}_2$ to $\mathrm{PGL}_2$. Propositions 5.4 and 5.5 identify the full relative skein algebra with $eA_{q,z}^{\mathbb{C}^*}/(D_1D_2-1)$, and the involutions $\xi_1,\xi_3$ become the sign flip $w_1^{1/2}w_2^{-1/2}\mapsto -w_1^{1/2}w_2^{-1/2}$. The main theorem then rests on the identification of the $\epsilon$-fixed subalgebra with $A_{q,z}^{\mathbb{C}^*}/(D_1D_2-1)$.

What would settle it

Compute the parity under the involution $\epsilon$ of the generators listed in Lemma 5.2, in particular $w_1^{-k/2}w_2^{-k/2}E_1[x^k]$ and $w_1^{-k/2}w_2^{-k/2}F_1[x^k]$ for odd $k$; if any of them is fixed by $\epsilon$ rather than anti-fixed, the asserted equality $\left(eA_{q,z}^{\mathbb{C}^*}/(D_1D_2-1)\right)^\epsilon = A_{q,z}^{\mathbb{C}^*}/(D_1D_2-1)$ fails, and with it the isomorphism $\mathrm{Sk}_{A,\lambda}(S_{1,1})^{\xi_1}\cong K_{(\mathrm{PGL}_2\times\mathbb{C}^*)_O\rtimes\mathbb{C}^*}(R_{\mathrm{PGL}_2,N})$.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 5.6: for the once-punctured torus $S_{1,1}$, the $\mathbb{Z}_2$-invariant subalgebras of the relative skein algebra $\mathrm{Sk}_{A,\lambda}(S_{1,1})$ corresponding to the involutions $\xi_1$ and $\xi_3$ are both isomorphic, as $\mathbb{C}$-algebras, to the quantized K-theoretic Coulomb branch $K_{(\mathrm{PGL}_2\times\mathbb{C}^*)_O\rtimes\mathbb{C}^*}(R_{\mathrm{PGL}_2,N})$ attached to the gauge group $\mathrm{PGL}_2$ acting by conjugation on $N=\mathrm{Hom}_{\mathbb{C}}(\mathbb{C}^2,\mathbb{C}^2)$; the isomorphism identifies $A$ with $q^{-1/2}$. Together with the earlier identification for $\xi_2$ with the $\mathrm{SL}_2$ Coulomb branch, this makes all three $\mathbb{Z}_2$-quotients of the relative character variety into K-theoretic Coulomb branches, with the two new ones living on the Langlands dual group. The proof proceeds by realizing the full skein algebra as a $\mathbb{C}^*$-invariant subalgebra of a localized equivariant K-theory ring, then showing that the $\epsilon$-invariants of that subalgebra reproduce the $\mathrm{PGL}_2$ Coulomb branch. The $\mathrm{SL}_2(\mathbb{Z})$ mapping class group action on the skein algebra permutes the three subalgebras, matching the S-duality group action on 4d $\mathcal{N}=2^*$ theories.

Load-bearing premise

The proof of Theorem 5.6 relies on the unverified assertion that every element of the extended $\mathbb{C}^*$-invariant monopole algebra fixed by the sign flip $w_1^{1/2}w_2^{-1/2}\mapsto -w_1^{1/2}w_2^{-1/2}$ is generated by symmetric Laurent polynomials in $w_1,w_2$ and the dressed monopole operators; if some generator has the wrong parity under this flip, the $\epsilon$-invariant subalgebra need not equal the Coulomb branch algebra.

Editorial extensions

If this is right

  • The classical limit $A\to -1$, equivalently $q\to 1$, turns each $\mathbb{Z}_2$-invariant subalgebra into the coordinate ring of the corresponding quotient of the relative character variety, so those quotients are K-theoretic Coulomb branches in the unquantized sense as well.
  • Because the three subalgebras are permuted by $\mathrm{SL}_2(\mathbb{Z})$, the S-duality group of the 4d $\mathcal{N}=2^*$ theories acts by algebra isomorphisms on a single quantized Coulomb branch, confirming the predicted duality web.
  • The $\mathrm{PGL}_2$ branch and the $\mathrm{SL}_2$ branch are the same skein algebra seen through different involutions, so the Langlands dual pair $\mathrm{SL}_2/\mathrm{PGL}_2$ is realized within one quantization of the once-punctured torus.
  • As the paper notes, the full relative skein algebra of $S_{1,1}$, not just its invariant subalgebras, has a monopole-operator realization, pointing to a presentation of the whole quantization by dressed monopole operators.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A testable extension is to compute the Hilbert series or $q$-character of $\mathrm{Sk}_{A,\lambda}(S_{1,1})^{\xi_1}$ and compare it with the known character of the $\mathrm{PGL}_2$ Coulomb branch; agreement would give independent evidence for the theorem, and a mismatch would pinpoint the parity step in the proof.
  • If the unproved parity identification holds, the same $\epsilon$-invariant mechanism likely extends to the higher-genus once-punctured surfaces covered by the conjecture in [2], with a Langlands dual gauge group playing the role of $\mathrm{PGL}_2$ here.
  • The identification of the $\xi_1$ and $\xi_3$ subalgebras suggests an additional automorphism of the quantized Coulomb branch that exchanges the two presentations in Propositions 5.4 and 5.5; this symmetry is not made explicit in the paper and could be studied directly.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper studies the relative skein algebra Sk_{A,λ}(S_{1,1}) of a once-punctured torus, a quantization of the relative SL₂-character variety. Building on the authors' previous work [2], it considers three Z₂-invariant subalgebras fixed by involutions ξ₁, ξ₂, ξ₃, and claims that the ξ₁- and ξ₃-invariant subalgebras are each isomorphic to the quantized K-theoretic Coulomb branch of the gauge group PGL₂ with representation N = Hom_C(C²,C²), while the ξ₂-case was treated in [2]. The proof uses the DAHA polynomial representation to embed the skein algebra into a localization of a quantum torus, identifies the images with subalgebras generated by dressed minuscule monopole operators, and then analyzes the fixed subalgebras under the induced involutions.

Significance. If the main theorem is correct, it gives explicit, computational confirmation of physics predictions relating Z₂-invariant subalgebras of skein algebras to quantized Coulomb branches for Langlands-dual gauge groups, and it shows the SL₂(Z) mapping class group permutes these subalgebras. The paper is well structured and the strategy—matching images of explicit generators in a faithful representation—is sound. The main external input, the identification A_{q,z} ≅ K_{(GL₂×C*)O⋊C*}(R_{GL₂,N}) from [2], is a previously proved theorem. The strengths include explicit formulas for the isomorphisms and a clear connection to spherical DAHA. However, one central step in the proof of Theorem 5.6 is asserted without demonstration, and this gap prevents the paper from being fully rigorous in its current form.

major comments (2)
  1. [§5.3, Theorem 5.6] No additional comment.
  2. [§2.3, Proposition 2.6] The proof of Proposition 2.6 only verifies the arrow from ξ₁ to ξ₃ under τ₊ and leaves the remaining arrows of Figure 1 to “in a similar way.” Since the SL₂(Z) permutation of the three invariant subalgebras is advertised in the abstract and introduction, the authors should provide the full check for σ, τ₋, and the remaining composition arrows, or at least give a systematic argument showing that each generator maps into the claimed invariant subalgebra.
minor comments (4)
  1. [§5.3, proof of Theorem 5.6] In the sentence “It induces an involution of the quotient eD_{q,t}^{C*}/(D1D2-1)”, the subscript should be eD_{q,z}^{C*} for consistency with the rest of the paper.
  2. [§4.3 and §5.1] The C*-action on D_{q,z} is described as simultaneous rescaling of w1 and w2, while the C*-action on eD_{q,z} is described as simultaneous rescaling of w1^{1/2} and w2^{1/2}; the relation between these two conventions (w_i scales as the square of w_i^{1/2}) should be stated explicitly to avoid confusion about weights.
  3. [§5.1, Lemma 5.3] The statement that the images of w1^{-k/2}w2^{-k/2}E₂[f] and the analogous F₂ generators are Chebyshev polynomials is asserted with “one can check”; including the short calculation for a single f would improve verifiability.
  4. [§5.2, Propositions 5.4 and 5.5] The proofs rely on the assertion that the images of the two embeddings coincide; a brief explanation of why the polynomial representation is faithful on the relevant subalgebras (beyond the injectivity stated in Lemma 5.1) would make the argument easier to follow.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular reduction: the main isomorphisms are explicit generator-matching computations, and the flagged missing parity check in Theorem 5.6 is an omitted proof rather than a circularity.

full rationale

The derivation of Theorem 5.6 does not reduce to its inputs by construction. Propositions 5.4 and 5.5 establish isomorphisms between the full relative skein algebra and eA^{C*}_{q,z}/(D1D2-1) by embedding both into End C_{q,t}[X^{±1}]^{Z2} and matching the images of the explicit generators α, β, and γ using the formulas in Lemma 2.4 [2] and Lemma 5.3; this is a direct computation, not a restatement of the target. The external input identifying K_{(GL2×C*)O⋊C*}(R_{GL2,N}) with A_{q,z} is Proposition 4.5 from the authors' previous paper [2], a proved theorem with explicit monopole-operator generators, not a definitional re-labeling of the skein algebra; the PGL2 quotient step (Proposition 4.6) is likewise derived from the Z- and C*-actions in Lemmas 4.1–4.3. The one load-bearing step that should be flagged is in the proof of Theorem 5.6 (Section 5.3), where the equality (eA^{C*}_{q,z}/(D1D2-1))^ϵ = A^{C*}_{q,z}/(D1D2-1) is asserted without demonstrating the parity of the half-integral generators under ϵ; this is an omitted verification rather than a circular reduction, since the equality is not built into the definitions of A_{q,z} and eA_{q,z}. Because the central claim is not assumed as an input and no fitted parameter is renamed as a prediction, the circularity score is 0.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The central claim rests on two imported theorems from the authors' previous paper [2] (the polynomial representation embedding and the GL2 Coulomb branch identification), plus the BFN framework and standard equivariant K-theory facts. No numerical fitting parameters or new physical entities are introduced.

assumptions (4)
  • standard math The BFN quantized K-theoretic Coulomb branch is defined as the convolution algebra of equivariant K-theory of the variety of triples.
    This is the framework from [3] that the paper invokes in Section 3.
  • domain assumption The type A1 DAHA has a faithful polynomial representation, and the relative skein algebra embeds into End(C_{q,t}[X^{±1}]^{Z2}) with the explicit formulas of Proposition 2.3 and Lemma 2.4.
    Quoted from [2]; this embedding is the main tool used to compare the two algebras in Section 5.
  • domain assumption The GL2 quantized Coulomb branch with N = Hom(C2,C2) is isomorphic to the algebra A_{q,z} generated by dressed minuscule monopole operators, and embeds into D_{q,z} via equation (2).
    Proposition 4.5 from [2]; the PGL2 computation in Section 4 builds directly on this identification.
  • standard math Standard equivariant K-theory descent for quotient groups gives K_{PGL2} as the C*-invariant subspace of K_{GL2} modulo the central character D1D2 = 1.
    Invoked in Lemma 4.3; the center of GL2 acts by w1w2 on equivariant K-theory.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Dualities of $K$-theoretic Coulomb branches from a once-punctured torus." pith.science (2026). https://pith.science/paper/QQBFTOUB

@misc{pith2026241117378,
  author       = {Pith},
  title        = {Pith review of: Dualities of $K$-theoretic Coulomb branches from a once-punctured torus},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QQBFTOUB}},
  note         = {Machine review of arXiv:2411.17378}
}
abstract

We consider the quantized $\mathrm{SL}_2$-character variety of a once-punctured torus. We show that this quantized algebra has three $\mathbb{Z}_2$-invariant subalgebras that are isomorphic to quantized $K$-theoretic Coulomb branches in the sense of Braverman, Finkelberg, and Nakajima. These subalgebras are permuted by the $\mathrm{SL}_2(\mathbb{Z})$ mapping class group action. Our results confirm various predictions from the physics literature about 4d $\mathcal{N}=2^*$ theories and their dualities.

Figures

Figures reproduced from arXiv: 2411.17378 by the authors.

Figure 1
Figure 1. Invariant subalgebras of SkA,λ(S1,1). Acknowledgements. The authors thank Du Pei for helpful discussions related to this work. PS is supported by NSFC Grant No. 12225108 and by the New Cornerstone Science Foundation through the Xplorer Prize. 2. The quantized SL2-character variety of S1,1 In this section, we give a presentation of the relative skein algebra of a once-punctured torus, construct a faithful representat… view at source ↗
Figure 2
Figure 2. The Kauffman bracket skein relations. In the following, we will be interested in a variant of the skein algebra SkA(S), defined in [2]. Namely, we define the relative skein algebra to be the quotient of SkA(S)⊗C[A±1]C[A±1 , λ±1 1 , . . . , λ±1 n ] by the additional relation illustrated in [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. Additional relation associated to a puncture. In this paper, we are interested in the relative skein algebra SkA,λ(S) of a once-punctured torus S = S1,1. We will view S as the surface obtained by identifying opposite sides of a quadrilateral and deleting the image of a vertex of the quadrilateral in the resulting quotient space [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
Figures from the paper (2 more)
Figure 4
Figure 4. Figure 4: Skein algebra generators. Proposition 2.1. The relative skein algebra SkA,λ(S1,1) of the once-punctured torus is the C[A±1 , λ±1 ]- algebra generated by α, β, and γ, subject to the relations A −1αβ − Aβα = (A −2 − A 2 )γ, A −1βγ − Aγβ = (A −2 − A 2 )α, A −1 γα − Aαγ = …
Figure 5
Figure 5. Figure 5: A family of skein algebra elements. Lemma 2.4 ([2], Lemma 2.13). The embedding Φ : SkA,λ(S1,1) → End Cq,t[X±1 ] Z2 maps γk 7→ q − k 2 X −kV (X)ϖ + q − k 2 X kV (X −1 )ϖ −1 where V and ϖ are defined as in Proposition 2.3. 2.3. SL2(Z) symmetries. Finally, we will study t…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 15 canonical work pages

  1. [2]

    and Shan, P

    Allegretti, D.G.L. and Shan, P. (2024). Skein algebras and quantized Coulomb branches. arXiv:2401.06737 [math.RT]

    arXiv 2024

  2. [1]

    Aharony, O., Seiberg, N., and Tachikawa, Y. (2013). Reading between the lines of four-dimensional gauge theories. Journal of High Energy Physics , 2013(8), 1–42

    work page 2013

  3. [3]

    Braverman, A., Finkelberg, M., and Nakajima, H. (2018). Towards a mathematical definition of Coulomb branches of 3-dimensional N = 4 gauge theories, II. Advances in Theoretical and Mathematical Physics , 22(5), 1071–1147

    work page 2018

  4. [4]

    Braverman, A., Finkelberg, M., and Nakajima, H. (2019). Coulomb branches of 3d N = 4 quiver gauge theories and slices in the affine Grassmannian. Advances in Theoretical and Mathematical Physics , 23(1), 75–166

    work page 2019

  5. [5]

    Cherednik, I. (2005). Double affine Hecke algebras . Cambridge University Press

    work page 2005

  6. [6]

    and Ginzburg, V

    Chriss, N. and Ginzburg, V. (1997). Representation theory and complex geometry . Birkh¨ auser

    work page 1997

  7. [7]

    and Witten, E

    Donagi, R. and Witten, E. (1996). Supersymmetric Yang–Mills theory and integrable systems. Nuclear Physics B, 460(2), 299–334

    work page 1996

  8. [8]

    and Tsymbaliuk, A

    Finkelberg, M. and Tsymbaliuk, A. (2019). Multiplicative slices, relativistic Toda and shifted quantum affine algebras. In Representations and nilpotent orbits of Lie algebraic systems , pp. 133–304. Birkh¨ auser

    work page 2019

Show all 16 references
  1. [9]

    Fricke, R. (1896). ¨Uber die Theorie der automorphen Modulgruppen. Nachrichten von der Gesellschaft der Wissenschaften zu G¨ ottingen, Mathematisch-Physikalische Klasse, 1896, 91–101

  2. [10]

    Gaiotto, D. (2012). N = 2 dualities. Journal of High Energy Physics , 2012(8), 1–58

    2012

  3. [11]

    Gaiotto, D., Moore, G.W., and Neitzke, A. (2013). Wall-crossing, Hitchin systems, and the WKB approximation. Advances in Mathematics , 234(2013), 239–403

    2013

  4. [12]

    Gaiotto, D., Moore, G.W., and Neitzke, A. (2013). Framed BPS states. Advances in Theoretical and Mathematical Physics, 17(2), 241–397

    2013

  5. [13]

    Goldman, W. (2009). Trace coordinates on Fricke spaces of some simple hyperbolic surfaces. In Handbook of Teichm¨ uller theory II,IRMA Lectures in Mathematics and Theoretical Physics , 13, pp. 611–684

    2009

  6. [14]

    Gukov, S., Koroteev, P., Nawata, S., Pei, D., and Saberi, I. (2023). Branes and DAHA representations . SpringerBriefs in Mathematical Physics (Vol. 48). Springer Nature. 22 DYLAN G.L. ALLEGRETTI AND PENG SHAN

    2023

  7. [15]

    and Vasserot, E

    Varagnolo, M. and Vasserot, E. (2010). Double affine Hecke algebras and affine flag manifolds, I. In Affine flag manifolds and principal bundles , pp. 233–289

    2010

  8. [16]

    Vogt, H. (1889). Sur les invariants fondamentaux des ´ equations diff´ erentielles lin´ eaires du second ordre.Annales scientifiques de l’ ´Ecole Normale Sup´ erieure, 6, 3–71. Yau Mathematical Sciences Center, Department of Mathematical Sciences, Tsinghua University, 100084, ...

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.