Search arXivSearch

arXiv · 1105.5020

A geometric approach to (g, k)-modules of finite type

Abstract

Let $g$ be a semisimple Lie algebra over $\mathbb C$ and $k$ be a reductive in $g$ subalgebra. We say that a simple $g$-module $M$ is a $(g; k)$-module if as a $k$-module $M$ is a direct sum of finite-dimensional $k$-modules. We say that a simple $(g; k)$-module $M$ is of finite type if all $k$-isotypic components of $M$ are finite-dimensional. To a simple $g$-module $M$ one assigns interesting invariants V$(M)$, $\EuScript V(M)$ and L$(M)$ reflecting the 'directions of growth of M'. In this work we prove that, for a given pair $(g; k)$, the set of possible such invariants is finite. Let $K$ be a reductive Lie group with Lie algebra $k$. We say that a $K$-variety $X$ is $K$-spherical if $X$ has an open orbit of a Borel subgroup of $K$. Let $W$ be a finite-dimensional $K$-module. The set of flags ($W_1,..., W_s)$ of $W$ with fixed dimensions $(n_1;...; ns)$ is a homogeneous space of the group GL(W). We call such a variety partial $W$-flag variety. In this work we classify all $K$-spherical partial $W$-flag varieties. We say that a simple $(g; k)$-module is bounded if there exists constant C$_M$ such that, for any simple $k$-module $E$, the isotypic component of $E$ in $M$ is a direct sum of not more than C$_M$-copies of $E$. To any simple sl$(W)$-module one assigns a partial $W$-flag variety. In this thesis we prove that a simple (sl$(W); k$)-module is bounded if and only if the corresponding partial $W$-flag variety is $K$-spherical. Moreover, we prove that the pair (sl$(W); k$) admits an infin? ite-dimensional simple bounded module if and only if P$(W)$ is a $K$-spherical variety. For four particular case we say more about category of bounded modules and the set of simple bounded modules.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Alexey Petukhov. 2011-05-25. A geometric approach to (g, k)-modules of finite type. https://arxiv.org/abs/1105.5020

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

KEEP EXPLORING

Related papers

Quasi-Whittaker supermodules over Lie superalgebras

In this paper, we develop a general theory of quasi-Whittaker supermodules over Lie superalgebras induced from an arbitrary ideal. We determine the quasi-Whittaker vectors in universal supermodules, establish an irreducibility criterion, and classify several families of irreducible supermodules. The odd part produces a new irreducibility phenomenon absent from the Lie algebra setting. As applications, we determine all irreducible quasi-Whittaker supermodules over the $N=1$ super Schr\"odinger algebra and the $N=1$ $\frac{3}{2}$-conformal Galilei superalgebra, and over the complete spectrum-generating superalgebra in a special case.

math.RT

Rankin--Selberg integrals of opposite conductor--one newforms

Let $F$ be a nonarchimedean local field of characteristic zero and let $n\geq2$. For $r=n,n+1$, let $\Pi_r$ be an irreducible tempered representation of ${\rm GL}_r(F)$ of conductor one and with trivial central character. We evaluate the Rankin--Selberg integral of opposite newforms in $\Pi_{n+1}\times \Pi_n$ explicitly and show that its central value is nonzero. As an application, this implies a case of Disegni--Zhang's conjecture on the nonvanishing of local relative characters.

math.RT

Obstructions to Jacobi-Finiteness of Quivers with Potentials

We show that Jacobi-finite potentials need not exist on finite $2$-acyclic quivers. Our main tool is a matrix-valued Golod--Shafarevich--Vinberg inequality for quotients of completed path algebras by finitely many, possibly nonhomogeneous, topological relations. Applied to cyclic derivatives, it yields a potential-dependent obstruction to the finite-dimensionality of completed Jacobian algebras. We then construct a purely quiver-level criterion excluding every Jacobi-finite potential on a given quiver, and exhibit a family of quivers for which every potential has an infinite-dimensional Jacobian algebra.

math.RT