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.

A high resolution scintillating fiber tracker with SiPM readout

Abelian subcategories closed under extensions: K-theory and decompositions

Abelian category of cominimax modules and local cohomology

Support and Rank Varieties of Totally Acyclic Complexes

Relative homological rings and modules

Big pure projective modules over commutative noetherian rings: comparison with the completion

On the Category of Harish-Chandra Block Modules

Cofiniteness of local cohomology modules and subcategories of modules

Coherent subcategories of finitely generated $Λ$-modules

[math]-Closed submodules of modules over commutative rings

On thick subcategories of the category of projective presentations

Homological algebra of semimodules and semicontramodules: Semi-infinite homological algebra of associative algebraic structures

Cohomological Classification of Ann-categories

A generalization of the dimension and radius of a subcategory of modules and its applications

Modules with finitely generated cohomology

On definable subcategories

Relative Gorenstein flat modules and Foxby classes and their model structures

Local Cohomology of Certain Determinantal Thickenings

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

Strong generation for module categories