Non-holonomic modules over Weyl algebras and enveloping algebras
type: Item
instance of: scholarly article
title: Non-holonomic modules over Weyl algebras and enveloping algebras
zbMATH Open document ID: 0558.17011
DOI: 10.1007/BF01388528
published in: Inventiones Mathematicae
publication date: 1985-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/143217
review text: Let \(R=A_ n({\mathbb{C}})\) denote the nth Weyl algebra over the field \({\mathbb{C}}\) of complex numbers, i.e. R has generators \(x_ i\), \(y_ i\) (1\(\leq i\leq n)\) satisfying the relations \(x_ iy_ i-y_ ix_ i=1\) (1\(\leq i\leq n)\) with all other commutators being zero. For any R-module M, \textit{I. N. Bernstein} [Funkts. Anal. Prilozh. 6, No.4, 26-40 (1972; Zbl 0282.46038), or see \textit{J.-E. Björk}, Rings of differential operators (1979; Zbl 0499.13009), chapter 1] has proved GK-dim \(M\geq n= GK\)-dim R, where GK-dim M denotes the Gelfand-Kirillov dimension of M, and equality holds for certain important classes of R-modules. A simple R-module U is called holonomic provided GK-dim U\(= GK\)-dim R. (In general, if T is a Noetherian ring of finite GK-dimension, a simple T- module U is called holonomic provided GK-dim U\(= GK\)-dim(T/Ann U).) Not all simple R-modules are holomonic. The author shows that for \(2\leq i\leq n\), complex numbers \(\lambda_ 2,...,\lambda_ n\) linearly independent over the rational field \({\mathbb{Q}}\) and \(\alpha =x_ 1+y_ 1(\sum^{n}_{i=2}\lambda_ ix_ iy_ i)+\sum^{n}_{i=2}(x_ i+y_ i)\), the right ideal \(E=\alpha R\) is a maximal right ideal of R and in particular \(GK\)-dim(R/E)\(=2n-1\). The Ext groups of holonomic R-modules are infinite dimensional over \({\mathbb{C}}\) [see J.-E. Björk, op. cit. p. 20, Theorem 6.6 and p. 77, Theorem 7.15]. However, if \(n=2\) and \(\beta =x_ 1+y_ 1x_ 2y_ 2+x_ 2+y_ 2\) then it is proved that \(Ext^ 1_ R(R/\beta R,R/\beta R)\) is an infinite dimensional complex vector space. In addition for general n, with \(\alpha\) as above, both \(Ext^ 1_ R(R/\alpha R,R/x_ 1R)\) and \(Ext^ 1_ R(R/x_ 1R,R/\alpha R)\) are finite dimensional complex vector spaces. Moreover \({\mathbb{C}}[\alpha]\) is a maximal commutative subalgebra of R, and C(\(\alpha)\) a maximal commutative subfield of Q(R), the quotient division ring of R. The second half of the paper concerns the enveloping algebra U of the semi-simple…
Mathematics Subject Classification ID: 17B35
Mathematics Subject Classification ID: 17B20
Mathematics Subject Classification ID: 16P60
Mathematics Subject Classification ID: 16P40
Mathematics Subject Classification ID: 16S20
zbMATH DE Number: 3889760
zbMATH Keywords: holonomic modules
zbMATH Keywords: nonholonomic modules
zbMATH Keywords: simple modules
zbMATH Keywords: Weyl algebra
zbMATH Keywords: Gelfand-Kirillov dimension
zbMATH Keywords: Ext groups
zbMATH Keywords: enveloping algebra
zbMATH Keywords: semi-simple Lie algebra
zbMATH Keywords: maximal right ideal
zbMATH Keywords: Krull dimension
author: J. T. Stafford
reviewed by: Patrick F. Smith
MaRDI profile type: Publication
cites work: Q4056148
cites work: Modules over a ring of differential operators. Study of the fundamental solutions of equations with constant coefficients
cites work: The analytic continuation of generalized functions with respect to a parameter
cites work: Q3889239
cites work: Q3890851
cites work: Q4115279
cites work: Q5518477
cites work: Quotients simples de l'algèbre enveloppante de \({\mathfrak sl}_2\)
cites work: Towards the Kazhdan-Lusztig conjecture
cites work: Centralizers in differential, pseudo-differential, and fractional differential operator rings
cites work: Collaboration indices in structural role theory
cites work: Normalizing extensions: Prime ideals and incomparability
cites work: A generalization of Quillen's lemma and its application to the Weyl algebras
cites work: Goldie rank in the enveloping algebra of a semisimple Lie algebra. I, II
cites work: On the tensor product of a finite and an infinite dimensional representation
cites work: Ideal invariance and Artinian quotient rings
cites work: Shorter Notes: Artinian Ideals in Noetherian Rings
cites work: Q3934568
cites work: A Note on the Weyl Algebra A n
cites work: Ideal invariance and localization
cites work: Some examples of modules over Noetherian rings
cites work: Q5536689
cites work: The Primitive Factor Rings of the Enveloping Algebra of sl (2, C )
cites work: Krull dimensions of the enveloping algebra of sl(2,C)
cites work: Stable structure of noncommutative Noetherian rings. II
cites work: Homological properties of the enveloping algebra U(Sl2)
cites work: Q3949166
cites work: Gelfand-Kirillov dimension for Harish-Chandra modules
Recommended article: Nonholonomic modules over enveloping algebras of semisimple Lie algebras
Recommended article: Q5758364
Recommended article: Q3481912
Recommended article: Cyclic irreducible non-holonomic modules over the Weyl algebra: an algorithmic characterization.
Recommended article: On non-holonomic irreducible \(D\)-modules
Recommended article: Q3464522
Recommended article: The noncommutative schemes of generalized Weyl algebras
Recommended article: Weyl modules and Weyl functors for hyper-map algebras
Recommended article: Non-weight modules over algebras related to the Virasoro algebra
Recommended article: Extensions of modules over Weyl algebras
description: scientific article; zbMATH DE number 3889760