{"id":"c2c12a40-e7ce-490f-8810-016002d3ef2d","arxiv_id":"2607.27596","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"Integral weight modules over truncated shifted iYangians are equivalent to nilpotent modules over newly defined interval orientifold KLR W algebras.","lead":"Truncated shifted iYangians are algebras thought to quantize pieces of affine Grassmannian slices. This paper builds new diagrammatic algebras (orientifold KLR W algebras) and proves that integral weight modules over these iYangians match nilpotent modules over the diagrammatic ones.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Parity polynomial representation faithfulness is asserted, not proved; this is the load-bearing gap for the Θ/Γ equivalence.","rationale":"The reader's weakest assumption correctly identifies the unproved faithfulness of the parity polynomial representation. This is the single most load-bearing gap because the proof of the main equivalence uses it directly to transfer relations from the polynomial model to arbitrary nilpotent modules. Other delegated results (Prop 3.4, Prop 3.8) are either standard or not needed for inclusion. The gap is a missing proof, not a known contradiction; therefore the verdict should remain CONDITIONAL rather than ACCEPT or REJECT.","tokens_in":39525,"tokens_out":20509,"duration_ms":203632,"concrete_test":"Independently prove faithfulness of P̃par by running the triangularity argument of Corollary 2.16 with the parity action (4.11): for every reduced Stendhal diagram D_{w,κ'} show the leading Bruhat coefficient q_w is a nonzero rational function (product of factors 1 or Y_i^{λ(r)_i}); equivalently, compute the rank of the matrix of P̃par on a finite-spanning set for the smallest nontrivial interval algebra (e.g., Q0={1,2}, τ(1)=2, no arrows, v_1=1, intervals 0..3) and check it equals the basis size.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central equivalence (Theorem 4.11) is constructed through functors Θ and Γ (Propositions 4.8 and 4.10) whose well-definedness is justified by the claim in Definition 4.5 that the parity polynomial representation P̃par of the interval oKLR W algebra is faithful. This claim is asserted to 'follow from similar arguments as in Corollary 2.16', but no proof is given. The parity modification (4.11) swaps the multiplicative/non-multiplicative red–black crossing actions according to the parity of the red strand; this is not a trivial relabelling, and the triangularity argument of Corollary 2.16 must be re-verified with the new leading coefficients. If P̃par were not faithful, the step 'Since the parity polynomial representation ... is faithful, its dot-adic completion is faithful as well. It follows that all relations satisfied by the generators of τFY are satisfied by the operators in (4.15)–(4.18)' would fail, so Θ and Γ could fail to be well-defined. The gap is addressable—the same triangularity method should work—but it is load-bearing and currently unproved.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops an orientifold analogue of the KTW+19 categorical equivalence. It introduces oKLR W algebras (combining the oKLR mirror formalism with Webster's red strands), KLR iYangians (double reflective KLR diagrams), and interval oKLR W algebras. The main result, Theorem 4.11 (restated as Theorem 1.1), asserts an equivalence between the category of finitely generated integral weight modules over the flag truncated shifted iYangian τFYλμ and the category of finitely generated nilpotent modules over the interval oKLR W algebra τ0Rλint. The proof constructs explicit functors Θ and Γ, and relies on a sequence of intermediate results: faithful polynomial representations for oKLR W algebras and KLR iYangians, an iGKLO embedding of the truncated shifted iYangian into a corner of the KLR iYangian, a Morita equivalence between the flag and non-flag shifted iYangians, and a parity-modified polynomial representation of the interval oKLR W algebra.","tokens_in":39751,"tokens_out":6094,"duration_ms":54778,"significance":"If fully substantiated, the main equivalence is a significant advance: it provides a diagrammatic, combinatorial description of weight modules for shifted iYangians associated to quivers with involution, parallel to and extending the untwisted KTW+19 results. The paper introduces several new algebraic objects (oKLR W algebras, KLR iYangians, interval oKLR W algebras) with explicit generators, relations, and polynomial representations, and it formulates precise functors between module categories. The explicit nature of the construction and the extensive use of diagrammatic methods are strengths. However, the paper does not contain machine-checked proofs or reproducible code; its correctness rests on a chain of technical verifications, several of which are currently asserted rather than demonstrated.","major_comments":[{"comment":"The faithfulness of the parity polynomial representation P̃par is load-bearing but not proved. Definition 4.5 simply states that faithfulness 'follows from similar arguments as in Corollary 2.16'. The parity modification (4.11) swaps the multiplicative and identity actions of red–black crossings depending on the parity of the red strand. This is not a trivial relabelling: the triangularity argument of Corollary 2.16 uses the explicit polynomial actions (2.19), (2.20), and (2.23), and the new convention changes the coefficients of the leading Bruhat terms for diagrams that include red–black crossings. Since Propositions 4.8 and 4.10 both invoke this faithfulness to conclude that the explicit operators (4.15)–(4.18) satisfy all relations of τFYλμ and τ0Rλint, a failure of faithfulness would make the functors Θ and Γ ill-defined and would invalidate Theorem 4.11. The gap is likely repairabl","section":"Definition 4.5, Eq. (4.11); Propositions 4.8 and 4.10"},{"comment":"The preservation of the polynomial subalgebra PΣ under the iGKLO action is asserted with a reference to 'the same manner as [KTW+19, Thm. 4.6]' but no proof or even a sketch is given. This step is load-bearing: the truncated shifted iYangian τYλμ is defined as the image of τYμ in End(PΣ), and the subsequent flag algebra τFYλμ is built from τYλμ. If the action only preserved Frac(P) and not PΣ, the entire construction would be ill-founded. Since the formulas (3.10)–(3.11) involve nontrivial rational expressions and shift operators, the pole cancellation that preserves PΣ is a substantive check. The authors should provide a full proof or at least a detailed lemma, rather than relying on an analogy with the untwisted case.","section":"Proposition 3.4"}],"minor_comments":[{"comment":"The last sentence of Definition 2.1 says 'We refer to λ as the framing weight of τμR', but the definition is for a dominant weight μ. This is a typo: it should refer to μ.","section":"Definition 2.1"},{"comment":"In the definition of PolλΩ, the index set is written as 'i∈Ω' but Ω is a set of interval configurations ν. This should be 'ν∈Ω'.","section":"Definition 4.5"},{"comment":"The notation eY^a_{i,r} is introduced directly after the display, but it is used inside the display. Moving the definition before the equation would improve readability.","section":"Proposition 4.8, Eq. (4.16)"},{"comment":"The assertion 'The intertwiner relations imply χ^2_{i,k}=1' is stated without proof. For the intertwiners defined in (3.29), this is not immediate from the displayed relations and should be either proved or referenced precisely.","section":"Theorem 4.11 proof"},{"comment":"The remark explains the orbit O_{1/4} and its two cosets, but it is somewhat dense. A short example of a non-self-dual orbit would help the reader understand the claimed limitation to integral parameters.","section":"Remark 4.2"}],"recommendation":"major_revision","confidential_remarks":"The paper is technically ambitious and clearly belongs to an active research program. The main concern is the unproved faithfulness of the parity polynomial representation, which is the cornerstone of the Θ/Γ equivalence. The authors also rely heavily on several unpublished preprints ([SSX], [LWW25a], [LWW25b]) for foundational results; the editor may wish to check that these are available and accepted. Overall, the result is believable and the gap is likely repairable, so I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know this paper is the first serious diagrammatic treatment of integral weight modules for truncated shifted iYangians, the twisted analogue of KTW+19. It introduces three new diagrammatic objects—oKLR W algebras, KLR iYangians, and interval oKLR W algebras—and proves a Morita equivalence between flag truncated shifted iYangians and these interval algebras, yielding a diagrammatic description of integral weight modules. The architecture follows KTW+19 closely, but the twisted setting demands genuinely new machinery: the parity polynomial representation, interval configurations, and double reflective KLR diagrams.\n\nThe good parts: the paper is careful and detailed. It ships explicit functors Θ and Γ with formulas, proves a diagrammatic basis theorem for oKLR W algebras, and gives a faithful polynomial representation for the KLR iYangian. The authors are candid about limitations: Remark 3.11 says fullness of the iGKLO representation remains open, and Remark 4.12 expects that the diagonal case reduces to KTW+19. The main theorem, if correct, is a substantial extension.\n\nThe soft spots are real but addressable. The load-bearing gap is Definition 4.5: the parity polynomial representation P̃par is asserted to be faithful “by similar arguments as in Corollary 2.16,” but no proof is given. That faithfulness is used in both Propositions 4.8 and 4.10 to conclude that the explicitly defined operators satisfy all relations of τFY. The parity modification swaps the multiplicative/non-multiplicative red–black crossing actions by parity of the red strand; this is not a trivial relabelling, and the triangularity argument of Corollary 2.16 needs to be re-verified with the new leading coefficients. I believe the claim is likely true—the same triangularity method should work—but currently it is asserted, not proved.\n\nThere are also several other “straightforward” checks that carry weight: preservation of PΣ under the iGKLO action in Proposition 3.4 is delegated to [SSX] and to KTW+19 Lemma 4.7. That is probably fine if [SSX] really proves it, but the paper should point explicitly to the statement. Remark 4.6 says the parity convention is essential to realize the framing factors of both Γ_{i,k} and Γ_{τi,k}. That is a design feature, but it means the parity representation is not a minor variant; it is the crux of the whole matching.\n\nWho this is for: specialists in representation theory of Yangians, KLR algebras, and Coulomb branches. A serious referee should engage; the paper deserves review, not desk rejection. If the parity faithfulness is supplied, I would expect this to become a standard reference. My recommendation: send it to a strong referee in diagrammatic categorification, with explicit instruction to check Proposition 4.5 and the nilHecke identities in Theorem 3.10.","headline":"First diagrammatic description of integral weight modules for shifted iYangians, with a real but addressable gap in the faithfulness of the parity polynomial representation.","tokens_in":40318,"tokens_out":2071,"would_cite":true,"duration_ms":21287,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B37","16G99"],"pacs":[],"model":"deepseek-v4-flash","headline":"Integral weight modules over truncated shifted iYangians are equivalent to nilpotent modules over interval oKLRW algebras.","keywords":["truncated shifted iYangians","oKLRW algebras","weight modules","quivers with involution","KLR iYangians","parity polynomial representation","affine Grassmannian slices","nilpotent modules"],"falsifier":"A non-zero element in the kernel of the parity polynomial representation (Definition 4.5) — for example, a non-zero diagram in τ0Rλint whose polynomial action vanishes — would invalidate the well-definedness of the functors Θ and Γ, and hence of Theorem 4.11.","tokens_in":39331,"feed_emoji":"🪞","tokens_out":4059,"duration_ms":31869,"temperature":0.7,"pith_summary":"The paper proves that the category of finitely generated integral-weight modules over a truncated shifted iYangian—an algebra expected to quantize components of affine Grassmannian slices fixed by an involution—is equivalent to the category of finitely generated nilpotent modules over an interval orientifold KLRW (oKLRW) algebra. The equivalence passes through a flag version of the iYangian and through a new diagrammatic algebra, the KLR iYangian, whose generators are double-reflective strand diagrams. On the diagrammatic side, the paper constructs faithful polynomial representations and explicit bases, so that integral weight spaces are encoded by configurations of strands in intervals between red strands. If correct, the result gives a combinatorial, diagrammatic description of integral weight modules for these twisted Yangians, analogous to the untwisted setting.","feed_headline":"Integral iYangian weights equal nilpotent interval oKLRW modules","feed_subtitle":"A mirror-plus-strands calculus gives a combinatorial handle on modules of quiver-with-involution Yangians.","key_machinery":"The central objects are the oKLRW algebras (diagrammatic algebras obtained by combining the mirror of orientifold KLR algebras with Webster's red strands) and the KLR iYangian, defined by double reflective KLR diagrams with two facing mirrors. The load-bearing identity is the parity polynomial representation (Definition 4.5, equation (4.11)): even-indexed red strands act by multiplication in the usual polynomial representation while odd-indexed red strands act by the opposite convention. This representation transfers the shift operators Γi,k and Γτi,k of the flag iYangian into long crossings and long reflections of strands between intervals, and its faithfulness is used to conclude that the","core_discovery":"Theorem 4.11 asserts that the functors Θ and Γ are mutually inverse equivalences τFYλμ-wtmod ≅ τ0Rλint-modnil. Here τFYλμ is the flag truncated shifted iYangian, Morita equivalent (Theorem 3.12) to the truncated shifted iYangian τYλμ, and τ0Rλint is the interval oKLRW algebra, an idempotent truncation of the oKLRW algebra whose objects are interval configurations of strands matching integral weight spaces. The functor Θ rebuilds a weight module by assigning a summand e(νa)M to each integral weight a, while Γ collects weakly increasing integral generalized weight spaces and equips them with the interval action. Combining this with the Morita equivalence yields a diagrammatic description of in","pith_inferences":["The faithfulness of the parity polynomial representation is asserted to follow from 'similar arguments' as Corollary 2.16, but the proof is not written out; a direct proof or a counterexample would settle whether the functors in Theorem 4.11 are well-defined.","The paper notes that the iGKLO representation is not known to be full; if fullness fails, the interval oKLRW algebra could be strictly larger than the image of the flag iYangian, refining the equivalence rather than breaking it.","The same interval/parity encoding suggests a route to defining category O for shifted iYangians via one-sided quotients of the interval oKLRW algebra, as the authors themselves propose.","A computational test for small quivers (e.g., type AIII with small vi) comparing weight-space dimensions computed from both sides would offer a concrete check of the equivalence."],"forward_implications":["Integral weight modules over truncated shifted iYangians reduce to finite combinatorial data: interval configurations of strands with nilpotent dot actions.","The Morita equivalence extends the result to ordinary (non-flag) truncated shifted iYangians, giving diagrammatic control over their integral weight modules.","The explicit functors Θ and Γ allow in principle the computation of weight spaces and intertwiners by manipulating strand diagrams.","The parity convention shows how an involution (mirror) must be encoded in polynomial representations, a feature that should transfer to other twisted Yangian settings.","For quivers of diagonal type, the equivalence reduces to the untwisted case, so the construction recovers the classical statement in that limit."],"fun_headline_variants":["iYangian weight modules mirror interval oKLRW modules","Diagrammatic bridge: iYangians to interval oKLRW algebras","Quiver-with-involution algebra gives iYangian module dictionary","oKLRW diagrams present integral iYangian modules","Interval oKLRW: diagram model for iYangian weights"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The parity polynomial representation of the interval oKLRW algebra is faithful, and the paper relies on this to show the explicit operators satisfy the iYangian relations, but the proof is only sketched by reference to a similar corollary.","fun_headline_variants_meta":{"raw":{"variants":["iYangian weight modules mirror interval oKLRW modules","Diagrammatic bridge: iYangians to interval oKLRW algebras","Quiver-with-involution algebra gives iYangian module dictionary","oKLRW diagrams present integral iYangian modules","Interval oKLRW: diagram model for iYangian weights"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.002203,"raw_usage":{"total_tokens":8322,"prompt_tokens":656,"completion_tokens":7666,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":400,"completion_tokens_details":{"reasoning_tokens":7578}},"tokens_in":400,"tokens_out":7666,"duration_ms":46130,"temperature":1.0,"reasoning_tokens":7578,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T05:00:58.009348+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A non-zero element in the kernel of the parity polynomial representation (Definition 4.5) — for example, a non-zero diagram in τ0Rλint whose polynomial action vanishes — would invalidate the well-definedness of the functors Θ and Γ, and hence of Theorem 4.11.","supporting_citations":[],"review_version":1}