$\mathcal{U}(\mathfrak{h})$-finite modules and almost-coherent families
In the representation theory of finite-dimensional simple Lie algebras $\mathfrak{g}$, two categories of modules stand out due to their contrasting nature. The first is the category of weight modules, consisting of $\mathfrak{g}$-representations where a fixed Cartan subalgebra $\mathfrak{h} \subseteq \mathfrak{g}$ acts semisimply. This category has been extensively studied over the past decades, with a classification of simple modules having finite-dimensional weight spaces obtained by O. Mathieu through the introduction of a special class of modules known as coherent families.