KRULL DIMENSION OF MODULES AND INVOLUTIVE IDEALS
KRULL DIMENSION OF MODULES AND INVOLUTIVE IDEALS
复制标题
模块的克鲁尔维度和包容性理想
DOI:
10.1090/s0002-9939-1995-1243163-9
复制
发表时间:
1995
影响因子:
6.7
通讯作者:
S. C. Coutinho
中科院分区:
文献类型:
--
作者:
S. C. Coutinho
In this paper we establish an upper bound for the Krull dimension of a module over a Weyl algebra in terms of a geometrical invariant of its char- acteristic variety, the involutive dimension. This is followed by some examples which show that this inequality may be strict. In this paper we show that the Krull dimension of a module over the Weyl algebra is related to geometrical invariants of the characteristic variety of that module. We begin with a survey of a few basic facts about modules over the Weyl algebra and their characteristic varieties. Let An denote the nth Weyl algebra over the field of complex numbers C. The generators of the algebra An will be denoted by xi and di = d/dxi for I gh} — g{f, h} + h{f, g}. It may be used to calculate the symbol of a bracket of two operators in A" as follows: If d £ A"(k) and d' £ An(m), then ak+m_2((d, d')) = {ak(d), am(d')}. For more details see (1) or (10). Let M be a finitely generated left ?("-module and F a good filtration of M. By that we mean a filtration of M for which %rF M is finitely generated over Sn . Let I(M) be the radical of the annihilator of grf M in S" . Note that I(M) is a homogeneous ideal of S" . The ideal I(M) is called the characteristic ideal of M and its variety char(AZ) in C2" , the characteristic variety of M. Both I(M) and char(Af ) are independent of the choice of the good filtration