余接束
M を滑らかな多様体とし M × M を M の自身とのカルテジアン積とする。対角写像 Δ は M の点 p を M × M の点 (p, p) に送る。Δ の像は対角線 (diagonal) と呼ばれる。 I {\displaystyle {\mathcal {I}}} を対角線上消える M × M 上の滑らかな関数の芽の層とする。このとき商層 I / I 2 {\displaystyle {\mathcal {I}}/{\mathcal {I}}^{2}} はより高次の項を法として対角線上消える関数の同値類からなる。余接層はこの層の M への引き戻し(英語版)である。
Γ T ∗ M = Δ ∗ ( I / I 2 ) . {\displaystyle \Gamma T^{*}M=\Delta ^{*}({\mathcal {I}}/{\mathcal {I}}^{2}).}
テイラーの定理によって、これは M の滑らかな関数の芽の層に関して加群の局所自由層である。したがってそれは M 上のベクトル束、余接束 (cotangent bundle) を定義する。