[논문 리뷰] On the second spectrum of a module (II)

H. Ansari-Toroghy, S. Keyvani외 1명|arXiv (Cornell University)|2012. 02. 26.

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$의 두 번째 부분모듈 집합에 대한 두 번째 고전적인 자리스키 위상을 정의하고 연구하기.
• 모듈의 이론적 성질과 $\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 모든 기약 닫힌 부분집합이 두 번째 고전적인 자리스키 위상 하에서 일반점을 가지는 경우는 언제인가?
• 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$이 코탑 모듈일 경우, 두 번째 고전적인 자리스키 위상은 준-자리스키 위상과 일치한다.