[論文レビュー] On the second spectrum of a module (II)

H. Ansari-Toroghy, S. Keyvani+1 more|arXiv (Cornell University)|Feb 26, 2012

Rings, Modules, and Algebras参考文献 12被引用数 4

ひとこと要約

本稿は、$R$-加群 $M$ の第二スペクトル $\mathrm{Spec}^s(M)$ における第二古典的ザリスキー位相を導入し、その位相的性質を確立し、$\mathrm{Spec}^s(M)$ がスペクトラル空間となる条件を同定する。$M$ がソクル部分加群に関する降鎖条件を満たすならば、この位相において $\mathrm{Spec}^s(M)$ はスペクトラル空間であると示し、環のスペクトルに関する古典的結果を加群論的設定へ一般化する。

ABSTRACT

Let $R$ be a commutative ring and $M$ an $R$-module. Let $Spec^s(M)$ be the the collection of all second submodules of $M$. In this article, we consider a new topology on $Spec^s(M)$, called the second classical Zariski topology, and investigate the interplay between the module theoretic properties of $M$ and the topological properties of $Spec^s(M)$. Moreover, we study $Spec^s(M)$ from point of view of spectral space.

研究の動機と目的

• 加群 $M$ の第二部分加群の集合に第二古典的ザリスキー位相を定義し、その性質を調査すること。
• $M$ の加群論的性質と $\mathrm{Spec}^s(M)$ の位相的性質の相関関係を調査すること。
• Hochsterの特徴づけに従い、$\mathrm{Spec}^s(M)$ がスペクトラル空間となる条件を同定すること。
• 第二部分加群を介して、環の古典的ザリスキー位相の結果を加群論的文脈へ一般化すること。

提案手法

• $M$ のすべての第二部分加群の集合として $\mathrm{Spec}^s(M)$ を定義し、部分加群 $N \leq M$ に対して $W^s(N) = \mathrm{Spec}^s(M) \setminus V^{s*}(N)$ で与えられる集合の族を基とする部分基底を用いて第二古典的ザリスキー位相を導入する。
• より細かいパッチ位相における $\mathrm{Spec}^s(M)$ の擬コンパクト性を用いて、第二古典的ザリスキー位相の性質を導出する。
• Hochsterによるスペクトラル空間の特徴づけ（$T_0$、有限交わりについて閉じた擬コンパクト開基、任意の既約閉集合が一般点をもつ）を適用する。
• $M$ がソクル部分加群に関する降鎖条件を満たすならば、第二古典的ザリスキー位相のもとで $\mathrm{Spec}^s(M)$ はスペクトラル空間であると証明する。
• 基本開集合 $W^s(N_i)$ の有限交わりが $\mathrm{Spec}^s(M)$ において擬コンパクトであることを確立し、任意の既約閉部分集合が一般点をもつことを示す。
• 条件 $(**)$、すなわち $V^{s*}(N_1) = V^{s*}(N_2) \Rightarrow N_1 = N_2$ を用いて、加群構造と位相的一意性の関係を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 第二古典的ザリスキー位相が $\mathrm{Spec}^s(M)$ にスぺクトラル位相として作用するのはどのような条件下か？
• RQ2 $M$ のソクル部分加群に関する降鎖条件は、$\mathrm{Spec}^s(M)$ の位相的構造にどのように影響を与えるか？
• RQ3 第二古典的ザリスキー位相のもとで、$\mathrm{Spec}^s(M)$ の任意の既約閉部分集合が一般点をもつのはいつか？
• RQ4 どのような加群論的性質が $\mathrm{Spec}^s(M)$ の擬コンパクト性または擬コンパクト開集合の基の存在を保証するか？
• RQ5 第二古典的ザリスキー位相は、環の古典的ザリスキー位相およびモジュールスペクトルとの間にどのような関係をもつのか？

主な発見

• $M$ がソクル部分加群に関する降鎖条件を満たすならば、第二古典的ザリスキー位相のもとで $\mathrm{Spec}^s(M)$ はスペクトラル空間である。
• 第二古典的ザリスキー位相のもとで、基本開集合 $W^s(N_1) \cap \cdots \cap W^s(N_n)$ の有限交わりは $\mathrm{Spec}^s(M)$ において擬コンパクトである。
• $M$ がソクル部分加群に関する降鎖条件を満たすとき、$\mathrm{Spec}^s(M)$ の任意の既約閉部分集合は一般点をもつ。
• $M$ がソクル部分加群に関する降鎖条件を満たすとき、第二古典的ザリスキー位相は $T_0$ であり、有限交わりについて閉じた擬コンパクト開集合の基をもつ。
• $M$ が有限 $R$-加群であるか、ネーター環上での有限長のコマルチプライケーション $R$-加群であるならば、$\mathrm{Spec}^s(M)$ はスペクトラル空間である。
• $M$ がコトップ加群であるとき、第二古典的ザリスキー位相は準ザリスキー位相と一致する。