D-加群
数学において、D-加群(D-module)は、微分作用素の環 "D" 上の加群である。そのような D-加群への主要な興味は、線型偏微分方程式の理論へのアプローチとしてである。1970年ころ以来、D-加群の理論は、主要には代数解析上の佐藤幹夫のアイデアのまとめて、についての佐藤とヨゼフ・ベルンシュタイン(Joseph Bernstein)の仕事へと発展した。
初期の主要な結果は、柏原正樹のとである。D-加群論の方法は、常に、層の理論から導かれ、代数幾何学のアレクサンドル・グロタンディークの仕事からに動機を得たテクニックを使った。D-加群のアプローチは、微分作用素を研究する伝統的な函数解析のテクニックとは異なっている。最も強い結果は、（）に対して得られ、表象によりが定義される。特性多様体は余接バンドルの包合的部分集合であり，その中で最良の例が、最小次元の余接バンドルのラグラジアン部分多様体である（）。テクニックは、グロタンディーク学派の側からゾグマン・メブク (Zoghman Mebkhout) により開発された。彼は、すべての次元でのの導来圏の一般的なバージョンを得た。
代数的 "D"-加群の第一の例は、標数 0 の体 "K" 上のワイル代数 "A"("K") 上の加群である。この例は、次のような変数の多項式からなる代数である。
ここに、すべての変数 "x" と ∂ は互いに可換であり、交換子は、
である。任意の多項式 "f"("x", ..., "x") に対し、このことは関係式
を意味するので、ワイル代数を微分方程式へ関連付けることができる。
（代数的） "D"-加群は、定義により、環 "A"("K") 上の左加群である。"D"-加群の例は、ワイル代数自身（左からの乗算により自分自身へ作用する）、及び可換な多項式環 "K"["x", ..., "x"] を含んでいる。ここに、"x" は乗算によって作用し、∂ は "x" に関して偏微分として作用する。そしてこれと似たものとして、C 上の正則函数の環 formula_1（"n" 個の複素変数の関数からなる空間）がある。
"x" を複素変数、"a"("x") を多項式として、微分作用素 "P" = "a"("x") ∂ + ... + "a"("x") ∂ + "a"("x"), が与えられると、商加群 "M" = "A"(C)/"A"(C)"P" は微分方程式
の解の空間と密接に関係する。ここに "f" は、いわば、C の正則函数である。この方程式の解からなるベクトル空間は、"D"-加群の準同型の空間 formula_2 により与えられる。
"D"-加群の一般論は、複素多様体 (係数体は "K" = C)，又は "K" = C のような標数 0 の代数的閉体 "K" 上に定義された(smooth)代数多様体 "X" 上で展開された。微分作用素 "D" の層は、"X" 上のベクトル場により生成された "O"-代数であると定義され、と解釈される。（左） "D"-加群 "M" は "O"-加群で "D" の左作用を持っている。そのような作用は、"K"-線型写像
を与えることと同値であり、この写像は、
を満たす。ここに "f" は "X" 上の正則函数であり、"v" と "w" はベクトル場で、"m" は "M" の局所切断であり、[−, −] は交換子を表す。従って、さらに "M" が局所自由 "O"-加群であれば、"M" が与えられると、"D"-加群構造は平坦か、または、可積分である接続を持つ "M" に付随するベクトルバンドルを持つことに他ならない。
環 "D" が非可換であれば、左と右の "D"-加群は異なっているはずである。しかし、両方の加群のタイプの間の圏同値が存在するので、入れ替えることができる。圏同値は左加群 "M" をテンソル積 "M" ⊗ Ω へ写像することにより与えられる。ここに、Ω は "X" 上の微分 1-形式の最高次の外積べきにより与えられる層である。この層は、
により決まる自然な右作用を持つ。ここに "v" は階数 1 の微分作用素、いわば、ベクトル場 ω であり "n"-形式 ("n" = dim "X") であり、Lie はリー微分を表す。
局所的には、"X" 上の(system of coordinates) "x", ..., "x" ("n" = "dim" X) を選んだのち（座標系は、"X" の接空間の基底 ∂, ..., ∂ を決定する）、"D" の切断が、
として一意に表現される。ここに formula_8 は "X" 上の正則函数である。
特に、"X" が "n"-次元アフィン空間であれば、この "D" は "n" 変数のワイル代数である。
"D"-加群の多くの基本的性質は、局所的で、連接層の状況と平行している。このことは、"D" は、上記の "O"-基底が示すように、無限ランクで作用する"O"-加群の局所自由層である。"O"-加群として連接である "D"-加群は、必然的に局所自由（有限ランク）となることを示すことができる。
異なる代数多様体上の "D"-加群は、により、連接層の一つと比較し、関連付けられている。滑らかな代数多様体のスキームの射 "f": "X" → "Y" に対し、定義は、
である。この定義は左 "D" 作用は連鎖律を使う方法で作用し、自然な右作用は "f"("D") で作用する。プルバックは
として定義される。"M" が左 "D"-加群であることに対し、そのプルバックは "X" 上の左加群である。この函手は右完全で、その左導来函手は L"f" で表される。逆に、右 "D"-加群 "N" に対し、
は右 "D"-加群である。これは右完全テンソル積を左完全プッシュフォワードを混ぜ合わせるので、次のように設定を変えることができる。
これのために、"D"-加群の理論の多くが、ホモロジー代数、特に導来圏の全体を使って開発された。
ワイル代数は（左と右の）ネター環であることを示すことができる。さらに、ワイル代数は単純である、つまり、両側のイデアルがゼロイデアルか、環全体である。これらの性質は、"D"-加群の研究をより管理しやすくする。幸い、ヒルベルト多項式や多重度や加群の長さといった標準的な可換代数からの記法が "D"-加群の上にある。さらに詳しくは、ベルンシュタインフィルトレーション(Bernstein filtration)は、"D" が、（多重指数記法を使い） |α|+|β| ≤ "p" であるような微分作用素 "x"∂ の "K"-線型結合からなる "F""A"("K") である。付随する次数付き環は、2"n" 個の変数の多項式環に同型であると見ることができる。特に、この環は可換である。
有限生成な "D"-加群 "M" は、いわゆる「良い」フィルトレーション "F""M" を持ち、このフィルトレーションは "F""A"("K") と整合性を持ち、アルティン・リースの補題の状況と本質的には平行である。ヒルベルト多項式は、大きな "n" に対する函数
に一致すると定義することができる。"A"("K")-加群 "M" の次元 "d"("M") は、ヒルベルト多項式の次数であると定義される。この次数は、ベルンシュタインの不等式
により有界である。
次元が可能な限り最小な "n" である加群をホロノミックと呼ぶ。
"A"("K")-加群 "M" = "A"("K")/"A"("K")"P" （上記参照）は、任意の 0 でない微分作用素 "P" に対してホロノミックである。ただし、単純な高次元ワイル代数は成立しない。
上で述べたように、ワイル代数上の加群は、アフィン空間上の "D"-加群に対応する。一般の多様体 "X" の "D" に対しては有効ではないベルンシュタインのフィルトレーションは、微分作用素の階数により定義される "D" 上の階数フィルトレーション(order filtration)のおかげで、定義を任意のアフィンで滑らかな多様体 "X" へと一般化する。付随する次数付き環 gr "D" は余接バンドル T"X" 上の正則函数により与えられる。
(characteristic variety)は、再び "M" を ("D") の階数フィルトレーションに関して）適切なフィルトレーションを持っているとしたとき、gr "M" の零化域の根基により切り出される余接バンドルの部分多様体であると定義される。通常のように、アフィン構成は任意の多様体をつなぎ合わせる。
ベルンシュタインの不等式は、任意の（滑らかな）多様体 "X" に対して連続的に成り立つ。上界は、 上の余接バンドルの項での解釈の直接的な結果であることに対し、下界はより微妙な問題を含んでいる。
ホロノミック加群は、有限次元ベクトル空間のような振る舞いをする傾向を持っている。たとえば、それらの長さは有限である。さらに、"M" がホロノミックであることと、複体 L"i"("M") のすべてのコホモロジー群が、有限次元 "K"-ベクトル空間であることは同値である。ここに "i" は "X" の任意の点のである。
任意の "D"-加群 "M" に対し、双対加群は、
により定義される。ホロノミック加群も、ホモロジーの条件により特徴付けることができる。"M" がホロノミックであることと、D("M") が次数 0 で縮小できる（"D"-加群の導来圏内の対象で分かるように）。この事実は、(Verdier duality)やに最初に見ることができる。このことは、正則環のホモロジカルな研究（特に、大局次元）を拡張することにより、フィルター化された環 "D" へ拡張されることにより証明された。
他のホロノミック加群の特徴付けは、シンプレクティック幾何学を通してなされている。任意の "D"-加群 "M" の特性多様体 Ch("M") は、"X" の余接バンドル T"X" としてみると、多様体である。加群がホロノミックであることと、Ch("M") がラグラジアン部分多様体であることは同値である。
初期のホロノミック "D"-加群の応用は、であった。
カズダン・ルースティック予想は、"D"-加群を使い証明された。
は、ある "D"-加群と構成層の間のリンクを確立した。これは、を導入する動機をもたらした。