{"id":"9524c731-fc7a-4c41-82c9-782eab8a9e1a","arxiv_id":"2607.15177","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Coulomb branches are affinizations of explicit blowups of toric compactifications, and their symplectic leaves are indexed by flats of the weight hyperplane arrangement, controlled by zero-dimensional leaves of residual Coulomb branches.","lead":"This paper describes the geometry of Coulomb branches — symplectic singularities attached to 3d N=4 gauge theories — as affinizations of explicit blowups of toric compactifications, uniformly across the rational, K-theoretic, and elliptic versions. It uses this to classify the symplectic leaves of these spaces, reducing the leaves over each flat of the weight arrangement to zero-dimensional leaves of smaller Coulomb branches, with explicit transverse slices in the \"good\" case","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 5.5's 'modulo lower order terms' is the weak point: unverified subleading Atiyah–Bott terms would invalidate Lemma 5.6, on which the flat-indexing of leaf images rests.","rationale":"The reader's weakest-assumption diagnosis is correct: the proof of Theorem A splits into the geometric/comparison results (Theorems 2.11 and 2.31) and the leaf-classification chain (Lemmas 5.5–5.8 and 5.12–5.13). The comparison pillar has independent support: explicit rank-one calculations, comparison with the BFN model, and the external benchmark of known Coulomb branches. The leaf-classification pillar, by contrast, introduces a new Poisson-bracket identity whose proof is a one-paragraph sketch deferring to 'modulo lower order terms'. This is not an objection to the plausibility of (5.1) but to the sufficiency of what is proved: Lemma 5.6's translation-invariance statement requires control of the subleading terms, and Lemma 5.8 uses that statement to force leaf images to be flats. A single uncontrolled term in the Atiyah–Bott expansion would propagate through Lemma 5.6 to Lemma 5.8 and remove the foundation for the flat-indexing claim. The manuscript's own caveats—the elliptic construction is openly a proposal, and the quiver classification depends on Conjecture 5.32—are honestly stated and do not by themselves change the verdict; they are additional reasons for conditionality, not independent defects. Since the reader already assigns CONDITIONAL for essentially this reason, I see no reason to move the verdict. The recommended action is unchanged: keep the paper conditional pending a complete derivation of Eq. (5.1) and its subleading terms, or an independent verification of Lemma 5.6.","tokens_in":53247,"tokens_out":21441,"duration_ms":157969,"concrete_test":"Independently derive the full associated-graded Atiyah–Bott expression for {r_{mμ}(f), r_{m'μ}(g)} from [BFN18, (6.3)] in the rank-one model G = PGL(2) with arbitrary matter (Section 2.4.1), retaining all terms through filtration degree (m+m')μ. For each stabilized n with J_{nμ} = J_{(n+1)μ}, check whether every subleading term maps f ∈ J^∞_μ into J^∞_{(n+k)μ}. A cheaper control: in the abelian case G = G_m, N = C^n, μ = 1, compute {r_{n}(τ^a), r_1(τ^b)} exactly in the presentation xy = τ^n and compare with the right-hand side of (5.1) after quotienting by J^∞; if the difference is nonzero, Lemma 5.6's proof needs repair.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The leaf classification in Theorem A depends on showing that for every Poisson prime ideal I, the zero set of the induced ideal in R^W is a flat of the weight hyperplane arrangement. The mechanism is Lemma 5.6: for n ≫ 0, the kernel J^∞_μ of the dressed monopole map is stable under translation by μ, and this is deduced from the monopole bracket formula (5.1) in Lemma 5.5. But Lemma 5.5 is asserted rather than proved: it says the formula follows from Atiyah–Bott localization 'modulo lower order terms', citing [BFN18, (6.3)]. The discarded terms are not exhibited, and Lemma 5.6 needs more than the leading term—it needs that after passing to the stabilized kernel J^∞_μ, all subleading contributions still land in J^∞_μ. If the full Atiyah–Bott expansion contains terms of the form r_{(n+k)μ}(...) with k > 0, translation-invariance of V(J^∞_μ) is not established, and Lemma 5.8's conclusion that image flats are flats loses its foundation. The concern is not that (5.1) is known to be false; the abelian examples are consistent with it. It is that the paper supplies no verification of the exact statement needed, and the entire indexing of leaves by W-orbits of flats depends on this unproved estimate.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a geometric construction of Coulomb branches of 3d N=4 gauge theories as affinizations of explicit blowups of toric compactifications of B_{\\widetilde T} \\times T^\\vee, uniformly for the rational, K-theoretic, and elliptic settings. For B = G_a and G_m, it proves comparison with the BFN Coulomb branch (Theorems 2.11, 2.30, 2.31); for B = E, the construction is offered as a definition/proposal. It further extends functoriality results of [GW25], corrects and refines the transverse-Hilbert-scheme comparison of [BF23], and gives a classification of symplectic leaves: the image of every leaf closure under the integrable system is a flat of the weight hyperplane arrangement, and, under a goodness assumption on the residual pair, the transverse slice is isomorphic to the Coulomb branch M(G^1_\\lambda, N^\\lambda) (Theorem A, Lemma 5.12, Corollary 5.13).","tokens_in":53459,"tokens_out":12155,"duration_ms":90752,"significance":"If correct, this is a substantial contribution. The new geometric description is uniform and explicit, and the comparison theorems are non-circular: they prove the new construction is isomorphic to the external BFN benchmark, with a detailed rank-one Laurent-polynomial induction in Lemma 2.30. The paper also gives concrete counterexamples to earlier transverse-Hilbert-scheme claims and clarifies functoriality. However, the leaf classification in Section 5 rests on a single monopole bracket computation, Lemma 5.5, which is only proved 'modulo lower order terms'; the discarded terms are exactly what is needed to justify the stabilization argument in Lemma 5.6. The main theorem is therefore conditional on an estimate that the paper does not supply.","major_comments":[{"comment":"The bracket formula (5.1) is the engine for Lemma 5.6 and hence for the flat-indexing of leaf images in Lemma 5.8 and Theorem A. The proof asserts that Atiyah–Bott localization gives the displayed term 'modulo lower order terms', citing [BFN18, (6.3)], but the subleading translations are not exhibited and no argument shows they vanish after passing to the stabilized kernel J^∞_μ. Lemma 5.6 requires that, for f ∈ J^∞_μ, the full commutator {r_{nμ}(f), r_μ} has associated-graded image r_{(n+1)μ}(∂_μ f); any surviving subleading term r_ν(h) with ν ≠ (n+1)μ would break the translation-invariance of V(J^∞_μ). Without a complete calculation or a separate vanishing argument, Lemma 5.8's conclusion that leaf images are flats is unproved. This is load-bearing for Theorem A and Corollary 5.13.","section":"§5.1.2, Lemma 5.5 (Eq. (5.1))"},{"comment":"The proof of Lemma 5.6 contains a small but confusing index shift. Applying (5.1) with m = n, m' = 1, g = 1 gives {r_{nμ}(f), r_μ} = r_{(n+1)μ}(∂_μ f), modulo the lower-order terms discussed above, not r_{nμ}(∂_μ f) as written. The intended conclusion still follows from the stabilization J_{nμ}=J_{(n+1)μ} for n ≫ 0, but the displayed formula should be corrected and the argument made explicit.","section":"§5.1.3, proof of Lemma 5.6"}],"minor_comments":[{"comment":"In the SL(3) example with N=(C^3)^{⊕4}, the displayed degree formula gives the abelian degree of r_{(1,0,-1)} as 8 (or 4 under the usual normalization), so the statement that this monopole operator 'has degree 0' is inconsistent with the formula two sentences earlier. Please clarify the grading convention or correct the numerical claim; as written, the counterexample is hard to follow.","section":"§4.3, Proposition 4.15"},{"comment":"The assertion that goodness of M(G^1_λ,N^λ) implies uniqueness of its zero-dimensional leaf is stated as 'in particular' but not proved or referenced. Since this uniqueness is part of the input to Theorem A, a citation or a short proof would be helpful.","section":"§5.1.1 / Definition 5.11"},{"comment":"The abstract says the paper gives a geometric description 'uniformly across the rational, K-theoretic, and elliptic settings', while the introduction correctly notes that the elliptic version is a definition/proposal whose compatibility with future constructions remains to be checked. Consider adding the same caveat to the abstract to avoid overstatement.","section":"Abstract / Introduction"},{"comment":"The paper is notation-heavy and uses several different decorations of M, Y, and A. The index of notation is very useful; a few cross-references in Section 2.4.1 (e.g., pointing back to Example 2.15/2.16) would improve readability.","section":"Notation"}],"recommendation":"major_revision","confidential_remarks":"The core comparison theorems are strong and the geometric picture is attractive. The one real obstacle is Lemma 5.5: the missing 'lower order terms' estimate is not a cosmetic issue, since the leaf classification depends on it in an essential way. I would be happy to recommend acceptance if the author supplies a full proof or a rigorous vanishing argument for the subleading Atiyah–Bott terms. The remaining issues are local and should be straightforward to address."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"What you should know: this is a genuinely substantial Coulomb-branch paper, not a repackaging. The uniform blowup description (Section 2) and the comparison theorems for B=G_a and G_m are real work. The proof of Theorem 2.31, reducing to the rank-one case via slices and covers, is a serious argument. The explicit counterexamples to [BF23] (Propositions 4.14–4.15) and the corrected comparison (Proposition 4.17) are a real service. The functoriality extension (Theorem 3.3) removing the gluability hypothesis is a clean payoff of the construction. And the reduction of the leaf problem to zero-dimensional leaves of residual Coulomb branches (Theorem A) is the right conceptual framework.\n\nThe paper is also honest about its debts: the blowup description is explicitly a refinement of [BFN18, Th. 5.26], and Remark 2.8 flags Teleman. The elliptic version is presented as a proposal, which is the right call. No circularity: Theorem 2.31 checks the new construction against the BFN benchmark.\n\nThe soft spot is exactly where the stress-test note lands. Lemma 5.5's Poisson bracket formula (5.1) is asserted to follow from Atiyah–Bott 'modulo lower order terms', citing [BFN18, (6.3)]. The discarded terms are not exhibited. Lemma 5.6 needs the full statement: after stabilization, all subleading contributions must land in the kernel J∞_mu, and the one-paragraph justification does not demonstrate that. Without Lemma 5.6, the translation-invariance of V(J∞_mu) is not established, and Lemma 5.8's conclusion that leaf images are flats loses its foundation. The abelian examples are consistent with (5.1), so I do not think the formula is false; the issue is that it is load-bearing and currently unverified at the exact level of rigor needed. Lemma 5.8's dimension argument is also compressed—'Noether normalization' and the coisotropic dimension count are gestured at rather than written out.\n\nThis does not change my overall view: the paper deserves a serious referee. A specialist should be asked to verify (5.1) and expand the proof of Lemma 5.8. If those hold up, Theorem A is a major step. As is, the leaf classification is a well-formulated theorem conditional on a computational lemma.\n\nI would take it to the reading group, and I would cite the comparison and functoriality parts in my own work. Recommend peer review, with the specific request that the referee focus on Section 5.","headline":"A serious, mostly honest Coulomb-branch paper whose leaf classification rests on one load-bearing bracket calculation that is asserted rather than proved; worth refereeing, but the referee should ask for Lemma 5.5 to be written out.","tokens_in":54122,"tokens_out":2427,"would_cite":true,"duration_ms":22704,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14L30","14C05","53D17","81T60"],"pacs":[],"model":"deepseek-v4-flash","headline":"Coulomb branch leaves are flats of the weight arrangement, with slices given by smaller Coulomb branches.","keywords":["Coulomb branches","symplectic leaves","monopole operators","blowups","toric compactifications","weight hyperplane arrangements","transverse slices","quiver varieties"],"falsifier":"Compute the Poisson bracket of Lemma 5.5 exactly for a rank-1 example, say SL(2) with the standard representation plus a dressing g with nonzero directional derivative, and check whether the difference between the two sides vanishes after stabilization; a surviving term would produce a leaf whose image is not a flat of the weight arrangement.","tokens_in":52914,"feed_emoji":"📐","tokens_out":5058,"duration_ms":49715,"temperature":0.7,"pith_summary":"Coulomb branches are a large family of symplectic singularities attached to a reductive group and a representation, central to 3d N=4 gauge theory and geometric representation theory. This paper proves that every such branch can be reconstructed uniformly in the rational, K-theoretic, and elliptic settings as the affinization of an explicit blowup of a toric compactification of the base torus times the dual torus, with regularity conditions along weight and root divisors controlling the construction. It then classifies the symplectic leaves: the image of the closure of any leaf is a flat of the weight hyperplane arrangement, and, when the residual pair is good, the transverse slice to the unique leaf over a flat is isomorphic to the smaller Coulomb branch of that residual pair. If correct, this answers a long-standing question—the indexing set for leaves—and reduces leaf geometry to zero-dimensional leaves of smaller branches. It also removes a technical hypothesis from an earlier functoriality theorem and corrects the transverse Hilbert-scheme comparison.","feed_headline":"Coulomb branch leaves are flats of the weight arrangement","feed_subtitle":"Their transverse slices are smaller Coulomb branches in a uniform blowup picture across rational, K-theoretic, and elliptic settings.","key_machinery":"The engine is a monopole-operator Poisson bracket: {r_{mμ}(f), r_{m'μ}(g)} = r_{(m+m')μ}((∂_{m'μ}f)g − (∂_{mμ}g)f) modulo lower-order terms. This forces the stabilized kernel of dressed monopole operators at any leaf to be translation-invariant, so the image of a leaf is a flat of the weight hyperplane arrangement. Around each flat, the model localizes to the Levi subgroup G_λ acting on the fixed subspace N^λ, and the slice is identified with the Coulomb branch of the almost-faithful quotient G^1_λ on N^λ.","core_discovery":"The central claim is that the Coulomb branch M(G,N) is the affinization of an explicit toric blowup model defined by a single family of valuation conditions over the weight and root divisors, and this model is isomorphic to the BFN Coulomb branch when the base is the additive or multiplicative group (for the elliptic version, the construction is proposed as a definition). From this model the paper derives the leaf classification: for every symplectic leaf L, the image of its closure under the integrable-system map is a flat of the arrangement cut out by the weights of N; fixing a flat U with generic point λ, the leaves over U are governed by the residual Coulomb branch M(G^1_λ, N^λ) of the a","pith_inferences":["If the monopole bracket computation is sharpened beyond leading order, the leaf classification might hold without the goodness hypothesis, with the finite group action replaced by a more refined equivariant datum.","The uniform blowup model suggests that the elliptic Coulomb branch, once a consensus definition exists, will automatically inherit the same leaf classification etale locally over the base, by the paper's local-comparison result.","The flat-labeling of leaves mirrors the Higgs-branch classification by stabilizer data, so a refined 'special leaf' correspondence may hold more broadly than the paper's conjecture.","The failure of the Hilbert-scheme comparison isolates the missing affine Demazure operators, predicting that adjoining those operators yields a new construction of Coulomb branches that works for all groups."],"forward_implications":["Symplectic leaves of any Coulomb branch are indexed by W-orbits of flats of the arrangement cut out by the weights of N, with closure relations given by flat inclusion in the good case.","The transverse slice to a leaf is isomorphic to the Coulomb branch M(G^1_λ, N^λ), or to a quotient by a finite group when the pair is not good.","A uniform geometric description of rational, K-theoretic, and elliptic Coulomb branches as affinizations of blowups of toric compactifications; the elliptic version is proposed as a definition.","Functoriality of Coulomb branches holds for arbitrary homomorphisms of gauge groups, removing the gluability hypothesis.","The transverse Hilbert-scheme construction does not agree with the Coulomb branch in general (e.g., for SL(3) with four copies of the standard representation); the correct statement is an isomorphism on the open locus over generic and subgeneric points, provided the group has no Sp(2n) factors."],"fun_headline_variants":["Coulomb leaves: flats of the weight arrangement","Toric blowups reveal Coulomb leaf flats","Blowup model classifies Coulomb symplectic leaves","Leaf flats and slices from uniform blowups"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The proof rests on a computation of the Poisson bracket of dressed monopole operators in which all terms of higher order in the filtration are asserted to be lower-order and thus to disappear in the associated graded; if those terms survive, the image of a leaf need not be a flat and the classification collapses.","fun_headline_variants_meta":{"raw":{"variants":["Coulomb leaves: flats of the weight arrangement","Toric blowups reveal Coulomb leaf flats","Blowup model classifies Coulomb symplectic leaves","Leaf flats and slices from uniform blowups"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000464,"raw_usage":{"total_tokens":2128,"prompt_tokens":693,"completion_tokens":1435,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":437,"completion_tokens_details":{"reasoning_tokens":1376}},"tokens_in":437,"tokens_out":1435,"duration_ms":12674,"temperature":1.0,"reasoning_tokens":1376,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T23:56:25.300454+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the Poisson bracket of Lemma 5.5 exactly for a rank-1 example, say SL(2) with the standard representation plus a dressing g with nonzero directional derivative, and check whether the difference between the two sides vanishes after stabilization; a surviving term would produce a leaf whose image is not a flat of the weight arrangement.","supporting_citations":[],"review_version":1}