20/09/06 10:58:52.30 P1Kztm36.net
>>196
つづき
URLﾘﾝｸ(ja.wikipedia.org)
余接束
微分幾何学において、滑らかな多様体の余接束 (cotangent bundle) は多様体のすべての点におけるすべての余接空間からなるベクトル束である。それはまた接束の双対束として記述することもできる。
余接層
余接束の滑らかな断面は微分 1-形式である。
余接層の定義
M を滑らかな多様体とし M × M を M の自身とのカルテジアン積とする。対角写像 Δ は M の点 p を M × M の点 (p, p) に送る。Δ の像は対角線 (diagonal) と呼ばれる。
Ｉを対角線上消える M × M 上の滑らかな関数の芽の層とする。このとき商層 Ｉ/Ｉ^2 はより高次の項を法として対角線上消える関数の同値類からなる。
余接層