{"id":"131606a7-4db1-4844-8cad-e4f92c11ea9a","arxiv_id":"2411.18390","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Infinite-dimensional simple U(h)-finite modules are U(h)-torsion free, and the new category A^irr of such modules is classified for type C and partially for type A.","lead":"This mathematics paper studies modules over simple Lie algebras that are finitely generated over the Cartan subalgebra. It proves that infinite-dimensional simple such modules are torsion-free and gives a classification, complete for type C and partial for type A.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 5.17's linear-independence claim for deg_1,...,deg_n is deferred to an unpublished thesis, yet Theorem 5.16, Proposition 6.6, and Corollary 6.12 all rest on it.","rationale":"Reading the paper in good faith, the main structural claims are carefully argued: the torsion-freeness of simple infinite-dimensional U(h)-finite modules (Corollary 3.12), the restriction to type A/C (Theorem 3.13), and the almost-coherent family machinery (Theorem 4.18) appear internally consistent. The type C classification Theorem 5.1 also has a coherent proof via translation to rank one and Nilsson's theorem. The single most load-bearing weakness is exactly the one flagged by the reader: Lemma 5.17. The proof is explicitly deferred to the unpublished thesis [25], and the lemma is used at the decisive step where rank information is converted into multiplicity information. A second caveat, noted by the author in Remark 5.4, concerns whether the exponential tensor modules of [13] coincide with the author's E(b,V,S) for S≠∅; this deserves a separate check because Theorem 5.10 and Proposition 5.9 cite [13]. However, the linear-independence lemma is the more direct point of failure for the type A surjectivity and sl(3) classification. Since the reader's verdict was already CONDITIONAL and my concern is the same one, no change of verdict is needed.","tokens_in":47505,"tokens_out":17370,"duration_ms":156555,"concrete_test":"Settle Lemma 5.17 by an independent finite computation. Put z_i=λ(h_i) and define d_k(λ) by Weyl's dimension formula for the Levi factor l: d_k(λ)=∏_{1≤i<j≤n}(q_i^{(k)}+...+q_{j-1}^{(k)})/(j-i), where q_i^{(k)}=z_i for i<n-k, q_{n-k}^{(k)}=z_{n-k}+z_{n-k+1}, and q_i^{(k)}=z_{i+1} for i>n-k, with deg_k=Σ_{i=0}^{n-k}(-1)^i d_{k+i}. Then check linear independence by computing the leading monomials of deg_1,...,deg_n in a fixed monomial order, or by evaluating them at n specially chosen points z^(1),...,z^(n) with d_k(z^(k))≠0 and d_ℓ(z^(k))=0 for ℓ>k. If the resulting n×n evaluation matrix is nonsingular, Lemma 5.17 is verified and the multiplicity collapse in Theorem 5.16 is justified; if it is singular, the type A surjectivity theorem and the sl(3) classification must be re-examined.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Lemma 5.17 asserts that the polynomials deg_1,...,deg_n defined by equation (5.3) are linearly independent over C. The proof in Section 5.3 is one sentence plus a pointer to the author's thesis [25], listed as 'In preparation'. This is not a cosmetic gap. In Theorem 5.16, the equality rank_k(λ)=deg_k(λ) is combined with the expression rank_k(λ)=Σ_i m_{i,k} deg_i(λ), where the multiplicities m_{i,k} are shown to be constant by translation-commutation, and only the linear independence of the deg_i forces m_{i,k}=δ_{i,k}. If the deg_i were linearly dependent, infinitely many multiplicity vectors would yield the same rank function, and W(L_b(k,λ)) would not be forced to be almost-equivalent to EX T(L(w_k·λ)). The same lemma is used in Proposition 6.6 to identify which U(h)-free hull a simple module belongs to, and it therefore supports Theorem 6.11 and the sl(3) classification in Corollary 6.12. The structural results (Theorems 3.9, 3.12, 3.13, and the type C classification Theorem 5.1) are argued in detail and appear sound; the load-bearing vulnerability is specifically the unverified linear-independence input to the type A surjectivity theorem.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a theory of U(h)-finite modules for a simple finite-dimensional Lie algebra g. It introduces left-derived functors W_k of Nilsson's weighting functor W, proves that simple infinite-dimensional U(h)-finite modules are U(h)-torsion free (Cor. 3.12) and locally U(h)-free outside finitely many points, and are U(h)-free when the central character is non-integral or integral singular (Thm. 3.9). It defines almost-coherent families as a cofinite-set analogue of Mathieu's coherent families, shows that W(M) is almost-coherent for U(h)-torsion-free M (Thm. 4.4, Cor. 4.7), and proves that a semi-simple almost-coherent family is almost-equivalent to a genuine coherent family (Thm. 4.18). For the category Airr, the paper gives a complete classification for type C (Thm. 5.1), a classification for type A with non-integral or singular central character (Thm. 5.10), a surjectivity statement for the weighting functor in type A (Thm. 5.16), and supporting evidence for a conjectural full classification, including the sl(3) case (Cor. 6.12).","tokens_in":47824,"tokens_out":15805,"duration_ms":141062,"significance":"If the main results are correct, this is a substantial contribution: it removes Nilsson's rank restriction, introduces a workable notion of almost-coherent family, and connects U(h)-finite modules to Mathieu's classification of coherent families. The structural results in Sections 3 and 4 are argued carefully and use standard commutative algebra in a convincing way; the type C classification in Theorem 5.1 is a clear advance. The paper is honest about what is proved and what is conjectural, and the statements of the conjectures are precise. However, the submitted version has two load-bearing problems: Definition 4.19 is vacuous as written, and Lemma 5.17's proof is deferred to an unpublished thesis. Both appear fixable, but they must be addressed before the type A surjectivity theorem and the sl(3) classification can be fully accepted.","major_comments":[{"comment":"For every cofinite subset U⊆h*, the saturation U+Z∆ is all of h*: given x∈h*, the set x-Z∆ is infinite, while h*\\U is finite, so some x-q lies in U. Hence the set h*\\(U+Z∆) in Definition 4.19 is empty, and no module satisfies the stated definition of an irreducible U-coherent family. Consequently the category Airr, defined as those M for which W(M) is an irreducible almost-coherent family, is empty by definition, and Corollary 4.20, which chooses λ∈h*\\(U+Z∆), is vacuous. Since Theorems 5.1 and 5.10 both invoke Corollary 4.20 to replace W(M) by an irreducible semi-simple coherent family, the classification arguments lose their stated foundation until the definition is repaired (for example by requiring M_λ to be a simple A-module for some λ in U, or by imposing Q-invariance on U with an appropriate exceptional set).","section":"Definition 4.19; Corollary 4.20"},{"comment":"Lemma 5.17 asserts linear independence over C of the degree polynomials deg_1,...,deg_n defined by equation (5.3). The proof consists of a single sentence plus a pointer to the author's thesis [25], which is listed as 'In preparation'. This is not a cosmetic gap: in Theorem 5.16 the equality rank_k(λ)=deg_k(λ) only yields the desired conclusion W(L_b(k,λ)) ∼ EXT(L(w_k·λ)) after combining rank_k(λ)=Σ_i m_{i,k} deg_i(λ) with linear independence to force m_{i,k}=δ_{i,k}. Proposition 6.6 uses the same lemma to identify the U(h)-free hull of a simple module, and therefore Theorem 6.11 and Corollary 6.12 also rest on it. The proof must be included in the manuscript, or replaced by a citation to a publicly available published source, before the type A surjectivity theorem and the sl(3) classification can be accepted.","section":"Section 5.3, Lemma 5.17"},{"comment":"In the proof of Lemma 4.17, the text claims that p_α(λ)=det(e_α f_α|_{M_λ}) is a non-zero polynomial in U, but the justification that follows (expressing determinants through traces of powers) establishes only that p_α is a polynomial. The non-vanishing is then used to conclude that Ω_α=p_α^{-1}(C\\{0})∩U is non-empty open for every α, which is necessary to show that Sing M is a proper closed subset of T*. A separate argument for non-vanishing is needed; without it, Lemma 4.17 and its consequences (Theorem 4.18 and Corollary 4.20) are not fully proved. Note also that without an infinite-dimensionality or positive-degree hypothesis the lemma is false: a finite-dimensional module is a U-coherent family of degree 0 and has Sing M=T*.","section":"Section 4.2, proof of Lemma 4.17"}],"minor_comments":[{"comment":"The statement parametrizes the list P_{k,λ} by b∈C^n, but the modules L_b(k,λ) and L^τ_b(k,λ) are constructed for b∈(C\\{0})^n; the domain should be corrected for consistency.","section":"Theorem 5.16"},{"comment":"There are numerous typographical errors and infelicities, including 'expend' for 'extend', 'a priory' for 'a priori', 'subjectivity' for 'surjectivity', 'fallowing' for 'following', 'dimention' for 'dimension', and 'Beck' for 'Back'; the manuscript would benefit from a careful copyedit.","section":"Throughout"},{"comment":"In the sentence preceding equation (4.2), 'for all h∈h*' should read 'for all h∈h'.","section":"Equation (4.2)"}],"recommendation":"major_revision","confidential_remarks":"This is a promising paper and the core structural results in Sections 3 and 4 appear sound, but the two main issues are serious enough to require a revision. The vacuous definition of irreducible almost-coherent family and the deferred proof of Lemma 5.17 are both fixable in my view, but they directly affect the statement and proofs of the type A results. I would also ask the editor to ensure that the reliance on the author's in-preparation thesis is resolved by a complete proof in the paper or by a published reference, since such reliance is not acceptable for a load-bearing lemma."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the short version. This is a real advance in the classification program for simple U(h)-finite modules, and the structural heart is solid. But the type A classification—and the sl(3) corollary—rests on a linear-independence lemma whose proof is deferred to the author's own unpublished thesis. As a preprint, treat it as conditional on that lemma.\n\nWhat's new and good: the almost-coherent family notion, the derived weighting functors W_k, and the theorem that simple infinite-dimensional U(h)-finite modules are U(h)-torsion-free, with freeness for non-integral or singular central characters. The restriction to type A/C for torsion-free modules is a clean consequence. Sections 3 and 4 read as carefully argued; the use of generic freeness and Quillen–Suslin in Theorem 3.9 is standard and correct. The type C classification (Theorem 5.1) is complete and follows a nice route: translate to degree one, apply Nilsson, then untwist. The sl(3) classification is the payoff and is genuinely new.\n\nThe soft spot is exactly Lemma 5.17. The statement—that the polynomials deg_1,...,deg_n are linearly independent—is load-bearing for Theorem 5.16 (surjectivity of W in type A) and for Proposition 6.6, which feeds Theorem 6.11 and Corollary 6.12. The proof in Section 5.3 is a sketch with a pointer to the thesis [25], listed as in preparation. If the lemma fails, infinitely many multiplicity vectors yield the same rank function, and the identification m_{i,k}=δ_{i,k} collapses. This is not a cosmetic gap; it is a missing proof of a central input. The author should either include a full proof or state the theorem as conditional. There is also a smaller caveat flagged in Remark 5.4: the exponential tensor modules here differ from those in [13] when S is nonempty, and the paper cites results from [13] under its own definition. That is acknowledged, but a referee should check those citations.\n\nThe citation pattern is otherwise fine: Mathieu and Nilsson are the natural anchors, and the new results don't reduce to definitions. No fitted parameters anywhere.\n\nWho is this for? People working on non-weight modules and coherent families. It deserves a serious referee: the structural results are worth publishing, and the classification should be published once the lemma is proved. I'd accept it for review with the condition that the referee demand the missing proof or a clear dependence statement.","headline":"Conditional: the structural theorems are solid and worth publishing, but the type A classification and sl(3) corollary rest on Lemma 5.17, whose proof is deferred to the author's unpublished thesis.","tokens_in":48337,"tokens_out":2384,"would_cite":true,"duration_ms":22815,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B10","17B20"],"pacs":[],"model":"deepseek-v4-flash","headline":"Simple infinite-dimensional U(h)-finite modules are U(h)-torsion free, and U(h)-free outside the integral regular central-character case.","keywords":["U(h)-finite modules","U(h)-free modules","weighting functor","almost-coherent families","weight modules","translation functors","torsion-free modules","exponential tensor modules"],"falsifier":"Compute the degree polynomials deg_k explicitly for sl(4) or sl(5) from the dimensions dim L_l(w_k·λ) using the dimension formula for finite-dimensional simple modules, and test whether their values at n generic weights give an invertible matrix; a singular matrix would falsify Lemma 5.17. A less direct check is to compute the ranks of the parabolic modules L_b(k,λ) at several λ and compare with the predicted multiplicities m_i,k = δ_i,k; any mismatch refutes Theorem 5.16.","tokens_in":47298,"feed_emoji":"🧮","tokens_out":6922,"duration_ms":60882,"temperature":0.7,"pith_summary":"At the heart of this paper is a bridge between two opposite kinds of representations of a simple Lie algebra: modules on which a Cartan subalgebra acts locally finitely, and weight modules whose weight spaces have bounded multiplicities. The bridge is the weighting functor, and the paper's first main claim is that every infinite-dimensional simple module in the finite category is torsion-free over the Cartan subalgebra, and actually free when its central character is non-integral or integral but singular. This turns the study of these modules into the study of a new kind of object, the almost-coherent family, which differs from a coherent family only on a finite set of weights. Using this language, the paper classifies all simple modules with irreducible almost-coherent weighting image for symplectic Lie algebras, and most of them for special linear algebras, leaving a conjecture that all remaining ones are subquotients of exponential tensor modules.","feed_headline":"Infinite simple modules are torsion-free over the Cartan subalgebra","feed_subtitle":"The weighting functor turns them into almost-coherent families, classifying symplectic cases and most special linear ones.","key_machinery":"The weighting functor W(M) = ⊕_λ M/m_λ M and its left derived functors W_k(M)_λ ≅ $Tor_k^{{U(h)}}$(M, C_λ) form the central machinery: they detect failure of freeness, with W_k vanishing or becoming finite-dimensional exactly where M is not locally free. The other main mechanism is the almost-coherent family, a weight module whose weight-space dimensions are constant and whose trace functions are polynomial on a cofinite subset of h^*, together with the notion of almost-equivalence, which identifies two such families up to finite-dimensional modules.","core_discovery":"The paper establishes that the higher weighting functors W_k, defined through Tor over U(h), become finite-dimensional on simple U(h)-finite modules, and their support is precisely the finite set of maximal ideals where the module fails to be locally free. Consequently, every simple infinite-dimensional U(h)-finite module is U(h)-torsion free, and it is U(h)-free whenever its central character is non-integral or integral and singular (Theorem 3.9 and Corollary 3.12). The paper then proves that W(M) is an almost-coherent family whose degree equals the rank of M, and that almost-equivalent irreducible almost-coherent families reduce, up to finite-dimensional summands, to the classical coherent-family classification. For sp(2n), every simple module in A^irr — the category of U(h)-finite modules whose weighting image is an irreducible almost-coherent family — is a translation of a rank-one U(h)-free module; for sl(n+1), the same is obtained for non-integral and integral singular central characters, with exponential tensor modules as the models, and a conjecture extends this to all central characters.","pith_inferences":["One consequence not spelled out in the paper: the finite set Supp W_1(M) is a new numerical invariant of a U(h)-finite module, measuring the obstruction to being locally free, and it could be computed explicitly in examples as a check on proposed classifications.","The rank-one reduction used for non-integral and singular characters suggests an extension path for the integral regular case: if every irreducible almost-coherent family can be translated, after a finite-dimensional correction, to degree one, then the same machinery applies; the paper realizes this for the two extreme members of each family.","A testable extension would be to run the same weighting-functor analysis in other settings where a Cartan-like subalgebra acts locally finitely but not freely; the almost-coherent family formalism appears to transfer whenever local freeness holds on a cofinite set."],"forward_implications":["If a simple U(h)-finite module of infinite dimension has non-integral or integral singular central character, then it is free as a U(h)-module, so its classification reduces to the known classification of finite-rank U(h)-free modules and their translations.","Infinite-dimensional U(h)-torsion-free modules can only exist for Lie algebras of type A and C; for every other simple Lie algebra the category A contains only finite-dimensional simple modules.","For sp(2n), the complete list of simple modules in A^irr is obtained by applying automorphisms of (g,h) and translation functors to a single rank-one U(h)-free module.","For sl(n+1), every simple module in A^irr with non-integral or integral singular central character is isomorphic to an exponential tensor module or a twisting of one, and for sl(3) the classification is completed across all central characters.","The main open conjecture asserts that every simple sl(n+1)-module in A^irr is a simple subquotient of an exponential tensor module; the paper proves this for the first and last members of each relevant family of coherent families."],"supporting_citations":[{"why":"Supplies the rank-one U(h)-free module classification and introduces the weighting functor W together with the fact that W(M) is a coherent family for free M.","marker":"[27]"},{"why":"Provides the classification of irreducible semi-simple coherent families and the extension construction EXT(L) that the paper generalizes to almost-coherent families.","marker":"[23]"},{"why":"Constructs the exponential tensor modules and the Weyl-algebra embeddings used as models in the type A classification.","marker":"[13]"},{"why":"Provides the simplicity criteria and the rank-one U(h)-free sl(n+1)-module structures that exponential tensor modules are compared against.","marker":"[26]"},{"why":"Characterizes degree-one coherent families, which is the key reduction used in Theorems 5.10 and 5.16.","marker":"[5]"},{"why":"Supplies the preservation of cuspidal modules under translation functors, used in Lemma 4.21 and the reduction arguments.","marker":"[14]"},{"why":"The only source for the proof of Lemma 5.17 on linear independence of degree polynomials; listed as 'In preparation', it is load-bearing for the type A surjectivity and sl(3) classification.","marker":"[25]"},{"why":"Supplies the theorem that finitely generated projective modules over polynomial rings are free, used to pass from local freeness to U(h)-freeness.","marker":"[28]"}],"fun_headline_variants":["Infinite simple modules: torsion-free over Cartan","Weighting functor forces torsion-freeness on infinite simple modules","Almost-coherent families classify symplectic and most special linear modules","Simple infinite modules free under non-integral or singular characters"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is Lemma 5.17, which asserts that the polynomials deg_1,...,deg_n defined by equation (5.3) are linearly independent over C; the paper gives only a sketch and refers to a thesis listed as 'In preparation', so if this independence fails, the surjectivity theorem for type A and the sl(3) classification collapse.","fun_headline_variants_meta":{"raw":{"variants":["Infinite simple modules: torsion-free over Cartan","Weighting functor forces torsion-freeness on infinite simple modules","Almost-coherent families classify symplectic and most special linear modules","Simple infinite modules free under non-integral or singular characters"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000899,"raw_usage":{"total_tokens":3981,"prompt_tokens":1167,"completion_tokens":2814,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":783,"completion_tokens_details":{"reasoning_tokens":2753}},"tokens_in":783,"tokens_out":2814,"duration_ms":19436,"temperature":1.0,"reasoning_tokens":2753,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T11:14:50.222985+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the degree polynomials deg_k explicitly for sl(4) or sl(5) from the dimensions dim L_l(w_k·λ) using the dimension formula for finite-dimensional simple modules, and test whether their values at n generic weights give an invertible matrix; a singular matrix would falsify Lemma 5.17. A less direct check is to compute the ranks of the parabolic modules L_b(k,λ) at several λ and compare with the predicted multiplicities m_i,k = δ_i,k; any mismatch refutes Theorem 5.16.","supporting_citations":[{"cited_title":"U(h)-free modules and coherent families","cited_arxiv_id":null,"evidence_quote":"Supplies the rank-one U(h)-free module classification and introduces the weighting functor W together with the fact that W(M) is a coherent family for free M."},{"cited_title":"Classification of irreducible weight modules","cited_arxiv_id":null,"evidence_quote":"Provides the classification of irreducible semi-simple coherent families and the extension construction EXT(L) that the paper generalizes to almost-coherent families."},{"cited_title":"Exponentiation and fou rier transform of tensor modules of sl(n + 1)","cited_arxiv_id":null,"evidence_quote":"Constructs the exponential tensor modules and the Weyl-algebra embeddings used as models in the type A classification."},{"cited_title":"Simple sl(n + 1)-module structures on U(h)","cited_arxiv_id":null,"evidence_quote":"Provides the simplicity criteria and the rank-one U(h)-free sl(n+1)-module structures that exponential tensor modules are compared against."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Characterizes degree-one coherent families, which is the key reduction used in Theorems 5.10 and 5.16."},{"cited_title":"Cuspidal represen tations of sl(n + 1)","cited_arxiv_id":null,"evidence_quote":"Supplies the preservation of cuspidal modules under translation functors, used in Lemma 4.21 and the reduction arguments."},{"cited_title":"Mendon¸ ca","cited_arxiv_id":null,"evidence_quote":"The only source for the proof of Lemma 5.17 on linear independence of degree polynomials; listed as 'In preparation', it is load-bearing for the type A surjectivity and sl(3) classification."},{"cited_title":"Porjective modules over polynomial rings","cited_arxiv_id":null,"evidence_quote":"Supplies the theorem that finitely generated projective modules over polynomial rings are free, used to pass from local freeness to U(h)-freeness."}],"review_version":1}