ケーラー微分

数学において、ケーラー微分 (Kähler differential) は微分形式の任意の可換環やスキームへの応用を提供する。
紹介.
アイデアは エーリッヒ・ケーラー によって1930年代に導入された。それは、少し後になって、複素数上の幾何から手法を適用する必要と微分積分学の手法の自由な使用に続いて、そのような手法が利用できない文脈に、可換環論と代数幾何において標準として適用された。
"R" と "S" を可換環とし "φ":"R" → "S" を環準同型とする。重要な例は "R" が体で "S" が "R" 上単位的代数（例えばアフィン多様体の座標環）に対してである。
"S" 上の "R"-線型導分は "R"-加群の射 formula_1 であって "R" がその核に入りライプニッツ則 formula_2 を満たす。ケーラー微分の加群は他のすべてを分解する "R"-線型導分 formula_3 として定義される。
構成.
アイデアは今 "R" 上の
のを与えることである、ただし Ω"S"/"R" は "S"-加群であって、外微分の純代数的類似である。これが意味するのは d は "R"-加群の準同型であって "S" のすべての "s" と "t" に対して
ということであり、d は任意の他の導分が "S"-加群準同型との合成によってそれから得られるという意味でそのような"最良の"導分である。
Ω"S"/"R" と d の実際の構成は以下のように進行する。"S" の元 "s" に対して形式的な生成元 d"s" を導入し、次の関係を課す： "S" のすべての元 "s" と "t" に対して、
別の構成もある。"I" をテンソル積 formula_4 の次のようなイデアルとする。すなわち、formula_5 によって与えられる積写像 formula_6 の核として "I" を定義する。このとき "S" のケーラー微分の加群は次のように定義しても同値である。Ω"S"/"R" = "I"/"I"2 とし、射 d は
この構成が前の構成と同値であることを見るために、"I" は formula_8 によって与えられる射影 formula_9 の核であることに注意しよう。したがって：
すると formula_11 は、formula_12 によって与えられるcomplementary projectionによって誘導される写像によって、"I" と同一視できる。
したがってこの写像は "I" を "S" の元 "s" に対して形式的な生成元 d"s" で生成された "S" 加群と同一視し、上で与えられた最初の2つの関係に従う（二番目の関係は d が "R"-線型であると要求することで強くなる）。最後の関係によって 0 に設定される元はちょうど "I" の "I"2 に写る。
代数幾何学における使用.
幾何学的には、アフィンスキームの言葉で、"I" は Spec("S") → Spec("R") 上の Spec("S") のそれ自身とのファイバー積において"対角線を定義するイデアル"を表す。したがってこの構成は次のような意味でより幾何学的な風味をもつ。対角線の "first infinitesimal neighbourhood" の概念はそれによって二番目に少なくとも消える関数を""消える関数を経由してとらえられる（関連した概念には余接空間を見よ）。
任意の "S"-加群 "M" に対して、Ω"S"/"R" の普遍性は自然同型
を導く、ただし左辺は "S" から "M" へのすべての "R"-線型導分からなる "S"-加群である。（これは随伴ではないが）随伴関手の場合のように、これは単に加群の同型以上のものである。それは S-加群準同型 "M" → "M"' と交換ししたがって関手の同型である。
"p" > 1 に対してケーラー "p"-形式 Ω"p""S"/"R" を得るために、"R"-加群、"p" 次外冪をとる。（"R" と "S" に適用される）環の局所化のもとでの構成の振る舞いは代数幾何学における使用が可能な"（相対）ケーラー p-形式の層"の幾何学的概念が存在することを保証する。
代数的整数論における使用.
代数的整数論において、ケーラー微分を代数体の拡大の分岐を研究するために使うことができる。"L"/"K" が有限拡大でそれぞれの整数環が "O" と "o" であれば、 δ"L"/"K" は、分岐のデータをエンコードするが、"O"-加群 Ω"O"/"o" の零化イデアルである：
formula_14