数学 › 代数幾何 I(多様体とスキーム) › アフィンスキームとスキーム

Spec の構造層

定義 2.2(「アフィンスキームとスキーム」§2)

AA を環、X=Spec⁡AX = \operatorname{Spec} A、B\mathcal{B} を主開集合の全体とする。U∈BU \in \mathcal{B} に対し SU={g∈A:U⊆D(g)}S_U = \{ g \in A : U \subseteq D(g) \} は積閉集合で、O(U)=SU−1A\mathcal{O}(U) = S_U^{-1}A とおく。U′⊆UU' \subseteq U なら SU⊆SU′S_U \subseteq S_{U'} なので、AA 代数の準同型 O(U)→O(U′)\mathcal{O}(U) \to \mathcal{O}(U') がただ一つあり、これを制限写像とする。これは B\mathcal{B} の上の環の前層(定義 4.1[層])である。

U=D(f)U = D(f) のとき、補題 2.1 の (1) により SUS_U の元は AfA_f の単元なので、AA 代数の準同型 Af→SU−1AA_f \to S_U^{-1}A とその逆がただ一つずつあり、O(D(f))=Af\mathcal{O}(D(f)) = A_f とみなせる。この同一視のもとで制限写像は同じ補題の ρf′f\rho^f_{f'} である。

本文で読む(前後の説明と例)→

閉包の状態

定義

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

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

これを使っている定理

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