{"id":"217114e7-4b52-495e-adf0-2a888f7b640a","arxiv_id":"2412.03750","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Alternating snake modules generalize snake and cluster algebra modules, with prime factorization, a determinant formula, and a category O application giving Kazhdan-Lusztig coefficients ±1.","lead":"The paper introduces a new family of modules for quantum affine algebras, called alternating snake modules, and proves they have unique prime factorizations and explicit determinantal character formulas. The results unify previously studied snake modules and cluster algebra modules, and they yield new examples in the BGG category O where Kazhdan-Lusztig coefficients are only 0 or ±1.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 1.10.4 is false as stated: a stable alternating snake with λ1=λ2 but μ1>μ2 violates the Arakawa–Suzuki condition, so the category O application needs repair.","rationale":"The reader's weakest assumption correctly identified the unverified Arakawa–Suzuki condition in Section 1.10.4. The stress-test confirms and sharpens this concern with a concrete counterexample: for the stable alternating snake ([2,5],[0,4]), all stated hypotheses of Proposition 1.10.4 hold, but the condition μ(h_α)≤0 fails for α=e_1−e_2, forcing F_λ(V(μ))=0 and contradicting the claimed equality F_{ℓ,n}F_λ(V(μ))=V(ω_s). Thus the category O application, which is an advertised part of the paper's central claim, is not justified as stated. The main determinantal formula (Theorem 3) is independent of this proposition and appears unaffected, so the appropriate response is a conditional revision: the authors should verify the Arakawa–Suzuki condition for the family in Section 1.9 or restrict Proposition 1.10.4 accordingly. This does not change the reader's overall CONDITIONAL verdict.","tokens_in":38659,"tokens_out":14622,"duration_ms":128164,"concrete_test":"Verify by direct substitution that the example s=([2,5],[0,4]), n=7, σ=id satisfies all hypotheses of Proposition 1.10.4 (stable alternating snake, λ+ρ=(5,4)∈P^+, λ_i−μ_i∈Z_+, ℓ=7≤n) yet μ(h_{e_1−e_2})=1, forcing F_λ(V(μ))=0 and contradicting F_{ℓ,n}F_λ(V(μ))=V(ω_s).","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 1.10.4 overgeneralizes. Let s = ([2,5],[0,4]) ∈ S_alt^stable with r=2 and take n=7. The unique permutation with λ+ρ=(j_{σ(1)},j_{σ(2)})∈P^+ is σ=id: λ+ρ=(5,4), so λ=(9/2,9/2); the definition gives μ+ρ=(i_1,i_2)=(2,0), hence μ=(3/2,1/2). The Arakawa–Suzuki condition of §1.10.2 requires μ(h_α)≤0 for every positive root α with λ(h_α)=0. For α=e_1−e_2, λ(h_α)=λ_1−λ_2=0, but μ(h_α)=μ_1−μ_2=1>0. Therefore F_λ(V(μ))=0 and the left side of Proposition (i) is 0, while V(ω_s)≠0. So the hypotheses of Proposition 1.10.4 do not imply its conclusion; the construction of μ with Kazhdan–Lusztig coefficients ±1 is not established for all stable s. The paper must either prove the condition for the Section 1.9 family or restrict the statement.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a new family of finite-dimensional modules for the quantum loop algebra of type A, called alternating snake modules. This family contains both the classical snake modules and modules arising from monoidal categorifications of cluster algebras. The main results are: (1) a proof that alternating snake modules are real; (2) necessary and sufficient conditions for primality together with a unique prime factorization theorem; (3) a presentation of these modules generalizing Tadić's and Lapid–Mínguez's results; (4) an explicit determinantal formula expressing the class of a stable alternating snake module in the Grothendieck ring as an alternating sum of Weyl module classes (Theorem 3); and (5) an application, via the Arakawa–Suzuki functor and the Chari–Pressley functor, to the BGG category O of gl_r, claiming the existence of a large family of non-regular, non-dominant weights for which all non-zero Kazhdan–Lusztig coefficients are ±1.","tokens_in":38924,"tokens_out":12854,"duration_ms":116173,"significance":"If the main theorems are correct, this is a substantial contribution to the representation theory of quantum affine algebras and to the theory of cluster categorification. The determinantal formula in Theorem 3 is explicit, parameter-free, and unifies known special cases; the prime factorization theorem provides a clean structural result for a broad family of modules. The paper is honest in its use of external results (KKOP d-invariants, Naoi's work), and the proofs of Theorems 1–3 are detailed and appear to be free of circularity and fitted parameters. The advertised application to Kazhdan–Lusztig coefficients is attractive but, as discussed below, is currently overclaimed; the core algebra results, however, are strong enough to merit publication once the category O section is repaired.","major_comments":[{"comment":"The proof of the proposition omits verification of the Arakawa–Suzuki condition. As stated in §1.10.2, F_λ(V(μ)) equals V(λ,μ) only if μ(h_α) ≤ 0 for every positive root α with λ(h_α)=0; otherwise F_λ(V(μ))=0. This condition is not implied by the hypotheses of the proposition, and it can fail. For example, take the stable alternating snake s = ([2,5],[0,4]) with r=2 and n=7. The unique permutation giving λ+ρ ∈ P^+ is σ=id, so λ+ρ=(5,4) and λ=(9/2,9/2); the definition gives μ+ρ=(2,0) and μ=(3/2,1/2). Then λ_1=λ_2, so λ(h_{e_1-e_2})=0, but μ_1−μ_2=1>0. Hence F_λ(V(μ))=0, so the left-hand side of Proposition (i) is zero while V(ω_s) is non-zero. Thus Proposition 1.10.4(i) is false as stated. The Section 1.9 family has λ+ρ ∈ P^{reg}, so the condition is vacuous there, but the proposition as stated overgeneralizes. The authors should either restrict to the case where λ+ρ is regular (or otherwise verify the condition) or explicitly add the Arakawa–Suzuki inequality as a hypothesis.","section":"§1.10.4, Proposition"},{"comment":"The proposition also needs an explicit hypothesis that ℓ ≤ n. The formula F_{ℓ,n}(V(λ,μ)) = V(ω_{μ_1,λ_1}···ω_{μ_r,λ_r}) from §1.10.3 is only asserted under the condition ℓ ≤ n. The assumption in the proposition, 'n ≫ 0 i.e., n+1 ≥ j_{σ(1)} − min i_p ≥ j_{σ(r)} − max i_p ≥ 0', bounds the span of the intervals but does not bound the sum ℓ = Σ_s (j_{σ(s)} − i_{σ(s)}). For an alternating snake with overlapping intervals the sum of the interval lengths can exceed n+1 while the span condition holds, so ℓ > n is possible. Without ℓ ≤ n, the equality F_{ℓ,n}(V(λ,μ)) = V(ω_s) is not justified. The proposition should include ℓ ≤ n as an explicit hypothesis, or the authors should prove that for the Section 1.9 family (or for the general stable family) the stated inequalities imply ℓ ≤ n.","section":"§1.10.4, Proposition"}],"minor_comments":[{"comment":"The definition of 'stable' reads 'for 1 ≤ p ≤ r−1 we have i_{p+1} < i_{p−1} =⇒ ...', but i_{p−1} and j_{p−1} are undefined for p=1. This should be corrected to 'for 2 ≤ p ≤ r−1' or a convention should be stated for p=1 (e.g., vacuous).","section":"§1.8.3, Definition of stable"},{"comment":"In the chain of inequalities for d(V(ω_{s(0,p)}), V(ω_{s(p,r)})) there is a typographical artifact '=≤' which should be '≤'. This is purely cosmetic but should be fixed.","section":"§5.2, Proof of Theorem 1(ii)"},{"comment":"The tie-breaking rule for σ_s (j equal implies ordering by i) ensures uniqueness of the permutation but does not prevent λ from being singular, as the example in the first major comment shows. The authors should clarify that the condition λ+ρ ∈ P^{reg} is needed for the Arakawa–Suzuki step, or otherwise justify why the constructed λ and μ satisfy the required inequality.","section":"§1.10.4, Choice of σ_s"}],"recommendation":"major_revision","confidential_remarks":"The core results of the paper (Theorems 1–3) appear sound and represent a genuine contribution; the proof of Theorem 3 is long but careful and makes appropriate use of external invariants. The problem is concentrated in Section 1.10.4, where Proposition 1.10.4 is false as stated, as shown by a small explicit counterexample. The error is local and fixable: the proposition should be restricted to cases where the Arakawa–Suzuki condition holds (e.g., λ+ρ regular, as in the Section 1.9 family) and should include an explicit ℓ ≤ n hypothesis. I would not recommend rejection because the central algebraic theorems are independent of this application and the repair is straightforward. However, the abstract advertises the Kazhdan–Lusztig application as a main result, so the authors must correct the overclaim before the paper is published."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here is my take on arXiv:2412.03750. The main body is solid, genuinely new work. Alternating snake modules are a natural common generalization of snake modules and the Hernandez–Leclerc C1 modules, and the paper delivers real results: a prime/connected characterization with unique factorization (Theorem 1), a presentation (Theorem 2), and a determinantal character formula for stable alternating snakes (Theorem 3). The proofs are detailed and I saw no circularity; the reliance on KKOP d-invariants and Naoi's external result is explicit and appropriate. The combinatorial arguments in Sections 7–9 are long but structured, and the examples help. This is a contribution worth publishing.\n\nThe soft spot is Section 1.10.4. Proposition (i) claims Fℓ,nFλ(V(μ)) = V(ωs) as an \"immediate consequence\" of the Arakawa–Suzuki setup, but the functor Fλ sends V(μ) to zero unless μ(hα) ≤ 0 for every positive root α with λ(hα) = 0. The paper never verifies that condition for the constructed λ and μ, and it fails concretely. Take s = ([2,5],[0,4]) ∈ S_alt^stable with n = 7. Then λ+ρ = (5,4), so λ = (9/2,9/2), and μ+ρ = (2,0), so μ = (3/2,1/2). For α = e1−e2, λ(hα) = λ1−λ2 = 0, but μ(hα) = μ1−μ2 = 1 > 0. Hence Fλ(V(μ)) = 0, while V(ωs) ≠ 0. So Proposition 1.10.4(i) is false as stated, and the Kazhdan–Lusztig ±1 conclusion in (ii) is unsupported. This is a genuine flaw, but it is localized: it does not touch Theorems 1–3, which are independent of the category O application.\n\nWho is this for? Specialists in quantum affine algebras, q-characters, cluster monoidal categorification, and snake/ladder modules. They will find Theorems 1–3 valuable and the category O section in need of repair. My recommendation: send it to a serious referee. The main results deserve to appear, but the authors should either prove the Arakawa–Suzuki condition for their family or restrict the statement of the proposition. I would cite this for Theorem 3 in related work, and the counterexample above is worth raising in the referee report.","headline":"Strong, likely correct main theorems on alternating snake modules, but the category O application in Section 1.10.4 is false as stated, with a concrete counterexample to the Arakawa–Suzuki step.","tokens_in":724,"tokens_out":900,"would_cite":true,"duration_ms":51473,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B37","17B10","20C08","22E50"],"pacs":[],"model":"deepseek-v4-flash","headline":"Alternating snake modules admit a determinantal character formula forcing Kazhdan–Lusztig coefficients to be ±1.","keywords":["quantum affine algebras","alternating snake modules","determinantal formula","prime factorization","Kazhdan–Lusztig coefficients","category O","Arakawa–Suzuki functor","cluster algebras"],"falsifier":"Take the smallest constructed pair (λ, μ) from Section 1.9 with r=3; compute the Arakawa–Suzuki image of V(μ) and check whether F_λ(V(μ)) is the expected irreducible object, or verify directly whether μ(h_α) ≤ 0 holds for all positive roots α with λ(h_α)=0; if the condition fails, the claim that all nonzero c_{μ,ν} are ±1 would collapse. Alternatively, compute c_{μ,ν} for this pair by the formula in Proposition 1.10.4 and look for any coefficient outside {-1,0,1}.","tokens_in":2116,"feed_emoji":"🐍","tokens_out":5458,"duration_ms":100673,"temperature":0.7,"pith_summary":"This paper introduces a new family of finite-dimensional representations of the quantum affine algebra of type A, called alternating snake modules, that unifies the previously studied snake modules with modules arising from monoidal categorifications of cluster algebras. For these modules it gives a complete prime factorization, an explicit presentation, and a determinantal formula expressing the class of the irreducible module as an alternating sum of Weyl module classes. Using the Arakawa–Suzuki functor, this yields many non-regular, non-dominant weights whose Kazhdan–Lusztig coefficients are all ±1. This matters because such explicit identities are rare and open new computational windows into category O.","feed_headline":"Determinant formula gives ±1 Kazhdan–Lusztig coefficients","feed_subtitle":"Alternating snake modules unify snake and cluster modules, with prime factorization and concrete characters.","key_machinery":"The central object is the alternating snake: an ordered tuple of intervals [i_s,j_s] such that consecutive triples alternate between being strictly increasing in both endpoints (in S) and reversed (in S^∘), and non-adjacent intervals are non-overlapping. The matrix A(s) is defined recursively, with entries in K0(F_n) that are either zero or the class of an irreducible module [V(ω_{i,j})] for a single interval. The key identity is det A(s) = [V(ω_s)], proved by induction using a bilinear identity in K0 that expresses [V(ω_{i_p,j_1})][V(ω_{s_p})] as a sum of two terms, together with the Arakawa–Suzuki functor to transport the result to category O.","core_discovery":"The central claim is that for every stable alternating snake s = ([i1,j1],...,[ir,jr]), the equality [V(ω_s)] = det A(s) holds in the Grothendieck ring K0(F_n), where A(s) is an r×r matrix built from classes of single-interval irreducible modules, and the determinant expands as an alternating sum of Weyl module classes with coefficients ±1 when the endpoints are pairwise distinct. The paper further proves that V(ω_s) is prime if and only if certain simple combinatorial conditions hold, that any alternating snake module factors uniquely into prime alternating snake modules, and that it admits a presentation as a quotient of its Weyl module by images of maps from other Weyl modules. Finally, composing with the Arakawa–Suzuki functor gives many weights μ for which all nonzero Kazhdan–Lusztig coefficients c_{μ,ν} are ±1.","pith_inferences":["One could test whether the stability condition in Theorem 3 is removable: for non-stable alternating snakes the determinant matrix may fail to compute the irreducible class, and characterizing the exact obstruction could extend the family.","The determinantal identities may lift from Grothendieck-ring equalities to exact sequences of Weyl modules, giving categorical resolutions rather than just character formulas.","The same machinery might yield Kazhdan–Lusztig coefficients for other families of weights if the Arakawa–Suzuki condition can be verified, suggesting a broader class of weights with ±1 coefficients."],"forward_implications":["Every stable alternating snake module has a closed-form character: its class in K0(F_n) equals an explicit alternating sum of Weyl module classes with all coefficients in {-1,0,1} when the j's (or i's) are pairwise distinct.","The prime factorization of an alternating snake module is unique up to permutation, so these modules form a well-behaved family inside the Hernandez–Leclerc subcategory.","The presentation theorem gives an explicit quotient description of V(ω_s) by images of certain Weyl modules, extending the Tadic–Lapid–Minguez ladder-module presentation to the quantum affine setting.","The category O application produces many non-regular, non-dominant weights for which the Kazhdan–Lusztig coefficients c_{μ,ν} are ±1, giving explicit Verma decompositions with no multiplicities beyond sign."],"supporting_citations":[{"why":"supplies the Arakawa–Suzuki functor F_λ from category O to degenerate affine Hecke modules, used in the application to Kazhdan–Lusztig coefficients.","marker":"[1]"},{"why":"establishes the functor F_{ℓ,n} from affine Hecke modules to quantum affine modules and the equivalence for ℓ ≤ n that carries standard and irreducible modules to Weyl and irreducible modules.","marker":"[10]"},{"why":"defines the subcategory F_n and its cluster algebra structure; the modules from category C_1 are special cases of alternating snake modules.","marker":"[18]"},{"why":"provides the invariants d used to prove reality of alternating snake modules and the length-two facts behind prime factorization.","marker":"[23]"},{"why":"shows the determinantal formula in the S^∘ case for ladder or square-irreducible representations, a special case the authors recover via Schur–Weyl duality.","marker":"[28]"},{"why":"used for the proposition that d(V(ω_{i_1,j_1}), V(ω_{s(1,r)})) ≤ 1 and for controlling ℓ-weights in paths.","marker":"[31]"},{"why":"provides the path description of ℓ-weights of snake (S^∘) modules that underpins several structural lemmas.","marker":"[32]"},{"why":"proves the bound on d needed in Section 3.2 for alternating snakes in S^∘ ⊔ S.","marker":"[33]"}],"fun_headline_variants":["Snake modules give ±1 Kazhdan-Lusztig via determinant","Alternating snake modules unify snake and cluster modules","Unique prime factorization for alternating snake modules","Alternating snake modules: determinant character and prime factors","Alternating snake modules: prime factorization and determinant"],"cache_read_input_tokens":41600,"weakest_assumption_plain":"The application to category O relies on the condition that μ(h_α) ≤ 0 for all positive roots α with λ(h_α)=0, which the paper states as a hypothesis of the Arakawa–Suzuki functor but does not verify for the λ and μ it constructs.","fun_headline_variants_meta":{"raw":{"variants":["Snake modules give ±1 Kazhdan-Lusztig via determinant","Alternating snake modules unify snake and cluster modules","Unique prime factorization for alternating snake modules","Alternating snake modules: determinant character and prime factors","Alternating snake modules: prime factorization and determinant"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.002076,"raw_usage":{"total_tokens":8027,"prompt_tokens":848,"completion_tokens":7179,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":464,"completion_tokens_details":{"reasoning_tokens":7103}},"tokens_in":464,"tokens_out":7179,"duration_ms":44299,"temperature":1.0,"reasoning_tokens":7103,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T22:08:16.837219+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the smallest constructed pair (λ, μ) from Section 1.9 with r=3; compute the Arakawa–Suzuki image of V(μ) and check whether F_λ(V(μ)) is the expected irreducible object, or verify directly whether μ(h_α) ≤ 0 holds for all positive roots α with λ(h_α)=0; if the condition fails, the claim that all nonzero c_{μ,ν} are ±1 would collapse. Alternatively, compute c_{μ,ν} for this pair by the formula in Proposition 1.10.4 and look for any coefficient outside {-1,0,1}.","supporting_citations":[{"cited_title":"Duality between sln(C) and the Degenerate Affine Hecke Algebra","cited_arxiv_id":null,"evidence_quote":"supplies the Arakawa–Suzuki functor F_λ from category O to degenerate affine Hecke modules, used in the application to Kazhdan–Lusztig coefficients."},{"cited_title":"Quantum affine alg ebras and affine hecke algebras","cited_arxiv_id":null,"evidence_quote":"establishes the functor F_{ℓ,n} from affine Hecke modules to quantum affine modules and the equivalence for ℓ ≤ n that carries standard and irreducible modules to Weyl and irreducible modules."},{"cited_title":"Cluster algebras and quantum affine algebras","cited_arxiv_id":null,"evidence_quote":"defines the subcategory F_n and its cluster algebra structure; the modules from category C_1 are special cases of alternating snake modules."},{"cited_title":"Monoidal categorification and quantum affine algebras","cited_arxiv_id":null,"evidence_quote":"provides the invariants d used to prove reality of alternating snake modules and the length-two facts behind prime factorization."},{"cited_title":"Geometric conditions for □ -irreducibility of certain representations of the general linear group over a non-archimedean local field","cited_arxiv_id":null,"evidence_quote":"shows the determinantal formula in the S^∘ case for ladder or square-irreducible representations, a special case the authors recover via Schur–Weyl duality."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"used for the proposition that d(V(ω_{i_1,j_1}), V(ω_{s(1,r)})) ≤ 1 and for controlling ℓ-weights in paths."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"provides the path description of ℓ-weights of snake (S^∘) modules that underpins several structural lemmas."},{"cited_title":"Strong duality data of type A and extend ed T-systems","cited_arxiv_id":null,"evidence_quote":"proves the bound on d needed in Section 3.2 for alternating snakes in S^∘ ⊔ S."}],"review_version":1}