数学 › 代数幾何 I(多様体とスキーム) › アフィンスキームとスキーム
Spec の構造層
定義 2.2(「アフィンスキームとスキーム」§2)
A を環、X=SpecA、B を主開集合の全体とする。U∈B に対し SU={g∈A:U⊆D(g)} は積閉集合で、O(U)=SU−1A とおく。U′⊆U なら SU⊆SU′ なので、A 代数の準同型 O(U)→O(U′) がただ一つあり、これを制限写像とする。これは B の上の環の前層(定義 4.1[層])である。
U=D(f) のとき、補題 2.1 の (1) により SU の元は Af の単元なので、A 代数の準同型 Af→SU−1A とその逆がただ一つずつあり、O(D(f))=Af とみなせる。この同一視のもとで制限写像は同じ補題の ρf′f である。
本文で読む(前後の説明と例)→
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。