{"id":"9696308f-9505-40d0-b871-4d696c32c5e8","arxiv_id":"2507.22738","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Explicit Segal-Sugawara vectors for the affine vertex algebra of osp_{M|2n} at the critical level are constructed using a new extended Brauer-type algebra.","lead":"The paper writes down explicit formulas for Segal-Sugawara vectors, special commuting elements in the affine vertex algebra of the orthosymplectic Lie superalgebra at the critical level. These explicit elements are expected to be the building blocks for the Feigin-Frenkel center and for quantum integrable systems with orthosymplectic symmetry.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Most load-bearing concern: the transfer from abstract annihilation in B̂_{2m+1}(ω) to the concrete elements Φ_m rests entirely on the sign-sensitive homomorphism ρ (Prop. 3.3) and the supertrace relation (3.6), both left as 'straightforward' checks; a parity-sign error there would break Theorem 2.1.","rationale":"The reader's weakest assumption is Proposition 3.3, and I agree that this is the most load-bearing point. The proof of Theorem 2.1 has two logically distinct stages: an abstract construction of Segal–Sugawara-type vectors in a new Brauer-type algebra, and a concrete interpretation of those vectors in the vacuum module of osp_{M|2n}. The first stage is supported by detailed though partly delegated calculations; the second stage is the only bridge from the abstract annihilation to the explicit formula (2.6). If the parity signs in P_{ab}, Q_{ab}, or F[r]_a are wrong, the map ρ is not a homomorphism, and the conclusion that Φ_m lies in the Feigin–Frenkel centre does not follow. A strength of the paper is that the final formula (2.6) is explicit enough to be tested independently in small cases, so the concern is checkable rather than structural. Other potential concerns, such as removable singularities in the symmetriser or the coefficient computation in Proposition 4.7, are less threatening because the final integral form is over C[ω] and could be checked directly. The reader's CONDITIONAL verdict already reflects exactly this need for independent verification of the sign-sensitive transfer, so no change of verdict is needed. If the proposed test passes, I would regard the central claim as well-supported and would be inclined toward ACCEPT. If it fails, the paper would need a corrected definition of ρ or a corrected parity factor before Theorem 2.1 could be sustained.","tokens_in":17621,"tokens_out":28477,"duration_ms":330455,"concrete_test":"Verify Proposition 3.3 symbolically in the smallest nontrivial case osp_{1|2} (M=1,n=1): with the explicit P_{01}, Q_{01}, F[r]_0, F[s]_1 taken from §2.1, expand the defining relation (3.7) for r=0,s=-1 and for r=s=0 as matrices in (End C^{1|2})^{⊗2}⊗U; also check (3.6) with X equal to each matrix unit e_{ij} in the first copy. If any of these equalities fails, the map ρ is not a homomorphism and Theorem 2.1 is not established; if they all hold, the delegated verification is credible and the proof can be accepted as written.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central theorem is proved by an abstract transfer: Propositions 4.1–4.7 establish annihilation in the auxiliary algebra B̂_{2m+1}(ω), and then the homomorphism ρ of Proposition 3.3 sends the abstract vectors ϕ_m to Φ_m Q(m), so their annihilation becomes F[0]_0Φ_m = 0 and F[1]_0Φ_m = 0. Proposition 3.3 is asserted with the comment that the verification is straightforward, and the prior relation (3.6), which is needed to identify q-traces with supertraces, is also stated as an easily verified property. These are exactly the places where superalgebra parity signs enter: the definitions of P_{ab}, Q_{ab}, and F[r]_a in §2 contain several factors of (-1) in ī, j̄, and ε_i ε_j. A single sign error would make ρ fail to be a homomorphism, or would make ρ(ϕ_m) equal something other than Φ_m Q(m), so the conclusion F[0]_0Φ_m = F[1]_0Φ_m = 0 would no longer follow. The same applies to Lemma 4.4 and the long cyclic-property manipulations in Proposition 4.6, which are delegated or compressed. No machine-checked proof or independent verification of these sign-sensitive computations is provided, so the main theorem is not yet independently confirmed.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs explicit Segal–Sugawara vectors Φ_m for the affine vertex algebra at the critical level associated with the orthosymplectic Lie superalgebra osp_{M|2n}. The main formula (2.6) expresses Φ_m as a sum over even-length partitions λ of m of Y_{m,ℓ}(M−2n−1) c_λ str_{1,...,ℓ} H^{(ℓ)} F[−λ]. The proof introduces an extended Brauer-type algebra B̂_{2m+1}(ω), in which abstract analogues ϕ_m are shown to satisfy annihilation properties (Propositions 4.1 and 4.6), and then an integral form (Proposition 4.7 and Lemma 4.8) makes evaluation at ω = M−2n possible. A homomorphism ρ (Proposition 3.3) transfers the abstract annihilation to the actual elements Φ_m. Corollary 2.2 asserts that the Φ_m generate a commutative subalgebra of U(t^{-1}osp_{M|2n}[t^{-1}]).","tokens_in":17911,"tokens_out":4095,"duration_ms":46147,"significance":"The main theorem provides the first explicit family of Segal–Sugawara vectors for orthosymplectic Lie superalgebras at the critical level, extending the classical results for types B, C, and D. The strategy of lifting the construction to a new Brauer-type algebra with indeterminate ω is elegant and avoids the singularities of the Brauer symmetriser at ω = M−2n. The formulas are explicit, the combinatorial data (partitions, cycle counts, symmetrisers) is concrete, and the corollary on commutative subalgebras is a useful consequence. The paper also gives a new proof of the classical formulas in the limiting cases. If the proof is correct, the result is a significant contribution to the theory of the Feigin–Frenkel centre for superalgebras, with potential applications to Gaudin models and shift-of-argument subalgebras. The main risk is that several sign-sensitive superalgebra computations are delegated to 'straightforward' checks, and these steps are load-bearing for the validity of Theorem 2.1.","major_comments":[{"comment":"The transfer from the abstract algebra to the concrete orthosymplectic action rests entirely on the homomorphism ρ defined in Proposition 3.3 and on the supertrace identity (3.6). Both are asserted with the comments 'the verification of the relations is straightforward' and 'easily verified property'. These are precisely the places where the parity signs in P_{ab}, Q_{ab}, and F[r]_a (from §2, especially Eq. (2.3) and the definitions of P_{ab}, Q_{ab}) enter. A single sign error would make ρ fail to be a homomorphism or would change the image of ϕ_m, invalidating Theorem 2.1. Please provide the detailed verification of at least the defining relation (3.7) under ρ, and a derivation of (3.6) for a general X, with all parity factors exhibited.","section":"§3.1 and §3.2, Eq. (3.6) and Proposition 3.3"},{"comment":"Lemma 4.4 is a key step: it asserts s_{ab} f_1...f_k s_{(k)} = f_1...f_k s_{(k)} and is used in Corollary 4.5, which in turn feeds into the central Proposition 4.6. The proof is delegated to a 'tedious but straightforward' calculation with only a brief sketch. Given the sign-sensitive nature of the algebra B̂_{2m+1}(ω) and the fact that Lemma 4.4 involves both the affine generators f_a and the Brauer symmetriser, the full calculation should be written out or included in an appendix so that the proof of Theorem 2.1 is independently verifiable.","section":"§4.1, Lemma 4.4"},{"comment":"The final passage from annihilation of ϕ_m in B̂_{2m+1}(ω)_{cri} to annihilation of Φ_m in the vacuum module requires that the elements of the left ideal be defined over C[ω] and remain well-behaved after evaluation at ω = M−2n. The text states that the first and third terms in the expansion of f[1]_0 ϕ_m are combined using cyclic property 2 and the listed relations, and then says that 'the argument used in the proof of Proposition 4.7 applies ... with obvious modifications'. This is a load-bearing step because it is where the integral form is used to remove the singularities of the symmetriser. Please spell out the modifications in detail, at least for one representative term, and explain why the C[ω]-integrality is preserved for all four terms.","section":"§4.2, proof of Theorem 2.1 after Proposition 4.6"}],"minor_comments":[{"comment":"The summations in the final displayed computation use capital M instead of lowercase m: both 'M∑_{a=1}' should be 'm∑_{a=1}'.","section":"§4.1, proof of Proposition 4.1"},{"comment":"The parity factor in the definition of F[r]_a involves (-1)^{ī j̄ + ī + j̄}, while the basis elements F_{ij} are defined with (-1)^{ī j̄ + j̄} ε_i ε_j. The relationship between these two conventions is not explained; a short remark reconciling them would help readers who want to check signs.","section":"§2.1 and §2.3, Eq. (2.3)"},{"comment":"The displayed formula for f[1]_0 q(m) s(m) f_1...f_m q(m) contains many terms with signs that are asserted after a long but compressed calculation. While the general structure of the proof is clear, a brief indication of how the coefficients (e.g., the factor m and the scalar (ω+2m−2)/(ω+2m−4)) arise would improve readability.","section":"§4.1, Proposition 4.6"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is clearly written and the main construction is elegant, but the proof relies on several computations that are delegated to 'straightforward' or 'tedious but straightforward' checks in sign-sensitive superalgebra settings. If the authors supply the missing verifications, the result is likely to be correct and important. The reliance on the first author's earlier work [14, 15] is legitimate external support, not a circularity concern. The paper fits the scope of the journal well and should be reconsidered after the requested revisions."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The headline: this is a solid, genuinely new result. The authors give the first explicit family of Segal–Sugawara vectors for the orthosymplectic superalgebra osp_{M|2n}, using a new extended Brauer-type algebra that is more than a routine generalization of the classical Brauer method. The main formula (2.6) is explicit and concrete, and the integral-form trick—replacing the singular symmetriser s(m) by the symmetric-group symmetriser h(m) via the cyclic properties— is the right way to handle the pole at ω = M−2n. Recovering the classical formulas for types B, C, D as special cases is a good sanity check, and the authors are honest about what remains conjectural: Conjecture 2.3 is clearly labeled, and the note about even M and super-Pfaffians shows they know the boundary of their result.\n\nNow the soft spots, in proportion. The proof transfers abstract annihilation in B̂_{2m+1}(ω) to the vacuum module through the homomorphism ρ of Proposition 3.3, and that transfer is load-bearing. The verification of ρ is delegated to a 'straightforward' check, and the crucial supertrace relation (3.6) is also stated as easily verified. In this superalgebra setting, where parity signs multiply, that is exactly where a small error would kill the theorem. Lemma 4.4 is likewise compressed into 'tedious but straightforward.' I have not mechanically checked every sign, so I cannot certify the proof with 100% confidence. But—and this matters—the relations are written out explicitly, the overall structure is independent and coherent, and the diagrammatic arguments for the cyclic properties look sound. These are not black boxes; they are verifiable checks that take time, not conceptual gaps.\n\nOn balance, the central argument holds up as far as I can see. The paper deserves a careful referee, not a desk reject. The referee should be asked to expand the verifications of Proposition 3.3, relation (3.6), and Lemma 4.4, and to check the parity signs carefully. If those go through—and I suspect they do—this is a correct and useful contribution for anyone working on Feigin–Frenkel centers, Gaudin models with osp symmetry, or the structure of affine vertex superalgebras at critical level.","headline":"A genuinely new explicit construction of Segal–Sugawara vectors for osp_{M|2n} with a clever integral-form trick; the proof is coherent but leans on a few sign-sensitive 'straightforward' checks that deserve close referee scrutiny.","tokens_in":18530,"tokens_out":2457,"would_cite":true,"duration_ms":31469,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B69","17B25","17B67"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper constructs an explicit family of Segal–Sugawara vectors—central elements of the affine vertex algebra—for the orthosymplectic Lie superalgebra $\\mathfrak{osp}_{M|2n}$ at the critical level.","keywords":["Segal-Sugawara vectors","Feigin-Frenkel centre","affine vertex algebra","critical level","orthosymplectic Lie superalgebra","Brauer algebra","extended Brauer-type algebra","commutative subalgebra"],"falsifier":"Compute the image of $\\Phi_2$ in a small nontrivial case (for example $M=1$, $n=1$) directly from formula (2.6), apply $F_{ij}[0]$ and $F_{ij}[1]$ for all $i,j$, and look for nonzero products in the vacuum module; any nonzero result would disprove Theorem 2.1. A cheaper check is to verify every parity sign in the homomorphism of Proposition 3.3 against the explicit bracket of $\\widehat{\\mathfrak{osp}}_{M|2n}$.","tokens_in":17368,"feed_emoji":"","tokens_out":12193,"duration_ms":119611,"temperature":0.7,"pith_summary":"The paper aims to construct, in explicit closed form, a family of central elements of the affine vertex algebra associated with the orthosymplectic Lie superalgebra $\\mathfrak{osp}_{M|2n}$ at the critical level. These elements, called Segal–Sugawara vectors, form the Feigin–Frenkel centre of the vertex algebra, a commutative superalgebra inside the enveloping algebra of the negative loop algebra. The main theorem gives a sum-over-partitions formula for vectors $\\Phi_m$ and proves that they satisfy the annihilation condition that characterises the centre. The construction matters because explicit central elements are the raw material for commutative subalgebras, Gaudin-model Hamiltonians, and quantisation problems, and it supplies a new proof of the known central-element formulas for the orthogonal and symplectic Lie algebras.","feed_headline":"Orthosymplectic vertex algebras get explicit central elements","feed_subtitle":"The new formulas generate a commutative subalgebra and recover the known orthogonal and symplectic results.","key_machinery":"The carrying object is a new extended Brauer-type algebra $\\widehat B_{2m+1}(\\omega)$, generated by the Brauer algebra $B_{2m+1}(\\omega)$ together with mode generators $f[r]_a$, a derivation $\\tau$, and a central element $K$ whose relations mirror the matrix form of the affine $\\mathfrak{osp}_{M|2n}$ commutation relations. In this algebra the authors form abstract Segal–Sugawara vectors $\\phi_m=\\gamma_m(\\omega)q^{(m)}s^{(m)}f_1\\cdots f_m q^{(m)}$, where $s^{(m)}$ is the Brauer symmetriser, $q^{(k)}=\\epsilon_{1,m+1}\\cdots\\epsilon_{k,m+k}$, and $f_a=\\tau+f[-1]_a$. Two cyclic properties show that $f[0]_0\\phi_m$ and $f[1]_0\\phi_m$ vanish modulo the left ideal generated by nonnegative modes, reproducing abstractly the annihilation condition for the centre. The decisive step is the integral form of Proposition 4.7, which uses the congruence $\\gamma_\\ell(\\omega)s^{(\\ell)}\\equiv h^{(\\ell)}\\pmod{J_m^{(\\ell)}}$ to replace the rational symmetriser by the symmetric-group symmetriser $h^{(\\ell)}$, cancelling the poles at $\\omega=M-2n$ and producing the explicit formula that survives evaluation at that point.","core_discovery":"The paper's central claim is Theorem 2.1: for every $m\\ge 2$, the element\n\\[\n\\Phi_m=\\sum_{\\$\\lambda$\\vdash m,\\ \\ell(\\$\\lambda$)\\text{ even}} Y_{m,\\ell}(M-2n-1)\\, c_\\$\\lambda$\\, \\operatorname{str}_{1,\\ldots,\\ell} $H^{{(\\ell)}}$ F[-\\$\\lambda$]\n\\]\nbelongs to the Feigin–Frenkel centre $z(\\widehat{\\mathfrak{osp}}_{M|2n})$ of the affine vertex algebra at the critical level. The sum is over even-length partitions of $m$, $c_\\lambda$ is the number of permutations of cycle type $\\lambda$, $H^{(\\ell)}$ is the image of the symmetric-group symmetriser on tensor copies, $F[-\\lambda]$ is a product of current generators, and the supertrace is taken over the first $\\ell$ tensor factors. The authors prove the annihilation identities $F_{ij}[0]\\Phi_m=F_{ij}[1]\\Phi_m=0$ that define the centre, and Corollary 2.2 concludes that the $\\Phi_m$ generate a commutative subalgebra of $U(t^{-1}\\mathfrak{osp}_{M|2n}[t^{-1}])$. They conjecture that for odd $M$ the even-indexed vectors generate the full centre as a differential superalgebra, while for even $M$ extra super-Pfaffian elements are expected. Setting $M=0$ or $n=0$ recovers the earlier formulas for the symplectic and orthogonal Lie algebras, giving a new proof of those results.","pith_inferences":["One testable extension the paper leaves implicit is to verify the generation conjecture in small ranks by comparing the subalgebra generated by $\\Phi_{2k}$ with known orthosymplectic invariants.","The integral-form device—trading a rational Brauer symmetriser for a symmetric-group symmetriser before specialising the parameter—looks applicable to other superalgebra settings where the Brauer symmetriser has poles, though the authors do not claim this.","Because explicit Segal–Sugawara vectors are the input to shift-of-argument constructions, these formulas are natural candidates for higher Gaudin Hamiltonians with $\\mathfrak{osp}$-symmetry; the paper points towards the Gaudin connection but does not construct the Hamiltonians."],"forward_implications":["The elements $\\Phi_m$ are explicit even central elements of the affine vertex algebra at the critical level, so each can be written down directly from a partition sum.","The $\\Phi_m$ generate a commutative associative subalgebra of $U(t^{-1}\\mathfrak{osp}_{M|2n}[t^{-1}])$ that is invariant under the derivation $\\tau$.","Specialising $M=0$ or $n=0$ gives a new proof of the known Segal–Sugawara vectors for $\\mathfrak{sp}_{2n}$ and $\\mathfrak{o}_M$.","Evaluating at $t=z$ sends $\\Phi_m$ to central elements of the finite universal enveloping algebra $U(\\mathfrak{osp}_{M|2n})$.","If the paper's conjecture is correct, the even vectors for odd $M$ give a complete explicit description of the Feigin–Frenkel centre for the orthosymplectic family, and for even $M$ the centre requires additional super-Pfaffian elements."],"supporting_citations":[{"why":"supplies the congruence $\\gamma_\\ell(\\omega)s^{(\\ell)}\\equiv h^{(\\ell)}$ mod $J_m^{(\\ell)}$ and the integral-form argument used in Proposition 4.7 and Lemma 4.8.","marker":"[15]"},{"why":"provides the previous Brauer-symmetriser formulas for types B, C and D that this paper specialises and reproves by taking $M=0$ or $n=0$.","marker":"[13]"},{"why":"provides the explicit symmetriser recursion used in Lemma 4.2 and the Sugawara-operator background used in Remark 4.9.","marker":"[14]"},{"why":"defines the Feigin–Frenkel centre and the annihilation condition $\\mathfrak{g}[t]S=0$ that Theorem 2.1 verifies.","marker":"[5]"},{"why":"supplies the standard definitions of affine vertex algebras and of the centre as a commutative subalgebra of $U(t^{-1}\\mathfrak{g}[t^{-1}])$.","marker":"[8]"},{"why":"serves as the model for the affine extension $B_m^{\\mathrm{aff}}(\\omega)$ and its defining relations in Definition 3.1.","marker":"[19]"},{"why":"introduces the polynomials $Y_{m,\\ell}(T)$ that appear in the main formula (2.6).","marker":"[20]"}],"fun_headline_variants":["Orthosymplectic vertex algebra center made explicit","Even-length partitions yield center elements in osp algebras","New proof of symplectic and orthogonal center formulas","Explicit center construction via extended Brauer algebra","Critical-level center of osp superalgebras: explicit family"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything rests on the claim, verified only by a 'straightforward' check in Proposition 3.3, that the abstract relations of the extended algebra exactly match the parity-corrected commutation relations of the orthosymplectic loop algebra; a single wrong sign there would make the constructed elements fail the annihilation test.","fun_headline_variants_meta":{"raw":{"variants":["Orthosymplectic vertex algebra center made explicit","Even-length partitions yield center elements in osp algebras","New proof of symplectic and orthogonal center formulas","Explicit center construction via extended Brauer algebra","Critical-level center of osp superalgebras: explicit family"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000346,"raw_usage":{"total_tokens":1897,"prompt_tokens":946,"completion_tokens":951,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":562,"completion_tokens_details":{"reasoning_tokens":876}},"tokens_in":562,"tokens_out":951,"duration_ms":11627,"temperature":1.0,"reasoning_tokens":876,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T11:21:05.663622+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the image of $\\Phi_2$ in a small nontrivial case (for example $M=1$, $n=1$) directly from formula (2.6), apply $F_{ij}[0]$ and $F_{ij}[1]$ for all $i,j$, and look for nonzero products in the vacuum module; any nonzero result would disprove Theorem 2.1. A cheaper check is to verify every parity sign in the homomorphism of Proposition 3.3 against the explicit bracket of $\\widehat{\\mathfrak{osp}}_{M|2n}$.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the congruence $\\gamma_\\ell(\\omega)s^{(\\ell)}\\equiv h^{(\\ell)}$ mod $J_m^{(\\ell)}$ and the integral-form argument used in Proposition 4.7 and Lemma 4.8."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"provides the previous Brauer-symmetriser formulas for types B, C and D that this paper specialises and reproves by taking $M=0$ or $n=0$."},{"cited_title":"Molev, Sugawara operators for classical Lie algebras","cited_arxiv_id":null,"evidence_quote":"provides the explicit symmetriser recursion used in Lemma 4.2 and the Sugawara-operator background used in Remark 4.9."},{"cited_title":"Feigin and E","cited_arxiv_id":null,"evidence_quote":"defines the Feigin–Frenkel centre and the annihilation condition $\\mathfrak{g}[t]S=0$ that Theorem 2.1 verifies."},{"cited_title":"Frenkel, Langlands correspondence for loop groups , Cambridge Studies in Advanced Mathematics, 103","cited_arxiv_id":null,"evidence_quote":"supplies the standard definitions of affine vertex algebras and of the centre as a commutative subalgebra of $U(t^{-1}\\mathfrak{g}[t^{-1}])$."},{"cited_title":"Nazarov, Young’s orthogonal form for Brauer’s centralizer algebra , J","cited_arxiv_id":null,"evidence_quote":"serves as the model for the affine extension $B_m^{\\mathrm{aff}}(\\omega)$ and its defining relations in Definition 3.1."},{"cited_title":"Interpolating Feigin-Frenkel Duality at the Critical Level to Matrices of Complex Size","cited_arxiv_id":"2505.10439","evidence_quote":"introduces the polynomials $Y_{m,\\ell}(T)$ that appear in the main formula (2.6)."}],"review_version":1}