Support varieties of (\frak g, \frak k)-modules of finite type

Abstract: Let

f r a k g

be a reductive Lie algebra over an algebraically closed field of characteristic 0 and

f r a k k

be a reductive in

f r a k g

-subalgebra. Let

M

be a finitely generated (possibly, infinite-dimensional)

f r a k g

-module. We say that

M

is a

(f r a k g, f r a k k)

-module if

M

is a direct sum of a (possibly, infinite) amount of simple finite-dimensional

f r a k k

-modules. We say that

M

is of finite type if

M

is a

(f r a k g, f r a k k)

-module and Hom

_{f} r a k k (V, M) < i n f t y

for any simple

f r a k k

-module

V

. Let

X

be a variety of all Borel subalgebras of

f r a k g

. Let

M

be a finitely generated

(f r a k g, f r a k k)

-module of finite type. In this article we prove that

M

is holonomic, i.e.

M

is governed by some subvariety

L_{M} s u b s e t X

and some local system

S_{M}

on it. Furthermore we provide a finite list in which L

_{M}

necessarily appear.

This page was built for publication: Support varieties of $(\frak g, \frak k)$-modules of finite type