[논문 리뷰] Some properties of generalized local cohomology modules

Амир Мафи|ArXiv.org|2005. 11. 06.

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

한 줄 요약

이 논문은 가환 Noetherian 링에서 일반화된 국소 코hom로지 모듈 $ H_{\frak{a}}^t(M,N) $ 를 조사하며, 특정 조건 하에서 유한성과 아르틴성 성질을 확립한다. $ R $ 가 국소 링이고 $ M \bigotimes_R N $ 가 유한 길이를 가질 때, $ H_{\frak{m}}^t(M,N) $ 는 유한 길이를 가지며 $ l(H_{\frak{m}}^t(M,N)) \leq \sum_{i=0}^t l(\operatorname{Ext}_R^i(M, H_{\frak{m}}^{t-i}(N))) $ 를 만족한다. 일부 경우에선 $ \operatorname{Ext}_R^t(M,N) $ 와 일치한다. 또한 $ \dim(R/\frak{a}) = 0 $ 이면 모든 $ t \geq 0 $ 에 대해 $ H_{\frak{a}}^t(M,N) $ 는 아르틴 모듈로 일반화된 아르틴성 결과를 도출한다.

ABSTRACT

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$, $M$ and $N$ be two finitely generated $R$-modules. Let $t$ be a positive integer. We prove that if $R$ is local with maximal ideal $\fm$ and $ M\otimes_R N$ is of finite length then $H_{\fm}^t(M,N)$ is of finite length for all $t\geq 0$ and $l_R(H_{\fm}^t (M,N))\leq \sum_{i=0}^t l_R(\Ext_R^i(M,H_{\fm}^{t-i}(N)))$. This yields, $l_R(H_{\fm}^t(M,N))=l_R(\Ext_R^t(M,N))$. Additionally, we show that $\Ext_R^i(R/{\fa},N)$ is Artinian for all $ i\leq t$ if and only if $H_{\fa}^i(M,N)$ is Artinian for all $i\leq t$. Moreover, we show that whenever $\dim (R/{\fa})=0$ then $H_{\fa}^t(M,N)$ is Artinian for all $t \geq 0$.

연구 동기 및 목표

• Noetherian 링 위의 유한 생성 모듈에 대해 일반화된 국소 코호몰로지 모듈 $ H_{\frak{a}}^t(M,N) $ 의 유한성과 아르틴성 성질을 연구하기 위해.
• 기존의 국소 코호몰로지의 유한성 및 아르틴 행동 결과를 일반화된 설정으로 확장하기 위해.
• 유한 길이 텐서 곱 조건 하에서 $ H_{\frak{m}}^t(M,N) $ 와 $ \operatorname{Ext}_R^t(M,N) $ 간의 스펙트럴 시퀀스 기반 비교를 수립하기 위해.
• 모든 유한 생성 모듈 $ M $ 에 대해 아르틴성 일반화된 국소 코호몰로지 모듈에 대한 Melkersson 기준을 일반화하기 위해.

제안 방법

• 필터링과 순서부를 통해 $ H_{\frak{m}}^t(M,N) $ 와 $ \operatorname{Ext}_R^i(M, H_{\frak{m}}^{t-i}(N)) $ 를 연결하는 Grothendieck 스펙트럴 시퀀스의 활용.
• 스펙트럴 시퀀스 $ E_2^{p,q} = \operatorname{Ext}_R^p(M, H_{\frak{m}}^q(N)) \Rightarrow H_{\frak{m}}^{p+q}(M,N) $ 의 적용을 통해 길이 상한을 도출.
• 구조 분석을 위해 정확한 시퀀스 $ 0 \to \phi^{i+1}H^t \to \phi^iH^t \to E_\infty^{i,t-i} \to 0 $ 의 사용.
• 스펙트럴 시퀀스와 모듈 필터링을 이용해 $ \operatorname{Ext}_R^i(R/\frak{a}, N) $ 와 $ H_{\frak{a}}^i(M,N) $ 의 아르틴성 성질 간의 동치성을 수립.
• $ \dim(R/\frak{a}) = 0 $ 이면 모든 $ t \geq 0 $ 에 대해 $ H_{\frak{a}}^t(M,N) $ 가 아르틴 모듈로 되는 것을 입증하며, 차원 기반의 유한성과 스펙트럴 시퀀스 수렴에 기반한다.
• Cohen-Macaulay 가정 하에서 $ H_{\frak{m}}^t(M,N) $ 와 $ \operatorname{Ext}_R^t(M,N) $ 의 필터링을 비교하여 동형을 유도.

실험 결과

연구 질문

• RQ1 R 가 국소 링이고 $ M \otimes_R N $ 가 유한 길이라면, $ H_{\frak{m}}^t(M,N) $ 가 유한 길이를 가지는 조건은 무엇인가?
• RQ2 언제 $ H_{\frak{m}}^t(M,N) $ 가 $ \operatorname{Ext}_R^t(M,N) $ 와 일치하며, 이러한 동치성에 영향을 주는 구조적 조건은 무엇인가?
• RQ3 유한 생성 모듈 $ M $ 에 대해 $ \operatorname{Ext}_R^i(R/\frak{a}, N) $ 의 아르틴성 성질과 $ H_{\frak{a}}^i(M,N) $ 의 아르틴성 성질 간의 관계는 무엇인가?
• RQ4 $ R/\frak{a} $ 의 차원이 $ H_{\frak{a}}^t(M,N) $ 의 아르틴성에 어떤 영향을 미치는가? 모든 $ t \geq 0 $ 에 대해.
• RQ5 Melkersson의 아르틴성 국소 코호몰로지에 대한 기준을 스펙트럴 시퀀스를 통해 일반화된 국소 코호몰로지 모듈로 확장할 수 있는가?

주요 결과

• $ R $ 가 최대 이상수를 가진 국소 링이고 $ M \otimes_R N $ 가 유한 길이라면, 스펙트럴 시퀀스 필터링과 아르틴 몫 분석을 통해 모든 $ t \geq 0 $ 에 대해 $ H_{\frak{m}}^t(M,N) $ 가 유한 길이를 가짐을 입증한다.
• $ H_{\frak{m}}^t(M,N) $ 의 길이는 $ \sum_{i=0}^t l(\operatorname{Ext}_R^i(M, H_{\frak{m}}^{t-i}(N))) $ 보다 작거나 같으며, 주어진 조건 하에서 등호가 성립한다.
• N 이 차원 $ d $ 를 가진 Cohen-Macaulay 이라면, 스펙트럴 시퀀스의 중간 항의 소멸 덕분에 $ H_{\frak{m}}^t(M,N) \cong \operatorname{Ext}_R^t(M,N) $ 가 성립한다.
• 모든 $ t \geq 0 $ 에 대해 $ \dim(R/\frak{a}) = 0 $ 이면 모든 유한 생성 $ R $-모듈 $ M $ 에 대해 $ H_{\frak{a}}^t(M,N) $ 는 아르틴 모듈로 된다. 이는 고전적인 아르틴 코호몰로지 결과를 일반화한다.
• $ i \leq t $ 에 대해 $ \operatorname{Ext}_R^i(R/\frak{a}, N) $ 의 아르틴성 성질과 $ i \leq t $ 에 대해 모든 유한 생성 $ M $ 에 대해 $ H_{\frak{a}}^i(M,N) $ 의 아르틴성 성질은 스펙트럴 시퀀스와 필터링의 논증을 통해 동치이다.
• Melkersson의 정리인 아르틴성 국소 코호몰로지에 대한 결과를 일반화된 설정으로 확장하여, 모든 $ i \leq t $ 에 대해 $ H_{\frak{a}}^i(M,N) $ 가 아르틴 모듈로 되는 것과 $ \operatorname{Ext}_R^i(R/\frak{a}, N) $ 가 아르틴 모듈로 되는 것이 동치임을 보였다.