Bounded generalized Harish-Chandra modules

Ivan Penkov; Vera Serganova

Home/Archive/arXiv

arXiv · 0710.0906

Bounded generalized Harish-Chandra modules

Ivan Penkov·Vera Serganova

View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $\gg$ be a complex reductive Lie algebra and $\kk\subset\gg$ be any reductive in $\gg$ subalgebra. We call a $(\gg,\kk)$-module $M$ bounded if the $\kk$-multiplicities of $M$ are uniformly bounded. In this paper we initiate a general study of simple bounded $(\gg,\kk)$-modules. We prove a strong necessary condition for a subalgebra $\kk$ to be bounded (Corollary \ref{cor1.6}), i.e. to admit an infinite-dimensional simple bounded $(\gg,\kk)$-module, and then establish a sufficient condition for a subalgebra $\kk$ to be bounded (Theorem \ref{thGroups2}). As a result we are able to classify all maximal bounded reductive subalgebras of $\gg=\sl(n)$. In the second half of the paper we describe in detail simple bounded infinite-dimensional $(\gg,\sl(2))$-modules, and in particular compute their characters and minimal $\sl(2)$-types. We show that if $\sl(2)$ is a bounded subalgebra of $\gg$ which is not contained in a proper ideal of $\gg$, then $\gg\simeq \sl(2)\oplus \sl(2), \sl(3),\sp(4)$; alltogether, up to conjugation there are five possible embeddings of $\sl(2)$ as a bounded subalgebra into $\gg$ as above. In two of these cases $\sl(2)$ is a symmetric subalgebra, and many results about simple bounded $(\gg,\sl(2))$-modules are known. A case where our results are entirely new is the case of a principal $\sl(2)$-subalgebra in $\sp(4)$.

Explore related subjects

math.RT

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Ivan Penkov, Vera Serganova. 2007-10-03. Bounded generalized Harish-Chandra modules. https://arxiv.org/abs/0710.0906

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On (super)symmetrizing forms and Schur elements of cyclotomic Hecke-Clifford algebras

In this paper, we introduce Schur elements for supersymmetrizing superalgebras. We show that the cyclotomic Hecke-Clifford algebra $\mathcal{H}^f_{c}(n)$ is supersymmetric if $f=f^{(\mathtt{0})}_{\underline{Q}}$ and, symmetric if $f=f^{(\mathtt{s})}_{\underline{Q}}$ and an invertibility condition holds. In the semisimple case, we compute the Schur elements for both $\mathcal{H}^f_{c}(n)$ and the cyclotomic Sergeev algebra $\mathcal{h}^g_{c}(n)$. As applications, we define new symmetrizing forms on the Hecke-Clifford algebra $\mathcal{H}(n)$ and on the cyclotomic quiver Hecke algebras of types $A^{(1)}_{e-1}$ and $C^{(1)}_e$.

math.RT↗

arXiv2026

Bicompact torsion classes and conjectures on brick infinite algebras

In the category $\operatorname{\mathsf{mod}} A$ of finitely generated modules over a finite dimensional algebra $A$, a torsion class $\mathcal{T} \subset \operatorname{\mathsf{mod}} A$ is said to be compact if there exists a module $M \in \operatorname{\mathsf{mod}} A$ such that $\mathcal{T}$ is the smallest torsion class containing $M$. If a torsion class satisfies this and the dual condition, then we call it a bicompact torsion class. We conjecture that bicompact torsion classes are precisely functorially finite torsion classes, and prove it for hereditary algebras and also for semistable torsion classes. This gives that Demonet's Lattice Point Conjecture implies Enomoto's Infinite Semibrick Conjecture, both of which are important conjectures on brick infiniteness.

math.RT↗

arXiv2026

Right representations of Novikov algebras

We study the theory of right representations of Novikov algebras. We introduce the notion of a modular right ideal of a Novikov algebra and prove that every irreducible right representation of a Novikov algebra is isomorphic to the quotient by a maximal modular right ideal. We prove that the class of Novikov algebras with no irreducible representations forms a hereditary radical. We introduce the notion of a primitive Novikov algebra and show that a Novikov algebra is primitive if and only if it admits an almost faithful irreducible representation. We also introduce the notion of the quasi-kernel of a representation, defined as the largest ideal contained in its kernel. Finally, we prove that the constructed radical coincides with the intersection of the quasi-kernels of all its irreducible representations.

math.RT↗