D-加群

数学において、D-加群は、微分作用素の環 //D// 上の加群である。そのような D-加群への主要な興味は、線型偏微分方程式の理論へのアプローチとしてである。1970年ころ以来、D-加群の理論は、主要には代数解析上の佐藤幹夫のアイデアがまとめられ、佐藤・ベルンシュタイン多項式についての佐藤とヨゼフ・ベルンシュタインの仕事へと発展した。

初期の主要な結果は、柏原正樹の柏原の構成定理と柏原の指数定理である。D-加群論の方法は、層の理論から導かれ、代数幾何学のアレクサンドル・グロタンディークの仕事から動機を得たテクニックが使われている。D-加群のアプローチは、微分作用素を研究する伝統的な函数解析のテクニックとは異なっている。最も強い結果は、極大過剰決定系に対して得られ、表象により特性多様体が定義される。特性多様体は余接バンドルの包合的部分集合であり，その中で最良の例が、最小次元の余接バンドルのラグラジアン部分多様体である。テクニックは、グロタンディーク学派の側からゾグマン・メブク  により開発された。彼は、すべての次元でのリーマン・ヒルベルト対応の導来圏の一般的なバージョンを得た。

1. はじめに：ワイル代数上の加群
-----------------

代数的 //D//-加群の第一の例は、標数 0 の体 //K// 上のワイル代数 //A////n// 上の加群である。この例は、次のような変数の多項式からなる代数である。

//x//1, ..., //x////n//, ∂1, ..., ∂//n//.ここに、すべての変数 //x////i// と ∂//j// は互いに可換であり、交換子は、

[∂//i//, //x////i//] = ∂//i////x////i// − x//i////∂////i// = 1.である。任意の多項式 //f// に対し、このことは関係式

[∂//i//, //f//] = ∂//f// / ∂//x////i//,を意味するので、ワイル代数を微分方程式へ関連付けることができる。

//D//-加群は、定義により、環 //A////n// 上の左加群である。//D//-加群の例は、ワイル代数自身、及び可換な多項式環 //K//[//x//1, ..., //x////n//] を含んでいる。ここに、//x////i// は乗算によって作用し、∂//j// は //x////j// に関して偏微分として作用する。そしてこれと似たものとして、C//n// 上の正則函数の環 がある。//x// を複素変数、//a////i// を多項式として、微分作用素 //P// = //a////n// ∂//n// + ... + //a//1 ∂1 + //a//0, が与えられると、商加群 //M// = //A//1///A//1//P// は微分方程式

//P f// = 0,の解の空間と密接に関係する。ここに //f// は、いわば、C の正則函数である。この方程式の解からなるベクトル空間は、//D//-加群の準同型の空間 により与えられる。

2. 代数多様体上の //D//-加群
-------------------

//D//-加群の一般論は、複素多様体 ，又は //K// = C のような標数 0 の代数的閉体 //K// 上に定義された滑らかな代数多様体 //X// 上で展開された。微分作用素 //D////X// の層は、//X// 上のベクトル場により生成された //O////X//-代数であると定義され、微分代数と解釈される。 //D////X//-加群 //M// は //O////X//-加群で //D////X// の左作用を持っている。そのような作用は、//K//-線型写像

を与えることと同値であり、この写像は、

を満たす。ここに //f// は //X// 上の正則函数であり、//v// と //w// はベクトル場で、//m// は //M// の局所切断であり、[−, −] は交換子を表す。従って、さらに //M// が局所自由 //O////X//-加群であれば、//M// が与えられると、//D//-加群構造は平坦か、または、可積分である接続を持つ //M// に付随するベクトルバンドルを持つことに他ならない。

環 //D////X// が非可換であれば、左と右の //D//-加群は異なっているはずである。しかし、両方の加群のタイプの間の圏同値が存在するので、入れ替えることができる。圏同値は左加群 //M// をテンソル積 //M// ⊗ Ω//X// へ写像することにより与えられる。ここに、Ω//X// は //X// 上の微分 1-形式の最高次の外積べきにより与えられる層である。この層は、

ω ⋅ //v// := − Lie//v// により決まる自然な右作用を持つ。ここに //v// は階数 1 の微分作用素、いわば、ベクトル場 ω であり //n//-形式  であり、Lie はリー微分を表す。

局所的には、//X// 上のパラメータの正則系 //x//1, ..., //x////n//  を選んだのち、//D////X// の切断が、

として一意に表現される。ここに は //X// 上の正則函数である。

特に、//X// が //n//-次元アフィン空間であれば、この //D////X// は //n// 変数のワイル代数である。

//D//-加群の多くの基本的性質は、局所的で、連接層の状況と平行している。このことは、//D////X// は、上記の //O////X//-基底が示すように、無限ランクで作用する//O////X//-加群の局所自由層である。//O////X//-加群として連接である //D////X//-加群は、必然的に局所自由となることを示すことができる。

2.1. 函手性
--------

異なる代数多様体上の //D//-加群は、層の像函手により、連接層の一つと比較し、関連付けられている。滑らかな代数多様体のスキームの射 //f//: //X// → //Y// に対し、定義は、

//D////X//→//Y// := //O////X// ⊗//f//−1 //f//−1である。この定義は左 //D////X// 作用は連鎖律を使う方法で作用し、自然な右作用は //f//−1 で作用する。プルバックは

//f//∗ := //D////X//→//Y// ⊗//f//−1 //f//−1として定義される。//M// が左 //D////Y//-加群であることに対し、そのプルバックは //X// 上の左加群である。この函手は右完全で、その左導来函手は L//f//∗ で表される。逆に、右 //D////X//-加群 //N// に対し、

//f//∗ := //f//∗は右 //D////Y//-加群である。これは右完全テンソル積を左完全プッシュフォワードを混ぜ合わせるので、次のように設定を変えることができる。

//f//∗ := R//f//∗.これのために、//D//-加群の理論の多くが、ホモロジー代数、特に導来圏の全体を使って開発された。

3. ホロノミック加群
-----------

3.1. ワイル代数上のホロノミック加群
--------------------

ワイル代数はネター環であることを示すことができる。さらに、ワイル代数は単純である、つまり、両側のイデアルがゼロイデアルか、環全体である。これらの性質は、//D//-加群の研究をより管理しやすくする。幸い、ヒルベルト多項式や多重度や加群の長さといった標準的な可換代数からの記法が //D//-加群の上にある。さらに詳しくは、ベルンシュタインフィルトレーションは、//D////X// が、 |α|+|β| ≤ //p// であるような微分作用素 //x//α∂β の //K//-線型結合からなるフィルトレーション  //F////p////A////n// である。付随する次数付き環は、2//n// 個の変数の多項式環に同型であると見ることができる。特に、この環は可換である。

有限生成な //D//-加群 //M// は、いわゆる「良い」フィルトレーション //F//∗//M// を持ち、このフィルトレーションは //F//∗//A////n// と整合性を持ち、アルティン・リースの補題の状況と本質的には平行である。ヒルベルト多項式は、大きな //n// に対する函数

//n// ↦ dim//K// //F////n////M//に一致する数値多項式と定義することができる。//A////n//-加群 //M// の次元 //d// は、ヒルベルト多項式の次数であると定義される。この次数は、ベルンシュタインの不等式

//n// ≤ //d// ≤ 2//n//.により有界である。

次元が可能な限り最小な //n// である加群をホロノミックと呼ぶ。

//A//1-加群 //M// = //A//1///A//1//P// は、任意の 0 でない微分作用素 //P// に対してホロノミックである。ただし、単純な高次元ワイル代数は成立しない。

3.2. 一般的定義
----------

上で述べたように、ワイル代数上の加群は、アフィン空間上の //D//-加群に対応する。一般の多様体 //X// の //D////X// に対しては有効ではないベルンシュタインのフィルトレーションは、微分作用素の階数により定義される //D////X// 上の階数フィルトレーションのおかげで、定義を任意のアフィンで滑らかな多様体 //X// へと一般化する。付随する次数付き環 gr //D////X// は余接バンドル T∗//X// 上の正則函数により与えられる。

特性多様体は、再び //M// を  の階数フィルトレーションに関して）