ワイル代数上のホロノミック加群
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/03/27 01:25 UTC 版)
「D-加群」の記事における「ワイル代数上のホロノミック加群」の解説
ワイル代数は(左と右の)ネター環であることを示すことができる。さらに、ワイル代数は単純である、つまり、両側のイデアルがゼロイデアルか、環全体である。これらの性質は、D-加群の研究をより管理しやすくする。幸い、ヒルベルト多項式や多重度や加群の長さといった標準的な可換代数からの記法が D-加群の上にある。さらに詳しくは、ベルンシュタインフィルトレーション(Bernstein filtration)は、DX が、(多重指数記法を使い) |α|+|β| ≤ p であるような微分作用素 xα∂β の K-線型結合からなるフィルトレーション(英語版) FpAn(K) である。付随する次数付き環は、2n 個の変数の多項式環に同型であると見ることができる。特に、この環は可換である。 有限生成な D-加群 M は、いわゆる「良い」フィルトレーション F∗M を持ち、このフィルトレーションは F∗An(K) と整合性を持ち、アルティン・リースの補題の状況と本質的には平行である。ヒルベルト多項式は、大きな n に対する函数 n ↦ dimK FnM に一致する数値多項式(英語版)と定義することができる。An(K)-加群 M の次元 d(M) は、ヒルベルト多項式の次数であると定義される。この次数は、ベルンシュタインの不等式 n ≤ d(M) ≤ 2n. により有界である。 次元が可能な限り最小な n である加群をホロノミックと呼ぶ。 A1(K)-加群 M = A1(K)/A1(K)P (上記参照)は、任意の 0 でない微分作用素 P に対してホロノミックである。ただし、単純な高次元ワイル代数は成立しない。
※この「ワイル代数上のホロノミック加群」の解説は、「D-加群」の解説の一部です。
「ワイル代数上のホロノミック加群」を含む「D-加群」の記事については、「D-加群」の概要を参照ください。
- ワイル代数上のホロノミック加群のページへのリンク