$O_X$ 加群の引き戻し

定義 6.1（「準連接層・連接層と直線束」§6）

$\mathcal{O}_Y$ 加群 $\mathcal{G}$ について、 $\mathcal{O}_X$ 加群

f^{*}\mathcal{G} = f^{-1}\mathcal{G} \otimes_{f^{-1}\mathcal{O}_Y} \mathcal{O}_X

を $\mathcal{G}$ の $f$ による引き戻しという。ここでテンソル積は環付き空間 $(X, f^{-1}\mathcal{O}_Y)$ の上で取り、 $\mathcal{O}_X$ の作用は右の因子による。

閉包の状態

定義

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

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

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