{"id":"d8217535-7ea1-4117-bae6-d86c559388d6","arxiv_id":"2608.01379","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A residue condition analogous to the Ginzburg-Kapranov-Vasserot construction of DAHA characterizes exactly which localized torus elements come from a quantized BFN Coulomb branch A_{G,N}, and yields a mathematical sphere trace for conical branches.","lead":"This mathematics paper describes the full localization (abelianization) image of quantum Coulomb branch algebras for any reductive group and representation, using a condition on roots and residues. Its corollary gives a rigorous construction of the sphere trace, a twisted trace from 3d gauge theory, on conical Coulomb branches.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Sign error in residue condition: Theorem 3.1 and Prop. 2.1 pair λ with s_α(λ)+kα^∨, but the proof of Prop. 2.1 requires s_α(λ)-kα^∨; as stated, S is not the localization image.","rationale":"The paper's proof of Proposition 2.1 is otherwise coherent, and the proof text contains the correct pairing, so this is likely a repairable sign error rather than a conceptual failure. But a central theorem whose defining condition does not match the proof is not acceptable as written; the reader's verdict ACCEPT should be conditional on correcting the sign in Prop. 2.1 and Thm. 3.1 (and in the quoted strongest claim). The genericity assumption flagged by the reader is explicit and less concerning; it does not affect this sign inconsistency. The sphere trace theorem is probably unaffected, since for the k=0 residue of a_0 the plus and minus conditions coincide, but the main residue description needs the fix.","tokens_in":10649,"tokens_out":11977,"duration_ms":109333,"concrete_test":"Re-derive the cancellation in Prop. 2.1 for a generic invariant polynomial P and λ=0, k=1: Eq. (2.3) gives P(t)|_{α=1}=P(t-α^∨), so the partner coefficient must be a_{-α^∨}. Then test the two candidate sets on a simple rank-one example: check that an element satisfying the '−' condition preserves C[t]^W while the same coefficient placed at a_{+α^∨} fails to kill the pole at α=1. Equivalently, symbolically verify whether P(t+s_α(λ)+kα^∨) equals P(t+λ) on α=k; it does not for generic P, whereas the minus version does.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The strongest claim is Theorem 3.1, and its defining residue condition is stated with the wrong sign. Condition 2 in both Prop. 2.1 and Thm. 3.1 reads Res_{α,k}(a_λ)+Res_{α,k}(a_{s_α(λ)+kα^∨})=0. However, the proof of Prop. 2.1, specifically Eqs. (2.1)–(2.3), derives that on the hyperplane α=k the term paired with a_λ is a_{s_α(λ)-kα^∨}: one has P(t+λ)|_{α=k}=P(t+s_α(λ)-kα^∨)|_{α=k}. With the plus sign, the two pulled-back polynomials generally do not agree, so the residue condition does not force cancellation of the pole and S_plus need not be contained in the image. The proof itself writes a_λ+a_{s_α(λ)-kα^∨} immediately after (2.3), confirming that the theorem statements contain a sign typo. Because this condition defines the central object S, the main result as written is false; the intended statement is almost certainly with minus. This concern is independent of the genericity condition in Remark 1.1 and is not resolved by taking generic flavors.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to describe the image of the quantized Coulomb branch algebra A_{G,N} under the localization (abelianization) map into A_{T,0,loc} in terms of W-invariant elements whose components satisfy explicit divisibility and residue cancellation conditions (Theorem 3.1). It then uses this description to construct a parity-twisted sphere trace for conical Coulomb branches (Theorem 4.3), matching the formula proposed by Gaiotto and Okazaki. The proof strategy combines the localization diagram of [BFN] with a filtration by coweights and a weight-string argument, following the earlier abelian and SL(2) treatments in [K] and [KV].","tokens_in":10834,"tokens_out":9945,"duration_ms":82588,"significance":"If the main theorem were correct, it would provide a uniform residue construction of quantized Coulomb branches, generalizing the GKV residue construction of DAHA and the special cases in [K], [KV], and [SS]. It would also give the first general mathematical construction of the sphere trace for conical Coulomb branches. The paper contains useful explicit computations, including the localization action on the cohomology of a point, the leading-term formulas in Proposition 2.2 and Theorem 3.1, and the exponential decay argument in Proposition 4.2. The central result, however, is currently stated with a sign error in the residue condition, and the proof is internally inconsistent on this point; the main theorem as written is not established.","major_comments":[{"comment":"The residue cancellation condition is stated as Res_{α,k}(a_λ) + Res_{α,k}(a_{s_α(λ)+kα^∨}) = 0, but the proof of Proposition 2.1 derives, in equations (2.1) through (2.3), the pairing of a_λ with a_{s_α(λ)-kα^∨}: on the divisor α=k one has P(t+λ) = P(t+s_α(λ)-kα^∨), and the sentence after (2.3) explicitly writes a_λ+a_{s_α(λ)-kα^∨}. With the plus sign the cancellation argument does not go through, so the set S defined in Theorem 3.1 is not the localization image of A_{G,N} and the main theorem as stated is false.","section":"Section 2, Proposition 2.1 and Section 3, Theorem 3.1"},{"comment":"This proof uses the stated plus convention: it infers from a pole of b_λ at α-k that b_{s_α(λ)+kα^∨} is nonzero and then obtains the bounds 0≤k≤α(λ) by applying s_α. If the residue condition is corrected to pair λ with s_α(λ)-kα^∨, the corresponding coweight is λ-(α(λ)+k)α^∨ and the weight-string argument must be redone. The present argument is internally inconsistent with the computation in the proof of Proposition 2.1.","section":"Section 2, proof of Proposition 2.2"},{"comment":"The proof of the twisted trace condition invokes Theorem 3.1 to conclude that a_0 has no pole at α and that all poles are simple. Since Theorem 3.1 is affected by the sign error described above, the trace theorem is not justified as written. After the residue condition is corrected, these steps should be rechecked, particularly the claim that the poles of a_λ are canceled by the zeroes of w_0(x).","section":"Section 4, Proposition 4.2 and Theorem 4.3"}],"minor_comments":[{"comment":"The displayed formula for a_λ is missing a reciprocal: it should read a_λ = 1/(∏_α ∏_{j=0}^{α(λ)-1}(α-j)), not the expression as printed.","section":"Section 2, Proposition 2.2"},{"comment":"The paper introduces localization at α+k in the introduction but subsequently works with poles at α-k. This sign convention should be made uniform to avoid confusion.","section":"Section 1 and throughout"},{"comment":"The claim that the description works 'for any G,N' is stronger than the hypotheses in Remark 1.1 and the proof of Theorem 3.1, which assume generic or formal flavor parameters and the no-cancellation condition. The theorem statement should carry the precise hypotheses.","section":"Abstract and Introduction"},{"comment":"The word 'scyscraper' should be 'skyscraper', and the parenthetical phrase '(notational issues may remain)' is informal for a journal submission.","section":"Appendix A, Proposition A.1"},{"comment":"In the identity w_0(x+iλ)=e^{2πiζ(λ)}w_0(x) with ζ=1/2∑ξ_i, the factor of 1/2 and the sign should be checked carefully, as an error here would change the twisted trace condition.","section":"Section 4, Proposition 4.2"}],"recommendation":"major_revision","confidential_remarks":"The sign error in the residue condition appears to be a fixable typo rather than a fundamental flaw, but it is load-bearing: it affects the statement of the main theorem and the consistency of the proof. The author should be asked to correct the sign, adjust the weight-string argument in Proposition 2.2, and re-verify the trace theorem. The manuscript has potentially significant value if these issues are resolved."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague —\n\nThe paper has a real result in it, but as written the main theorem is wrong. The residue condition in Proposition 2.1 and Theorem 3.1 pairs λ with s_α(λ)+kα∨; the proof of Proposition 2.1, equations (2.1)–(2.3), derives the pairing with s_α(λ)−kα∨. The converse argument and the definition of λ_1 also use the minus sign. So S as stated is not the localization image. This is a sign typo that propagates into the central statements; the intended theorem is clear from the proof and is very likely correct.\n\nWhat is genuinely new is that Theorem 3.1 gives a uniform residue description for arbitrary (G,N) with generic or formal flavors, subsuming the SL(2), K-theoretic GL_n, and Iwahori cases. The proof strategy — compare the image with the intersection of the pure branch and the torus-with-flavors image, then use the graded surjectivity argument — is sound in outline. Proposition 2.1's invariant-polynomial interpolation is worked out in detail and is convincing. The sphere trace construction (Theorem 4.3) is a nice corollary: it provides a mathematical construction of the Gaiotto–Okazaki sphere partition function as a parity-twisted trace, including the analytic continuation for small flavors.\n\nSoft spots beyond the sign error: the genericity condition in Remark 1.1 is honest but means the residue description is only proven away from resonant flavor parameters; Proposition 2.2's weight-string argument is terse and should be expanded; and the trace computation in Proposition 4.2 leans on the author's prior work and the BFN localization formula, which is acceptable but worth a fuller derivation. No code or data is involved.\n\nWho benefits: anyone working on quantized Coulomb branches, abelianization, DAHA, or 3d N=4 traces. The intended result is significant enough that the paper deserves a serious referee. The right move is to send it to referees with a clear instruction to have the author correct the sign in the residue condition and recheck the statements before publication. I would not cite it in its current form, but I would cite the corrected version.","headline":"Strong intended theorem, but the main statements carry a sign error in the residue condition: the proof requires s_α(λ)−kα∨, not s_α(λ)+kα∨.","tokens_in":11474,"tokens_out":8344,"would_cite":false,"duration_ms":66918,"reading_group":"yes","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14D21","17B37"],"pacs":[],"model":"deepseek-v4-flash","headline":"The quantized Coulomb branch algebra of any reductive group and representation, after localization to the torus, is exactly the Weyl-invariant subalgebra defined by a divisibility condition and a residue-reflection cancellation; conical…","keywords":["quantized Coulomb branch","abelianization","roots and residues","localization map","double affine Hecke algebra","sphere trace","parity-twisted trace","Coulomb branch localization"],"falsifier":"Compute the localized image for a resonant pair, e.g. $G = \\mathrm{SL}(2)$ with a weight $\\xi$ of $N$ proportional to a root (so $2\\xi = \\alpha$) and set the flavor $b_i$ to the resonant value; if an element of the residue-defined set $S$ fails to come from $A_{G,N}$, or if the image acquires a double pole not killed by the residue pairing, then the genericity assumption in Theorem 3.1 is essential and the unconditional statement is false.","tokens_in":10345,"feed_emoji":"","tokens_out":11381,"duration_ms":92880,"temperature":0.7,"pith_summary":"This paper aims to give a complete 'roots and residues' description of quantized Coulomb branch algebras, the algebraic objects defined from 3d gauge-theory data by the BFN construction. The central claim is that after localization to the torus, the image of the algebra $A_{G,N}$ is exactly the set of Weyl-invariant elements whose coefficient functions vanish to prescribed orders, have at most simple poles on shifted root hyperplanes, and satisfy a residue-reflection cancellation identity. If correct, this provides a uniform presentation for all such algebras, extending earlier results for $\\mathrm{SL}(2)$, pure $\\mathrm{GL}_n$, and Iwahori cases. As a corollary, any conical quantized Coulomb branch carries a parity-twisted 'sphere trace' that realizes the special sphere partition function of [GO] as an honest trace on the whole algebra.","feed_headline":"Roots-and-residues condition describes every quantized Coulomb branch","feed_subtitle":"The localized image is exactly residue-cancelling elements; conical branches carry a sphere trace.","key_machinery":"The load-bearing mechanism is the abelianization/localization map $i^{-1}_* : A_{G,N} \\to A_{T,0,\\mathrm{loc}}$, which embeds the noncommutative Coulomb branch into a localized algebra of difference operators $\\bigoplus \\mathbb{C}[t]_{\\mathrm{loc}} r_\\lambda$. The description of the image is carried by the residue cancellation condition $\\mathrm{Res}_{\\alpha,k}(a_\\lambda) + \\mathrm{Res}_{\\alpha,k}(a_{s_\\alpha(\\lambda)+k\\alpha^\\vee}) = 0$, together with the divisibility condition (3.2) coming from the Euler classes of the flavor representation and the roots. The genericity assumption ('no cancellations in (1.1)') is what makes the Euler-class formula exact, and it is used to show that the graded pieces of $A_{G,N}$ surject onto those of $S$.","core_discovery":"The paper's main theorem (Theorem 3.1) states that for generic or formal flavor parameters, the abelianization map embeds $A_{G,N}$ into $A_{T,0,\\mathrm{loc}} = \\bigoplus_{\\lambda} \\mathbb{C}[t]_{\\mathrm{loc}} r_\\lambda$ and its image is precisely the set $S$ of $W$-invariant elements $a = \\sum a_\\lambda r_\\lambda$ satisfying: (1) each $a_\\lambda$ is divisible by the product over flavor weights $\\xi_i$ and positive roots $\\alpha$ of the factors $(\\xi_i + b_i + (\\xi_i(\\lambda)+j+\\tfrac12))$ and $(\\alpha - k)$, so $a_\\lambda$ has at most simple poles at $\\alpha - k$; and (2) the residues satisfy $\\mathrm{Res}_{\\alpha,k}(a_\\lambda) + \\mathrm{Res}_{\\alpha,k}(a_{s_\\alpha(\\lambda)+k\\alpha^\\vee}) = 0$. The proof combines the known image of the pure Coulomb branch $A_{G,0}$ (Proposition 2.2) with the computed image of the flavor map from $A_{T,N,\\mathrm{loc}}$, using the genericity condition to prevent Euler-class cancellations. The paper further derives (Theorem 4.3) that when the Coulomb branch is conical and $|\\mathrm{Re}\\, b_i| < 1/2$, the algebra admits a parity-twisted trace $T_{\\mathrm{sph}}(R) = \\int_{t_{\\mathbb{R}}} R(x) w_0(x)\\, dx$ with $w_0(x) = \\frac{\\prod_{\\alpha>0} \\sinh^2(\\pi\\alpha)}{\\prod_j \\cosh(\\pi(\\xi_j - i b_j))}$, giving a mathematical construction of the sphere trace for arbitrary conical branches.","pith_inferences":["Because the divisibility factors and residue pairing are polynomial or rational in the flavor parameters, the set $S$ likely forms a flat family; if so, the generic proof could be completed at resonant values by a limiting argument, making the 'no cancellations' condition removable.","The analytic continuation discussion for abelian branches in Remark 4.4 suggests a Fourier-dual picture in which the sphere trace on a branch with weights $\\xi_i$ becomes a sphere trace on a dual branch; extending this beyond the abelian case would connect the residue construction to 3d mirror symmetry.","One can test the sharpness of the residue condition in low-rank examples by writing a finite linear system for the coefficients $a_\\lambda$; a failure of the residue pairing to be the only obstruction would indicate that additional invariants are needed at resonance."],"forward_implications":["Every quantized Coulomb branch with generic or formal flavors acquires an explicit presentation as a subalgebra of a localized abelian difference algebra, so elements can be manipulated through the coefficient functions $a_\\lambda$ and their residues at shifted root hyperplanes.","For any conical branch with $|\\mathrm{Re}\\, b_i| < 1/2$, the special sphere function of [GO] extends to a genuine parity-twisted trace, making trace identities on products of observables available on the whole algebra.","The residue description transfers to K-theoretic Coulomb branches with minimal changes, so the same tools apply to quantum and K-theoretic versions.","The method extends to quiver Coulomb branches with symmetrizers in the cases covered by the appendix of [NW], after modifying the root and pole data appropriately.","The presentation gives a concrete starting point for computing twisted and positive traces: trace identities reduce to residue checks at poles $\\alpha = k$."],"supporting_citations":[{"why":"Defines the quantized Coulomb branch algebra and supplies the injective localization map to $A_{T,N,\\mathrm{loc}}$ together with formula (4.10) for the abelian image.","marker":"[BFN]"},{"why":"Provides the original roots-and-residues construction of double affine Hecke algebras that Theorem 3.1 generalizes.","marker":"[GKV]"},{"why":"Proved the residue description for pure $\\mathrm{SL}(2)$ Coulomb branches, the special case that anchors the general claim.","marker":"[KV]"},{"why":"Established the residue description for pure K-theoretic $\\mathrm{GL}_n$ Coulomb branches, another prior instance.","marker":"[SS]"},{"why":"Obtained the roots and residue description for Iwahori Coulomb branches, extending the pattern to a wider class.","marker":"[Cri]"},{"why":"Introduced the special sphere partition function that Theorem 4.3 promotes to an honest parity-twisted trace.","marker":"[GO]"},{"why":"Supplies methods for twisted and positive traces on abelian quantized Coulomb branches used in the trace computation.","marker":"[K]"},{"why":"Supplies the characterization of conicality used to prove the exponential decay of the integrand $w_0$ in the sphere trace.","marker":"[GHRWZ]"}],"fun_headline_variants":["Residue condition exactly characterizes quantized Coulomb branch","Sphere trace now built for any conical Coulomb branch","Abelianization image: roots and residues decide","Residues alone specify the localized quantized branch","Quantized Coulomb branch: image is exactly residue-cancelling"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The theorem assumes the flavor parameters are generic or formal so that no factor cancels between numerator and denominator in the Euler-class formula (3.2); at resonant flavor values the localization image may not equal the residue-defined set $S$, so the residue description is proven only in the non-resonant case.","fun_headline_variants_meta":{"raw":{"variants":["Residue condition exactly characterizes quantized Coulomb branch","Sphere trace now built for any conical Coulomb branch","Abelianization image: roots and residues decide","Residues alone specify the localized quantized branch","Quantized Coulomb branch: image is exactly residue-cancelling"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00076,"raw_usage":{"total_tokens":3429,"prompt_tokens":1053,"completion_tokens":2376,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":669,"completion_tokens_details":{"reasoning_tokens":2300}},"tokens_in":669,"tokens_out":2376,"duration_ms":16964,"temperature":1.0,"reasoning_tokens":2300,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T15:08:33.874231+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the localized image for a resonant pair, e.g. $G = \\mathrm{SL}(2)$ with a weight $\\xi$ of $N$ proportional to a root (so $2\\xi = \\alpha$) and set the flavor $b_i$ to the resonant value; if an element of the residue-defined set $S$ fails to come from $A_{G,N}$, or if the image acquires a double pole not killed by the residue pairing, then the genericity assumption in Theorem 3.1 is essential and the unconditional statement is false.","supporting_citations":[],"review_version":2}