1
現代数学解説
文献あり

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

93
0

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

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

Spec(R){V(I)IRのイデアル}を閉集合系とする位相を入れる.
開集合USpec(R)に対し,s:UpURpは次の条件(※)を満たすようにとる.
(※) 各pUに対し,Uに含まれるpの開近傍Va,fRが存在して,任意のqVについてfqかつs(q)=a/fRqを満たす.
そのような写像sを集めた集合をO(U)おき,開集合UVに対し制限写像をρVU:O(V)O(U);ss|Uと定める.
O(U)に演算を(s+v)(p):=s(p)+v(p), (sv)(p):=s(p)v(p)ただしs,vO(U), pUとして定める.
O(U)の零元は0;p0/1Rpであり,単位元は1;p1/1Rpである.

Oは可換環の層になる.

前層になることを示すのは簡単なため省略する.USpec(R)を開集合,U=iΛViUの開被覆とする.
sO(U)は任意のiΛρUVi(s)=s|Vi=0とするとき,任意のpUに対しpVi0となるi0Λが存在するのでs(p)=(s|Vi0)(p)=0よってs=0
iΛに対しsiO(Vi)は,si|ViVj=sj|ViVjj,iΛを満たすとする.ここでsO(U)を,各pUに対しpViとなるiΛをとり,s(p)=si(p)と定める.ViVj上ではsi,sjの値は一致するのでsはwell-defindeである.そして任意のiΛに対してs|Vi=siであることは定め方から分かる.
以上よりOは可換環の層になることが確かめられた.

具体例 of Z

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

O(U)Z[16]=Z[12,13]である.

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

開集合USpec(Z)U=V((f))cfZと書ける.このときO(U)Z[1f]である.

写像φ:Z[1f]O(U);afnφ(afn)φ(afn):pa/fnZpとして定める.するとφはwell-defindeな準同型写像である.
初めにφは単射であることを示す.各pUに対しφ(afn)(p)=0(p)とするとき,Zpa/fn=0/1である.Zは整域なためa=0である.ゆえにZ[1f]afn=0fn=0である.
次にφは全射であることを示す.sO(U)をとる.各pUに対しsの条件(※)を満たすpの開近傍Vpap,fpZをとる.任意の二点p,pUに対し,それぞれの近傍Vp,Vpの共通部分は空集合でないことから,任意の点qU=qUVq
s(q)=ap/fp=ap/fpZqp,pU
を満たす.すなわちapfpapfp=0.さらにすべてのp,qUfpqである.これはfp(f)であることを意味する.よって0=apfpapfp=apbfmapbfnb,bZ,n,m0となる.h=apb,h=apbとおく.
さて,hfmhfn=0なのでZ[1f]で,
hfm=hfn
である.よってφ(hfn)=sとなる.

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

fRに対し開集合USpec(R)U=V((f))cとおく.このときO(U)Rf(=R(f))である.

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

参考文献

[1]
R. Hartshorne, Algebraic Geometry, Springer-Verlag
投稿日:20241118
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。
バッチを贈って投稿者を応援しよう

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

投稿者

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

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 環のスペクトラムの構造層
  2. 具体例 of $ \mathbb{Z} $
  3. 参考文献