{"id":"4bc79c2d-1c68-4141-9f9f-0c09368fa2bc","arxiv_id":"2506.01134","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"New super POPs parametrization, graded character formula, and short exact sequence of Chari-Venkatesh modules for sl(1|2)[t], with a new proof of the fusion-product isomorphism.","lead":"Super POPs, a new combinatorial tool, parametrize the basis of local Weyl modules for sl(1|2)[t] and yield a graded character formula plus a short exact sequence for Chari-Venkatesh modules. The work gives a new proof that these CV modules are isomorphic to fusion products of generalized Kac modules.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 4 as stated is false: for ξ=(2,1), λ2=3, the range 1≤r≤ξ1−1 is empty yet Lemma 2 forces (y2⊗t^2)vξ=0, so the presentation (4.2) must be corrected before Theorem 4 can stand.","rationale":"The reader's weakest assumption concerned the transfer of sl2,α2 arguments to sl(1|2)[t]. I agree that the transfer is not automatic, but I found a more concrete and local problem: Proposition 4's relation set (4.2) is false as written, even before considering the transfer. For ξ=(2,1), the stated range 1≤r≤ξ1−1 is empty, yet the defining relations of V(ξ) recalled in Lemma 2 force (y2⊗t^2)vξ=0, which does not hold in W(λ). Hence the kernel presentation used throughout Section 4 cannot be correct. This is a rigorous, checkable failure of a central intermediate statement. It likely admits a simple correction (the range should probably be 1≤r≤ξ0), and the final consequence Corollary 2 was already proved in [2], so the paper's overall conclusion may still be salvageable. For that reason I do not move the verdict to outright rejection: the appropriate disposition remains conditional acceptance after the presentation (4.2) is corrected and Lemma 4 is reproved with the corrected relations. The reader's transfer concern and my range concern both point to Proposition 4 and Lemma 4, but they are different failure modes, hence partial agreement.","tokens_in":22354,"tokens_out":26795,"duration_ms":251219,"concrete_test":"Work out the two presentations for λ2=3, ξ=(2,1) in the basis of Proposition 2: Lemma 2 gives (y2⊗t^2)vξ=0, while (4.2) with the stated range is empty, so Proposition 4 fails. Then repeat the check with the candidate correction 1≤r≤ξ0, verifying that the relations y2(r,|ξ^tr(r)|−r+1)vξ=0 for r=1,2 generate exactly the kernel of W(λ)→V(ξ) defined by (4.1), e.g. by computing dimensions (32, not 64). If the corrected range passes this small case, re-examine Lemma 4's kernel equality under the corrected presentation before relying on Theorem 4.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 4.1, Proposition 4 asserts that V(ξ) is the quotient of W(λ) by the submodule generated by the relations in (4.2), with r restricted to 1≤r≤ξ1−1. This range is load-bearing: Lemma 4 and the filtration theorems invoke (4.2) to identify Ker φ and to prove well-definedness of the maps φ_i. The stated range is internally inconsistent. Take λ2=3, ξ=(2,1), so n=1, ξ1=1, and the range in (4.2) is empty; Proposition 4 would then give V(ξ)=W(λ). But Lemma 2 (recalled from [2]) with k=1, r=1 gives y2(1,s)vξ=0 for all s>1, in particular y2(1,2)vξ=(y2⊗t^2)vξ=0, whereas Proposition 2 shows (y2⊗t^2)wλ is a nonzero basis element of W(λ). Thus the kernel claimed in (4.2) is not the kernel of W(λ)→V(ξ). The flaw is likely a simple range typo (probably 1≤r≤ξ0), but until corrected, the proof of Theorem 4 is not valid. This is a concrete internal inconsistency, independent of whether the sl2,α2 arguments transfer to the super setting.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies finite-dimensional graded modules for the current Lie superalgebra sl(1|2)[t]. It introduces 'super POPs' and proves (Theorem 2) that super POPs with bounding data n = ψ(h2) parametrize the basis of the local Weyl module W(ψ) obtained in [2]. From this parametrization and from the [2] basis it derives a closed graded character formula for W(ψ) (Proposition 3, Corollary 1). The main new structural claim concerns Chari-Venkatesh modules V(ξ): for a partition ξ = (ξ0 ≥ ... ≥ ξn) of λ2 and ξ = (λ1, ξ), the paper constructs (Theorem 4) a short exact sequence 0 → Ker φ → V(ξ) → V(ξ+) → 0, identifies Ker φ as the cyclic submodule generated by (y2 ⊗ t^n)^{ξn} vξ, and shows that Ker φ has a filtration by shifted CV modules. From the dimension consequences it concludes (Corollary 2) that V(ξ) is isomorphic to a fusion product of generalized Kac modules, and hence that the fusion product is independent of the evaluation parameters.","tokens_in":22571,"tokens_out":28853,"duration_ms":253111,"significance":"If the main theorems are correct, the paper makes a useful contribution: the graded character formula for local Weyl modules is new for sl(1|2)[t], the super-POP parametrization is explicit and checkable, and a short exact sequence with a filtration by CV modules is precisely the kind of structural result that has led to Demazure-type and Feigin-Loktev results in the current Lie algebra setting. The bijection in Theorem 2 is constructive and the dimension argument in Section 4.6 gives a concrete route to the fusion-product isomorphism. These strengths are real and should be credited. However, the central proof as written contains load-bearing gaps, detailed below, so the manuscript needs substantial revision before these results can be accepted.","major_comments":[{"comment":"Proposition 4 is false as stated. Take λ2 = 3 and ξ = (2,1), so ξ1 = 1 and the range 1 ≤ r ≤ ξ1−1 in (4.2) is empty; Proposition 4 would then identify V(ξ) with W(λ). However, the defining relations (4.1) with k = 1 give (x2 ⊗ t)^s (y2 ⊗ 1)^{1+s} vξ = 0 for all s > 1, and Lemma 2 reduces this to y2(1,s)vξ = 0 for all s > 1, in particular y2(1,2)vξ = (y2 ⊗ t^2)vξ = 0. At the same time, Proposition 2(a) shows that (y2 ⊗ t^2)wλ is a nonzero basis element of W(λ). Hence the displayed presentation cannot be the kernel of W(λ) → V(ξ). This matters because Lemma 4 and the proofs in §4.4–4.5 use (4.2) to locate Ker φ, for example in Lemma 4 the sentence 'Using (4.2), we have y2(ξn, nξn)v_{ξ+} = 0'. The error is likely a simple range typo (the range 1 ≤ r ≤ ξ0 would contain the relations used), but the statement and all subsequent arguments must be corrected.","section":"§4.1, Proposition 4 and Eq. (4.2)"},{"comment":"The proof of Lemma 3(ii) appears to contain a sign error. With the super bracket of §2.1, [y1,y2] = −y3, so already for k = 0, r = 1, s = 0 equation (4.3) should read (y1 ⊗ t^b)Y2(1,0) = Y2(1,0)(y1 ⊗ t^b) − (y3 ⊗ t^b), not with the plus sign shown. The subsequent deductions in parts (ii)–(iv) rely on canceling the first and third terms of (4.3); with the sign corrected the conclusion may still follow, but as written the identity is false. Moreover, part (iv) also uses [x3,y2] = x1 and [x1,y3] = y2, and the displayed equalities in its proof sweep the extra terms from commuting odd vectors past the sl2,α2 triple under the assumptions without a full verification. Since Lemma 3 is used to prove well-definedness of φ1, φ2 and φ3 in Theorem 4, this is a load-bearing gap.","section":"§4.1, Lemma 3, Eq. (4.3)"},{"comment":"The transfer principle stated at the start of §4.1 ('For root α2, we have a copy of sl2,α2 in sl(1|2). Thus, [14, Section 2.3, 2.4] holds in our case') is asserted, not proved. The root-α2 copy inside sl(1|2) is not closed under the bracket with the odd root spaces: [y1,y2] = −y3, [x3,y2] = x1, and [x1,y3] = y2. Consequently, relations for sl2,α2 modules do not automatically give relations in modules for sl(1|2)[t]; every commutation of a relation with x1,x3,y1,y3 must be checked. Lemma 3 is precisely that check and it is currently not correct. In addition, the proofs in §4.4–4.5 repeatedly assert existence of the maps φi by 'similar arguments' or 'it is easy to prove' (for example, φ2 and φ3 in part (i), and φ4 and φ5 in part (ii)); these are not routine in the super setting. Until these verifications are supplied, Theorem 4 and Corollary 2 are not proved.","section":"§4.1 and §4.4–4.5, transfer principle for sl2,α2"}],"minor_comments":[{"comment":"In the reverse map, 's(A) = n + ℓ' should read 's(A) = k + ℓ'; as written the bound on the GT pattern is inconsistent with the definition of s(A).","section":"§3.6, proof of Theorem 2"},{"comment":"The notation '|(ξtr)(r)|' is undefined and confusing: the paper defines (ξ)(r) = ∑_{j=1}^r ξ_j, but the transpose entry should be (ξ^tr)(r) = ∑_{j=1}^r ξ^tr_j, and no absolute value is needed.","section":"§4.1, Proposition 4"},{"comment":"There are several typographical slips: 'infinte-dimensional' (p. 2), 'Lie superagebra' (p. 4), and the abstract's lowercase 'lie superalgebras' should be corrected.","section":"§2.5"},{"comment":"The symbol 'd(ˆξ)−' is used without definition, and the statement of Theorem 4(ii) has an unclosed parenthesis in 'τsV(fξn−1((˜ξ)−)'; these should be fixed.","section":"§4.2 and Theorem 4(ii)"},{"comment":"The displayed equation 'Ker ϕ = { y2(r, ...)vξ : ξn ≤ r ≤ ξn−1 }' is missing set braces and should read 'the submodule generated by ...'; the intended meaning is clear but the notation should be made precise.","section":"Lemma 4"}],"recommendation":"major_revision","confidential_remarks":"The paper is built closely on [2] and on [7]/[14], and the authors should be asked to state clearly which results are new. The range typo in (4.2) is likely fixable, but the sign issue in Lemma 3 may require a genuine reworking of the commutation arguments, not just a change of sign in one line, because the odd root vectors interact with the sl2,α2 copy in several places. In its current form I would not accept; I recommend major revision rather than rejection because the overall strategy, with explicit quotient maps and a dimension bound, is sound."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read this one for the super POPs and the graded character formula; skip, or read with a red pen, the short exact sequence section. The paper has a real, fixable error in Proposition 4 that undercuts Theorem 4 as stated.\n\nWhat is actually new and good: Theorem 2's super POPs parametrization is a genuine combinatorial object, and the bijection with the basis from [2] is explicit and checkable. Proposition 3's graded character formula follows cleanly from the known basis and passes small-n checks. The paper also honestly says Corollary 2 was already proved in [2]; the new contribution is the attempted proof via the short exact sequence, and the construction of the sequence itself is a reasonable idea.\n\nThe soft spot is in Section 4.1. Proposition 4 asserts that V(ξ) is the quotient of W(λ) by the relations (4.2), with r restricted to 1 ≤ r ≤ ξ1 − 1. For ξ = (2,1), that range is empty, so the proposition would give V(ξ) = W(λ). But Lemma 2, imported from [2], gives y2(1,2)vξ = 0 for this ξ, and that relation fails in W(λ) because (y2 ⊗ t^2)wλ is a nonzero basis element. So (4.2) is wrong as written. The likely fix is to change the range to 1 ≤ r ≤ ξ0; the r = 1 relation then exactly matches Lemma 2, and the rest of the paper's computations seem consistent with that correction. Still, the error is load-bearing: Lemma 4, the filtration submodules, and the dimension argument all quote (4.2).\n\nBeyond that, the proof of Theorem 4 has a few maps asserted by \"similar arguments\" rather than actually shown, and there is an unproved nonzero coefficient c in the n = 1 case. These are fillable gaps, not necessarily fatal, and the explicit assumption that the sl2,α2 arguments from [7,14] transfer to the super setting is worth a careful check but not disqualifying on its own.\n\nWho this is for: people working on current Lie superalgebras, local Weyl modules, and fusion products. The graded character formula and super POPs are worth having even if the short exact sequence section is still in repair. I would send this to a referee who knows the CV module literature, because the core ideas are sound and the main error looks typographical, but I would not accept it in this form. The authors need to fix the range in Proposition 4 and fill in the sketched maps in Theorem 4 before the structural result is credible.","headline":"The super POPs and graded character formula are genuinely new and checkable, but the short exact sequence section rests on a concrete range typo in Proposition 4 that makes the paper's main structural theorem unproven as written.","tokens_in":23191,"tokens_out":3622,"would_cite":false,"duration_ms":32500,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["16S30","17B05","17B10","17B35","17B65","17B67","17B70","05E10"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every Chari-Venkatesh module of sl(1|2)[t] sits in a short exact sequence whose kernel is filtered by shifted CV modules, implying it is isomorphic to a fusion product of generalized Kac modules.","keywords":["current Lie superalgebras","sl(1|2)[t]","Chari-Venkatesh modules","local Weyl modules","generalized Kac modules","fusion products","super partition overlay patterns","graded characters"],"falsifier":"Compute $\\dim \\ker \\varphi$ for $\\xi = (2,1)$ directly from the defining relations of $V(\\xi)$ or from the basis in [2]; the theorem predicts $\\dim \\ker \\varphi = 8$ with filtration subquotients of dimensions $4,4,4,4$, so any other total or subquotient profile would falsify the main theorem. Alternatively, test the Leibniz identity of Lemma 3(ii) with explicit $3\\times3$ supermatrices on a small grade; an extra bracket term involving the odd vectors would break the kernel filtration.","tokens_in":22066,"feed_emoji":"🧮","tokens_out":14059,"duration_ms":111231,"temperature":0.7,"pith_summary":"The paper studies finite-dimensional graded representations of the current Lie superalgebra sl(1|2)[t]. It aims to prove structural decomposition results for the family of Chari-Venkatesh (CV) modules: each CV module fits into a short exact sequence whose kernel is generated by a single monomial and admits an explicit filtration by shifted CV modules. From this structural result, the paper derives that every CV module is isomorphic to a fusion product of generalized Kac modules, for arbitrary distinct evaluation parameters. In support of this program, it also introduces a combinatorial parametrization of local Weyl module bases called super POPs and derives a closed graded character formula for the local Weyl module.","feed_headline":"Chari-Venkatesh modules are fusion products for sl(1|2)[t]","feed_subtitle":"Short exact sequence proves CV modules are parameter-independent Kac-module fusion products.","key_machinery":"The machinery is a combination of a distinguished $\\mathfrak{sl}_{2,\\alpha_2}$ subalgebra and a set of combinatorial partition operations. Because the $\\alpha_2$ root vectors inside $\\mathfrak{sl}(1|2)$ obey the same relations as in the current algebra $\\mathfrak{sl}_2[t]$, the paper invokes the reduction from the current-algebra literature to replace the defining CV relations by monomial equations $y_2(r,s)v_\\xi = 0$ for $s > kr + \\xi_{k+1} + \\cdots + \\xi_n$. The partition operations, moving one box to form $\\xi^+$ and passing to $\\xi^-$, $(\\hat{\\xi})^-$, $(\\tilde{\\xi})^-$, organize the cyclic kernel into a filtration with shifted CV subquotients. Lemma 3 supplies the Leibniz identities that let $Y_2(r,s)$-relations be pushed past the odd-root monomials $(y_2 \\otimes t^j)^k$, $(x_1 \\otimes t^a)$, and $(y_3 \\otimes t^b)$, the step where the superalgebra structure actually matters.","core_discovery":"The central discovery is a short exact sequence of $\\mathfrak{g}[t]$-modules $0 \\to \\ker \\varphi \\to V(\\xi) \\to V(\\xi^+) \\to 0$ for each Chari-Venkatesh module $V(\\xi)$, where $\\xi^+$ is obtained from the partition $\\xi$ by moving one box from the last part, with $\\ell$ the first index with $\\xi_\\ell = \\xi_{n-1}$. The kernel is the cyclic submodule generated by $(y_2 \\otimes t^n)^{\\xi_n} v_\\xi$, and it has an explicit filtration whose subquotients are shifted CV modules attached to derived partitions $\\xi^-$, $(\\hat{\\xi})^-$, $(\\tilde{\\xi})^-$, and, in the equal-tail case, two further variants, with grade shifts $\\tau_s$ for $s = n\\xi_n$. A dimension count using the known dimensions of generalized Kac modules forces the surjective maps in the filtration to be isomorphisms, giving $\\dim V(\\xi) = 4^{n+1}\\xi_0\\cdots\\xi_n$ and, as Corollary 2, the $\\mathfrak{g}[t]$-module isomorphism $V(\\xi) \\cong K(a_0,\\xi_0)^{z_0} * \\cdots * K(a_n,\\xi_n)^{z_n}$ for distinct $z_0,\\dots,z_n$ and $a_0+\\cdots+a_n = \\lambda_1$. The paper also establishes that super POPs biject with the known basis of the local Weyl module and yield the graded character formula of Proposition 3.","pith_inferences":["If the $\\mathfrak{sl}_{2,\\alpha_2}$ transfer can be made fully rigorous, the same filtration argument should yield Demazure-type flags for CV modules and, by analogy with the current-algebra case, a proof of the Feigin–Loktev fusion-product conjecture for these superalgebra modules.","The super POP construction is likely to extend to other basic classical Lie superalgebras that contain a distinguished $\\mathfrak{sl}_2$ subalgebra, giving combinatorial bases and graded character formulas for their local Weyl modules.","A concrete check of Lemma 3's Leibniz identities in small grades would settle whether the main theorem survives without the transfer assumption; a single nonzero odd-vector bracket would pinpoint the failure."],"forward_implications":["Every Chari-Venkatesh module $V(\\xi)$ has dimension $4^{n+1}\\xi_0\\cdots\\xi_n$, exactly the product of the dimensions of the generalized Kac modules in the fusion product.","The fusion product $K(a_0,\\xi_0)^{z_0} * \\cdots * K(a_n,\\xi_n)^{z_n}$ is independent of the choice of distinct evaluation parameters, since it is isomorphic to $V(\\xi)$.","The kernel filtration yields a new proof of the character and basis formulas for $V(\\xi)$ that were previously obtained by direct computation in [2].","Combining the upper bound from the filtration with the known lower bound from surjections to fusion products pins down $\\dim V(\\xi)$ exactly."],"supporting_citations":[{"why":"It defines the CV modules, the local Weyl module basis, and the surjections to fusion products that the paper's short exact sequence reproves.","marker":"[2]"},{"why":"It provides the filtration and dimension arguments for CV modules in the current-algebra case that the paper transfers to the superalgebra setting.","marker":"[7]"},{"why":"It supplies the $\\mathfrak{sl}_{2,\\alpha_2}$ reduction (Sections 2.3–2.4) that converts the CV defining relations into monomial equations.","marker":"[14]"},{"why":"It introduces partition overlay patterns (POPs), which the paper generalizes to super POPs for the new basis parametrization.","marker":"[16]"},{"why":"It introduces local Weyl modules for Lie superalgebras, giving the setting in which $W(\\psi)$ is defined.","marker":"[3]"},{"why":"It defines generalized Kac modules and Weyl functors for Lie superalgebras, the building blocks of the fusion products.","marker":"[1]"}],"fun_headline_variants":["CV modules are fusion products of generalized Kac modules","Short exact sequence proves CV modules are Kac fusions","Exact sequence gives fusion decomposition for CV modules","CV modules decompose as fusions of Kac modules","Fusion theorem for Chari-Venkatesh modules over sl(1|2)[t]"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the $\\mathfrak{sl}_{2,\\alpha_2}$ reduction arguments from the current-algebra setting transfer unchanged to the superalgebra $\\mathfrak{sl}(1|2)[t]$, even though odd root vectors $y_1,y_3,x_1,x_3$ are present; if that transfer fails, the monomial relations and Leibniz identities behind the kernel filtration collapse.","fun_headline_variants_meta":{"raw":{"variants":["CV modules are fusion products of generalized Kac modules","Short exact sequence proves CV modules are Kac fusions","Exact sequence gives fusion decomposition for CV modules","CV modules decompose as fusions of Kac modules","Fusion theorem for Chari-Venkatesh modules over sl(1|2)[t]"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001314,"raw_usage":{"total_tokens":5382,"prompt_tokens":1004,"completion_tokens":4378,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":620,"completion_tokens_details":{"reasoning_tokens":4292}},"tokens_in":620,"tokens_out":4378,"duration_ms":30997,"temperature":1.0,"reasoning_tokens":4292,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T11:54:30.600810+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $\\dim \\ker \\varphi$ for $\\xi = (2,1)$ directly from the defining relations of $V(\\xi)$ or from the basis in [2]; the theorem predicts $\\dim \\ker \\varphi = 8$ with filtration subquotients of dimensions $4,4,4,4$, so any other total or subquotient profile would falsify the main theorem. Alternatively, test the Leibniz identity of Lemma 3(ii) with explicit $3\\times3$ supermatrices on a small grade; an extra bracket term involving the odd vectors would break the kernel filtration.","supporting_citations":[{"cited_title":"Local Weyl modules and fusion products for the current superalgebra sl(1|2)[t]","cited_arxiv_id":null,"evidence_quote":"It defines the CV modules, the local Weyl module basis, and the surjections to fusion products that the paper's short exact sequence reproves."},{"cited_title":"Demazure modules, fusion products and Q-systems","cited_arxiv_id":null,"evidence_quote":"It provides the filtration and dimension arguments for CV modules in the current-algebra case that the paper transfers to the superalgebra setting."},{"cited_title":"Graded Representations of Current Algebras","cited_arxiv_id":null,"evidence_quote":"It supplies the $\\mathfrak{sl}_{2,\\alpha_2}$ reduction (Sections 2.3–2.4) that converts the CV defining relations into monomial equations."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It introduces partition overlay patterns (POPs), which the paper generalizes to super POPs for the new basis parametrization."},{"cited_title":"Weyl modules for Lie superalgebras","cited_arxiv_id":null,"evidence_quote":"It introduces local Weyl modules for Lie superalgebras, giving the setting in which $W(\\psi)$ is defined."},{"cited_title":"Weyl modules and Weyl functors for Lie superal- gebras","cited_arxiv_id":null,"evidence_quote":"It defines generalized Kac modules and Weyl functors for Lie superalgebras, the building blocks of the fusion products."}],"review_version":1}