環のスペクトル

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

ザリスキー位相

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

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

 は準コンパクトであるが，ほとんど決してハウスドルフではない．実際， の極大イデアルがちょうどこの位相での閉点である．同じ理由により， は一般には  空間ではない．しかしながら， は必ず  空間である．また，でもある．

層とスキーム

ザリスキー位相を持った空間  が与えられると，その構造層  が開集合  上  を  の  における局所化  とすることで定義される．これは を定義し，したがって層を定義することを示すことができる．より詳しくは，開集合  たちはザリスキー位相の基底であるので，任意の開集合  に対し，これを  の和集合として表し， とおく．この前層は層であることを確認でき，したがって  は環付き空間である．この形の環付き空間に同型なものはアフィンスキームと呼ばれる．一般のスキームはアフィンスキームを貼り合わせて得られる．

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

 が  の点であるとき，すなわち素イデアルのとき，構造層の  における茎は  の  における局所化に等しく，これは局所環である．したがって， は局所環付き空間である．

 を整域とし，その分数体を  とすると，環  をより具体的に以下のように記述できる． の元  が  の点  において正則であるとは， を  に属さない元として分数  として表せるときにいう．これは代数幾何学における正則関数の概念と一致することに注意．この定義を用いると， は  のすべての点  において正則な  の元全体の集合として記述できる．

関手として

圏論のことばを用いて  が関手であることを見ることは有用である．任意の環準同型  は連続写像  を誘導する（なぜなら  の任意の素イデアルの引き戻しは  の素イデアルなので）．このようにして， は可換環の圏から位相空間の圏への反変関手と見ることができる．さらに，任意の素イデアル  に対して，準同型  は局所環の準同型

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

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

関連項目
スキーム
射影スキーム
行列のスペクトル

脚注

 注釈 

 出典 

参考文献




外部リンク
 Kevin R. Coombes: The Spectrum of a Ring
 http://stacks.math.columbia.edu/tag/01LL, relative spec


Category:可換環論
Category:スキーム論
Category:素イデアル
Category:関数解析学
Category:数学に関する記事