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.

Highest weight categories and stability conditions

Semi-Infinite Highest Weight Categories

Highest weight modules at the critical level and noncommutative Springer resolution

Highest weight modules with respect to non-standard Gelfand-Tsetlin subalgebras

Highest Weight Modules for Affine and Loop Superalgebras of

Weight module classifications for Bershadsky--Polyakov algebras

Highest weight modules over Borcherds-Bozec superalgebras and their character formula

On the classification of unitary highest weight modules in the exceptional cases

Weight modules over exp-polynomial Lie algebras

Stratifications of abelian categories

A characterization of socular highest weight modules and Richardson orbits of classical types

The Irreducible Highest Weight Representations of C

Peter-Weyl theorem for Iwahori groups and highest weight categories

Highest weight category structures on $Rep(B)$ and full exceptional collections on flag varieties over $\mathbb Z$

Highest Weight Varieties and Narayana Numbers

Weight modules over Bell--Rogalski algebras

On modular categories O for quantized symplectic resolutions

Associated varieties of minimal highest weight modules

Minkowski difference weight formulas

On the annihilator variety of a highest weight module for classical Lie algebras

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