文献あり

環のスペクトラムの構造層とその具体例

環のスペクトラムの構造層とその具体例について書いていく．よく具体例は証明が省かれるので，そこら辺を詳しく書いた．
以下， $R$ を可換環， $Spec (R)$ で $R$ の素イデアル全体とする．イデアル $I \subset R$ に対し $V (I)$ で $I$ を含む素イデアル全体とする．

環のスペクトラムの構造層

$Spec (R)$ に ${V (I) ∣ I$ は $R$ のイデアル $}$ を閉集合系とする位相を入れる．
開集合 $U \subset Spec (R)$ に対し， $s : U \to ⨆_{p \in U} R_{p}$ は次の条件(※)を満たすようにとる．
(※) 各 $p \in U$ に対し， $U$ に含まれる $p$ の開近傍 $V$ と $a, f \in R$ が存在して，任意の $q \in V$ について $f \notin q$ かつ $s (q) = a / f \in R_{q}$ を満たす．
そのような写像 $s$ を集めた集合を $O (U)$ おき，開集合 $U \subset V$ に対し制限写像を $ρ_{V U} : O (V) \to O (U); s \mapsto s |_{U}$ と定める．
$O (U)$ に演算を $(s + v) (p) := s (p) + v (p), (s v) (p) := s (p) v (p)$ ただし $s, v \in O (U), p \in U$ として定める．
$O (U)$ の零元は $0; p \mapsto 0 / 1 \in R_{p}$ であり，単位元は $1; p \mapsto 1 / 1 \in R_{p}$ である．

$O$ は可換環の層になる．

前層になることを示すのは簡単なため省略する． $U \subset Spec (R)$ を開集合， $U = ⋃_{i \in Λ} V_{i}$ を $U$ の開被覆とする．
$s \in O (U)$ は任意の $i \in Λ$ で $ρ_{U V_{i}} (s) = s |_{V_{i}} = 0$ とするとき，任意の $p \in U$ に対し $p \in V_{i_{0}}$ となる $i_{0} \in Λ$ が存在するので $s (p) = (s |_{V_{i_{0}}}) (p) = 0$ よって $s = 0$ ．
各 $i \in Λ$ に対し $s_{i} \in O (V_{i})$ は， $s_{i} |_{V_{i} \cap V_{j}} = s_{j} |_{V_{i} \cap V_{j}}$ ， $j, i \in Λ$ を満たすとする．ここで $s \in O (U)$ を，各 $p \in U$ に対し $p \in V_{i}$ となる $i \in Λ$ をとり， $s (p) = s_{i} (p)$ と定める． $V_{i} \cap V_{j}$ 上では $s_{i}, s_{j}$ の値は一致するので $s$ はwell-defindeである．そして任意の $i \in Λ$ に対して $s |_{V_{i}} = s_{i}$ であることは定め方から分かる．
以上より $O$ は可換環の層になることが確かめられた．

具体例 of $Z$

具体例を見ていこう．環 $Z$ のスペクトラムは $Spec (Z) = {(p) \subset Z ∣ p は素数}$ と書ける．
$Spec (Z)$ の開集合を $V ((6))^{c} =: U$ としたとき， $O (U)$ の構造について考えてみよう．単項イデアル $(6)$ を含む素イデアルは $(2), (3)$ のみである．ゆえに $U = Spec (Z) ∖ {(2), (3)}$ となる．
さて $Spec (Z)$ の閉集合 $W$ は $Z$ は単項イデアル整域であることに注意すると， $W$ は有限集合であることが分かる．なので， $U$ に含まれる開集合 $V$ は $(2), (3)$ と有限個の素イデアルを除いた素イデアル全体であることが分かる．
なので開集合 $V ((30))^{c} =: V \subset U$ に対し，例えば $6 \in Z$ は任意の $q \in V$ に対して $6 \notin q$ である． $15 \in Z$ も $15 \notin q$ であるが，分母が $15$ に割り当てる写像 $s^{'} : U \to ⨆_{p \in U} Z_{p}$ は $O (U)$ に属さない．なぜなら開集合は必ず交わるからだ．
以上の考察から次が分かる．

$O (U) ≅ Z [\frac{1}{6}] = Z [\frac{1}{2}, \frac{1}{3}]$ である．

一般化すると次が成り立つ．

開集合 $U \subset Spec (Z)$ は $U = V ((f))^{c}$ ， $f \in Z$ と書ける．このとき $O (U) ≅ Z [\frac{1}{f}]$ である．

写像 $φ : Z [\frac{1}{f}] \to O (U); \frac{a}{f^{n}} \mapsto φ (\frac{a}{f^{n}})$ を $φ (\frac{a}{f^{n}}) : p \mapsto a / f^{n} \in Z_{p}$ として定める．すると $φ$ はwell-defindeな準同型写像である．
初めに $φ$ は単射であることを示す．各 $p \in U$ に対し $φ (\frac{a}{f^{n}}) (p) = 0 (p)$ とするとき， $Z_{p}$ で $a / f^{n} = 0 / 1$ である． $Z$ は整域なため $a = 0$ である．ゆえに $Z [\frac{1}{f}]$ で $\frac{a}{f^{n}} = \frac{0}{f^{n}} = 0$ である．
次に $φ$ は全射であることを示す． $s \in O (U)$ をとる．各 $p \in U$ に対し $s$ の条件(※)を満たす $p$ の開近傍 $V_{p}$ と $a_{p}, f_{p} \in Z$ をとる．任意の二点 $p, p^{'} \in U$ に対し，それぞれの近傍 $V_{p}, V_{p^{'}}$ の共通部分は空集合でないことから，任意の点 $q \in U = ⋃_{q \in U} V_{q}$ で
$s (q) = a_{p} / f_{p} = a_{p^{'}} / f_{p^{'}} \in Z_{q} p, p^{'} \in U$
を満たす．すなわち $a_{p} f_{p^{'}} - a_{p^{'}} f_{p} = 0$ ．さらにすべての $p, q \in U$ で $f_{p} \notin q$ である．これは $f_{p} \in (f)$ であることを意味する．よって $0 = a_{p} f_{p^{'}} - a_{p^{'}} f_{p} = a_{p} b^{'} f^{m} - a_{p^{'}} b f^{n}$ ， $b, b^{'} \in Z, n, m \geq 0$ となる． $h = a_{p} b^{'}, h^{'} = a_{p^{'}} b$ とおく．
さて， $h f^{m} - h^{'} f^{n} = 0$ なので $Z [\frac{1}{f}]$ で，
$\frac{h^{'}}{f^{m}} = \frac{h}{f^{n}}$
である．よって $φ (\frac{h}{f^{n}}) = s$ となる．

さらにこのことを一般化できる．それが次の定理である．

$f \in R$ に対し開集合 $U \subset Spec (R)$ を $U = V ((f))^{c}$ とおく．このとき $O (U) ≅ R_{f} (= R_{(f)})$ である．

証明は難しい． $R = Z$ の場合， $Z$ は整域であることと，任意の二点 $p, p^{'} \in U$ に対し，それぞれの近傍 $V_{p}, V_{p^{'}}$ の共通部分は空集合でないという性質があるが，もちろん一般の環にそのような性質は持っていない．ゆえに証明は難しくなる．

参考文献

[1]

R. Hartshorne, Algebraic Geometry, Springer-Verlag

投稿日：2024年11月18日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

アレクサンダー鷹觜

1704

「ツクツクボーシ、ツクツクボーシ」ほら、カエルが鳴いてるよ春の訪れを感じながら落ち葉で黄色くなった道を歩いてく

他の人のコメント

コメントはありません。

読み込み中

アレクサンダー鷹觜

環のスペクトラムの構造層とその具体例

環のスペクトラムの構造層
具体例 of $Z$
参考文献

環のスペクトラムの構造層とその具体例