{"id":"657e20cb-3a77-44d0-ae52-e9018bb0275b","arxiv_id":"2604.00124","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"BPS Lie algebras of zero-potential quivers are described explicitly by equating the COHA perverse filtration with polynomial limit conditions; a partial extension and a conjecture cover nonzero potentials.","lead":"The authors give an explicit description of the BPS Lie algebra for any quiver with zero potential, by matching the perverse filtration on the cohomological Hall algebra to limit conditions on polynomials. Specialists in geometric representation theory and Donaldson–Thomas theory may care because it turns a hard geometric filtration into concrete algebraic data and partially extends to nonzero potentials.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified beyond the abstract-only information deficit already flagged by the reader.","rationale":"The reader’s UNVERDICTED / LOW-confidence assessment is the only defensible position given an abstract-only review of a pure-math paper whose main theorem is an identification between a geometric filtration and an algebraic condition. That identification is exactly the load-bearing step; without proofs, equations or examples it cannot be audited further. No additional internal inconsistency or hidden assumption is visible, so the stress-test finds no reason to move the verdict. The concrete test simply operationalizes the verification that the information deficit currently prevents.","tokens_in":1841,"tokens_out":384,"duration_ms":4608,"concrete_test":"Obtain the full preprint (or at least the statement and proof of the main theorem equating the perverse filtration with the polynomial limit conditions). Independently verify that the stated limit conditions recover the known BPS Lie algebra for at least one non-trivial zero-potential quiver whose BPS algebra is already computed by other means (e.g., a finite-type or affine quiver). If the match fails, the identification is incomplete; if it holds and the proof is free of circular appeal to BPS data, the claim stands.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that for zero-potential quivers the geometric perverse filtration on the COHA is completely captured by algebraic limit conditions on polynomials in the shuffle presentation, yielding an explicit description of the BPS Lie algebra. With only the abstract available, that identification cannot be checked for hidden assumptions, range of validity, or circularity with known BPS data. The reader already isolates precisely this identification as the weakest assumption and correctly withholds a verdict. No further load-bearing technical flaw can be substantiated from the given material; manufacturing one would violate good-faith review.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The manuscript claims an explicit description of the BPS Lie algebra of any quiver with zero potential, obtained by identifying the geometric perverse filtration on the cohomological Hall algebra with certain algebraic limit conditions on polynomials in a shuffle presentation. It further asserts a partial description of the perverse filtration for arbitrary potential, together with a conjecture that this description is complete for tripled quivers equipped with the canonical cubic potential.","tokens_in":1886,"tokens_out":542,"duration_ms":13681,"significance":"If the claimed identification holds, the work would supply a concrete algebraic model for BPS Lie algebras of zero-potential quivers, linking the geometric perverse filtration on COHA to shuffle-algebra data and thereby making these structures more accessible for computation and comparison. The partial results and the conjecture for nonzero potentials would likewise clarify the extent to which the same algebraic conditions capture the filtration in the presence of a potential. Such a description would be a useful contribution to geometric representation theory and Donaldson–Thomas theory.","major_comments":[{"comment":"Only the abstract is available for review. The central load-bearing claim—that the geometric perverse filtration on the COHA is completely captured, for zero potential, by the stated algebraic limit conditions on polynomials—cannot be checked for correctness, range of validity, or hidden assumptions without the proofs, definitions, and examples that would appear in the body of the paper. A full technical assessment is therefore impossible on the present material.","section":"Abstract"},{"comment":"The abstract asserts a partial description for arbitrary potential and a completeness conjecture for tripled quivers with canonical cubic potential, but supplies no statement of what is proved versus what is conjectured, nor any indication of the evidence supporting the conjecture. Without the corresponding sections, the strength of these claims cannot be evaluated.","section":"Abstract"}],"minor_comments":[{"comment":"The abstract is concise but does not name the precise class of shuffle algebras or the form of the limit conditions; a one-sentence expansion would help readers locate the result relative to existing literature on COHA and BPS algebras.","section":"Abstract"}],"recommendation":"uncertain","confidential_remarks":"This is an abstract-only review: the full text of arXiv:2604.00124 was not provided. No load-bearing technical error can be substantiated or refuted from the abstract alone. I recommend that the editor supply the complete manuscript before a definitive recommendation is issued; with only the abstract, the appropriate recommendation is uncertain."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The one thing you need to know is that this paper claims a clean, explicit description of the BPS Lie algebra for every quiver with zero potential, by matching the geometric perverse filtration on the COHA to certain polynomial limit conditions in the shuffle algebra. That is the main theorem. For nonzero potential they get a partial description and conjecture completeness for the usual tripled quivers with cubic potential.\n\nWhat is actually new is the comparison itself: turning the geometric filtration into concrete algebraic conditions that let you write down the BPS Lie algebra without further geometry. If the identification works, it organizes a central object in geometric representation theory and DT theory and should make more computations feasible. The abstract is careful about the scope—full for zero potential, partial plus conjecture otherwise—so they are not overselling.\n\nThe soft spot is obvious and proportionate: we only have the abstract. No proofs, no examples, no explicit formulas to check. The load-bearing step is precisely that the perverse filtration is completely captured by those polynomial limits; the reader correctly flags this as the weakest assumption, and the stress-test finds nothing worse. Circularity risk looks low from the framing (two a priori different structures being compared), but without the text we cannot audit it. Everything else—novelty within the subfield, significance for people who work with COHAs and BPS algebras—looks solid on the face of it.\n\nThis is for specialists in geometric representation theory, quantum groups, and Donaldson–Thomas theory who already care about COHAs and BPS Lie algebras. A serious referee in that circle should see it. I would send it to peer review rather than desk-reject; the claim is sharp enough and the authors flag the limits of what they prove. Whether the proofs survive is for the referees to decide.","headline":"Abstract-only claim of an explicit algebraic description of BPS Lie algebras for zero-potential quivers via perverse filtrations and shuffle limits; looks like real progress in the subfield if the proofs hold.","tokens_in":2544,"tokens_out":465,"would_cite":false,"duration_ms":8571,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B37","14F08","16G20"],"pacs":[],"model":"grok-4.5","headline":"The BPS Lie algebra of any quiver with zero potential has an explicit description via limit conditions on shuffle polynomials.","keywords":["BPS Lie algebra","cohomological Hall algebra","perverse filtration","shuffle algebra","quiver with potential","representation theory"],"falsifier":"For a concrete quiver with zero potential whose BPS Lie algebra is already known by other means, check whether the polynomials that satisfy the authors' limit conditions recover exactly those known generators and no others.","tokens_in":2652,"feed_emoji":"🧮","tokens_out":540,"duration_ms":3962,"temperature":0.7,"pith_summary":"This paper claims that the BPS Lie algebra attached to any quiver with zero potential can be written down explicitly. The authors relate the perverse filtration on the cohomological Hall algebra to concrete limit conditions on polynomials that appear in the shuffle presentation of that algebra. With that identification in hand, the graded pieces that define the BPS Lie algebra become algebraic rather than geometric, so one can describe them by inspecting which polynomials satisfy the limits. The same method yields a partial description of the perverse filtration for quivers with nonzero potential, and the authors conjecture that the description becomes complete for the special class of tripled quivers equipped with their canonical cubic potential. A sympathetic reader cares because the BPS Lie algebra packages enumerative and representation-theoretic information that is usually hard to access; an explicit shuffle description turns that package into something one can compute with.","feed_headline":"BPS Lie algebras get explicit shuffle descriptions for zero potential","feed_subtitle":"Limit conditions on polynomials turn the geometric perverse filtration into algebra one can write down","key_machinery":"The identification between the perverse filtration on the cohomological Hall algebra and limit conditions on shuffle polynomials: this dictionary converts a geometric filtration into an algebraic one and thereby produces the explicit generators of the BPS Lie algebra.","core_discovery":"For any quiver with zero potential, the BPS Lie algebra admits an explicit algebraic description obtained by identifying the geometric perverse filtration on its cohomological Hall algebra with certain limit conditions on the polynomials that appear in the shuffle algebra presentation.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["BPS Lie algebras of zero-potential quivers get explicit shuffle forms","Perverse filtration equals polynomial limits for BPS Lie algebras","Explicit shuffle algebra description of BPS Lie algebras without potential","Zero-potential quivers: BPS Lie algebras via shuffle polynomial limits","COHA perverse filtration yields explicit BPS Lie algebra shuffles"],"cache_read_input_tokens":128,"weakest_assumption_plain":"That the geometric perverse filtration on the cohomological Hall algebra is completely captured, when the potential is zero, by the stated algebraic limit conditions on polynomials in the shuffle presentation.","fun_headline_variants_meta":{"raw":{"variants":["BPS Lie algebras of zero-potential quivers get explicit shuffle forms","Perverse filtration equals polynomial limits for BPS Lie algebras","Explicit shuffle algebra description of BPS Lie algebras without potential","Zero-potential quivers: BPS Lie algebras via shuffle polynomial limits","COHA perverse filtration yields explicit BPS Lie algebra shuffles"]},"model":"grok-4.5","effort":"low","cost_usd":0.004768,"raw_usage":{"total_tokens":1230,"prompt_tokens":557,"num_sources_used":0,"completion_tokens":86,"cost_in_usd_ticks":47680000,"prompt_tokens_details":{"text_tokens":557,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":587,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":557,"tokens_out":86,"duration_ms":5351,"temperature":1.0,"reasoning_tokens":587,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-13T15:20:47.412998+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"For a concrete quiver with zero potential whose BPS Lie algebra is already known by other means, check whether the polynomials that satisfy the authors' limit conditions recover exactly those known generators and no others.","supporting_citations":[],"review_version":1}