[논문 리뷰] Some results on the local cohomology modules with respect to a pair of ideals

Moharram Aghapournahr, Khadijeh Ahmadi Amoli외 1명|arXiv (Cornell University)|2013. 01. 06.

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

한 줄 요약

이 논문은 짝을 이룬 이상에 관하여 모듈을 연구함으로써 국소코호몰로지 이론을 발전시켰으며, 관련 소수와 코호몰로지 모듈의 유한성 및 소멸 결과를 증명한다. 만약 $\operatorname{H}^i_{I,J}(M) = 0$ 이 모든 $i < t$ 에 대해 성립한다면, 모든 $\mathfrak{a} \in \tilde{W}(I,J)$ 와 $i < t$ 에 대해 $\operatorname{H}^i_{\mathfrak{a}}(M) = 0$ 임을 증명하고, 특정 조건 하에서 $\operatorname{H}^t_{\mathfrak{a}}(M)$ 가 유한함을 보이며, 전통적인 필터 정규 수열에 대한 결과를 일반화한다.

ABSTRACT

Some affirmative answers are given to Huneke's problems. The calculation of local cohomology modules with respect to an arbitrary pair of ideals $I,J$ can be reduced to calculation of local cohomology modules with respect to a pair of ideala whose first ideal is generated by any $k$-regular sequence in $I$.

연구 동기 및 목표

• 이중 이상에 관하여 국소코호몰로지 모듈의 유한성과 소멸 문제를 다루는 툰케의 문제를 해결하기 위해.
• Serre 부분분류에 속하는 $\operatorname{Hom}(R/I, \operatorname{H}^i_I(M))$ 의 소속성과 관련 소수의 유한성에 대한 영향을 조사하기 위해.
• Nagel과 Schenzel의 필터 정규 수열에 관한 결과를 비국소 Noetherian 링으로 확장하기 위해 $k$-정규 수열을 사용하기 위해.
• $M$ 과 $\operatorname{H}^i_{I,J}(M)$ 가 $i < t$ 에 대해 유한할 때 $\operatorname{H}^t_{\mathfrak{a}}(M)$ 가 유한해지는 조건을 설정하기 위해.

제안 방법

• 모듈의 구조를 분석하기 위해 $R$-모듈의 범주와 세르 부분분류를 사용하여 $\mathfrak{a} \in \tilde{W}(I,J)$ 에 대해 $\operatorname{Hom}(R/\mathfrak{a}, \operatorname{H}^t_{I,J}(M))$ 의 성격을 분석한다.
• 정합성 모듈을 보존하고 앙annihiator 조건을 만족하는 좌측 정합 함자 $\operatorname{G}$ 를 적용하여 $\operatorname{Ext}$ 와 $\operatorname{Hom}$ 함자에 관련된 정확한 수열을 유도한다.
• 특수한 $k$-정규 $M$-수열과 집합 $\operatorname{W}(I,J)$ 의 개념을 사용하여 국소코호몰로지 모듈 $\operatorname{H}^i_{I,J}(M)$ 와 $\operatorname{H}^i_{\mathfrak{a},J}(M)$ 를 비교한다.
• 최소 포함 해상 분해와 바스 수를 사용하여 포함 해상 분해에서 이중 함자 $\Gamma_{I,J}$ 와 $\Gamma_{\mathfrak{a},J}$ 가 포함 모듈에 작용하는 이미지의 비교를 수행한다.
• $\mathfrak{a} \subseteq \sqrt{(0:\operatorname{H}^t_{I,J}(M))}$ 조건을 적용하여 $\operatorname{H}^t_{\mathfrak{a}}(M)$ 의 유한성을 유추한다.
• $\tilde{W}(I,J)$ 의 성질, 즉 $\operatorname{W}(I,J) \subseteq \operatorname{W}(\mathfrak{a},J)$ 를 만족하는 이상 $\mathfrak{a}$ 의 집합을 이용하여 서로 다른 이상에 대한 코호몰로지 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 어떤 조건 하에서 $\operatorname{Hom}(R/I, \operatorname{H}^i_I(M))$ 가 주어진 세르 부분분류에 속하게 되며, 이는 $\operatorname{Ass}(\operatorname{H}^i_I(M))$ 의 유한성에 어떤 영향을 미치는가?
• RQ2 만약 $\operatorname{H}^i_{I,J}(M) = 0$ 이 모든 $i < t$ 에 대해 성립한다면, 모든 $\mathfrak{a} \in \tilde{W}(I,J)$ 와 $i < t$ 에 대해 $\operatorname{H}^i_{\mathfrak{a}}(M) = 0$ 이 성립하는가?
• RQ3 만약 $M$ 과 $\operatorname{H}^i_{I,J}(M)$ 가 $i < t$ 에 대해 유한하고 $\mathfrak{a} \subseteq \sqrt{(0:\operatorname{H}^t_{I,J}(M))}$ 라면, $\operatorname{H}^t_{\mathfrak{a}}(M)$ 의 유한성은 유추될 수 있는가?
• RQ4 Nagel과 Schenzel의 필터 정규 수열에 관한 결과는 국소 환을 초월해 어느 정도 일반화될 수 있는가?

주요 결과

• 만약 $\operatorname{H}^i_{I,J}(M) = 0$ 이 모든 $i < t$ 에 대해 성립한다면, 모든 $\mathfrak{a} \in \tilde{W}(I,J)$ 와 모든 $i < t$ 에 대해 $\operatorname{H}^i_{\mathfrak{a}}(M) = 0$ 임을 증명한 바, 이는 정리 3.4에 의해 확인된다.
• 모든 $\mathfrak{a} \in \tilde{W}(I,J)$ 에 대해 $\mathfrak{a} \subseteq \sqrt{(0:\operatorname{H}^t_{I,J}(M))}$ 를 만족하는 경우, 모듈 $\operatorname{H}^t_{\mathfrak{a}}(M)$ 는 유한함을 증명한 바, 이는 추론 3.7에 의해 확인된다.
• 만약 $M$ 과 $\operatorname{H}^i_{I,J}(M)$ 가 모든 $i < t$ 에 대해 유한하다면, $\mathfrak{a} \subseteq \sqrt{(0:\operatorname{H}^t_{I,J}(M))}$ 를 만족하는 한 $\operatorname{H}^t_{\mathfrak{a}}(M)$ 는 유한함을 증명한 바, 이는 추론 3.13에 의해 확인된다.
• 만약 $a_1, \dots, a_n$ 이 $I$ 에서 $M$-수열에 대해 $k$-정규이고 $\big{(}(\operatorname{Supp}(M) \cap \operatorname{W}(\mathfrak{a},J)) \setminus \operatorname{W}(I,J)\big{)}_{\leq k} = \emptyset$ 라면, 모든 $i < n$ 에 대해 국소코호몰로지 모듈 $\operatorname{H}^i_{I,J}(M)$ 와 $\operatorname{H}^i_{\mathfrak{a},J}(M)$ 는 서로 동형임을 증명한 바, 이는 정리 3.14에 의해 확인된다.
• $\mathfrak{a} \subseteq \sqrt{(0:\operatorname{H}^t_{I,J}(M))}$ 를 만족하고 $\mathfrak{a}^n \operatorname{H}^t_{I,J}(M)$ 가 모든 $n$ 에 대해 비유한일 경우, $\operatorname{H}^t_{I,J}(M)$ 의 유한성은 유추됨을 증명한 바, 이는 추론 3.12에 의해 확인된다.
• 일반적인 세르 분류 $\mathcal{S}$ 에 대해 $\operatorname{Hom}(R/\mathfrak{a}, \operatorname{H}^t_{I,J}(M))$ 가 속함을 보장하는 조건은 특정한 $\operatorname{Ext}$-소멸 조건 하에서 성립하며, 이는 정리 2.1에 의해 형식화되어 있다.