接層・余法層・法層

定義 5.4（「次元・正規性・非特異性と微分の層」§5）

$X$ を体 $k$ 上のスキームとする。 $\mathcal{T}_X = \mathcal{H}om_{\mathcal{O}_X}(\Omega_{X/k}, \mathcal{O}_X)$ を接層という。
$i\colon Z \to X$ を閉はめ込み、 $\mathcal{I}$ をイデアル層とする。 $\mathcal{O}_Z$ 加群 $\mathcal{C}_{Z/X} = i^{*}\mathcal{I}$ （アフィン開集合の上で $I/I^2$ 。 $\mathcal{I}/\mathcal{I}^2$ とも書く）を余法層、その双対 $\mathcal{N}_{Z/X} = \mathcal{C}_{Z/X}^{\vee}$ を法層という。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。