環のスペクトル

可換環のスペクトル

可換環論や代数幾何学の分野において、可換環RのスペクトルSpec(R)は、その素イデアルすべてを集めた集合として定義されます。このSpec(R)は、単なる集合ではなく、幾何学的な空間としての性質を持つよう構造が与えられ、代数的対象である環を幾何学的対象として捉え直すための基盤となります。

ザリスキー位相

Spec(R)には、環Rのイデアル構造を利用したザリスキー位相が導入されます。任意のイデアルIに対し、「Iを含むすべての素イデアルの集合」VIを閉集合と定めることで定義される位相です。開集合の基底としては、環の元fに対して定義される「fを含まない素イデアルの集合」Dfが用いられます。

ザリスキー位相を持つSpec(R)は、準コンパクトですが、一般にはハウスドルフ空間ではありません。この位相における閉点は、環Rの極大イデアルに正確に対応します。Spec(R)は通常T1空間ではありませんが、T0空間の条件は満たします。

構造層とアフィンスキーム

Spec(R)には、構造層OXと呼ばれる層構造が備わっています。これはSpec(R)の各開集合に、環の元に関連する「関数」のようなものを割り当てるものです。構造層は、基底開集合Df上で環Rのfによる局所化Rfとして定義され、一般の開集合に拡張されます。

重要なことに、Spec(R)上の点p（素イデアルpに対応）における構造層OXの茎は、環Rの素イデアルpにおける局所化Rpと一致し、これは常に局所環となります。この性質により、Spec(R)は局所環付き空間となります。このような、Spec(R)の構造を持つ局所環付き空間は、アフィンスキームと呼ばれます。

スキームへの展開と加群の層

アフィンスキームSpec(R)は、現代代数幾何学の基本的な「ビルディングブロック」であり、より一般的なスキームは、これらのアフィンスキームを幾何学的に「貼り合わせる」ことによって構成されます。これにより、代数的な手法を用いて多様体のような空間を研究する枠組みが提供されます。

また、環R上の加群Mに対応する層 `~M` もSpec(R)上に定義可能で、これは準連接層の例です。

関手としてのスペクトル

圏論的な観点から見ると、スペクトルSpecは、可換環の圏から幾何学的な空間の圏への対応として重要な性質を持ちます。環Rから環Sへの環準同型 f: R → S は、Spec(S)からSpec(R)への連続写像 Spec(f) を自然に誘導します。

この対応 Spec は、射の向きを反転させるため、可換環の圏から位相空間の圏（あるいは局所環付き空間の圏）への反変関手となります。

Spec関手は、可換環の圏とアフィンスキームの圏の間に反変同値を確立します。これは、可換環論の多くの性質が、対応するアフィンスキームの幾何学的性質として理解できることを意味し、代数と幾何学を結びつける強力な接点となっています。

このように、可換環のスペクトルは、代数的な情報から幾何学的な空間を構築し、両分野を連携させる、現代数学における極めて重要な概念です。

もう一度検索