[논문 리뷰] On The Cohomological Dimension of Local Cohomology Modules

V. Erdoǧdu, Tuğba Yıldırım|arXiv (Cornell University)|2015. 04. 05.

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

한 줄 요약

이 논문은 Noetherian 환 위에서 국소 코hom로지 모듈러스에 대해 엄격히 감소하는 코homological 차원을 갖는 이상의 감소 체인의 존재를 확립하며, 각 단계에서 최상위 국소 코호몰로지 모듈러스가 비-Artinian임을 증명한다. 코호몰로지 차원에 대한 하한을 위한 충분조건을 제시하여, 비-연속성(Non-catenary) Noetherian 국소 정역에서 어떤 소이데알이 집합론적 완전교차가 되지 않음을 도출한다. 또한 차원과 지지조건을 통한 최상위 국소 코호몰로지 모듈러스의 Artinian 여부를 특성화한다.

ABSTRACT

Let $R$ be a Noetherian ring, $I$ an ideal of $R$ and $M$ an $R$-module with $\operatorname{cd}(I,M)=c$. In this article, we first show that there exists a descending chain of ideals $I=I_c\supsetneq I_{c-1}\supsetneq \cdots \supsetneq I_0$ of $R$ such that for each $0\leq i\leq c-1$, $\operatorname{cd}(I_i,M)=i$ and that the top local cohomology module $\operatorname{H}^i_{I_i}(M)$ is not Artinian. We then give sufficient conditions for a non-negative integer $t$ to be a lower bound for $\operatorname{cd}(I,M)$ and use this to conclude that in non-catenary Noetherian local integral domains, there exist prime ideals that are not set theoretic complete intersection. Finally, we set conditions which determine whether or not a top local cohomology module is Artinian.

연구 동기 및 목표

• 주어진 국소 코호몰로지 모듈러스에 대해 엄격히 감소하는 코호몰로지 차원을 갖는 이상의 감소 체인을 구성하는 것.
• 모듈러스에 대한 이상에 대해 비음수 정수가 코호몰로지 차원의 하한이 되는 데 필요한 조건을 규명하는 것.
• 차원과 지지 성질과의 관련성에서 최상위 국소 코호몰로지 모듈러스의 Artinian 성질을 조사하는 것.
• 코호몰로지 차원의 하한을 적용하여 비-연속성 Noetherian 국소 정역에서 집합론적 완전교차가 되지 않는 소이데알의 존재를 보여주는 것.

제안 방법

• 최대값보다 작은 코호몰로지 차원을 갖는 적절한 이상의 집합을 사용하여 Noetherian 성질을 통해 최대 원소를 구성하는 것.
• 국소 코호몰로지 모듈러스와 그들의 Artinian 성질을 분석하기 위해 Mayer-Vietoris 스펙트럴 시퀀스를 적용하는 것.
• 다른 이상과 안니히레이터에 대해 국소 코호몰로지를 연결하기 위해 Grothendieck 스펙트럴 시퀀스를 활용하는 것.
• 국소 코호몰로지 모듈러스의 지지의 차원에 대한 경계를 사용하여 Artinian 성질을 결정하는 것.
• 정리 3.1을 적용하여 M/IM의 차원에 기반해 코호몰로지 차원에 대한 하한을 유도하는 것.
• 대우 증명과 범주론적 추론(예: 주어진 범주에 속하지 않는 부분몫)을 사용하여 비-Artinian 성질을 증명하는 것.

실험 결과

연구 질문

• RQ1 고정된 모듈러스에 대해 각 이상이 엄격히 감소하는 코호몰로지 차원을 갖는 이상의 감소 체인이 존재하는가?
• RQ2 모듈러스에 대한 이상에 대해 비음수 정수가 코호몰로지 차원의 하한이 될 수 있는 조건은 무엇인가?
• RQ3 어떤 이상에 대해 최상위 국소 코호몰로지 모듈러스가 Artinian인가?
• RQ4 코호몰로지 차원의 하한을 적용하여 비-연속성 환에서 특정 소이데알이 집합론적 완전교차가 되지 않음을 보일 수 있는가?
• RQ5 국소 코호몰로지 모듈러스의 지지의 차원과 그 Artinian 성질 사이의 관계는 무엇인가?

주요 결과

• 모든 Noetherian 환 R, 이상 I, R-모듈러스 M에 대해 cd(I,M) = c > 0 이라면, cd(I_i, M) = i 를 만족하는 감소 체인 I = I_c ⊃ I_{c-1} ⊃ ⋯ ⊃ I_0 가 존재한다. 여기서 0 ≤ i ≤ c 이다.
• 각 i에 대해 0 ≤ i ≤ c−1 이면, 최상위 국소 코호몰로지 모듈러스 H^i_{I_i}(M) 는 Artinian이 아니다.
• Noetherian 국소 환 (R, m) 에서, 차원이 n인 유한생성 R-모듈러스 M 과 dim(M/IM) = d ≥ 1 인 이상 I 에 대해 코호몰로지 차원 cd(I,M) 는 적어도 n−d 이다.
• 만약 cd(I,M) = n−d 이면, H^d_m(H^{n−d}_I(M)) ≅ H^n_m(M) 이 성립하여, 이는 이중성 유사 동형사상이다.
• 비-연속성 Noetherian 국소 정역에서, 코호몰로지 차원의 하한을 통해 집합론적 완전교차가 되지 않는 소이데알이 존재한다.
• Noetherian 국소 환 (R, m) 에서 dim(R/(I+Ann M)) = 1 이면, 최상위 국소 코호몰로지 모듈러스 H^{cd(I,M)}_I(M) 는 cd(I,M) = n 일 때에만 Artinian 이다.