Abstract:If $\Gamma$ is a subalgebra of $A$, then an $A$-module is called a Harish-Chandra module if it is the direct sum of its generalized weight spaces with respect to $\Gamma$. In 1994, Drozd, Futorny, and Ovsienko defined a generalization of a central subalgebra called a Harish-Chandra subalgebra and showed that when $\Gamma$ is a Harish-Chandra subalgebra of $A$ the structure of Harish-Chandra $A$-modules can be described using information about the relationship between $A$ and the cofinite maximal ideals of $\Gamma$. We extend these results by dropping the assumption that $\Gamma$ is quasicommutative. We facilitate this by introducing an equivalence relation $\sim$ on the set $\mathrm{cfs}(\Gamma)$ of cofinite maximal ideals of $\Gamma$. We define Harish-Chandra block modules with respect to $\sim$ to be $A$-modules that are the direct sum of so called block spaces corresponding to the equivalence classes $\mathrm{cfs}(\Gamma)/{\sim}$. If $\Gamma$ is a Harish-Chandra block subalgebra of $A$ with respect to $\sim$, then the structure of Harish-Chandra block modules can be described based on the relationship between $A$ and $\mathrm{cfs}(\Gamma)/{\sim}$. In particular, we give a decomposition of the category of Harish-Chandra block modules and the collection of isomorphism classes of irreducible Harish-Chandra block modules. Furthermore, we define a category $\mathcal{A}$ on $\mathrm{cfs}(\Gamma)/{\sim}$, and show the category of profinite $\mathcal{A}$-modules is equivalent to the category of Harish-Chandra block modules. Taking $\Gamma$ to be noetherian and quasicommutative, and $\sim$ to be the equality relation, we recover (in fact, a slight refinement of) results from Drozd, Futorny, and Ovsienko. Lastly, we provide a sufficient condition for when there are a finite number of isoclasses of simple Harish-Chandra block modules with a given support.

Realizations of 𝐴₁⁽¹⁾-modules in Category ̃𝒪

REALIZATIONS OF A<sub>1</sub><SUP>(1)</SUP> -MODULES IN CATEGORY (O)over-tilde

Infinite rank module categories over finite dimensional $\mathfrak{sl}_2$-modules in Lie-algebraic context

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

Representations of Weakly Triangular Categories

The Category of reduced imaginary Verma modules

The Category $\mathcal O$ for Lie Algebras of Vector Fields (I): Tilting Modules and Character Formulas

Highest Weight Modules for Affine and Loop Superalgebras of 𝔬𝔰𝔭_1|2(ℂ)

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

On the category O for rational Cherednik algebras

On two modular geometric realizations of an affine Hecke algebra

Irreducible Representations of the Generalized Jacobson-Witt Algebras

A Family of Representations of the Affine Lie Superalgebra 𝔤𝔩_m|n(ℂ)

Representations of cyclotomic oriented Brauer categories

On the Category of Harish-Chandra Block Modules

Semisimplicity of module categories of certain affine vertex operator superalgebras

Integrable representations for toroidal extended affine Lie algebras

Partial classification of irreducible modules for loop-Witt algebras

Representations of the Cyclotomic Oriented Brauer-Clifford Supercategory

Character formulas in Category $\mathcal O_p$

Modules For The Core Of Extended Affine Lie Algebras Of Type A(1) With Coordinates In Rank 2 Quantum Tori