A surjectivity theorem for rigid highest weight modules
type: Item
instance of: scholarly article
title: A surjectivity theorem for rigid highest weight modules
zbMATH Open document ID: 0657.17004
DOI: 10.1007/BF01393748
author: Anthony Joseph
published in: Inventiones Mathematicae
publication date: 1988-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/143583
review text: Let \({\mathfrak g}\) be a complex semisimple Lie algebra. Fix a Cartan subalgebra \({\mathfrak h}\) and a set of simple roots \(B\subset {\mathfrak h}^*\). Let \(L=L(\mu):\) \(\mu\in {\mathfrak h}^*\) be the simple highest weight \({\mathfrak g}\)-module with highest weight \(\mu\)-\(\rho\). \(End_{{\mathbb{C}}}(L)\) is a \({\mathcal U}({\mathfrak g})\)-\({\mathcal U}({\mathfrak g})\)- bimodule, it admits an action of \({\mathfrak g}\) via the diagonal map j. Let A (resp. F) be the subring of \(End_{{\mathbb{C}}}(L)\) of locally j(\({\mathfrak n^-})\)-nilpotent (resp. j(\({\mathfrak g})\)-finite) elements. There is an injection map \(F\hookrightarrow A\). The main result of the article is that this injection is surjective iff L is rigid, i.e. if it is not a submodule of an induced \({\mathfrak g}\)-module \(M={\mathcal U}({\mathfrak g})\otimes_{{\mathcal U}({\mathfrak p})}K\), here \({\mathfrak p}\) is any proper parabolic subalgebra of \({\mathfrak g}\) and K is any simple \({\mathfrak p}\)- module. This result leads to a simple proof of the surjectivity theorem of Levasseur, Smith and Stafford: For certain choices of \(\mu\), there exists a bijective map of \({\mathcal U}({\mathfrak g})/Ann(L(\mu))\) onto the algebra of all differential operators on the associated variety \({\mathcal V}(\mu)\) of the \({\mathfrak g}\)-module L(\(\mu)\). In addition to this, the main theorem gives an information on the Goldie skew field, associated to a primitive quotient of \({\mathcal U}({\mathfrak g})\) and could be used in studying completely prime primitive ideals of \({\mathcal U}({\mathfrak g})\) (see Sect. 8 of the paper).
Mathematics Subject Classification ID: 17B10
Mathematics Subject Classification ID: 17B35
Mathematics Subject Classification ID: 22E47
Mathematics Subject Classification ID: 16D60
Mathematics Subject Classification ID: 16Kxx
zbMATH DE Number: 4073226
zbMATH Keywords: highest weight module
zbMATH Keywords: completely prime ideal
zbMATH Keywords: universal enveloping algebra
zbMATH Keywords: complex semisimple Lie algebra
zbMATH Keywords: Cartan subalgebra
zbMATH Keywords: injection map
zbMATH Keywords: surjectivity theorem
zbMATH Keywords: Goldie skew field
zbMATH Keywords: primitive quotient
zbMATH Keywords: completely prime primitive ideals
MaRDI profile type: Publication
cites work: Differential operators on homogeneous spaces. I: Irreducibility of the associated variety for annihilators of induced modules
cites work: Q4170935
cites work: Q4065692
cites work: Q3910665
cites work: The structure of the Lie field connected with a split semisimple Lie algebra
cites work: Q3328709
cites work: A preparation theorem for the prime spectrum of a semisimple Lie algebra
cites work: Gelfand-Kirillov Dimension for the Annihilators of Simple Quotients of Verma Modules
cites work: A Generalization of the Gelfand-Kirillov Conjecture
cites work: Kostant's problem, Goldie rank and the Gelfand-Kirillov conjecture
cites work: Goldie rank in the enveloping algebra of a semisimple Lie algebra. I, II
cites work: On the variety of a highest weight module
cites work: Q3758092
cites work: Rings which are modules in the Bernstein-Gelfand-Gelfand \(\mathcal O\) category
cites work: Modules of t-Finite Vectors Over Semi-Simple Lie Algebras
cites work: Primitive ideals and nilpotent orbits in type \(G_ 2\)
cites work: The minimal nilpotent orbit, the Joseph ideal, and differential operators
cites work: Q3705641
OpenAlex ID: W2058439436
description: scientific article; zbMATH DE number 4073226