{"id":"3a57c828-a818-4523-84aa-0043d3b991d3","arxiv_id":"2608.12162","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors extend the Etingof-Kazhdan quantum vertex algebra construction and the critical-level central element construction from the double Yangian of gl_M to the Lie superalgebra gl_{M|N}.","lead":"This paper builds the supersymmetric version of the double Yangian quantum vertex algebra: it constructs central elements at the critical level and equips the vacuum module of gl_{M|N} with an h-adic quantum vertex superalgebra structure. It then shows restricted modules of the associated reflection algebra become quasi modules of that vertex superalgebra, extending known results from the even case gl_M to the super case.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.3's proof establishes only the T^- commutation; the T^+ commutation required for centrality is deferred to the even case without a super-case verification, leaving the center construction incomplete.","rationale":"The paper's abstract announces three results; the center construction is the first and underpins the interpretation of critical-level invariants. The proof of Theorem 3.3 explicitly reduces centrality to two commutation identities and then proves only one. The other is deferred to an even-case reference. This is not an internal inconsistency, but it is a missing proof in a key step. The reader's weakest assumption focused on Theorem 4.3(1)'s deferred quantum-vertex-algebra axioms, which is also a real gap; however, the T^+ identity in Theorem 3.3 is more localized and more directly testable, and if it fails the algebraic center result is wrong. The proposed check—explicitly computing the commutator for λ=(1) and then n=2—would settle the issue with modest effort. Until then, the appropriate verdict remains CONDITIONAL: the paper should be accepted only if the omitted identity is supplied or verified. This does not change the reader's existing CONDITIONAL verdict.","tokens_in":16247,"tokens_out":25971,"duration_ms":193171,"concrete_test":"Independently verify the omitted T^+ commutation for the smallest nontrivial case: take λ=(1) (n=1), so T_λ(u)=str_1 T^+_1(u)T^-_1(u+κ)^{-1}, and compute [T^+_0(z), T_λ(u)] using the defining relations (2.6)-(2.7) with the graded R-matrix (2.1) and supertrace (3.1), for a concrete pair like (M,N)=(2,1). If the commutator does not vanish identically as a formal series in z,u, Theorem 3.3 fails. If it vanishes, extend the same check to n=2 with a non-trivial tableau to test the E_U manipulations in the missing identity.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central-elements result (Theorem 3.3) is a main claim of the paper: all coefficients of T_λ(u) in (3.14) must lie in the center of \\widehat{DY}^{crit}(gl_{M|N}). The proof says 'It suffices to show that T^+_0(z)T_λ(u)=T_λ(u)T^+_0(z) and T^-_0(z)T_λ(u)=T_λ(u)T^-_0(z)', and then presents only the second identity in detail, stating that the first 'can be verified by arguing as in the proof of [11, Thm. 4.4]'. The even-case proof cannot be assumed to carry over verbatim: the super R-matrix (2.1) contains graded signs in the permutation P, the supertrace (3.1) is graded-cyclic, and the crossing symmetry (2.4) involves the supertransposition. In the omitted T^+ identity, the signs accumulate differently when moving T^+_0(z) past the product T^+_1...T^+_n T^-_n^{-1}...T^-_1^{-1}. If the T^+ identity fails for any tableau or any M≠N, the center at the critical level is not as claimed, and Corollaries 3.4 and 3.5 (and the vertex-algebra interpretation in Corollary 4.4) collapse. This is a load-bearing gap, not a stylistic omission.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the double Yangian DY(gl_{M|N}) in its R-matrix presentation, continuing the authors' prior work. Section 3 constructs a family of formal power series T_λ(u) via the fusion procedure and the supertrace over Young tableaux, and claims (Theorem 3.3) that all their coefficients belong to the center of the completion of the double Yangian at the critical level. Section 4 defines a structure of h-adic quantum vertex superalgebra on the vacuum module V^c(gl_{M|N}), giving an explicit vertex operator map (4.11) and braiding (4.12), and identifies the critical-level central elements with the center of the vertex superalgebra. Section 5 shows that restricted modules over the reflection algebra DB(gl_{M|N}) carry a natural quasi V^0(gl_{M|N})-module structure. The results generalize the even-type-A constructions of Etingof-Kazhdan, Jing-Kozic-Molev-Yang, and Kozic to the super setting.","tokens_in":1652,"tokens_out":2008,"duration_ms":73408,"significance":"If the main theorems hold, the paper provides a supersymmetric counterpart of the Etingof-Kazhdan quantum vertex algebra construction in the rational R-matrix presentation, together with explicit central elements at the critical level. The explicit formulas for the central series T_λ(u) (3.14), the vertex operator map (4.11), and the braiding (4.12) are valuable, and the treatment of the supertrace identities and fusion procedure is careful. The paper also connects the construction to reflection algebras. The principal weakness is that several load-bearing proofs are deferred to even-case analogues or described as direct extensions without checking the super signs, which prevents the manuscript from being fully convincing as written.","major_comments":[{"comment":"The proof establishes only the commutativity of T_λ(u) with T^-_0(z), while the commutativity with T^+_0(z) is dismissed with 'Both identities can be verified by arguing as in the proof of [11, Thm. 4.4]' and only the second is presented. This is load-bearing for the central-elements claim: the super R-matrix (2.1) contains the graded permutation P, the supertrace (3.1) is graded-cyclic, and the crossing symmetry (2.4) involves the supertransposition (2.5). In the omitted T^+ identity the signs accumulate differently when moving T^+_0(z) past the product T^+_1...T^+_n (T^-_n)^{-1}...(T^-_1)^{-1}. Please provide the full derivation of the T^+ identity, or at least a step-by-step indication of how (3.11), (3.13), (3.6), and (2.4) are used in the super case; without this, Corollaries 3.4 and 3.5 and the vertex-algebra interpretation in Corollary 4.4 are not fully supported.","section":null},{"comment":"The proof verifies only the Z_2-grading restrictions (4.6) and (4.7) and the sign in S-locality (4.8). The remaining axioms of Definition 4.1, namely weak associativity, shift condition, quantum Yang-Baxter equation, unitarity, and hexagon identity, are asserted to follow from the even-case proofs in [7] and [11] by direct extension. Since the vertex operator map (4.11) and braiding (4.12) involve ordered products of T^± with shifts by hc/2 and R-matrices acting on multiple tensor factors, hidden super-sign or ordering issues could invalidate those axioms. Please provide the verification of at least weak associativity and the hexagon identity in the super setting, or state precisely which steps are letter-for-letter the same as in the even case and why the Z_2-grading does not alter them.","section":"Section 4, Theorem 4.3(1)"},{"comment":"The proof is deferred in full to [17, Thm. 2.7] with the remark that the computations are 'lengthy but standard'. As Theorem 5.1 is one of the paper's main results, the manuscript should contain a proof outline showing how the reflection relations and the quasi-module axioms are checked, and in particular how the grading restriction (4.9), which is claimed to be an 'immediate consequence' of the module structure over an associative superalgebra, is established.","section":"Section 5, Theorem 5.1"},{"comment":"The theorem statement asserts existence and uniqueness of the h-adic quantum vertex superalgebra structure, but the proof only addresses existence. Uniqueness is not demonstrated; please either prove it explicitly or state clearly that it follows from the uniqueness of the vertex operator map (4.11) and the braiding (4.12) as in the even case.","section":"Section 4, Theorem 4.3"}],"minor_comments":[{"comment":"The sentence 'The first equality follows analogously' should read 'The second equality follows analogously', since the first equality of (3.13) has just been proved.","section":"Lemma 3.2, proof"},{"comment":"The phrase 'a distinct element of V_\\bar0' should be 'a distinguished element of V_\\bar0'.","section":"Definition 4.1(3)"},{"comment":"The claim that the C[[h]]-span of [V] is h-adically dense in V^c(gl_{M|N}) is stated without proof; a brief justification would improve the readability of the grading argument.","section":"Section 4, proof of Theorem 4.3(1)"},{"comment":"The phrase 'structure of h-adic quantum vertex superalgebra' is missing the indefinite article; it should read 'an h-adic quantum vertex superalgebra'.","section":"Abstract"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is a natural continuation of the authors' earlier work and the even-case results it builds on. The central constructions appear plausible and are explicitly formulated, but the paper currently leaves three main theorems (3.3, 4.3, 5.1) with significant proof gaps: the T^+ commutativity, the remaining quantum vertex superalgebra axioms, and the quasi-module computation. These are fillable in principle, so rejection is not warranted, but a revision must contain the missing arguments or a detailed super-case verification. I recommend major_revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe short version: this is a genuine extension of the even-type double Yangian story to gl_{M|N}, with real new content in the critical-level center, the h-adic quantum vertex superalgebra structure, and the reflection-algebra quasi modules. The supersymmetric signs are handled carefully in Section 3, and the fusion procedure setup is clean. But the paper as written leaves two load-bearing proof obligations to 'direct extension' of even-case arguments, and at least one of those is nontrivial enough that I wouldn't wave it through.\n\nWhat's new: Theorem 3.3 constructs tableau-indexed central series in the critical-level completion, which in the super case is genuinely new; the even analogue is [11], and the trigonometric super analogue is [12], but this paper is the first to do the R-matrix double Yangian super case. Theorem 4.3 gives the QVSA structure on V^c(gl_{M|N}) with the explicit vertex operator map (4.11), and Theorem 5.1 gives the quasi-module structure from reflection algebras. The Z_2-grading checks in Section 4 are done explicitly, and the sign in S-locality is the right one.\n\nThe soft spots are real but not fatal. In Theorem 3.3, the proof says 'Both identities can be verified as in [11, Thm. 4.4]', then gives only the T^- commutation. The omitted T^+ identity is not a formality: the super R-matrix, supertrace, and supertransposition all have signs that differ from the even case, and the T^+ move involves both (2.6) and (2.7). The stress-test note is right that if that identity fails, the central-elements claim and its corollaries collapse. I believe it's probably fixable, but the authors need to write it out or state precisely which even-case lemma carries over and why the signs work.\n\nSimilarly, Theorem 4.3(1) checks the grading restrictions and the S-locality sign, but defers weak associativity, hexagon, shift, unitarity, and QYBE to 'direct extension' of [7] and [11]. That's a lot to defer, and the super case can hide signs in the braiding. Theorem 5.1 is deferred to [17] in one sentence. These are presentation gaps, not obvious errors.\n\nThe citation pattern is fine; the load-bearing reliance on [2] for PBW is legitimate since that's the authors' prior proven result. No parameter fitting or invented entities. If I were editor, I'd send this to a referee who knows the even-case machinery, and ask the authors to supply the missing T^+ computation and a detailed check of the QVSA axioms. It deserves a serious referee, but not acceptance as is.","headline":"A genuine super-case extension of the Etingof–Kazhdan construction with real new content, but two of the three main theorems lean on deferred even-case proofs; worth refereeing, needs revision.","tokens_in":17110,"tokens_out":2435,"would_cite":true,"duration_ms":20157,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B37","17B69","81R12"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that the double Yangian of the Lie superalgebra $\\mathfrak{gl}_{M|N}$ has tableaux-indexed central series at the critical level and that its vacuum module carries an $h$-adic quantum vertex superalgebra structure.","keywords":["double Yangian","Lie superalgebra","quantum vertex superalgebra","critical level","central elements","reflection algebra","vacuum module","Young tableaux"],"falsifier":"Take $M=1$, $N=2$ and two odd elements of $V^c(\\mathfrak{gl}_{1|2})$; expand the hexagon identity and weak associativity determined by formulas (4.11) and (4.12) as power series in $h$ and $z$, and check the coefficient of $h^3$ in the relevant matrix entries. Any nonzero remainder would refute the asserted direct extension of the even-case proof.","tokens_in":15973,"feed_emoji":"🧮","tokens_out":9051,"duration_ms":80055,"temperature":0.7,"pith_summary":"This paper pushes the quantum vertex algebra construction from ordinary Yangians to the Lie superalgebra $\\mathfrak{gl}_{M|N}$. It constructs, for every Young tableau shape $\\lambda$, a formal series $T_\\lambda(u)$ in a completion of the double Yangian at critical level $c=N-M$, and proves that all of its coefficients are central. It then equips the vacuum module $V^c(\\mathfrak{gl}_{M|N})$ with a unique $h$-adic quantum vertex superalgebra structure, so that restricted double-Yangian modules at level $c$ become modules for this superalgebra. Finally, restricted modules over the associated reflection algebra are shown to carry natural quasi-$V^0$-module structures. If correct, the paper provides the super analogue of the rational quantum vertex algebra construction and a supply of commuting quantities in the critical-level algebra.","feed_headline":"Super vacuum module becomes a quantum vertex algebra","feed_subtitle":"Tableaux-indexed central series appear at the critical level, and reflection algebra modules become quasi-modules.","key_machinery":"The central machinery is the rational $R$-matrix $R(u)$ together with its normalized form $\\bar R(u)=g(u)R(u)$, the supertrace identities, and the symmetric-group fusion procedure that turns a standard Young tableau $U$ of shape $\\lambda$ into an idempotent $E_U$. These ingredients define $T_\\lambda(u) = \\mathrm{str}_{1,\\ldots,n}\\,E_U\\,T^+_1(u+c_1)\\cdots T^+_n(u+c_n)\\,T^-_n(u+c_n+\\kappa)^{-1}\\cdots T^-_1(u+c_1+\\kappa)^{-1}$; the same $R$-matrix, through the quantum current $T(u)=T^+(u)T^-(u+hC/2)^{-1}$, gives the vertex operator map and braiding on $V^c(\\mathfrak{gl}_{M|N})$.","core_discovery":"The central claim is that the supersymmetric double Yangian for $\\mathfrak{gl}_{M|N}$ supports the same three structures known in the even case: a family of central series in the completed critical-level algebra, indexed by partitions and defined through normally ordered products of quantum currents; a unique $h$-adic quantum vertex superalgebra structure on the vacuum module $V^c(\\mathfrak{gl}_{M|N})$, with vertex operator map $Y(T^+_{[n]}(u)1,z) = T^+_{[n]}(u|z)\\,T^-_{[n]}(u|z+hc/2)^{-1}$ and braiding built from the rational $R$-matrix; and a quasi-module structure on restricted reflection-algebra modules, with $Y_W(T^+_{[n]}(u)1,z)=B^+_{[n]}(u|z)_W\\,B^-_{[n]}(u|z)_W^{-1}$. The proof of centrality moves the tableau idempotent $E_U$ through $R$-matrices and $T$-factors using crossing symmetry and supertrace identities; the vertex algebra part verifies the $\\mathbb{Z}_2$-grading restrictions and the sign in S-locality, with the remaining axioms asserted to follow from the even case.","pith_inferences":["If the $h$-adic super structure is valid, the central series $T_\\lambda(u)$ should specialize to commuting transfer matrices in super spin-chain models with $\\mathfrak{gl}_{M|N}$ symmetry, matching the known invariants in the trigonometric super case.","The same construction might adapt to trigonometric or elliptic $R$-matrices, producing quantum vertex superalgebras for affine super Yangians, provided the crossing-symmetry normalization survives.","The tableau parametrization raises the natural question of whether the coefficients of $T_\\lambda(u)$ at the critical level are algebraically independent, and whether the lowest-degree coefficient recovers the super analogue of a Sugawara-type operator."],"forward_implications":["The coefficients of $T_\\lambda(u)$ lie in the center of the completed critical-level double Yangian, so they act as scalars on every irreducible critical-level module.","Every restricted $\\mathrm{DY}(\\mathfrak{gl}_{M|N})$-module of level $c$ carries a module structure over the quantum vertex superalgebra $V^c(\\mathfrak{gl}_{M|N})$.","Restricted reflection-algebra modules realize quasi-modules of $V^0(\\mathfrak{gl}_{M|N})$, connecting reflection data to quantum vertex superalgebra actions.","At the critical level, the invariant series $T^+_\\lambda(u)$ belong to the center of $V^{N-M}$, and their coefficients generate a commutative subalgebra of the dual Yangian."],"supporting_citations":[{"why":"Defines the double Yangian for $\\mathfrak{gl}_{M|N}$ in the R-matrix presentation and supplies the PBW theorem used throughout.","marker":"[2]"},{"why":"Supplies the even-case construction of quantum vertex algebra structure on the vacuum module that Theorem 4.3 extends to the super setting.","marker":"[6]"},{"why":"Provides the detailed even-case verification of the quantum vertex algebra axioms invoked in the proof of Theorem 4.3.","marker":"[7]"},{"why":"Gives the even-type central elements at the critical level and the proof pattern that Theorem 3.3 generalizes.","marker":"[11]"},{"why":"Introduces the fusion procedure that produces the Young-tableau idempotents $E_U$ used to define $T_\\lambda(u)$.","marker":"[13]"},{"why":"Establishes the even counterpart of the quasi-module construction for reflection algebras that Theorem 5.1 extends.","marker":"[17]"},{"why":"Supplies the definition of $h$-adic quantum vertex algebras and modules that the super Definitions 4.1 and 4.2 adapt.","marker":"[18]"},{"why":"Contains the fusion procedure statement and normalization needed for the primitive idempotents.","marker":"[20]"},{"why":"Introduces the reflection algebras whose restricted modules are used in Section 5.","marker":"[22]"},{"why":"Supplies the quantum current commutation relation underlying the vertex operator map and S-locality.","marker":"[25]"}],"fun_headline_variants":["Super vacuum module of gl_{M|N} double Yangian becomes quantum vertex algebra","Critical-level central elements and quantum vertex structure for gl_{M|N}","Reflection algebra modules are quasi-modules of gl_{M|N} quantum vertex algebra","gl_{M|N} double Yangian: central series, vertex algebra, quasi-modules","Quantum vertex superalgebra on vacuum module of super double Yangian"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof of the vacuum-module theorem assumes, without writing out the details, that all quantum vertex superalgebra axioms except the $\\mathbb{Z}_2$-grading restrictions and the sign in S-locality follow by direct extension of the even-case proofs; if hidden sign or ordering issues appear in weak associativity, the hexagon identity, the shift condition, unitarity, or the quantum Yang-Baxter equation, the vacuum-module construction would fail.","fun_headline_variants_meta":{"raw":{"variants":["Super vacuum module of gl_{M|N} double Yangian becomes quantum vertex algebra","Critical-level central elements and quantum vertex structure for gl_{M|N}","Reflection algebra modules are quasi-modules of gl_{M|N} quantum vertex algebra","gl_{M|N} double Yangian: central series, vertex algebra, quasi-modules","Quantum vertex superalgebra on vacuum module of super double Yangian"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00042,"raw_usage":{"total_tokens":2165,"prompt_tokens":951,"completion_tokens":1214,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":567,"completion_tokens_details":{"reasoning_tokens":1107}},"tokens_in":567,"tokens_out":1214,"duration_ms":10240,"temperature":1.0,"reasoning_tokens":1107,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T00:13:56.220709+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $M=1$, $N=2$ and two odd elements of $V^c(\\mathfrak{gl}_{1|2})$; expand the hexagon identity and weak associativity determined by formulas (4.11) and (4.12) as power series in $h$ and $z$, and check the coefficient of $h^3$ in the relevant matrix entries. Any nonzero remainder would refute the asserted direct extension of the even-case proof.","supporting_citations":[{"cited_title":"Double Yangian and reflection algebras of the Lie superalgebra $\\mathfrak{gl}_{m|n}$","cited_arxiv_id":"2311.02410","evidence_quote":"Defines the double Yangian for $\\mathfrak{gl}_{M|N}$ in the R-matrix presentation and supplies the PBW theorem used throughout."},{"cited_title":"Gardini,Quantum vertex algebras, Ph.D","cited_arxiv_id":null,"evidence_quote":"Provides the detailed even-case verification of the quantum vertex algebra axioms invoked in the proof of Theorem 4.3."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the even-type central elements at the critical level and the proof pattern that Theorem 3.3 generalizes."},{"cited_title":"Quasi modules for the quantum affine vertex algebra in type $A$","cited_arxiv_id":"1707.09542","evidence_quote":"Establishes the even counterpart of the quasi-module construction for reflection algebras that Theorem 5.1 extends."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the quantum current commutation relation underlying the vertex operator map and S-locality."}],"review_version":1}