Abstract:This paper builds upon J. Nilsson's classification of rank one $\mathcal{U}(\mathfrak{h})$-free modules by extending the analysis to modules without rank restrictions, focusing on the category $\mathfrak{A}$ of $\mathcal{U}(\mathfrak{h})$-finite $\mathfrak{g}$-modules. A deeper investigation of the weighting functor $\mathcal{W}$ and its left derived functors, $\mathcal{W}_*$, led to the proof that simple $\mathcal{U}(\mathfrak{h})$-finite modules of infinite dimension are $\mathcal{U}(\mathfrak{h})$-torsion free. Furthermore, it is shown that these modules are $\mathcal{U}(\mathfrak{h})$-free if they possess non-integral or singular central characters. It is concluded that the existence of $\mathcal{U}(\mathfrak{h})$-torsion-free $\mathfrak{g}$-modules is restricted to Lie algebras of types A and C. The concept of an almost-coherent family, which generalizes O. Mathieu's definition of coherent families, is introduced. It is proved that $\mathcal{W}(M)$, for a $\mathcal{U}(\mathfrak{h})$-torsion-free module $M$, falls within this class of weight modules. Furthermore, a notion of almost-equivalence is defined to establish a connection between irreducible semi-simple almost-coherent families and O. Mathieu's original classification. Progress is also made in classifying simple modules within the category $\mathfrak{A}^{\text{irr}}$, which consists of $\mathcal{U}(\mathfrak{h})$-finite modules $M$ with the property that $\mathcal{W}(M)$ is an irreducible almost-coherent family. A complete classification is achieved for type C, with partial classification for type A. Finally, a conjecture is presented asserting that all simple $\mathfrak{sl}(n+1)$-modules in $\mathfrak{A}^{\text{irr}}$ are isomorphic to simple subquotients of exponential tensor modules, and supporting results are proved.

An alternative proof of $\widehat{\mathfrak{sl}}_2'$ standard module semi-infinite structure

On a Proof of the Labastida-Marino-Ooguri-Vafa Conjecture

Semi-infinite construction of one-dimensional lattice vertex superalgebras

Modularity of admissible-level $\mathfrak{sl}_{3}$ minimal models with denominator $2$

Quasi-lisse extension of affine $\mathfrak{sl}_2$ à la Feigin--Tipunin

Subregular nilpotent orbits and explicit character formulas for modules over affine Lie algebras

Frobenius splitting of Schubert varieties of semi-infinite flag manifolds

Gelfand-Tsetlin modules in the Coulomb context

It takes two spectral sequences

Simple modules over the Takiff Lie algebra for sl2

A Class of Non-Weight Modules of 𝑈𝑝(𝖘𝖑2) and Clebsch–Gordan Type Formulas

Tilting modules, dominant dimensions and Brauer-Schur-Weyl duality

$\mathcal{U}(\mathfrak{h})$-finite modules and weight modules I: weighting functors, almost-coherent families and category $\mathfrak{A}^{\text{irr}}$

Gelfand-Tsetlin Modules: Canonicity and Calculations

The basis problem for modular forms for the Weil representation

Fermionic construction of the $\frac{\mathbb{Z}}{2}$-graded meromorphic open-string vertex algebra and its $\mathbb{Z}_2$-twisted module, I

The non-semisimple Kazhdan-Lusztig category for affine $\mathfrak{sl}_2$ at admissible levels

Decomposition of ${\widehat{\mathfrak{sl}_2}}_{,k} \ \oplus \ {\widehat{\mathfrak{sl}_2}}_{,1}$ highest weight representations for generic level $k$ and equivalence between two dimensional CFT models

Modularity for $\mathcal{W}$-algebras and affine Springer fibres

Constructing abelian varieties from rank 2 Galois representations