{"id":"5a7b7262-730f-434a-8cfb-023cb22dba56","arxiv_id":"2411.17378","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The Z2-invariant subalgebras of the quantized SL2 character variety of a once-punctured torus are isomorphic to quantized K-theoretic Coulomb branches for SL2 and PGL2, and are permuted by the SL2(Z) mapping class group.","lead":"This paper proves that three special subalgebras of the quantized SL2 character variety of a once-punctured torus are all isomorphic to quantum Coulomb branch algebras, one for the group SL2 and two for its Langlands dual PGL2. It confirms, in mathematical form, predictions from four-dimensional N=2* gauge theory about how these algebras are related by SL2(Z) dualities.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 5.6's proof asserts without demonstration that the epsilon-invariant subalgebra of eA^{C*}_{q,z}/(D1D2-1) equals A^{C*}_{q,z}/(D1D2-1); the missing parity check for generators is load-bearing for the main isomorphism.","rationale":"The reader's weakest assumption identifies exactly the unproved equality (eA^{C*}_{q,z}/(D1D2-1))^epsilon = A^{C*}_{q,z}/(D1D2-1) in the proof of Theorem 5.6. This equality is load-bearing because it is the bridge between the skein-algebra side, where xi1-invariance is defined by sign changes on alpha and gamma, and the Coulomb-branch side, where the algebra A^{C*}_{q,z}/(D1D2-1) is defined without half-powers. The proof gives the intertwining of xi1 with epsilon but then jumps to the equality of fixed-point subalgebras without a parity argument for the generating set in Lemma 5.2. Since products of odd generators can in principle create new fixed elements not contained in A^{C*}, the reverse inclusion is nontrivial. A direct computation in the polynomial representation would confirm or refute the equality; the paper provides no such check. I agree with the conditional verdict: the central claim is plausible and the gap appears fillable, but it is not filled in the manuscript. I would keep the verdict CONDITIONAL rather than ACCEPT, and I do not see reason to move to REJECT without a concrete counterexample.","tokens_in":17486,"tokens_out":16537,"duration_ms":161082,"concrete_test":"In the faithful representation of Lemma 5.3, compute the images of the A^{C*}_{q,z}/(D1D2-1) generators (E1[1], F1[1], E2[f], F2[f], and u = w1/w2 + w2/w1) as operators in End(C_{q,t}[X^{pm 1}]), and compute the subalgebra they generate. Then compute the X -> -X fixed subalgebra of the image of Sk_{A,lambda}(S_{1,1}) under Proposition 5.4. If the two subalgebras coincide, the missing step in Theorem 5.6 is valid; if the fixed subalgebra is strictly larger, the theorem fails. This can be settled by a finite Groebner-basis computation in C(q,t)[X^{pm 1}, varpi] modulo the DAHA relations.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the proof of Theorem 5.6, the involution epsilon is defined on eD^{C*}_{q,z}/(D1D2-1) by r := w1^{1/2} w2^{-1/2} mapping to -r, and the proof shows that the isomorphism of Proposition 5.4 intertwines xi1 with epsilon. This gives Sk_{A,lambda}(S_{1,1})^{xi1} isomorphic to (eA^{C*}_{q,z}/(D1D2-1))^epsilon. The next displayed step identifies this fixed subalgebra with A^{C*}_{q,z}/(D1D2-1), but no proof is supplied. The inclusion A^{C*}_{q,z}/(D1D2-1) subset (eA^{C*}_{q,z}/(D1D2-1))^epsilon is immediate because elements of A^{C*} involve only integer powers of w1,w2 and are fixed by epsilon. The reverse inclusion is not automatic: eA^{C*}_{q,z}/(D1D2-1) is generated by alpha = r + r^{-1}, beta, and gamma, with alpha and gamma odd under epsilon, so products such as alpha*gamma, gamma^2, and alpha^2 lie in the fixed subalgebra. For the equality to hold, every such even element must be expressible using only the generators of A^{C*}_{q,z}/(D1D2-1), namely symmetric Laurent polynomials in w1,w2 and dressed monopole operators. The parity behavior of the generator family in Lemma 5.2 is not computed, and the analogous statement for xi3 via Proposition 5.5 inherits the same gap. Since Theorem 5.6 is the central claim, this omitted verification is a genuine load-bearing concern.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":17823,"tokens_out":17103,"duration_ms":138480,"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":[{"comment":"No additional comment.","section":"§5.3, Theorem 5.6"},{"comment":"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.","section":"§2.3, Proposition 2.6"}],"minor_comments":[{"comment":"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.","section":"§5.3, proof of Theorem 5.6"},{"comment":"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.","section":"§4.3 and §5.1"},{"comment":"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.","section":"§5.1, Lemma 5.3"},{"comment":"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.","section":"§5.2, Propositions 5.4 and 5.5"}],"recommendation":"major_revision","confidential_remarks":"The central claim is plausible and the gap in Theorem 5.6 appears fillable by a finite computation of the ε-parities of the generators in Lemma 5.2 and of products of odd generators. I do not see a reason to doubt the result, but the current proof is not complete. I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a solid extension of the authors' earlier SL2 Coulomb branch paper. They prove that the two other Z2-invariant subalgebras of the relative skein algebra of the once-punctured torus are isomorphic to the K-theoretic Coulomb branch for PGL2, and they show the SL2(Z) mapping class group permutes the three subalgebras as the physics literature predicts. The main isomorphism is new.\n\nWhat is good: the strategy is the right one. Both algebras are embedded into the same operator algebra via the faithful DAHA polynomial representation, and the images are matched by explicit formulas with dressed monopole operators. The computations are explicit, the paper is honest that it builds on [2], and the classical limit and the physics correspondence are stated clearly.\n\nThe soft spot is in the proof of Theorem 5.6. After intertwining xi1 with the involution epsilon that sends r = w1^{1/2}w2^{-1/2} to -r, the paper asserts that the epsilon-fixed subalgebra of eA^{C*}_{q,z}/(D1D2-1) is exactly A^{C*}_{q,z}/(D1D2-1). That identification is not automatic, because eA^{C*} also contains alpha = r + r^{-1}, which is odd under epsilon, and the paper does not check the parity of the monopole generators. The reverse inclusion is genuinely missing and the point is load-bearing. The good news is that it is fillable: by Lemma 5.2, eA^{C*} is generated by A^{C*} together with alpha, and alpha^2 = r^2 + 2 + r^{-2} is a symmetric Laurent polynomial in w1,w2, hence lies in A^{C*}. So the even subalgebra collapses to A^{C*}; the same argument handles xi3 via Proposition 5.5. A few lines would close the gap.\n\nThe other minor issue is Proposition 2.6, where the permutation of the invariant subalgebras under the mapping class group is mostly left to the reader with \"in a similar way.\" That is a small completeness matter, not a mathematical risk.\n\nOverall the central argument is sound and the new result is real. The missing parity argument should be supplied before publication, but it does not threaten the approach. I would send this to a good journal; it deserves a serious referee and a request for the added verification.","headline":"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.","tokens_in":18389,"tokens_out":7526,"would_cite":true,"duration_ms":61516,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"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…","keywords":["relative skein algebra","once-punctured torus","quantized K-theoretic Coulomb branch","double affine Hecke algebra","mapping class group action","PGL2 gauge group","equivariant K-theory","N=2* theories"],"falsifier":"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})$.","tokens_in":17231,"feed_emoji":"🧶","tokens_out":16793,"duration_ms":134087,"temperature":0.7,"pith_summary":"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.","feed_headline":"Three Z2-invariant skein subalgebras are Coulomb branches","feed_subtitle":"The invariant subalgebras match Coulomb branches for PGL2, confirming predicted 4d N=2* S-dualities.","key_machinery":"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)$.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the embedding of the relative skein algebra into the spherical DAHA and the earlier identification for the involution $\\xi_2$ that the present theorem extends.","marker":"[2]"},{"why":"Defines the variety of triples and the quantized K-theoretic Coulomb branch whose equivariant K-theory appears as the target of the main isomorphisms.","marker":"[3]"},{"why":"Introduces the dressed minuscule monopole operators used to present the Coulomb branch algebra $A_{q,z}$.","marker":"[4]"},{"why":"Provides the spherical double affine Hecke algebra and its $\\mathrm{SL}_2(\\mathbb{Z})$ action that underlie the skein-algebra embedding.","marker":"[5]"},{"why":"Supplies the equivariant K-theory formalism in which the Coulomb branch algebra is defined.","marker":"[6]"},{"why":"Identifies the 4d $\\mathcal{N}=2^*$ theories whose Coulomb branches are being quantized.","marker":"[7]"},{"why":"Supplies the dressed monopole operators $F_n[f]$ in the form used for the second presentation of the skein algebra.","marker":"[8]"},{"why":"Contains the physics prediction, cited in Section 8.4, that the $\\mathbb{Z}_2$-quotient of the character variety is a Coulomb branch.","marker":"[12]"},{"why":"Records the same prediction in Section 4.2 and the action of $\\mathrm{SL}_2(\\mathbb{Z})$ on the spherical DAHA used in Proposition 2.5.","marker":"[14]"}],"fun_headline_variants":["Z2-invariant skein subalgebras match K-theoretic Coulomb branches","Three skein subalgebras are exactly K-theoretic Coulomb branches","PGL2 and SL2 Coulomb branches from skein Z2 quotients","Once-punctured torus reveals triple Coulomb branch duality","Quantum SL2 character variety yields three Coulomb branches"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Z2-invariant skein subalgebras match K-theoretic Coulomb branches","Three skein subalgebras are exactly K-theoretic Coulomb branches","PGL2 and SL2 Coulomb branches from skein Z2 quotients","Once-punctured torus reveals triple Coulomb branch duality","Quantum SL2 character variety yields three Coulomb branches"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000728,"raw_usage":{"total_tokens":3284,"prompt_tokens":993,"completion_tokens":2291,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":609,"completion_tokens_details":{"reasoning_tokens":2216}},"tokens_in":609,"tokens_out":2291,"duration_ms":17342,"temperature":1.0,"reasoning_tokens":2216,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T12:12:10.565453+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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})$.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the variety of triples and the quantized K-theoretic Coulomb branch whose equivariant K-theory appears as the target of the main isomorphisms."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the dressed minuscule monopole operators used to present the Coulomb branch algebra $A_{q,z}$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the spherical double affine Hecke algebra and its $\\mathrm{SL}_2(\\mathbb{Z})$ action that underlie the skein-algebra embedding."},{"cited_title":"and Ginzburg, V","cited_arxiv_id":null,"evidence_quote":"Supplies the equivariant K-theory formalism in which the Coulomb branch algebra is defined."},{"cited_title":"and Witten, E","cited_arxiv_id":null,"evidence_quote":"Identifies the 4d $\\mathcal{N}=2^*$ theories whose Coulomb branches are being quantized."},{"cited_title":"and Tsymbaliuk, A","cited_arxiv_id":null,"evidence_quote":"Supplies the dressed monopole operators $F_n[f]$ in the form used for the second presentation of the skein algebra."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Contains the physics prediction, cited in Section 8.4, that the $\\mathbb{Z}_2$-quotient of the character variety is a Coulomb branch."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Records the same prediction in Section 4.2 and the action of $\\mathrm{SL}_2(\\mathbb{Z})$ on the spherical DAHA used in Proposition 2.5."}],"review_version":1}