[논문 리뷰] Attached primes of the top local cohomology modules with respect to an ideal (II)

Mohammad T. Dibaei, Siamak Yassemi|ArXiv.org|2005. 01. 05.

Commutative Algebra and Its Applications참고 문헌 6인용 수 4

한 줄 요약

이 논문은 Noetherian 국소환 $ (R, \frak m) $ 위의 유한생성 모듈러스 $ M $ 에 대해 상위 국소코homology 모듈러스 $ \rm H_{\frak a}^n(M) $ 의 구조를 조사한다. 이는 비이소모르프릭 상위 국소코homology 모듈러스의 수가 유한함을 증명하고, 단순화된 2차 표현을 제공하며, $ \rm H_{\frak a}^r(R/\frak p) = 0 $ 이 모든 $ \frak p \in \rm Supp(M) $ 에 대해 성립할 경우 $ \rm H_{\frak a}^i(M) = 0 $ 이 모든 $ i \geq r $ 에 대해 성립함을 증명함으로써 하츠혼의 퇴적정리의 일반화를 이룬다.

ABSTRACT

For a finitely generated module $M$, over a commutative Noetherian local ring $(R, \mathfrak{m})$, it is shown that there exist only a finite number of non--isomorphic top local cohomology modules $\mathrm{H}_{\mathfrak{a}}^{\mathrm{dim} (M)}(M)$, for all ideals $\mathfrak{a}$ of $R$. We present a reduced secondary representation for the top local cohomology modules with respect to an ideal. It is also shown that for a given integer $r\geq 0$, if $\mathrm{H}_{\mathfrak{a}}^{r}(R/\mathfrak {p})$ is zero for all $\mathfrak{p}$ in $\mathrm{Supp}(M)$, then $\mathrm{H}_{\mathfrak{a}}^{i}(M)= 0$ for all $i\geq r$.

연구 동기 및 목표

• Noetherian 국소환 내 모든 이상수 $ \frak a $ 에 대해 비이소모르프릭 상위 국소코homology 모듈러스 $ \rm H_{\frak a}^n(M) $ 의 유한성을 결정하는 것.
• $ \rm H_{\frak a}^n(M) $ 에 대한 단순화된 2차 표현을 제공하여 그 구조를 단순화하는 것.
• 상위 국소코homology 모듈러스 $ \rm H_{\frak a}^i(M) = 0 $ 이 모든 $ i \geq r $ 에 대해 성립하는 조건을 $ R/\frak p $ 에서의 국소코homology 퇴적에 따라 특성화함으로써 하츠혼의 퇴적정리를 일반화하는 것.
• 코homologically 최대 차수를 갖는 국소코homology 모듈러스 $ \rm H_{\frak a}^{\rm cd(\frak a,M)}(M) $ 의 일부 부착된 소수 집합을 특정하는 것. 특히 $ \rm cd(\frak a,M) = \dim(M) $ 인 경우를 고려한다.

제안 방법

• 만약 $ R $ 가 완비이면, 어떤 $ M $ 의 호모모르픽 상사 $ K $ 가 존재하여 $ \rm H_{\frak a}^n(M) \cong \rm H_{\frak m}^n(K) $ 임을 증명함으로써 상위 국소코homology 를 최대 이상수와 연결하는 것.
• $ \frak a \subseteq \frak b $ 이면 $ \rm H_{\frak b}^n(M) \to \rm H_{\frak a}^n(M) $ 에 대한 에피모르피즘을 확립함으로써 코homological 지지의 역방향 포함관계를 보여주는 것.
• $ \rm Att(\rm H_{\frak a}^n(M)) = \{ \frak p \in \rm Supp(M) \mid \rm cd(\frak a, R/\frak p) = n \} $ 라는 기본적 특성화를 사용하는 것.
• $ R/\frak p $ 와 $ R/(\frak p + xR) $ 를 포함하는 정확수열과 귀납법을 적용하여, $ \rm H_{\frak a}^r(R/\frak p) = 0 $ 이면 $ \rm H_{\frak a}^{r+1}(R/\frak p) = 0 $ 이 됨을 보여, 퇴적성의 범위를 더 높은 차수로 확장하는 것.
• $ \rm Ass(M/N) = \{ \frak p \in \rm Ass(M) \mid \dim(R/\frak p) = \rm cd(\frak a,M) \} $ 를 만족하는 부분모듈러스 $ N \subseteq M $ 을 구성함으로써 아르틴ian 케이스로의 환원을 가능하게 하는 것.
• 기존 결과인 $ \rm H_{\frak a}^{\dim(N)}(N) $ 이 아르틴ian 이며 그 부착된 소수 집합이 $ \{ \frak p \in \rm Ass(N) \mid \rm cd(\frak a, R/\frak p) = \dim(N) \} $ 임을 활용하여 핵심 소수 집합을 특정하는 것.

실험 결과

연구 질문

• RQ1 고정된 $ M $ 과 변하는 이상수 $ \frak a $ 에 대해 비이소모르프릭 상위 국소코homology 모듈러스 $ \rm H_{\frak a}^n(M) $ 는 최대 몇 개인가?
• RQ2 $ \rm H_{\frak a}^i(M) = 0 $ 이 모든 $ i \geq r $ 에 대해 성립하는 조건은 무엇이며, 이는 $ \frak p \in \rm Supp(M) $ 에 대해 $ R/\frak p $ 에서의 국소코homology 퇴적에 어떻게 특성화될 수 있는가?
• RQ3 코homologically 최대 차수를 갖는 국소코homology 모듈러스 $ \rm H_{\frak a}^{\rm cd(\frak a,M)}(M) $ 의 정확한 부착된 소수 집합은 무엇이며, 이 집합이 $ \{ \frak p \in \rm Ass(M) \mid \rm cd(\frak a, R/\frak p) = \dim(R/\frak p) = \rm cd(\frak a,M) \} $ 와 일치하는 조건은 언제인가?
• RQ4 상위 국소코homology 모듈러스 $ \rm H_{\frak a}^n(M) $ 에 대해 단순화된 2차 표현을 명시적으로 구성할 수 있으며, 이는 그 구조에 대해 무엇을 드러내는가?
• RQ5 중첩된 이상수에 대해 상위 국소코homology 모듈러스 사이에 자연스러운 에피모르피즘이 존재하는가? 이는 그 이소모르프리즘 클래스에 대해 어떤 함의를 갖는가?

주요 결과

• 비이소모르프릭 상위 국소코homology 모듈러스 $ \rm H_{\frak a}^n(M) $ 의 수는 유한하며, 이는 이소모르프리즘의 결정 요소인 부착된 소수 집합에 의해 결정되므로 $ 2^{\vert \rm Assh(M) \vert} $ 이하로 유계된다.
• 다음 조건을 만족하는 $ M $ 의 호모모르픽 상사 $ K $ 가 존재한다: $ \rm H_{\frak a}^n(M) \cong \rm H_{\frak a}^n(K) $, $ \dim(K) = n $, $ \rm Ass(K) = \{ \frak p \in \rm Ass(M) \mid \rm cd(\frak a, R/\frak p) = n \} $ — 이는 최소 모델을 제공한다.
• $ \frak a \subseteq \frak b $ 이면 $ \rm H_{\frak b}^n(M) \to \rm H_{\frak a}^n(M) $ 에 대한 에피모르피즘이 존재하므로, 코homological 지지에서의 역방향 포함관계가 나타난다.
• 만약 $ \rm Att(\rm H_{\frak a}^n(M)) = \rm Att(\rm H_{\frak b}^n(M)) $ 이면 $ \rm H_{\frak a}^n(M) \cong \rm H_{\frak b}^n(M) $ 이므로, 이소모르프리즘은 부착된 소수 집합에 의해 완전히 결정된다.
• $ \rm cd(\frak a, M) < r $ 이다 ⇔ 모든 $ \frak p \in \rm Supp(M) $ 에 대해 $ \rm H_{\frak a}^r(R/\frak p) = 0 $ 이다. 이는 하츠혼의 퇴적기준을 일반화한다.
• $ \{ \frak p \in \rm Ass(M) \mid \rm cd(\frak a, R/\frak p) = \dim(R/\frak p) = \rm cd(\frak a,M) \} $ 는 $ \rm Att(\rm H_{\frak a}^{\rm cd(\frak a,M)}(M)) $ 에 포함되며, $ \rm cd(\frak a,M) = \dim(M) $ 이면 등호가 성립한다.