{"id":"3d5ec9ca-845f-4ba0-86d1-01d8a8f58898","arxiv_id":"2505.19661","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The Bethe algebra for gl_{p+m|q+n} is diagonalizable with simple spectrum on weight spaces of tensor products of certain infinite-dimensional unitarizable modules, via a duality with the Bethe algebra for gl_d.","lead":"This paper proves that certain Bethe algebras, families of commuting operators from quantum integrable models, can be diagonalized on tensor products of unitary representations of classical Lie (super)algebras, and establishes a duality between Bethe algebras of different general linear Lie (super)algebras.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the open super-center conjecture is mitigated by maximal commutativity, and the weight-space cyclicity step in Theorem 4.13 is valid.","rationale":"The reader's conditional verdict is reasonable, and the concern about the super-center conjecture is a real scope subtlety: the paper defines the Bethe algebra via Berezinian coefficients and explicitly notes that generation of the full Feigin-Frenkel center is open. However, the consequences claimed in Theorem 4.13 are for the image of this algebra on specific weight spaces, not for the abstract full center algebra. Once the image is proven to be maximal commutative, any commutative enlargement must have the same image, so the open conjecture does not invalidate the simple-spectrum statement. The alternative concern that Theorem 3.3 only gives cyclicity of the full tensor product, not of each weight space, is also resolved: if v is a cyclic vector, its h-weight components generate the corresponding weight spaces because the Bethe algebra preserves weight spaces. The proof of Proposition 4.7 is the hardest computational step and is not machine-checked, but the appendix gives a detailed Manin-matrix argument with no obvious gap. Given the paper's own explicit caveats and the reliance on [HM] for part of Theorem 4.10, keeping the conditional verdict is appropriate, with no load-bearing objection requiring a change.","tokens_in":28767,"tokens_out":25191,"duration_ms":241479,"concrete_test":"Independently verify Proposition 4.7 for small parameters: implement L^w_d, L^z_{p+m|q+n}, \\phi_z, \\varphi_w, and Ber_s in a computer algebra system (or by hand for d=1, p=q=m=n=1 and for d=2, m=n=1, p=q=0) and compare both sides of the displayed equality in D((z^{-1},\\partial_z^{-1})). If the appendix contains a sign or ordering error, it will appear as a mismatch in a low-degree coefficient; if several small cases match, the duality identity is supported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's main worry is that B^z_{p+m|q+n} is generated only by coefficients of the Berezinian expansion and might be a proper subalgebra of the full Feigin-Frenkel-center-generated Bethe algebra. This does not threaten Theorem 4.13. Part (iii) of Theorem 4.13 proves that the image of B^z on any weight space V = L(w)_\\mu is a maximal commutative subalgebra of End(V). The full center-generated algebra is commutative and contains B^z, so its image on V must equal the image of B^z. Consequently, the simple-spectrum conclusion for B^z transfers to the full algebra on these modules. I also checked the cyclicity inference in the proof of Theorem 4.13: if N(z) is cyclic for B^w_d with cyclic vector v, then decomposing v into h_d-weight components gives cyclic vectors for each weight space, because B^w_d preserves weight spaces since h_d ⊂ g^{\\mu_w}. Thus the use of Theorem 3.3 is legitimate. The remaining genuinely delicate part is the sign-sensitive Berezinian identity Proposition 4.7 / Theorem 4.10; I found no concrete error in the appendix's Manin-matrix manipulations, but this is the part that would merit independent verification.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the action of Bethe algebras associated with classical Lie algebras and general linear Lie superalgebras. It first proves (Theorem 3.10) that for gl_d, sp_{2d}, or so_{2d} with a fixed *-structure, the Bethe algebra B^μ_g is diagonalizable on any finite-dimensional submodule of a tensor product of evaluation modules with unitarizable modules when μ satisfies the reality condition μ∘σ = \\bar μ and the evaluation points are real. It then establishes a Bethe duality (Theorem 4.10) between the Bethe algebras of gl_d and gl_{p+m|q+n} acting on a Fock space, via an identity (Proposition 4.7) proved in an appendix using Manin matrices and Berezinians. As an application, Theorem 4.13 shows that for tensor products of unitarizable highest weight gl_{p+m|q+n}-modules attached to generalized partitions of depth 1, the Bethe algebra acts cyclically on weight spaces, its image is a Frobenius algebra and a maximal commutative subalgebra of the endomorphism algebra, and it has simple spectrum for generic parameters. The paper also recovers earlier dualities and explicitly discusses its overlap with [HM] and [ChL3].","tokens_in":28977,"tokens_out":26766,"duration_ms":240369,"significance":"The results extend the finite-dimensional cyclicity and simple-spectrum theorems of Feigin–Frenkel–Rybnikov to a natural family of infinite-dimensional unitarizable modules, which is a genuine step toward Conjecture 3.13. The duality is proved by a detailed, self-contained Manin-matrix computation and specializes to previously known dualities; the authors are transparent about the overlap with [HM] and [ChL3]. The diagonalizability theorem is a clean application of *-structure Hermiticity, and the paper is honest about the open conjecture on the Feigin–Frenkel center for gl_{p+m|q+n}. The proofs are detailed, no circularity is apparent, and no parameters are fitted to the target conclusions.","major_comments":[{"comment":"The proof states that the generic simple-spectrum assertion follows from (4.22) and Theorem 3.4, but Theorem 3.4 is a genericity statement in the full space g^* × X_ℓ. In the present application μ is restricted to the d-dimensional family μ_w with w ∈ X_d, and the evaluation points z are those of the gl_d-modules N_i. The paper does not justify that the Zariski-open good set in g^* × X_ℓ intersects the image of the parametrization (w,z) ↦ (μ_w,z); in principle the bad locus could contain this image. Please add an explicit argument (for instance, that the discriminant of the Bethe algebra is not identically zero on this family, or a direct version of [FFRy] for the shift-of-argument subalgebra) to justify the genericity transfer.","section":"Section 4.4, Theorem 4.13 (final sentence)"}],"minor_comments":[{"comment":"The sentence 'The last assertion clearly follows from the first one' is terse. Since multiplication by the invertible polynomial (z-w_1)...(z-w_d) does not change the subalgebra generated by the coefficients, and conjugation by R_{p|q}(∂_z) is an automorphism of the algebra of pseudo-differential operators, the assertion is correct, but a one-sentence explanation would improve readability.","section":"Section 4.3, proof of Theorem 4.10"},{"comment":"Because the Feigin–Frenkel-center conjecture for gl_{p+m|q+n} is open, it would be helpful to state explicitly that if the full center-generated algebra is larger than B^z_{p+m|q+n}, its image on L(w)_μ still coincides with the image of B^z by maximal commutativity (Theorem 4.13(iii)); this addresses the potential concern that the theorem concerns only a subalgebra of the full Bethe algebra.","section":"Section 4.2 and Section 4.4"},{"comment":"In the citation of [MR, Corollary 3.7], the word 'Corallary' is misspelled; it should read 'Corollary'.","section":"Reference list"},{"comment":"The proof uses the equality σ(S_0) = S_0; it would be useful to note that the invariant bilinear form used to define S_0 is chosen to be σ-invariant, so that this equality is justified.","section":"Proof of Proposition 3.6"},{"comment":"The title contains the spacing artifact 'UNIT ARIZABLE'; the intended word is 'UNITARIZABLE'.","section":"Title page"}],"recommendation":"major_revision","confidential_remarks":"The main duality theorem may be largely a reformulation of [HM, Theorem 5.2] up to automorphisms, as the authors acknowledge in Remark 4.11; the editor may wish to weigh whether the independent proof and the new unitarizable-module application provide sufficient novelty for the journal. The open-center conjecture should be kept prominently in mind when reading the claims about 'the Bethe algebra' for gl_{p+m|q+n}, since the paper's algebra is the subalgebra generated by the Berezinian coefficients."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. First, Theorem 3.10 is the real new content: for gl_d, sp_{2d}, so_{2d} with the *-structure, the Bethe algebra is diagonalizable on any finite-dimensional submodule of a tensor product of unitarizable evaluation modules when the parameter is real and fixed by the *-structure. The proof is short and correct: the generators are Hermitian by Proposition 3.7 and Lemma 3.9, so diagonalizability follows. Second, the duality (Theorem 4.10) is the bridge that lets them transfer the known simple-spectrum results for finite-dimensional gl_d modules to infinite-dimensional unitarizable gl_{p+m|q+n} modules of depth 1. That application, Theorem 4.13, looks solid.\n\nThe soft spot you flagged—that B^z is generated by coefficients of the Berezinian and the full Feigin–Frenkel center is only conjecturally generated by them—is real but does not damage Theorem 4.13. The stress-test note is right: part (iii) proves the image of B^z on the weight space is maximal commutative in End(V). Any commutative algebra containing that image must have the same image. So the simple-spectrum statement holds for the full center-generated algebra as well. The authors should state this explicitly, but it is not a flaw in the proof.\n\nThe genuinely delicate part is Proposition 4.7, the coefficient-level identity in the appendix. It is a Manin-matrix/Berezinian computation with signs, and I did not find a concrete error, but this is the part an independent referee should check carefully. The transfer (4.22) is terse but valid: the weight-space identification Proposition 4.12 is an intersection argument, and the cyclicity step is legitimate because B^w_d preserves weight spaces since h_d is in the centralizer of mu_w.\n\nRemark 4.11 honestly concedes that the algebra-equality part of Theorem 4.10 follows from [HM] via an anonymous expert. That reduces the novelty of the duality itself, but the coefficient-level identity and the application remain new. The citation pattern is fair.\n\nMy take: this paper deserves a serious referee. The proofs are structured and the main theorems are plausible; the open super-center conjecture is a limitation to state, not a fatal flaw. I would send it to review and ask for a remark addressing the maximal-commutativity point.","headline":"A solid, mostly formal paper that proves a genuinely new diagonalizability theorem for Bethe algebras on unitarizable modules; the open super-center conjecture does not threaten the main result.","tokens_in":29547,"tokens_out":2208,"would_cite":true,"duration_ms":18911,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B10","17B20","17B69","17B80","81R12"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves a duality between Bethe algebras for gl_d and gl_{p+m|q+n} and derives cyclic, Frobenius, and simple-spectrum actions on weight spaces of unitarizable modules.","keywords":["Bethe algebra","Gaudin model","unitarizable modules","general linear Lie superalgebra","Bethe duality","Feigin-Frenkel center","simple spectrum","Frobenius algebra"],"falsifier":"Test, for a case such as $\\mathfrak{gl}_{2|2}$ or $\\mathfrak{gl}_{3|1}$, whether the coefficients of the Berezinian expansion (4.8) generate the full center from which the Bethe algebra is defined: if some center element is not produced by those coefficients, then Theorem 4.13's simple-spectrum conclusion applies only to a proper subalgebra, and the full-Bethe-algebra claim is false.","tokens_in":28535,"feed_emoji":"🧮","tokens_out":15519,"duration_ms":125077,"temperature":0.7,"pith_summary":"The paper establishes two things about Bethe algebras, the commutative algebras of higher Gaudin Hamiltonians attached to a Lie algebra and a spectral parameter. For $\\mathfrak{gl}_d$, $\\mathfrak{sp}_{2d}$, and $\\mathfrak{so}_{2d}$ with a natural $*$-structure, it proves that on any finite-dimensional submodule of a tensor product of unitarizable modules (modules with a positive-definite inner product compatible with the $*$-structure) the Bethe algebra is diagonalizable, provided the parameters are real and the potential satisfies a self-conjugacy condition. For the general linear Lie superalgebra $\\mathfrak{gl}_{p+m|q+n}$, it proves a duality: on a shared Fock space of bosonic and fermionic oscillators, the image of the $\\mathfrak{gl}_d$ Bethe algebra equals the image of the $\\mathfrak{gl}_{p+m|q+n}$ Bethe algebra. Using this duality, it shows that on weight spaces of tensor products of infinite-dimensional unitarizable depth-1 highest weight modules, the superalgebra Bethe algebra acts cyclically, as a Frobenius algebra, and with simple spectrum (one-dimensional joint eigenspaces) for generic parameters. A sympathetic reader should care because this extends Bethe/Gaudin theory, previously confined to finite-dimensional modules, to an infinite-dimensional unitary setting.","feed_headline":"Super Gaudin Hamiltonians get simple spectra from a dual pair","feed_subtitle":"A Fock-space duality transfers finite-dimensional gl_d results to infinite-dimensional unitarizable superalgebra modules.","key_machinery":"The load-bearing object is the Fock space $\\mathcal{F}=\\mathbb{C}[x,y,\\eta,\\zeta]$, realized as $d(p+m)$ bosonic and $d(q+n)$ fermionic oscillator degrees of freedom, on which $\\mathfrak{gl}_d$ and $\\mathfrak{gl}_{p+m|q+n}$ act simultaneously through the Weyl superalgebra $\\mathcal{D}$ generated by the variables and their derivatives. Proposition 4.7 is the engine: it equates $(z-w_1)\\cdots(z-w_d)\\,\\varphi_w\\mathrm{Ber}_s(L^z_{p+m|q+n})$ with $\\omega(R'_{m|n}(z)\\, \\varphi_z\\mathrm{cdet}(L^w_d)\\, R_{p|q}(z))$, where $\\omega$ is the anti-involution swapping $x$ with $\\partial_x$ and $y$ with $\\partial_y$, and $R_{p|q},R'_{m|n}$ are rational factors built from the $z_i$. Theorem 4.10 rewrites this equality so that the two coefficient sets determine each other, proving the equality of the two Bethe-algebra images. The transfer to weight spaces works because Proposition 4.12 identifies the $\\mu$-weight space of $V_{\\gamma_1}\\otimes\\cdots\\otimes V_{\\gamma_d}$ with a $\\gamma$-weight space of a tensor product of finite-dimensional $\\mathfrak{gl}_d$-modules, where the standard cyclicity, Frobenius, and simple-spectrum results apply.","core_discovery":"On its own terms, the central claim is Theorem 4.10: for $w\\in\\mathbb{C}^d$ and $z\\in\\mathbb{C}^{p+q+m+n}$, the Bethe algebra $\\mathcal{B}^w_d$ for $\\mathfrak{gl}_d$ (generated by the coefficients of the column determinant $\\mathrm{cdet}(L^w_d)$) and the Bethe algebra $\\mathcal{B}^z_{p+m|q+n}$ for $\\mathfrak{gl}_{p+m|q+n}$ (generated by the coefficients of the Berezinian expansion of $L^z_{p+m|q+n}$) act on the same Fock space $\\mathcal{F}$, the polynomial superalgebra in even variables $x^a_i,y^a_r$ and odd variables $\\eta^a_j,\\zeta^a_s$, and their images coincide: $\\varphi_z(\\mathcal{B}^w_d)=\\varphi_w(\\mathcal{B}^z_{p+m|q+n})$. Theorem 4.13 then applies the duality: for $p\\neq 0\\neq m$ and for the depth-1 unitarizable highest weight modules $V_{\\gamma_a}$ of (4.17), every weight space $L(w)_\\mu$ of $L_1(w_1)\\otimes\\cdots\\otimes L_d(w_d)$ is a cyclic module for $\\mathcal{B}^z$, the image algebra is a Frobenius algebra (a finite-dimensional algebra with a nondegenerate associative bilinear form), a maximal commutative subalgebra of dimension $\\dim L(w)_\\mu$, with one-dimensional eigenspaces, and for generic $z,w$ the algebra is diagonalizable with simple spectrum.","pith_inferences":["If the open conjecture that the Berezinian coefficients generate the full algebra of commuting Hamiltonians for $\\mathfrak{gl}_{p+m|q+n}$ is false, Theorem 4.13 still describes the explicitly generated subalgebra, but the simple-spectrum claim for the full center-based Bethe algebra would not follow from the paper's proof.","The same Fock-space identification should carry other finite-dimensional Bethe-algebra structure, such as completeness of Bethe eigenvectors or orthogonality of Shapovalov forms, to the depth-1 unitarizable modules, since the transfer uses only equality of the two algebra images.","The depth-1 hypothesis enters through the weight-space identification of Proposition 4.12; testing higher-depth generalized partitions would reveal whether cyclicity and simple spectrum persist beyond depth 1, possibly under a different identification.","Because the two Bethe actions coincide on $\\mathcal{F}$, one could in principle read super Gaudin eigenvalues from the ordinary $\\mathfrak{gl}_d$ chain, giving an explicit spectral recipe for the super case that the paper does not spell out."],"forward_implications":["For $\\mathfrak{gl}_{p+m}$ (setting $q=n=0$), Corollary 4.17 gives cyclicity, Frobenius structure, and generic simple spectrum for the Bethe algebra on weight spaces of tensor products of the infinite-dimensional unitarizable modules $W_\\gamma$, providing evidence for the paper's Conjecture 3.13.","The duality equates the joint spectrum of the super Gaudin Hamiltonians on $L(w)_\\mu$ with the joint spectrum of the $\\mathfrak{gl}_d$ Bethe algebra on a finite-dimensional tensor product weight space, so computations for the infinite-dimensional modules reduce to finite-dimensional linear algebra.","Theorem 3.10 shows that for real parameters the Bethe algebra elements act as commuting Hermitian operators on unitarizable modules of types a, c, and d, so simultaneous diagonalization holds on every weight space.","The generic simple-spectrum conclusion means a weight space is spanned by one-dimensional joint eigenspaces of the Bethe algebra, the Bethe-ansatz-completeness flavor of the result for these unitary representations."],"supporting_citations":[{"why":"Supplies the cyclicity and generic simple-spectrum theorems for Bethe algebras on tensor products of finite-dimensional irreducible modules, which the duality transfers to the super case.","marker":"[FFRy]"},{"why":"Establishes the earlier gl_{m|n}-gl_k Bethe duality and the Manin-matrix/Berezinian technique that Theorem 4.10 extends.","marker":"[HM]"},{"why":"Defines the Bethe algebra for gl_{p+m|q+n} via the Berezinian expansion and records the open conjecture that these coefficients generate the full center.","marker":"[MR]"},{"why":"Provides the Frobenius and maximal-commutative properties of the gl_d Bethe algebra on finite-dimensional tensor products, the results that get transferred.","marker":"[MTV1]"},{"why":"Supplies the unitarizable depth-1 modules V_r and the simultaneous Fock-space action used to match weight spaces.","marker":"[CLZ]"},{"why":"Supplies Lemma 1.3 that turns cyclicity and the Frobenius property into one-dimensional eigenspaces and maximal commutativity.","marker":"[Lu]"},{"why":"Identifies the generators of the gl_d Bethe algebra as coefficients of the column determinant of the matrix T_d, making the finite-dimensional side explicit.","marker":"[CM]"}],"fun_headline_variants":["Bethe algebra duality proves simple spectra on supermodules","Dual Bethe algebras diagonalize with simple spectrum","Simple spectrum from Bethe duality for unitarizable modules","Bethe duality gives diagonalizable simple-spectrum algebras"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The superalgebra application assumes the open conjecture that the coefficients of the Berezinian expansion generate the full algebra of commuting Hamiltonians for $\\mathfrak{gl}_{p+m|q+n}$; if that conjecture is false, the proved simple-spectrum statement concerns only a proper subalgebra, not the whole Bethe algebra.","fun_headline_variants_meta":{"raw":{"variants":["Bethe algebra duality proves simple spectra on supermodules","Dual Bethe algebras diagonalize with simple spectrum","Simple spectrum from Bethe duality for unitarizable modules","Bethe duality gives diagonalizable simple-spectrum algebras"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00048,"raw_usage":{"total_tokens":2580,"prompt_tokens":1352,"completion_tokens":1228,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":968,"completion_tokens_details":{"reasoning_tokens":1164}},"tokens_in":968,"tokens_out":1228,"duration_ms":10026,"temperature":1.0,"reasoning_tokens":1164,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T14:10:26.071147+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Test, for a case such as $\\mathfrak{gl}_{2|2}$ or $\\mathfrak{gl}_{3|1}$, whether the coefficients of the Berezinian expansion (4.8) generate the full center from which the Bethe algebra is defined: if some center element is not produced by those coefficients, then Theorem 4.13's simple-spectrum conclusion applies only to a proper subalgebra, and the full-Bethe-algebra claim is false.","supporting_citations":[],"review_version":1}