[논문 리뷰] On Endomorphism Rings of Local Cohomology Modules

Waqas Mahmood|arXiv (Cornell University)|2013. 08. 12.

Commutative Algebra and Its Applications참고 문헌 8인용 수 5

한 줄 요약

이 논문은 완비 코hen-맥컬레이 국소환수 $ R $ 에서 자연스러운 준동형사상 $ R \to \operatorname{Hom}_R(H^c_I(K_R), H^c_I(K_R)) $ 가 $ K_R $ 가 캐논리컬 모듈로이고 $ c = \operatorname{grade}(I) $ 일 때, 이는 등급 조건을 만족할 경우 등급 조건이 성립함을 규명한다. 이는 헬러스, 슈트리크, 셈젤의 이전 결과를 캐논리컬 모듈로와 유한 생성 모듈로로 확장하며, 국소 dual리 및 매트리스 dual리 기법을 사용하여, 코homological 소멸 조건이 성립할 경우 국소 cohomology 모듈로의 내적환은 $ R $ 과 동형임을 보여준다.

ABSTRACT

Let I be an ideal of a Complete Cohen-Macaulay local ring R of dimension n. We wil show that the natural homomorphism Rto HomR(HcI(KR), HcI(KR)) is an isomorphism provided that I is a cohomologically compltete intersection ideal of grade c where KR (resp. HiI(.)) denote the canonical module (resp. i-th local cohomology with respect to the ideal I) of R. The same result is true for the Matlis dual of HcI(KR).

연구 동기 및 목표

• 기존의 국소 cohomology 모듈로의 내적환에 대한 등급 결과를 $ M = R $ 의 경우에서 캐논리컬 모듈로 $ K_R $ 와 임의의 유한 생성 모듈로 $ M $ 으로 일반화하는 것.
• 모듈로 $ M = K_R $ 과 일반적인 $ M $ 에 대해 자연스러운 사상 $ R \to \operatorname{Hom}_R(H^c_I(M), H^c_I(M)) $ 가 등급 조건을 만족할 경우 등급이 되는 조건을 설정하는 것.
• 같은 등급을 가진 포함 관계 $ J \subset I $ 를 가진 이상수에 대해 국소 cohomology 모듈로의 내적환 사이의 자연스러운 준동형사상의 행동을 조사하는 것.
• 내적환의 $ R $ 과의 등급 결과를 국소 cohomology 모듈로의 매트리스 쌍대체로 확장하는 것.

제안 방법

• 국소 dual리 및 매트리스 dual리 기법을 사용하여 $ H^c_I(M) $ 와 그 쌍대체 $ D(H^c_I(M)) $ 를 연결하고, 특히 $ M = K_R $ 의 경우에 적용한다.
• 등급 조건을 판별하기 위해 $ \operatorname{Tor} $-모듈로의 소멸 조건을 적용하여 등급이 같은 이상수 $ J \subset I $ 에 대해 국소 cohomology 를 비교한다.
• 이상수 $ J \subset I $ 와 $ \operatorname{grade}(I,M) = \operatorname{grade}(J,M) = c $ 를 만족할 때, 자연스러운 준동형사상 $ \operatorname{Hom}_R(H^c_J(M), H^c_J(M)) \to \operatorname{Hom}_R(H^c_I(M), H^c_I(M)) $ 를 구성한다.
• 모든 $ \mathfrak{p} \in V(J) \cap \operatorname{Supp}_R(M) $ 에 대해 $ \operatorname{Rad}(IR_\mathfrak{p}) = \operatorname{Rad}(JR_\mathfrak{p}) $ 이고 $ \operatorname{depth}_{R_\mathfrak{p}}(M_\mathfrak{p}) \leq c $ 를 만족할 경우, 자연스러운 준동형사상이 등급임을 증명한다.
• 국소 cohomology 모듈로의 내적환과 그 쌍대체 사이의 동치 성질을 전달하기 위해 $ \operatorname{Hom}_R(H^c_I(M), H^c_I(M)) $ 와 $ \operatorname{Hom}_R(D(H^c_I(M)), D(H^c_I(M))) $ 를 포함하는 교환도형을 활용한다.
• 적절한 소멸 조건 하에서 $ R \to \operatorname{Hom}_R(H^c_I(M), H^c_I(M)) $ 가 등급임은 그 매트리스 쌍대체에 대해서도 동일하게 성립함을 이용한다.

실험 결과

연구 질문

• RQ1 완비 코헨-맥컬레이 국소환수 $ R $ 와 이상수 $ I $ 에 대해 자연스러운 준동형사상 $ R \to \operatorname{Hom}_R(H^c_I(K_R), H^c_I(K_R)) $ 가 등급이 되는 조건은 무엇인가요?
• RQ2 $ J \subset I $ 이고 $ \operatorname{grade}(I,M) = \operatorname{grade}(J,M) = c $ 일 때, 자연스러운 사상 $ \operatorname{Hom}_R(H^c_J(M), H^c_J(M)) \to \operatorname{Hom}_R(H^c_I(M), H^c_I(M)) $ 가 등급이 되는 조건은 무엇인가요?
• RQ3 $ M = K_R $ 일 때, $ H^c_I(M) $ 와 그 매트리스 쌍대체 $ D(H^c_I(M)) $ 의 내적환은 어떻게 관련이 있나요?
• RQ4 $ \operatorname{Ext}^{i-c}(H^c_I(K_R), H^c_I(K_R)) = 0 $ 이 되는 조건은 무엇인가요? ($ i \neq c $)
• RQ5 자연스러운 사상 $ H^c_I(K_R) \otimes_R D(H^c_I(K_R)) \to E $ 가 등급이 되는 조건은 무엇인가요?

주요 결과

• 모든 $ i \neq c = \operatorname{grade}(I) $ 에 대해 $ H^i_I(R) = 0 $ 이면, 자연스러운 준동형사상 $ R \to \operatorname{Hom}_R(H^c_I(K_R), H^c_I(K_R)) $ 는 등급이 되며, 이는 $ R $ 에서의 결과를 캐논리컬 모듈로로 확장한다.
• $ M = K_R $ 일 때, 내적환 $ \operatorname{Hom}_R(H^c_I(K_R), H^c_I(K_R)) $ 는 $ R $ 과 등급이며, 모든 $ i \neq c $ 에 대해 $ \operatorname{Ext}^{i-c}(H^c_I(K_R), H^c_I(K_R)) = 0 $ 이다.
• $ \mathfrak{p} \in V(J) \cap \operatorname{Supp}_R(M) $ 이고 $ \operatorname{depth}_{R_\mathfrak{p}}(M_\mathfrak{p}) \leq c $ 를 만족하는 모든 $ \mathfrak{p} $ 에 대해 $ \operatorname{Rad}(IR_\mathfrak{p}) = \operatorname{Rad}(JR_\mathfrak{p}) $ 이면, 자연스러운 준동형사상 $ \operatorname{Hom}_R(H^c_J(M), H^c_J(M)) \to \operatorname{Hom}_R(H^c_I(M), H^c_I(M)) $ 는 등급이 된다.
• 매트리스 쌍대체 $ D(H^c_I(K_R)) $ 는 동일한 등급 조건 하에서 동일한 성질을 만족한다: $ R \to \operatorname{Hom}_R(D(H^c_I(K_R)), D(H^c_I(K_R))) $ 는 동일한 소멸 조건 하에서 등급이다.
• 코homological 소멸 조건 하에서 자연스러운 사상 $ H^c_I(K_R) \otimes_R D(H^c_I(K_R)) \to E $ 는 등급이며, 모든 $ i \neq c $ 에 대해 $ \operatorname{Tor}_{i-c}^R(H^c_I(K_R), D(H^c_I(K_R))) = 0 $ 이다.
• 내적환 $ \operatorname{Hom}_R(H^c_I(K_R), H^c_I(K_R)) $ 가 $ R $ 과 등급임은 $ \operatorname{Rad}(IR_\mathfrak{p}) = \operatorname{Rad}(JR_\mathfrak{p}) $ 를 만족하는 관련 소수 $ \mathfrak{p} $ 에 대해 $ H^c_J(K_R) $ 에 대해서도 동일하게 성립한다.