コンテンツにスキップ

環のスペクトル

出典: フリー百科事典『ウィキペディア(Wikipedia)』

抽象代数学代数幾何学において,可換環 Rスペクトル Spec(R) とは,R のすべての素イデアルからなる集合である.通常ザリスキー位相と構造をともに考え,それにより Spec(R)局所環付き空間である.この形の局所環付き空間はアフィンスキームと呼ばれる.

ザリスキー位相

[編集]

可換環 R の任意のイデアル I に対し,VII を含む素イデアルの全体と定義する.この形の集合を閉集合と定義することで Spec(R) に位相を入れることができる.この位相をザリスキー位相と呼ぶ.

ザリスキー位相の基底を次のように構成できる.fR に対し,Dff を含まない R の素イデアル全体と定義する.すると各 DfSpec(R) の開集合であり,この形の開集合の全体はザリスキー位相の基底である.

Spec(R)準コンパクトであるが,ほとんど決してハウスドルフではない.実際,R極大イデアルがちょうどこの位相での閉点である.同じ理由により,Spec(R) は一般には T1 空間ではない[注釈 1].しかしながら,Spec(R) は必ず T0 空間である.また,スペクトル空間英語版でもある.

層とスキーム

[編集]

ザリスキー位相を持った空間 X = Spec(R) が与えられると,その構造層 OX が開集合 DfΓ(Df, OX)Rf における局所化 Rf とすることで定義される.これは B 層英語版を定義し,したがって層を定義することを示すことができる.より詳しくは,開集合 Df たちはザリスキー位相の基底であるので,任意の開集合 U に対し,これを {Dfi}iI の和集合として表し,Γ(U, OX) = limiI Rfi とおく.この前層は層であることを確認でき,したがって Spec(R)環付き空間である.この形の環付き空間に同型なものはアフィンスキームと呼ばれる[要検証].一般のスキームはアフィンスキームを貼り合わせて得られる.

同様に,環 R 上の加群 M に対して,Spec(R) 上の層 を定義できる.加群の局所化を用いて, とする.上のように,この構成は Spec(R) のすべての開集合上の前層に拡張し,貼り合わせの公理を満たす.この形の層は準連接層と呼ばれる.

PSpec(R) の点であるとき,すなわち素イデアルのとき,構造層の P における茎は RP における局所化に等しく,これは局所環である.したがって,Spec(R)局所環付き空間である.

R を整域とし,その分数体を K とすると,環 Γ(U, OX) をより具体的に以下のように記述できる.K の元 fX の点 P において正則であるとは,bP に属さない元として分数 f = a/b として表せるときにいう.これは代数幾何学における正則関数の概念と一致することに注意.この定義を用いると,Γ(U, OX)U のすべての点 P において正則な K の元全体の集合として記述できる.

関手として

[編集]

圏論のことばを用いて Spec関手であることを見ることは有用である.任意の環準同型 f: RS連続写像 Spec(f): Spec(S) → Spec(R) を誘導する(なぜなら S の任意の素イデアルの引き戻しは R の素イデアルなので).このようにして,Spec は可換環の圏から位相空間の圏への反変関手と見ることができる.さらに,任意の素イデアル P に対して,準同型 f は局所環の準同型

に落ちる.したがって,Spec は可換環の圏から局所環付き空間の圏への反変関手をも定義している.実はそれは普遍的なそのような関手であり,したがって自然同型の違いを除いて関手 Spec を定義するのに用いることができる[要出典]

関手 Spec可換環の圏アフィンスキームの圏の間の反変同値をもたらし,これらの圏はそれぞれもう一方の反対圏としばしば考えられる.

関連項目

[編集]

脚注

[編集]

注釈

[編集]
  1. ^ T1 空間であるのは0次元のとき,かつそのときに限る[1]

出典

[編集]
  1. ^ K. P. Hart; J. Nagata; J. E. Vaughan (2004). Encyclopedia of General Topology. Elsevier. p. 156. ISBN 0-444-50355-2

参考文献

[編集]

外部リンク

[編集]