[論文レビュー] A Note on Primary Spectrum Over Commutative Rings

Neslihan Ayşen Özkirişçi, Zeliha Kılıç+1 more|arXiv (Cornell University)|May 22, 2017

Rings, Modules, and Algebras参考文献 2被引用数 5

ひとこと要約

本稿では、可換環 R の原始的イデアルの集合に、$V_{\mathrm{rad}}(I) = \{ Q \in \mathrm{Prim}(R) \mid I \subseteq \sqrt{Q} \}$ により閉集合を定義することによって、新しいザリスキ位相を導入する。主な貢献は、この構成が、古典的素イデアルスペクトラムとは異なる特徴を示す well-defined な位相空間を定義することであり、特に零次元環や鎖環において、$V_{\mathrm{rad}}(I)$ がしばしば全空間となるのに対し、素イデアルスペクトラムでは有限または小さいことである。

ABSTRACT

In this work we define a primary spectrum of a commutative ring R with its Zariski topology $\mathfrak{T}$. We introduce several properties and examine some topological features of this concept. We also investigate differences between the prime spectrum and our primary spectrum.

研究の動機と目的

• 可換環の原始的イデアルの集合に、主イデアル整域を超える一般化を図る新しい位相的構造を定義すること。
• 非自明な冪零元やイデアルの有限鎖を持つ環において、原始的スペクトラムが古典的素スペクトラムとどのように位相的に異なるかを調査すること。
• イデアル $I$ に対して $V_{\mathrm{rad}}(I) = \{ Q \in \mathrm{Prim}(R) \mid I \subseteq \sqrt{Q} \}$ により定義されるザリスキ位相 $\mathrm{Prim}(R)$ の公理を確立すること。
• $\mathrm{Prim}(R)$ が分離公理（$T_0$、$T_1$、$T_2$）を満たす条件を同定し、それらを $P$-環であるといった環論的性質と関連付けること。
• 零次元環および鎖環における原始的スペクトラムの応用を検討し、$V_{\mathrm{rad}}(I)$ がしばしば全空間となること、素スペクトラムとは対照的であることを示すこと。

提案手法

• 任意のイデアル $I$ に対して、$I \subseteq \sqrt{Q}$ を満たすすべての原始的イデアル $Q$ の集合として、原始的バリエティ $V_{\mathrm{rad}}(I)$ を定義する。
• $\{V_{\mathrm{rad}}(I) \mid I \trianglelefteq R\}$ が $\mathrm{Prim}(R)$ 上の位相の閉集合の公理を満たすことを証明し、これをザリスキ位相と呼ぶ。
• $V_{\mathrm{rad}}(I) = V_{\mathrm{rad}}(\sqrt{I})$ を示し、位相がイデアルの根にのみ依存することを確立する。
• 閉包作用素を用い、$\mathrm{Cl}(\{I\}) = V_{\mathrm{rad}}(I)$ とし、任意の部分集合 $Y \subseteq \mathrm{Prim}(R)$ に対して $\mathrm{Cl}(Y) = V_{\mathrm{rad}}(\xi(Y))$ を示す。
• $V_{\mathrm{rad}}(I) = V_{\mathrm{rad}}(J)$ と $I = J$ の関係を関連付けて分離公理を分析し、$\mathrm{Prim}(R)$ が $T_0$ であるための必要十分条件が $R$ が $P$-環であることであることを証明する。
• 零次元環および鎖環（例：$\mathbb{Z}_{p^m}$、$k[X]/(X^n)$、$\mathrm{GR}(p^s, p^{sm})$）に理論を適用し、すべての真のイデアル $I$ に対して $V_{\mathrm{rad}}(I) = \mathrm{Prim}(R)$ であることを示す。

実験結果

リサーチクエスチョン

• RQ1 原始的スペクトラム $\mathrm{Prim}(R)$ に $V_{\mathrm{rad}}$ 位相を導入した場合、古典的素スペクトラム $\mathrm{Spec}(R)$ と比べて、位相的構造および閉包性質においてどのように異なるか？
• RQ2 原始的スペクトラム $\mathrm{Prim}(R)$ が $T_0$、$T_1$、$T_2$ 空間となる環論的条件は何か？
• RQ3 零次元環および鎖環における $V_{\mathrm{rad}}(I)$ の振る舞いは何か？ また、素スペクトラムにおける $V(I)$ と比べてどう異なるか？
• RQ4 $\mathrm{Prim}(R)$ における単一集合 $\{I\}$ の閉包はどのように特徴づけられるか？ これにより位相にどのような含意が生じるか？
• RQ5 $\sqrt{\bigcap_{\lambda \in \Gamma} I_\lambda} = \bigcap_{\lambda \in \Gamma} \sqrt{I_\lambda}$ という条件は、環が零次元環に埋め込める条件とどのように関係するか？

主な発見

• $\{V_{\mathrm{rad}}(I) \mid I \trianglelefteq R\}$ が閉集合の公理を満たすため、$\mathrm{Prim}(R)$ 上に well-behaved なザリスキ位相が定義され、$\mathrm{Prim}(R)$ は位相空間として適切に定義される。
• $\mathbb{Z}_{p^m}$、$k[X]/(X^n)$、$\mathrm{GR}(p^s, p^{sm})$ のような有限鎖環では、すべての真のイデアル $I$ に対して $V_{\mathrm{rad}}(I) = \mathrm{Prim}(R)$ であるが、$V(I)$ はシングルトンであるため、素スペクトラムとは根本的に異なる位相的性質を示す。
• $\mathrm{Prim}(R)$ における単一集合 $\{I\}$ の閉包は $\mathrm{Cl}(\{I\}) = V_{\mathrm{rad}}(I)$ であり、$J \in \mathrm{Cl}(\{I\})$ となるための必要十分条件は $I \subseteq \sqrt{J}$ である。
• $\mathrm{Prim}(R)$ が $T_0$-空間であるための必要十分条件は、$R$ が $P$-環であること、すなわちすべての原始的イデアルが極大イデアルであることである。
• $\mathrm{Prim}(R)$ が $T_2$-空間であるための必要十分条件も $R$ が $P$-環であることであり、これは $T_1$ であることと同値であるため、この場合、強い位相的同値性が成立する。
• 零次元環では、$\mathrm{Cl}(Y) = V_{\mathrm{rad}}(\xi(Y))$ が成り立ち、ここで $\xi(Y)$ は $Y$ に属するすべてのイデアルの共通部分である。これは素スペクトラムと類似した閉包公式を提供する。