{"id":"c1676370-e62c-4626-ba83-7a7740075490","arxiv_id":"2504.19313","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For quantum affine A_n, the dominant ℓ-weights of every Weyl module are exactly the interval products in an explicit finite closure, Hom spaces between Weyl modules are at most one-dimensional, and the socle is described.","lead":"This paper proves two structural facts about Weyl modules for quantum affine A_n: the dominant ℓ-weight spaces are indexed by an explicit finite combinatorial closure of intervals, and the space of maps between any two Weyl modules is at most one-dimensional. It also describes the socle and derives new tensor subcategories and vanishing extensions in the Hernandez-Leclerc category.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proof of Theorem 1(ii) jumps from V(ω_{i_p,j_p})⊗V(ω_{i_s,j_s}) to the crossed tensor V(ω_{i_p,j_s})⊗V(ω_{i_s,j_p}) without justification.","rationale":"The reader identified the dependence of Theorem 1(ii) on external inputs (Proposition 3.4 from [19] and Lemma 3.5 from [1]). My concern is in the same part of the proof but more specific: even assuming those inputs, the printed argument contains an unproved step in which a path-product weight is moved from V(ω_{i_p,j_p})⊗V(ω_{i_s,j_s}) to V(ω_{i_p,j_s})⊗V(ω_{i_s,j_p}). The citation to (1.2) is not sufficient, since (1.2) only describes weight sets of tensor products already chosen; it cannot change the intervals. The A_1 example shows the full module isomorphism is false, so the step needs a separate weight-combinatorial lemma. This is not a contradiction of the theorem, which may well be true, but it is a genuine gap in the central induction. The rest of the paper is coherent: Theorem 1(i) has a detailed induction, the combinatorial closure machinery is well-defined, and the applications would follow if Theorem 1(ii) and Theorem 2 hold. Therefore I do not recommend rejection; the paper should remain conditional on a complete proof of the missing path-swapping identity, in addition to the editorial cleanup already noted by the reader.","tokens_in":20675,"tokens_out":23650,"duration_ms":210446,"concrete_test":"Enumerate all paths g ∈ P_{i,j} for n ≤ 4 and all connected pairs ([i_p,j_p],[i_s,j_s]) with i_p+j_p > i_s+j_s and [i_p,j_p] ∈ c^-_{g_s}. For each such pair, compute ω(g_p)ω(g_s) and check whether it lies in wtℓ(V(ω_{i_p,j_s})⊗V(ω_{i_s,j_p})), i.e. whether there exist h_p ∈ P_{i_p,j_s} and h_s ∈ P_{i_s,j_p} with ω(h_p)ω(h_s)=ω(g_p)ω(g_s). If any counterexample appears, the cancellation argument in Section 3.6 and Theorem 1(ii) collapse. If no counterexample appears for all small cases, the missing path-swapping lemma is likely true and should be stated and proved explicitly before the paper is accepted.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the cancellation case of Section 3.6, the proof needs to show that the path-product ω(g_p)ω(g_s) is an ℓ-weight of V(ω_{i_p,j_s})⊗V(ω_{i_s,j_p}), so that it can be identified with a weight of W(ω_{τ_{p,s}s}). The text says this “follows from (1.2)”. But (1.2) only gives ω(g_p)ω(g_s) ∈ wtℓ(V(ω_{i_p,j_p})⊗V(ω_{i_s,j_s})), because g_p is a path for [i_p,j_p] and g_s is a path for [i_s,j_s]. The required membership in the crossed tensor is a nontrivial path-swapping statement. No such lemma is stated, and it does not follow from Proposition 3.4 as quoted, which classifies dominant ℓ-weights of V(ω_s) but does not relate the two tensor products. For A_1 the module isomorphism V(ω_{i_p,j_p})⊗V(ω_{i_s,j_s}) ≅ V(ω_{i_p,j_s})⊗V(ω_{i_s,j_p}) is false, so the step cannot be justified at the level of whole q-characters. This unstated weight-level identity is load-bearing: the iteration that moves the dominant ℓ-weight from W(ω_s) into W(ω_{τ_{p,s}s}) depends entirely on it, and Theorem 1(ii) is not established without it.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies finite-dimensional representations of the quantum affine algebra of type A_n (i.e., U_q(sl_{n+1})) in the Hernandez–Leclerc category F_n. The main results are: Theorem 1 gives a complete description of the dominant ℓ-weights of a Weyl (standard) module W(ω_s) as the finite set {ω_{s'} : s' ∈ \\bar{s}[n]}, where \\bar{s}[n] is a combinatorial closure of the tuple s under the operations τ_{m,ℓ} and permutations; Theorem 2 proves that Hom(W(ω_{s'}), W(ω_s)) has dimension at most one, with equality exactly when s' ∈ \\bar{s}[n], and describes the socle of W(ω_s) as the multiplicity-free direct sum of Weyl modules indexed by the closed elements of the closure, with simplicity in the case n > n(s). Applications include tensor subcategories generalizing the categories C_ℓ, inclusions and quotients for mixed Weyl modules, and a vanishing result for Ext^1 between modules attached to disjoint closed sets. The proofs are built on tensor product decompositions from [3,20], the path description of q-characters from [19], and a new combinatorial analysis of the closure operation developed in Sections 2–3.","tokens_in":20897,"tokens_out":22695,"duration_ms":194866,"significance":"If the main results are correct, the paper provides a complete and explicit combinatorial classification of dominant ℓ-weights of standard modules in type A, together with strong rigidity statements for Hom spaces and a precise description of socles. The closure formalism is elegant and likely to be useful, and the applications to tensor subcategories and Ext vanishing are natural. The paper also makes good use of known external results and presents its claims in a clear, checkable form. However, as detailed in the major comments, the proof of the central classification Theorem 1(ii) contains a significant gap: a load-bearing step in Section 3.6 asserts a membership in the ℓ-weights of a crossed tensor product that does not follow from the cited equation (1.2). Until this gap is repaired, the main theorem cannot be regarded as established.","major_comments":[{"comment":"The assertion beginning 'On the other hand, it follows from (1.2) that ω(g_p)ω(g_s) ∈ wtℓ(V(ω_{i_p,j_s}) ⊗ V(ω_{i_s,j_p}))' is not justified by equation (1.2). Equation (1.2) states multiplicativity of the ℓ-weight set for a fixed tensor product: wtℓ(V ⊗ V') = wtℓ V · wtℓ V'. Applying it to V(ω_{i_p,j_s}) ⊗ V(ω_{i_s,j_p}) expresses its ℓ-weight set in terms of weights of those two modules. Since ω(g_p) is a weight of V(ω_{i_p,j_p}) and ω(g_s) is a weight of V(ω_{i_s,j_s}), the product ω(g_p)ω(g_s) is not known to lie in the crossed tensor product. A separate path-swapping lemma—showing that when two paths cross, the product of their weights is a weight of the crossed tensor product—is required. No such lemma is stated or proved, and it does not follow from Proposition 3.4 as quoted. This step is the mechanism that moves a dominant ℓ-weight of W(ω_s) into W(ω_{τ_{p,s}s}) and iterates the induction; without it, Theorem 1(ii) is not established.","section":"Section 3.6"},{"comment":"The reasoning 'dim V(ω_{i_s,j_s})_{ω(g_s)} = 1, by Proposition 3.4(i), and hence part (ii) implies that ω(g_p)ω(g_s) ∉ wtℓ V(ω_{i_p,j_p}ω_{i_s,j_s})' uses Proposition 3.4(i) beyond its stated scope. Proposition 3.4(i) bounds weight multiplicities only for ω ∈ I^+_n, whereas ω(g_s) is non-dominant because [i_p,j_p] ∈ c^-_{g_s}. Moreover, Proposition 3.4(ii) says only that wtℓ V(ω_s) is contained in the image of the map (g1,g2) ↦ ω(g1)ω(g2) from P_s; it does not assert that the parametrization is injective or that every pair outside P_s produces a monomial not in wtℓ V(ω_s). To conclude that (g_p,g_s) ∉ P_s implies the product weight is absent from V(ω_{i_p,j_p}ω_{i_s,j_s}), the paper needs a uniqueness or bijectivity statement for the path parametrization, or a separate argument. This should be stated and proved or quoted from [19] in its full strength.","section":"Section 3.6"}],"minor_comments":[{"comment":"The paragraph immediately following the proof of Theorem 1, beginning 'Proposition 3.2 was proved in greater generality in [2]...', appears to be an editorial leftover; it should be removed or rewritten as a proper remark about Proposition 3.2.","section":"Section 3.6"},{"comment":"In equation (4.2), the displayed product defining η is incomplete: it reads 'η = ∏_{s=i}^{j-1} ∏_{m=j}^{j_1}' without the factor α_{s,m}. It should presumably be η = ∏_{s=i}^{j-1} ∏_{m=j}^{j_1} α_{s,m}.","section":"Section 4.1"},{"comment":"The statement 'W(s) ≅ W(ω_{s(0,r_1)}) ⊗ ... ⊗ W(ω_{s(r_{k-1},r_k)})' uses indices r_0, r_1, ..., r_k that are not defined; the partition of {1, ..., r} should be specified.","section":"Section 1.7"},{"comment":"Reference [11] is cited as 'in preparation' for the example with a two-dimensional family of trivial submodules; if a public version exists, it should be cited, and otherwise the example should be made self-contained.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The central gap in Section 3.6 appears fixable by adding the missing path-swapping lemma, but it is load-bearing for Theorem 1(ii) and hence for Theorem 2. I would ask the authors to supply a complete proof or a precise reference for that lemma, and also to clarify the path-parametrization injectivity used in the exclusion step. Note also that the paper relies on the unpublished manuscript [1] for Lemma 3.5 and Lemma 4.1; if the path-swapping lemma is also from [1], it should be stated explicitly rather than left implicit. The results, if established, are significant and within the journal's scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Let me give you the short version: this is a serious paper with a real combinatorial mechanism, but the proof of the main classification has a hole that needs to be filled before I'd trust Theorem 1(ii).\n\nThe genuinely new content is the determination of the dominant ℓ-weights of all Weyl modules in the Hernandez–Leclerc category for quantum affine A_n, stated as closure of an interval tuple under the maps τ_{m,ℓ}. From that they get the one-dimensional Hom theorem, the socle formula, and applications to tensor subcategories and Ext vanishing. The injective-map half (Theorem 1(i)) is proved by a clean induction using the known tensor-product decompositions, and the reduction to the 'large n' case via the embedding into ˆU_N is convincing. If the main theorem stands, this is a solid advance, not a footnote.\n\nThe weak point is in Section 3.6, in the cancellation case of Theorem 1(ii). The proof needs to move a weight from the tensor product V(ω_{i_p,j_p})⊗V(ω_{i_s,j_s}) to the crossed tensor V(ω_{i_p,j_s})⊗V(ω_{i_s,j_p}). The text says this 'follows from (1.2)'. It doesn't. Equation (1.2) is just multiplicativity of weight sets for the given tensor product; it says nothing about the crossed product. No lemma is stated to bridge the two, and the module isomorphism is false in general (already in A_1). This is not a cosmetic gap: the iteration that shifts ω into W(ω_{τ_{p,s}s}) is exactly this step. Unless there is a path-switching identity hiding in the path model of [19] (or in the authors' own preprint [1]), Theorem 1(ii) is not established.\n\nOther soft spots are minor in comparison: Lemma 3.5 is from the authors' own unpublished paper [1] and should either be proved inline or flagged; Section 3.6 ends with a stray sentence about Proposition 3.2 that looks like an editing artifact; reference [11] is 'in preparation.' None of these affect the plausibility of the main results; they are cleanup.\n\nBottom line: send it to a serious referee, but the referee should demand a proof of the crossed-tensor membership before accepting Theorem 1(ii). If that gets sorted, I'd be happy to cite it.","headline":"A serious paper with a new combinatorial mechanism, but the proof of Theorem 1(ii) has a load-bearing gap in the crossed-tensor step that needs fixing.","tokens_in":21523,"tokens_out":9110,"would_cite":false,"duration_ms":81398,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B37","17B67","81R50"],"pacs":[],"model":"deepseek-v4-flash","headline":"For quantum affine $A_n$, the dominant $\\ell$-weights of a Weyl module form exactly the finite closure $\\bar{s}[n]$ of its interval tuple.","keywords":["quantum affine algebras","Weyl modules","ℓ-weights","dominant ℓ-weights","q-characters","interval tuples","socle","Hom spaces"],"falsifier":"Take $n=2$ and $s=([0,2],[-1,1])$, a connected pair for which $W(\\omega_s)=V(\\omega_{0,2})\\otimes V(\\omega_{-1,1})$ and the theorem predicts $\\mathrm{wt}^+_\\ell W(\\omega_s)=\\{\\omega_{0,2}\\omega_{-1,1},\\omega_{-1,2}\\omega_{0,1}\\}$; computing the $q$-character of this tensor product from the fundamental-module formulas would show a counterexample if any other positive $\\ell$-weight monomial appears. Repeating the same check for all tuples with $n\\le 3$ would settle the reverse inclusion as well.","tokens_in":20375,"feed_emoji":"🧮","tokens_out":16106,"duration_ms":137783,"temperature":0.7,"pith_summary":"The paper determines all dominant $\\ell$-weights of the Weyl (standard) modules for the quantum loop algebra of type $A_n$: the answer is a finite combinatorial closure $\\bar{s}[n]$ computed from the tuple of intervals that indexes the module. It then proves that the space of homomorphisms from one Weyl module to another has dimension at most one, and is nonzero precisely when the index of the source lies in the closure of the index of the target. As a consequence, every nonzero map between Weyl modules is injective, the socle is a multiplicity-free sum of Weyl modules indexed by the closed elements of the closure, and the socle is a single simple module when $n$ is larger than a bound depending on the tuple. These results provide a complete description of maps between standard modules in this category and yield new tensor subcategories and a vanishing criterion for $\\mathrm{Ext}^1$.","feed_headline":"One finite closure lists all dominant ℓ-weights","feed_subtitle":"Nonzero maps between Weyl modules are unique up to scale, injective, and exist exactly inside that closure.","key_machinery":"The central mechanism is the closure $\\bar{s}[n]$ of an interval tuple under the operators $\\tau_{m,\\ell}$. For a connected pair $([i_m,j_m],[i_\\ell,j_\\ell])$, the operator replaces it with $([i_\\ell,j_m],[i_m,j_\\ell])$; the closure also records swaps when $j_m=j_\\ell$. This finite combinatorial set does two jobs: Theorem 1 shows it enumerates precisely the dominant $\\ell$-weights of $W(\\omega_s)$, and Theorem 2 shows it is exactly the index set for which a homomorphism into $W(\\omega_s)$ exists and is one-dimensional. The proof passes through the path description of the $\\ell$-weights of fundamental modules, writing each dominant $\\ell$-weight as a product of path monomials $\\omega(g)$, and through a tensor-product decomposition of Weyl modules that lets the argument proceed by induction on the length of the tuple.","core_discovery":"Let $W(\\omega_s)$ be the Weyl module attached to a monomial $\\omega_s = \\omega_{i_1,j_1}\\cdots\\omega_{i_r,j_r}$, encoded by an ordered tuple $s$ of intervals. The main theorem states that the set of positive $\\ell$-weights of $W(\\omega_s)$ is exactly $\\{\\omega_{s'} : s'\\in \\bar{s}[n]\\}$, where $\\bar{s}[n]$ is the smallest set of tuples containing $s$ and closed under the operators $\\tau_{m,\\ell}$ that swap endpoints of a connected pair of intervals and under permutations preserving equal right endpoints. In particular, $W(\\omega_s)$ is irreducible exactly when $s$ is closed in this sense. The second theorem says that for Weyl modules $\\dim \\operatorname{Hom}_{\\widehat U_n}(W(\\omega_{s'}),W(\\omega_s))\\le 1$, with equality if and only if $s'\\in \\bar{s}[n]$; every nonzero such map is injective, and the socle of $W(\\omega_s)$ is the direct sum of the Weyl modules indexed by the distinct closed elements of $\\bar{s}[n]$, each occurring once. When $n>n(s)$ the closure has a unique closed element and the socle is simple.","pith_inferences":["The same closure should describe multiplicities in the full $q$-character, not just the dominant set, if the path description of fundamental modules can be refined to count each path monomial with multiplicity.","The one-dimensional Hom spaces suggest a highest-weight-category-like structure; a reciprocity matrix between standard and simple modules could be read off from the closure poset.","For other simply-laced types, the same closure argument is plausible with the connectedness condition replaced by the analogous path datum; the obstacle is the availability of a fundamental path description.","The tensor subcategories $\\mathcal{F}_n(s)$ may be cluster categories; one could test whether their Grothendieck rings are cluster algebras of the same finite type as the closure poset."],"forward_implications":["Every nonzero homomorphism between Weyl modules is injective, and there is at most one up to scalar, so maps between standard modules form a rigid combinatorial system.","The socle of $W(\\omega_s)$ is known explicitly: it is the multiplicity-free direct sum of the Weyl modules indexed by the closed elements of $\\bar{s}[n]$, and it is a single simple module whenever $n>n(s)$.","Irreducibility of a Weyl module is decidable from the tuple: $W(\\omega_s)$ is simple exactly when $s$ is closed.","The subcategories $\\mathcal{F}_n(s)$ generated by the weights $\\omega_{i_p,j_q}$ with $j_q-i_p\\le n+1$ are tensor subcategories of $\\mathcal{F}_n$, generalizing the previously studied categories $\\mathcal{C}_\\ell$.","If two closed index sets $J_1,J_2$ are disjoint, then $\\mathrm{Ext}^1_{\\widehat U_n}(V,W)=0$ for any $V$ in $\\mathcal{F}_n(J_1)$ and $W$ in $\\mathcal{F}_n(J_2)$, giving a simple splitting criterion for short exact sequences."],"supporting_citations":[{"why":"Supplies the path description of the $\\ell$-weights of the fundamental module $V(\\omega_{i,j})$; the induction in Theorem 1(ii) uses it to write every dominant $\\ell$-weight of $W(\\omega_s)$ as a product of path monomials $\\omega(g)$.","marker":"[19]"},{"why":"Supplies the lemma identifying connected interval pairs with membership in $c^-_{i,j}$, which the induction uses to rule out cancellations and reduce to $\\tau_{m,\\ell}$ moves.","marker":"[1]"},{"why":"Defines the Weyl modules $W(\\omega)$ as universal $\\ell$-highest weight modules, the objects whose dominant weights, homomorphisms, and socles are described.","marker":"[7]"},{"why":"Supplies the tensor-product decomposition of a Weyl module into fundamental or smaller Weyl modules under ordering conditions; this decomposition is the inductive step in both main theorems.","marker":"[3]"},{"why":"Establishes the $\\ell$-weight space decomposition and the $q$-character framework that make the sets $\\mathrm{wt}^+_\\ell W(\\omega_s)$ meaningful and stable under tensor products.","marker":"[10]"},{"why":"Gives the standard-module realization, also cited in [3], used to decompose $W(\\omega_s)$ into tensor products in the proof of Theorem 1.","marker":"[20]"},{"why":"Used in the reduction from $n>n(s)$ to general $n$ to identify $\\ell$-weight vectors of the larger Weyl module inside the tensor product.","marker":"[9]"}],"fun_headline_variants":["Finite closure lists all dominant ℓ-weights","Unique maps between Weyl modules, up to scale","Injective maps exist exactly in the closure","One finite closure predicts every map and weight"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof's weakest point is its reliance on the previously established path description of the $\\ell$-weights of the fundamental modules and on the lemma equating connected interval pairs with the negative-locus condition $c^-_{i,j}$; the induction that proves every dominant $\\ell$-weight lies in the closure needs both, and a failure of either leaves only the trivial inclusion.","fun_headline_variants_meta":{"raw":{"variants":["Finite closure lists all dominant ℓ-weights","Unique maps between Weyl modules, up to scale","Injective maps exist exactly in the closure","One finite closure predicts every map and weight"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001414,"raw_usage":{"total_tokens":5689,"prompt_tokens":905,"completion_tokens":4784,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":521,"completion_tokens_details":{"reasoning_tokens":4725}},"tokens_in":521,"tokens_out":4784,"duration_ms":34099,"temperature":1.0,"reasoning_tokens":4725,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T05:56:11.390890+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $n=2$ and $s=([0,2],[-1,1])$, a connected pair for which $W(\\omega_s)=V(\\omega_{0,2})\\otimes V(\\omega_{-1,1})$ and the theorem predicts $\\mathrm{wt}^+_\\ell W(\\omega_s)=\\{\\omega_{0,2}\\omega_{-1,1},\\omega_{-1,2}\\omega_{0,1}\\}$; computing the $q$-character of this tensor product from the fundamental-module formulas would show a counterexample if any other positive $\\ell$-weight monomial appears. Repeating the same check for all tuples with $n\\le 3$ would settle the reverse inclusion as well.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the path description of the $\\ell$-weights of the fundamental module $V(\\omega_{i,j})$; the induction in Theorem 1(ii) uses it to write every dominant $\\ell$-weight of $W(\\omega_s)$ as a product of path monomials $\\omega(g)$."},{"cited_title":"Alternating snake modules and a determinantal formula","cited_arxiv_id":"2412.03750","evidence_quote":"Supplies the lemma identifying connected interval pairs with membership in $c^-_{i,j}$, which the induction uses to rule out cancellations and reduce to $\\tau_{m,\\ell}$ moves."},{"cited_title":"Theory 5 (2001), 191–223 (electronic)","cited_arxiv_id":null,"evidence_quote":"Defines the Weyl modules $W(\\omega)$ as universal $\\ell$-highest weight modules, the objects whose dominant weights, homomorphisms, and socles are described."},{"cited_title":"Math., vol","cited_arxiv_id":null,"evidence_quote":"Establishes the $\\ell$-weight space decomposition and the $q$-character framework that make the sets $\\mathrm{wt}^+_\\ell W(\\omega_s)$ meaningful and stable under tensor products."},{"cited_title":"Varagnolo and E","cited_arxiv_id":null,"evidence_quote":"Gives the standard-module realization, also cited in [3], used to decompose $W(\\omega_s)$ into tensor products in the proof of Theorem 1."},{"cited_title":"1, 23–57","cited_arxiv_id":null,"evidence_quote":"Used in the reduction from $n>n(s)$ to general $n$ to identify $\\ell$-weight vectors of the larger Weyl module inside the tensor product."}],"review_version":1}