{"id":"3c80ecfc-bbb3-46de-a592-e2d812bf2643","arxiv_id":"2608.08651","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For the BMS-Kac-Moody algebra, tensor products of finitely many U(h)-free modules with an irreducible restricted module are irreducible exactly when the lambda parameters are pairwise distinct, and the isomorphism class is determined by the original data.","lead":"This paper builds new irreducible representations of the BMS-Kac-Moody algebra by tensoring known modules of two different types. It gives exact conditions for irreducibility and isomorphism, and shows the resulting modules are genuinely new.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.4's lowering step is injective, so the reader's cancellation concern does not land; the real remaining gap is Lemma 5.1, which carries the Theorem 5.2 novelty claim and is stated without proof.","rationale":"The central irreducibility and isomorphism arguments appear sound. The specific cancellation the reader worries about cannot occur: both lowering steps in Theorem 3.4 are injective on the relevant exponent slices, so the minimal-degree contradiction is legitimate. This removes the stated basis for the conditional verdict. A different condition does remain: Theorem 5.2, the advertised novelty result, depends entirely on Lemma 5.1, whose proof is omitted. The lemma is plausible and the cited parallels suggest it is standard, but until the proof is supplied or the correspondence with [11] and [8] is made exact, the newness claim is not fully verified. That is enough to keep the paper conditional rather than to accept it unconditionally. The reader's verdict therefore stands, though for a different reason than the one emphasized in the reader's weakest_assumption.","tokens_in":12541,"tokens_out":37662,"duration_ms":374650,"concrete_test":"Fill the gap in Lemma 5.1. Concretely: (1) For a fixed monomial in Phi, verify that L_{l-k-i}L_{k+i} becomes, after the shift cancellation (s-b-a = s-l), a polynomial in i of degree at most 4, so the fifth difference with r>4 is zero; check this for arbitrary h(t), including the n(n-1)alpha H(t) term in h^(n)(t). (2) For part (3), with V a non-trivial irreducible restricted module, exhibit l,k and v for which the coefficient involving V in omega^(r)_l,k(1 tensor v) is nonzero and is not cancelled by the Phi-part; for part (4), with V trivial and m>=2, exhibit l,k and an element of C[s1,s2,t1,t2] on which omega^(r)_l,k is nonzero. (3) If the proof is literally identical to [11, Lemma 5.1] and [8, Lemma 4.1], state the exact correspondence of each of (1)-(4) to the displayed lemmas in those papers.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's cancellation objection to Theorem 3.4 does not land. In (3.6), subtracting P_i0 omega_i0 sends the i0-th exponent to 0 and leaves every other exponent unchanged, so distinct monomials stay distinct; no cancellation is possible. In the q-reduction, the map q -> q - omega_j0 is injective on {q : q_j0 > 0} because q_j0 is recovered as r_j0 + 1, and the coefficients q_j0 are positive. The minimal-degree contradiction is therefore valid. The load-bearing gap is Lemma 5.1, whose proof is omitted ('Since the proof is similar to those of [11, Lemma 5.1] and [8, Lemma 4.1], we omit the details'). This lemma is exactly what makes Theorem 5.2's newness claim true: part (2) says every omega^(r)_l,k with r>4 annihilates Phi(lambda,alpha,beta,gamma,h), while parts (3)-(4) assert the same operator is nonzero on T in the non-excluded cases. If either assertion fails, T could be isomorphic to a known Phi-module and the advertised newness collapses. The nontrivial points are the degree-in-i bound for L_b L_a after the shift cancellation (s-b-a = s-l), for arbitrary h(t), and the existence of explicit l,k,v (or l,k when V is trivial and m>=2) where the V-cross terms do not cancel. No derivation is supplied and the citation does not identify which statement in [11] or [8] proves each of (1)-(4).","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs tensor products T = (⊗_{i=1}^m Φ(λ_i,α_i,β_i,γ_i,h_i(t_i))) ⊗ V over the BMS-Kac-Moody algebra L, where each Φ is a rank-one U(C L_0 ⊕ C W_0)-free module and V is an irreducible restricted L-module. The main results are: (i) Theorem 3.4 and Corollary 3.6 give that T is irreducible if and only if λ_1,...,λ_m are pairwise distinct; (ii) Theorem 4.2 classifies isomorphisms between two such irreducible modules in terms of matching parameters after renumbering and an isomorphism V ≅ V'; (iii) Theorem 5.2 claims that these irreducible modules are new non-weight L-modules except when m=1 and V is the one-dimensional trivial module. The proofs use degree-lowering arguments with generalized Vandermonde determinants, a rank invariant R_T, and comparison via the second-order elements ω^{(r)}_{l,k}.","tokens_in":12863,"tokens_out":37926,"duration_ms":339057,"significance":"If correct, these results extend the tensor-product construction of non-weight modules from the Virasoro and W(2,2) settings to the BMS-Kac-Moody algebra and give a complete irreducibility criterion and isomorphism classification. The main irreducibility argument in Theorem 3.4 is sound: the degree-lowering step is valid because the maps in (3.6) and in the q-reduction are injective on the relevant monomials, so the cancellation concern raised in the stress test does not materialize. The isomorphism proof in Theorem 4.2 is largely self-contained after an import from [5] for the W(2,2) part. However, the newness claim in Theorem 5.2 rests entirely on Lemma 5.1, whose proof is omitted; this is a load-bearing gap that prevents acceptance in the paper's current form.","major_comments":[{"comment":"The proof of Lemma 5.1 is omitted with the sentence 'Since the proof is similar to those of [11, Lemma 5.1] and [8, Lemma 4.1], we omit the details.' This lemma is load-bearing for Theorem 5.2, the central newness claim. Part (2) asserts that ω^{(r)}_{l,k} annihilates every Φ(λ,α,β,γ,h(t)) for r>4, while parts (3) and (4) assert non-annihilation on the tensor module T in the non-excluded cases. These statements are nontrivial for the BMS-Kac-Moody algebra: the L_n action on Φ involves the polynomial h(t), the parameter α, and the tensor product has multiple factors with distinct shifts λ_i. The cited lemmas are for the Virasoro algebra and do not directly cover this setting. The authors must supply a full proof or a detailed adaptation that verifies each of (1)-(4), especially the degree bounds and the explicit choices of l,k,v (or l,k when V is trivial and m≥2). Without this, the conclusion that T is not isomorphic to any known non-weight module is unsupported.","section":"§5, Lemma 5.1"},{"comment":"In the necessity part of the isomorphism theorem, the step 'Using the same argument as in [5, Theorem 3.6], we obtain that λ_i = λ'_i, α_i = α'_i for 1≤i≤m and (4.1)' is a black-box import. [5] is an arXiv preprint about the W(2,2) algebra, not the BMS-Kac-Moody algebra L, which has additional currents I_n,J_n. Since this step supplies the identification of the parameters λ and α and the key formula (4.1) used in all subsequent computations, the authors should either provide a self-contained proof of this reduction for L or explicitly state the imported theorem, verify its hypotheses for the subalgebra spanned by {L_n,W_n}, and explain why it remains valid in the presence of I_n,J_n. As written, a reader cannot check a load-bearing part of the classification.","section":"§4, Theorem 4.2"}],"minor_comments":[{"comment":"There is a typo in the W_n computation: '(t1 − n a1)' should read '(t1 − n α1)', and similarly 'a2' should be 'α2'.","section":"§3, Proposition 3.5"},{"comment":"The properness of the submodules N_l is asserted with 'Clearly' but not demonstrated. A short argument, e.g., comparing the dimensions of the homogeneous degree-d parts for d > l, would remove any doubt.","section":"§3, Proposition 3.5"},{"comment":"The reduction of the reducibility statement to the two-factor case is implicit. The authors should explicitly note that if N is a proper submodule of Φ_i ⊗ Φ_j, then N ⊗ (⊗_{k≠i,j} Φ_k) ⊗ V is a proper submodule of the full T.","section":"§3, Corollary 3.6"},{"comment":"The extraction of the coefficients of n^{P_i+1} λ_i^n and n^{P_i} λ_i^n from (3.7) and (3.8) using Lemma 3.1 is very terse. A sentence explaining that the generalized Vandermonde matrix is invertible and that M is a subspace, so each coefficient vector can be isolated, would help the reader verify (3.5) and (3.6).","section":"§3, Proposition 3.2"},{"comment":"The proof of part (2) is compressed. The linear independence of {f, a_{i,0}, a_{i1,P_{i1}+1}, b_{i1,P_{i1}}} relies on comparing lexicographically highest monomials; this should be spelled out, as the current one-sentence justification is not immediate.","section":"§4, Lemma 4.1"},{"comment":"Equations (4.2)-(4.4) are stated as results of 'explicit calculations' but no calculation is shown. Including at least one representative computation, for instance for (4.3), would improve verifiability.","section":"§4, Theorem 4.2"},{"comment":"Reference [5] is an arXiv preprint (arXiv:2506.08794v1). If it has been accepted or published, the citation should be updated; otherwise the paper should prove the needed statements or state them explicitly as borrowed results.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The main irreducibility and isomorphism results appear mathematically sound after the concerns about Theorem 3.4 are checked; the cancellation issue raised in the stress test does not land because the relevant monomial maps are injective. The principal obstacle is the unproved Lemma 5.1, which carries the entire 'newness' theorem. I would also verify the status of [5] and ask the authors to make the import from that preprint explicit."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the short version: the paper does what it says, and the main proof gap the reader flagged is not actually there. The one genuine soft spot is Lemma 5.1, which is stated without proof and carries the newness claim of Theorem 5.2.\n\nWhat is new: a family of irreducible non-weight modules for the BMS-Kac-Moody algebra, obtained by tensoring finitely many rank-one U(h)-free modules Φ with an arbitrary irreducible restricted module. The irreducibility criterion (λ_i pairwise distinct) and the isomorphism classification (match all five parameters after renumbering) are cleanly stated and, as far as the cited literature goes, new. The technical work is the adaptation of the Virasoro/W(2,2) tensor-product machinery to the two u(1) currents; the coefficient extraction using the determinant in Lemma 3.1 is real computation, and the β≠0 cases are handled explicitly.\n\nThe reader's cancellation objection to Theorem 3.4 does not land. In (3.6), subtracting P_i0 ω_i0 sends the i0-th exponent to zero and leaves every other s-exponent unchanged, so distinct monomials cannot merge. The q-lowering step from (3.5) is injective for the same reason, and the chosen minimal coordinate keeps the lex-degree strictly lower. So the minimal-degree contradiction is valid.\n\nThe soft spot is Lemma 5.1. Its proof is omitted, and it is exactly what distinguishes T from the known Φ-modules: parts (2)–(4) assert the annihilation of Φ by ω_l,k^(r) for r>4 and the nonvanishing on T in all but the trivial excluded cases. That is not a cosmetic detail; the degree bounds and cross-term cancellations for arbitrary h(t) and for the V-cross terms need at least a sketch. The citation to [11] and [8] may be fair, but a referee should ask for the details. Corollary 3.6's reduction to the m=2, trivial-V case is also quick; it is standard, but one line explaining how a repeated λ among more factors produces a submodule would remove the friction.\n\nBottom line: the central claims are plausible and the arguments largely hold. The paper deserves a serious referee, not a desk reject. I would recommend acceptance conditional on a proof or detailed sketch of Lemma 5.1 and a small clarification in Corollary 3.6.","headline":"A workmanlike tensor-product construction for the BMS-Kac-Moody algebra; the reader's main proof concern is a false alarm, but Lemma 5.1 needs proof for the newness claim to hold.","tokens_in":13392,"tokens_out":5327,"would_cite":false,"duration_ms":51171,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B10","17B65","17B68","17B70"],"pacs":[],"model":"deepseek-v4-flash","headline":"Tensor products of polynomial modules with a restricted module are irreducible exactly when the spectral parameters are distinct, and isomorphisms are classified by parameter lists.","keywords":["BMS-Kac-Moody algebra","non-weight modules","tensor product modules","irreducible modules","restricted modules","module isomorphisms","U(h)-free modules"],"falsifier":"Look for an explicit tensor product $T$ with $\\lambda_i=\\lambda_j$ for some $i\\ne j$ and a nontrivial irreducible restricted module $V$ that is nevertheless irreducible; the paper's reducibility proof only treats two factors with trivial $V$, so such an example would falsify the iff criterion. Alternatively, compute the coefficient matrix of the degree-lowering formulas (3.5) and (3.9) on a minimal-degree element and check whether the extracted element can vanish by cancellation.","tokens_in":12320,"feed_emoji":"🧩","tokens_out":9609,"duration_ms":95621,"temperature":0.7,"pith_summary":"The paper constructs a family of modules for the BMS-Kac-Moody algebra by tensoring finitely many polynomial modules $\\Phi(\\lambda_i,\\alpha_i,\\beta_i,\\gamma_i,h_i(t_i))$ with an arbitrary irreducible restricted module $V$. It proves that such a tensor product $T$ is irreducible if and only if the complex parameters $\\lambda_1,\\dots,\\lambda_m$ are pairwise distinct, and that in the irreducible case every nonzero vector generates the module. It then classifies isomorphisms: two of these tensor modules are isomorphic exactly when they have the same number of factors, isomorphic restricted factors, and matching parameter tuples after renumbering. The construction matters because it yields a genuinely new family of non-weight modules for an algebra tied to flat-space holography, controlled by finite parameter data rather than by an ad hoc action.","feed_headline":"New BMS-Kac-Moody modules: irreducible iff parameters differ","feed_subtitle":"A tensor-product construction yields non-weight modules whose irreducibility and isomorphisms are fully determined.","key_machinery":"The argument is carried by a lexicographic degree on the polynomial factors together with a leading-term extraction using the operators $I_n$ and $J_n$ (and $L_n,W_n$) for large $n$; a confluent-Vandermonde determinant lemma isolates the coefficient of the highest power $n^{P_i}\\lambda_i^n$, so pairwise distinct $\\lambda_i$ allow each degree component to be peeled off separately. Once irreducibility is established, isomorphism detection uses the rank invariant $R_f = \\lim_{l\\to\\infty} \\mathrm{rank}\\{f, W_n(f), J_n(f) : n\\ge l\\}$, which counts the number of tensor factors and detects whether $f$ lies in the restricted factor. To prove novelty, certain universal-enveloping operators $\\omega^{(r)}_{l,k}$ are applied: they annihilate the polynomial $\\Phi$ modules for $r>4$ but act nontrivially on the new tensor modules unless $m=1$ and $V$ is trivial.","core_discovery":"On the paper's own terms, the central discovery is a sharp irreducibility dichotomy for tensor-product modules $T = \\bigotimes_{i=1}^m \\Phi(\\lambda_i,\\alpha_i,\\beta_i,\\gamma_i,h_i(t_i)) \\otimes V$ over the BMS-Kac-Moody algebra: $T$ is irreducible if and only if $\\lambda_1,\\dots,\\lambda_m$ are pairwise distinct. When two of the $\\lambda_i$ coincide, the paper exhibits explicit nested proper submodules, so irreducibility fails. For the irreducible case, two such modules are isomorphic if and only if $m=m'$, $V\\cong V'$, and the tuples $(\\lambda_i,\\alpha_i,\\beta_i,\\gamma_i,h_i(t_i))$ coincide with $(\\lambda'_i,\\alpha'_i,\\beta'_i,\\gamma'_i,g_i(t_i))$ after renumbering. Finally, these modules do not appear among the previously known non-weight modules: they are not isomorphic to restricted modules or to the individual $\\Phi$ modules, except when $m=1$ and $V$ is the one-dimensional trivial module.","pith_inferences":["A natural extension would be to study what happens as two distinct $\\lambda_i$ approach each other; the explicit submodule chain $N_l$ suggests a degeneration or contraction phenomenon.","The same determinant-based peeling argument may transfer to other $\\mathbb{Z}$-graded Lie algebras with several commuting currents, yielding irreducibility criteria for tensor products of $U(\\mathfrak h)$-free modules with restricted modules.","The rank invariant $R_f$ could serve as a numerical invariant for detecting the number of tensor factors in more general module constructions over such algebras.","The paper leaves open whether reducibility for repeated $\\lambda_i$ persists for arbitrary restricted $V$; the proof considers two factors with trivial $V$, so a nontrivial restricted factor might behave differently."],"forward_implications":["When $\\lambda_1,\\dots,\\lambda_m$ are pairwise distinct, $T$ is irreducible and is generated by any single vector $1\\otimes\\cdots\\otimes 1\\otimes v$ with $0\\ne v\\in V$.","If two of the $\\lambda_i$ coincide, the tensor product is reducible; in the two-factor case the paper writes down explicit proper submodules $N_l$.","The isomorphism classification reduces checking whether two such modules are isomorphic to comparing finite parameter lists and the restricted factor.","These modules are new non-weight modules for the BMS-Kac-Moody algebra except for $m=1$ with trivial $V$, where the construction reproduces the known $\\Phi(\\lambda,\\alpha,\\beta,\\gamma,h(t))$ modules."],"supporting_citations":[{"why":"Supplies the modules $\\Phi(\\lambda,\\alpha,\\beta,\\gamma,h(t))$, their irreducibility criterion, and their isomorphism classification, which the tensor construction starts from.","marker":"[6]"},{"why":"Provides the determinant lemma used as Lemma 3.1 to isolate leading coefficients when the $\\lambda_i$ are distinct.","marker":"[16]"},{"why":"Supplies the irreducible restricted modules $V$ used as tensor factors and the locally finite action fact used to separate them from the new modules.","marker":"[10]"},{"why":"Carries out the same tensor-product irreducibility and isomorphism argument for the closely related $W(2,2)$ algebra, which the paper adapts to the BMS-Kac-Moody case.","marker":"[5]"},{"why":"Introduces the operators $\\omega^{(r)}_{l,k}$ used to distinguish the new modules from the known polynomial modules.","marker":"[12]"}],"fun_headline_variants":["New BMS modules: irreducible iff λi distinct","Tensor-product BMS modules: irreducibility iff λ's differ","λ-distinct rule for new irreducible BMS modules","New irreducible BMS modules: λ distinctness test"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof of Theorem 3.4 requires the element obtained from formulas (3.5) and (3.9) to be nonzero; because several $t$-exponents can coincide after subtracting $\\omega_i$, cancellation is possible, and the paper does not rule it out.","fun_headline_variants_meta":{"raw":{"variants":["New BMS modules: irreducible iff λi distinct","Tensor-product BMS modules: irreducibility iff λ's differ","λ-distinct rule for new irreducible BMS modules","New irreducible BMS modules: λ distinctness test"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001553,"raw_usage":{"total_tokens":6164,"prompt_tokens":857,"completion_tokens":5307,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":473,"completion_tokens_details":{"reasoning_tokens":5241}},"tokens_in":473,"tokens_out":5307,"duration_ms":37041,"temperature":1.0,"reasoning_tokens":5241,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T04:28:28.522436+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Look for an explicit tensor product $T$ with $\\lambda_i=\\lambda_j$ for some $i\\ne j$ and a nontrivial irreducible restricted module $V$ that is nevertheless irreducible; the paper's reducibility proof only treats two factors with trivial $V$, so such an example would falsify the iff criterion. Alternatively, compute the coefficient matrix of the degree-lowering formulas (3.5) and (3.9) on a minimal-degree element and check whether the extracted element can vanish by cancellation.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the modules $\\Phi(\\lambda,\\alpha,\\beta,\\gamma,h(t))$, their irreducibility criterion, and their isomorphism classification, which the tensor construction starts from."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the determinant lemma used as Lemma 3.1 to isolate leading coefficients when the $\\lambda_i$ are distinct."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the irreducible restricted modules $V$ used as tensor factors and the locally finite action fact used to separate them from the new modules."},{"cited_title":"New simple modules for the $W$-algebra $W(2,2)$","cited_arxiv_id":"2506.08794","evidence_quote":"Carries out the same tensor-product irreducibility and isomorphism argument for the closely related $W(2,2)$ algebra, which the paper adapts to the BMS-Kac-Moody case."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the operators $\\omega^{(r)}_{l,k}$ used to distinguish the new modules from the known polynomial modules."}],"review_version":1}