[论文解读] 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.

研究动机与目标

• 定义并研究 $R$-模 $M$ 的所有第二子模集合上的第二种经典泽里斯基拓扑。
• 研究 $M$ 的模论性质与 $\mathrm{Spec}^s(M)$ 的拓扑性质之间的相互作用。
• 确定 $\mathrm{Spec}^s(M)$ 在何种条件下成为谱空间，遵循霍奇斯特的刻画方法。
• 通过第二子模将经典泽里斯基拓扑结果从环推广到模的设定。

提出的方法

• 将 $\mathrm{Spec}^s(M)$ 定义为 $M$ 的所有第二子模的集合，并通过子基 $W^s(N) = \mathrm{Spec}^s(M) \setminus V^{s*}(N)$（其中 $N \leq M$）引入第二种经典泽里斯基拓扑。
• 利用 $\mathrm{Spec}^s(M)$ 在更精细的补丁拓扑下的拟紧性，推导第二种经典泽里斯基拓扑的性质。
• 应用霍奇斯特对谱空间的刻画：$T_0$，拟紧开集基对有限交封闭，且每个不可约闭集都有一个一般点。
• 证明若 $M$ 在幂零子模上满足降链条件，则在第二种经典泽里斯基拓扑下 $\mathrm{Spec}^s(M)$ 是一个谱空间。
• 证明基本开集 $W^s(N_i)$ 的有限交是拟紧的，且每个不可约闭子集都有一个一般点。
• 利用条件 $(**)$，其中 $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$ 是余拓模时，第二种经典泽里斯基拓扑与拟泽里斯基拓扑重合。