{"id":"19e2dae5-3dd2-48d0-a373-6b6fa2926039","arxiv_id":"2607.24711","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Limit quantized zastavas for arbitrary quivers equal extended shuffle algebras, have Hua–Kac Hilbert series, and yield spherical generation of localized shuffle algebras, proving Neguţ’s conjecture.","lead":"The authors build a limit quantized zastava algebra for any quiver that acts like a Borel Yangian, prove it matches a shuffle algebra, and use that to prove Neguţ’s spherical-generation conjecture. This ties Coulomb branches, Kac polynomials, and Yangian-type algebras into one package usable beyond finite ADE type.","discovery_kind":"unification","skeptic_critique":{"model":"moonshotai/kimi-k3","headline":"The load-bearing point is the loop-sensitive divisibility induction in Thm. 5.32; the wheel conditions appear to match the FFT denominators exactly, so I would not move the verdict.","rationale":"The reader’s weakest assumption is the right one: the whole downstream chain (limit isomorphism, extended isomorphism via the Cartan smash product, and Neguț generation) is only as strong as the support-reduction/divisibility argument in §5. The paper has meaningful independent support: the construction is grounded in BFN, the Hilbert-series side matches Hua/Kac, the finite-type ADE identification with the Borel Yangian is checked by Hilbert series, and concurrent CoHA work is openly compared. I found no inconsistency in the exponent bookkeeping: Lemma A.6 is precisely tailored to convert the refined wheel divisibilities into the GKLO/FFT denominator exponents, including the loop diagonal case. Remaining risk is ordinary human-proof error in a long induction rather than an identified contradiction, so the verdict should remain ACCEPT.","tokens_in":45693,"tokens_out":5515,"duration_ms":891243,"concrete_test":"Run the smallest loop-sensitive support-reduction computation: take the Jordan quiver (one vertex, one loop), v=(3), and degrees |λ|≤3 (then |λ|=4 if feasible). Generate S_k from the explicit FMO shuffle elements in Cor. 5.56, compute Φ+_v via (5.12), and at each maximal λ verify: (i) after removing the diagonal factor (5.44), the loop denominator (θ+½h)^{n²−1} divides r_h with quotient in Λ^λ_res; (ii) Φ+_v(h−g) has strictly smaller support and no >λ poles. A residual (θ+c h)-denominator or nondecreasing support is a counterexample; clean reduction certifies the decisive loop mechanism.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central isomorphism depends on Theorem 5.32: for every h∈S and maximal λ in Supp Φ+_v(h), one must divide h|λ by the diagonal/Vandermonde factor from Lemma 5.38 and then clear precisely the edge denominators in (5.12), using Definition 5.14 plus Lemma A.6, while leaving exactly the numerator pattern of (2.53). The risky case is loops e:i→i: for r=s one needs the equality x^{n−1·n}=(x+h)^{n·n−1} from Lemma A.6 so the n²−1 loop denominator is cleared without creating a spurious θ-dependent numerator; for r≠s one needs the loop factors (w_is−w_ir+θ_e±½h) to be coprime to the diagonal factors (w_ir−w_is+p h) so divisibility survives passage from h|λ to r_h. On inspection these are the exact exponents appearing in Definition 5.14 and (5.12), and the θ_e coefficient makes loop and diagonal linear forms coprime over R. I do not see a definite gap, but this is the one place where a small exponent/sign error would collapse both S≅A⁺ and the spherical-generation transfer.","agreement_with_reader":"agree"},"referee_report":{"model":"moonshotai/kimi-k3","summary":"The paper constructs, for an arbitrary quiver Q (loops and multiple edges allowed), a \"limit quantized zastava\" algebra A as the graded inverse limit of the quantized zastava algebras A(v) arising from the BFN construction, using new surjections Φ_{v,v₁} : A(v) ↠ A(v₁) that quantize the \"adding defect\" closed embeddings of the authors' previous work [MW24]. A positive part A⁺ is defined via FMOs with restricted dressing, giving a triangular decomposition A = Λ ⊗ A⁺. The limit of the monopole formula is shown to coincide, via Hua's identity, with a generating function of Kac polynomials (Cor. 4.12). A shuffle algebra S ⊂ bigS is defined by refined wheel conditions (Def. 5.14) tailored to the GKLO/FFT difference-operator realization, and the main technical theorem (Thm. 5.32, 5.55, 5.66) proves Φ⁺ : S ≅ A⁺ and Φ : extS ≅ A, where extS = S₀ # S adjoins a Cartan part. Finally, a Wee19-style Nullstellensatz argument after localization at an explicit multiplicative set M (generated by loop parameters along closed paths) yields spherical generation of A[M⁻¹] and A⁺[M⁻¹], hence of S_loc and S¹_loc — Neguţ's Conjecture 2.12.","tokens_in":46014,"tokens_out":7780,"duration_ms":278920,"significance":"If correct — and I found no error — this is a substantial contribution. It gives the first intrinsic construction of a Borel/unipotent Yangian attached to an arbitrary quiver with loops, identifies its Hilbert series with Kac polynomials (consistent with, and clarifying, the CoHA picture), proves the shuffle-algebra realization with explicit refined wheel conditions, and settles Neguţ's Conjecture 2.12. Strengths worth naming: the results are proved in detail rather than asserted; the Hilbert-series computation provides an independent, falsifiable consistency check on the wheel conditions (both sides are governed by Hua's identity); the integral form S_Z is treated honestly (§5.7.1); and the relation to the independent ongoing work of Jindal–Neguţ ([JN26a, JN26b]) and Botta–Tamagni is disclosed, with the combined isomorphism (1.19) stated explicitly.","major_comments":[{"comment":"Proof of Theorem 5.32: after writing h|λ = r_h · (diagonal factors) via Lemma 5.38, the proof applies the refined wheel conditions directly to r_h. But Definition 5.14 gives divisibility of h|λ, not of r_h. The transfer requires that the diagonal linear forms (w_{i,r}−w_{i,s}+ph) of (5.39) are coprime in R[...] to the edge factors (w_{j,s}−w_{i,r}+θ_e±½h) of (5.12). For loops e:i→i with r≠s this holds only because θ_e is an independent indeterminate, and for r=s one needs Lemma A.6 with m=n. This coprimality argument is not stated; since the regularity Φ⁺_v(S)⊂A⁺(v) — hence Theorems 5.55, 5.66 and 6.1 — rests on it, a short lemma should be added. One should also justify that r_h∈Λ^λ_res(v): this uses that h|λ involves only w_{i,r} with r≤|λ_i| and that the diagonal quotient is S_{λ,res}-invariant (exponents vanish within stabilizer blocks).","section":"§5.6, proof of Theorem 5.32"},{"comment":"Theorem 2.62 (the computation gr A⁺(v)=⊕_λ Λ^λ_res(v)·r_λ, hence freeness and good base change of A⁺(v)) has one inclusion deferred to §5.7.2, where it is proved using the surjectivity of Theorem 5.32. Meanwhile the second formula of Theorem 4.4 for J⁺_v(z,q) — and therefore the Kac-polynomial Hilbert series of A⁺ in Corollary 4.12 — already uses Theorem 2.62 to count bases. On my reading there is no actual circle (the proof of Theorem 5.32 uses only the GKLO formula (2.44) and Theorem 5.29, never §4 or Theorem 2.62), but the manuscript should state this explicitly where the proof is deferred, since the dependency chain §2.4 → §4 → §5.7.2 is otherwise easy to misread as circular.","section":"§2.4, Theorem 2.62 (proof deferred to §5.7.2)"},{"comment":"The deduction of Theorem 6.1 (spherical generation of S¹_loc) from Theorem 6.17 (spherical generation of A⁺[M⁻¹]) passes through Theorem 5.21(b), which identifies S with S¹ only after localization at the set (5.22) of loop parameters θ_e+(n+½)h. The bridging fact — Remark 6.10(4), that M contains (5.22) up to sign — is stated four pages earlier and never cited at this step. Since Theorem 6.1 is the advertised application (Neguţ's Conjecture 2.12), the chain S¹[M⁻¹]=S[M⁻¹]≅A⁺[M⁻¹] should be written out explicitly in the proof of Theorem 6.1.","section":"§6, proof of Theorem 6.1"}],"minor_comments":[{"comment":"Statement: \"the kernel of the ring homomorphism Φ_{v,v₁} : A(v) → A(v)\" should read A(v) → A(v₁).","section":"Theorem 2.84"},{"comment":"The notation (q)_∞ is defined as ∏_{i∈I}∏_{r≥1}(1−q^r), i.e. the |I|-th power of the standard (q)_∞. Since the formulas in §4 will be compared with the literature on Hua's identity, a warning remark (or a symbol such as (q)_∞^I) would prevent confusion. Similarly (q)_m in (4.2) is a product over I.","section":"§4.1, Remark 4.3"},{"comment":"The symbol \"sign\" in (−1)^sign is not defined; presumably it is the sum over i and r<s of the relevant exponents from Lemma 5.42. Please make it explicit.","section":"Eq. (5.45)"},{"comment":"The parameters θ_e are occasionally written ν_a (e.g. in the sentence after (2.17), in Lemma 2.81, and in the proof of Lemma 5.23). Please unify the notation.","section":"§2.5, Lemma 2.81, Lemma 5.23"},{"comment":"\"well-known to experts\" — a precise reference (e.g. [Neg23] or [FT22]) would be helpful here, since this lemma is what compares the refined and 3-variable wheel conditions.","section":"Lemma 5.23"},{"comment":"The defining sentence of I-colored multisets (\"Consider tuples of multisets of the form A=(A_i)...\") appears twice in succession.","section":"§2.1.4"},{"comment":"Definition 5.35 introduces both Supp Φ⁺_v(f) and its dominance closure with nearly identical notation, and the closure is subsequently typeset as \"Suppp\" (Lemma 5.38, proof of Theorem 5.32). Distinct symbols would improve readability of the induction.","section":"Definition 5.35"},{"comment":"Remark 5.59 honestly notes the lack of a membership criterion for S_Z; it would be worth adding a sentence comparing with the explicit integral wheel conditions of [JN26b, Definition 2.3], which the introduction already cites.","section":"§5.7.1"},{"comment":"Typographical: \"there is variant of the BFN construction\" → \"there is a variant\"; \"a version for Hua's formula\" → \"a version of\"; \"R_{G,N} carries an action of G_O⋊C*×F, were G_O is\" → \"where\"; repeated \"Consider tuples of mutisets\"; \"lsomorphism\" in the heading of §5.7.","section":"Abstract and passim"},{"comment":"The localization statement uses the Nullstellensatz over C after reducing to k=ℚ; one line justifying descent of the unit ideal from C to ℚ (faithful flatness) would make the step self-contained.","section":"§6.1, proof of Theorem 6.11"}],"recommendation":"minor_revision","confidential_remarks":"The results overlap substantially with independent ongoing work of Jindal–Neguţ ([JN26b], loop-nilpotent CoHA); the authors disclose this prominently in §1.4 and even state the resulting isomorphism (1.19), which seems the right way to handle it. The editor may wish to consider whether coordinated handling with the Jindal–Neguţ submission is appropriate. The self-citations [MW24, Wee19] supply genuinely needed inputs (FMO generation, spherical generation techniques) and do not seem padded."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The real news is that the closed embeddings of zastava spaces do quantize (unlike the Grassmannian-slice embeddings from their earlier paper), so they can form the inverse-limit algebras A and A^{+} for any quiver, including loops. These recover the Borel/unipotent Yangians in finite type, their Hilbert series match the Hua–Kac generating function via the monopole formula, and A^{+} is identified with the refined-wheel shuffle algebra. That identification plus Weekes’ spherical-generation result for Coulomb branches immediately gives Neguţ’s conjecture after localization at a mild multiplicative set.\n\nWhat they do well is keep the constructions intrinsic and generator-based. Fundamental monopole operators generate everything, the directed system is strictly filtered, freeness and base-change behave cleanly, and the FFT map is written so that the refined wheel conditions are exactly the divisibility needed to land inside A^{+}(v). The comparison with ordinary 3-variable wheels is honest: equality without loops, and equality after inverting the obvious loop factors otherwise. Concurrent CoHA work is cited and compared rather than ignored.\n\nThe only place that needs a careful eye is the inductive support-reduction in Theorem 5.32 when edge loops are present. You have to clear the precise denominators coming from the FFT formula while leaving the numerator pattern of the monopole operators; the key algebraic identity is the double-Pochhammer relation in the appendix. On inspection the exponents match Definition 5.14 exactly and the θ_e terms keep the loop factors coprime to the diagonal Vandermondes, so I do not see a gap. Still, that is the one long calculation where a sign or exponent slip would break both the isomorphism and the transfer of spherical generation. Everything else is standard graded-limit and Nullstellensatz bookkeeping.\n\nThis is for people already working with BFN Coulomb branches, shuffle algebras, or Yangians of general quivers. It is not a broad reorganization of the field, but it closes several open loops cleanly. I would send it to a serious referee without hesitation.","headline":"Solid geometric construction of limit quantized zastavas for arbitrary quivers, with a clean isomorphism to refined-wheel shuffles that proves Neguţ’s spherical-generation conjecture.","tokens_in":45946,"tokens_out":528,"would_cite":true,"duration_ms":11248,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B37","14M15","16G20","81R10"],"pacs":[],"model":"grok-4.5","headline":"Closed embeddings of quantized zastava spaces stabilize to a Borel-type Yangian whose positive part is a refined-wheel shuffle algebra, proving spherical generation after localization.","keywords":["Coulomb branches","quantized zastava","Kac polynomials","shuffle algebras","monopole operators","Yangians","spherical generation","BFN construction"],"falsifier":"Exhibit a concrete quiver with loops and a homogeneous element of the refined-wheel shuffle algebra whose image under the FFT map fails to lie in the corresponding positive quantized zastava, or whose image cannot be written as a product of fundamental monopole operators of restricted dressing.","tokens_in":45819,"feed_emoji":"∞","tokens_out":931,"duration_ms":27068,"temperature":0.7,"pith_summary":"The paper builds a limit algebra A from quantized zastava spaces of an arbitrary quiver by showing that natural closed embeddings of those spaces quantize, even though the analogous embeddings of affine Grassmannian slices do not. A plays the role of a Borel Yangian and contains a positive part A^{+} that plays the role of a unipotent Yangian; both have Hilbert series controlled by a limiting form of Hua’s formula for Kac polynomials. The positive part is identified with a shuffle algebra defined by refined wheel conditions, and the identification extends to an isomorphism of an enlarged shuffle algebra with the full limit A. Because the finite-level zastava algebras are spherically generated after a mild localization, the same holds for A^{+} and therefore for the shuffle algebra, confirming a conjecture of Neguţ.","feed_headline":"Limit zastava algebra is a Borel Yangian isomorphic to a shuffle algebra","feed_subtitle":"Embeddings quantize, Hilbert series match Hua’s Kac formula, and Neguţ’s spherical-generation conjecture follows","key_machinery":"The FFT homomorphism from the big shuffle algebra into localized difference operators, restricted to the refined-wheel subalgebra S; it is shown to be a filtered graded surjection onto each positive quantized zastava A^{+}(v) and to become an isomorphism in the limit S ≅ A^{+}.","core_discovery":"For any quiver the quantized zastava algebras form a directed system under quantized closed embeddings induced by fundamental monopole operators; their inverse limit A is generated by those operators, decomposes as Λ ⊗ A^{+}, has Hilbert series given by the limiting monopole formula (equivalently Hua’s generating function for Kac polynomials), and is isomorphic to an extended shuffle algebra whose positive part is the refined-wheel shuffle algebra. Localization at an explicit multiplicative set makes A^{+} spherically generated, proving Neguţ’s conjecture.","pith_inferences":["The isomorphism with the loop-nilpotent cohomological Hall algebra announced in concurrent work is now unconditional once both sides are identified with A⁺.","The same quantized-embedding technique should produce a limit object for Coulomb branches of quivers with symmetrizers once a substitute for generation by fundamental monopole operators is found.","Spherical generation after localization suggests that the associated graded of A^{+} admits a PBW-type basis indexed by multipartitions with restricted dressings, computable directly from the shuffle product."],"forward_implications":["The limit A supplies an intrinsic Borel Yangian for arbitrary quivers, including those with loops and multiple edges, without inverting the deformation parameter.","Hilbert series of A and A^{+} are completely determined by the Kac polynomials of the quiver via Hua’s identity.","After localization at the multiplicative set generated by closed-path linear forms, the shuffle algebra is generated by its degree-zero and simple-root components.","The same circle of ideas is expected to produce an analogous trigonometric (K-theoretic) limit zastava and an integral form of the shuffle algebra defined by explicit generators."],"fun_headline_variants":["Quantized zastava limit forms Borel Yangian isomorphic to shuffle algebra","Monopole embeddings quantize to yield zastava Borel Yangian A","Zastava inverse limit A matches Hua–Kac Hilbert series and shuffle algebra","Positive zastava algebra A⁺ is the refined-wheel shuffle algebra","Localized A⁺ spherically generated, proving Neguţ’s conjecture"],"cache_read_input_tokens":32896,"weakest_assumption_plain":"The refined wheel conditions are precisely the divisibility conditions that force the image of the FFT map to land inside every positive quantized zastava, and the inductive column-by-column lifting argument that proves this continues to work when the quiver has edge loops.","fun_headline_variants_meta":{"raw":{"variants":["Quantized zastava limit forms Borel Yangian isomorphic to shuffle algebra","Monopole embeddings quantize to yield zastava Borel Yangian A","Zastava inverse limit A matches Hua–Kac Hilbert series and shuffle algebra","Positive zastava algebra A⁺ is the refined-wheel shuffle algebra","Localized A⁺ spherically generated, proving Neguţ’s conjecture"]},"model":"grok-4.5","effort":"low","cost_usd":0.004112,"raw_usage":{"total_tokens":1253,"prompt_tokens":797,"num_sources_used":0,"completion_tokens":96,"cost_in_usd_ticks":41124000,"prompt_tokens_details":{"text_tokens":797,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":360,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":797,"tokens_out":96,"duration_ms":7216,"temperature":1.0,"reasoning_tokens":360,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-31T07:05:27.265306+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit a concrete quiver with loops and a homogeneous element of the refined-wheel shuffle algebra whose image under the FFT map fails to lie in the corresponding positive quantized zastava, or whose image cannot be written as a product of fundamental monopole operators of restricted dressing.","supporting_citations":[],"review_version":1}