[논문 리뷰] On endomorphism rings of local cohomology

Michael Hellus, Juergen Stueckrad|ArXiv.org|2007. 03. 06.

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

한 줄 요약

이 논문은 $ R $ 가 노에터 링이자 완비 국소 링이며, 모든 $ l \neq h $ 에 대해 $ H^l_I(R) = 0 $ 인 경우, 국소 코hom로지 모듈 $ H^h_I(R) $ 의 내림사상환(endomorphism ring)이 $ R $ 과 동형임을 증명한다. 이는 자연스러운 사상 $ R \to \operatorname{End}_R(H^h_I(R)) $ 가 동형임을 의미한다. 이 결과는 이러한 모듈의 매트리스 쌍대모듈에 대해 확장되며, 쌍대 모듈에서 정규열(regular sequence)을 통해 이상적(ideal)이 집합론적 완전교차임(set-theoretic complete intersection)임을 증명하는 데 응용된다.

ABSTRACT

Let R be a local complete ring. For an R-module M the canonical ring map R o End_R(M) is in general neither injective nor surjective; we show that it is bijective for every local cohomology module M := H^h_I(R) if H^l_I(R) = 0 for every l eq h(:= height(I)) (I an ideal of R); furthermore the same holds for the Matlis dual of such a module. As an application we prove new criteria for an ideal to be a set-theoretic complete intersection.

연구 동기 및 목표

• 기저 링 $ R $ 와 아이디얼 $ I $ 가 주어졌을 때, 국소 코호몰로지 모듈 $ M = H^h_I(R) $ 에 대해 자연스러운 사상 $ R \to \operatorname{End}_R(M) $ 가 동형이 되는 조건을 규명하는 것.
• 이러한 동형 결과를 이러한 국소 코호몰로지 모듈의 매트리스 쌍대모듈로 확장하는 것.
• 내림사상환에 대한 구조적 결과를 활용하여 이상적의 집합론적 완전교차임 조건을 유도하는 것.
• 매트리스 쌍대모듈 $ D(H^h_I(R)) $ 와 자연스러운 사상 $ j_{\underline{x},I} $ 에 관여하는 정규열(regular sequence)에 대한 등가 조건을 설정하는 것.

제안 방법

• 잔여체의 임베딩인 $ E $ 를 사용하여 $ D(M) = \operatorname{Hom}_R(M, E) $ 로 정의되는 매트리스 쌍대함수자(functor)의 사용.
• 카시아르만셰스의 결과를 일반화한 바에 기반하여, $ H^l_I(R) = 0 $ 이 모든 $ l \neq h $ 에 대해 성립할 경우 $ D(H^h_I(D(H^h_I(R)))) \cong R $ 임을 보이는 것.
• 항등자와 스펙트럴 시퀀스를 이용한 포함관계 분석을 통해 $ \operatorname{Hom}_R(H, D^2(H)) \to \operatorname{End}_R(H) $ 가 동형임을 증명하는 것.
• 자연스러운 동형사상 $ \gamma_H: \operatorname{Hom}_R(H, D^2(H)) \to D(H^h_I(D(H))) $ 와 $ D(H^h_I(D(H))) \cong R $ 이라는 사실을 이용하여 $ \operatorname{End}_R(H) \cong R $ 를 유도하는 것.
• $ J_{\underline{x},I} = \{ r \in R \mid \forall l \, \exists s \text{ such that } r I^s \subseteq \underline{x}^l R \} $ 로 정의된 이상과 사상 $ j_{\underline{x},I}: J_{\underline{x},I} \to \Gamma_I(R/\underline{x}R) $ 를 연결하는 것.
• $ \sqrt{I} = \sqrt{\underline{x}R} $, $ \underline{x} $ 가 $ D $-정규, $ \iota_{D,\underline{x}} $ 의 단사성, $ j_{\underline{x},I} $ 의 전사성, $ J_{\underline{x},I} = R $ 간의 동치성을 증명하는 것.

실험 결과

연구 질문

• RQ1 기저 링 $ R $ 와 아이디얼 $ I $ 가 어떤 조건을 만족할 때 자연스러운 사상 $ R \to \operatorname{End}_R(H^h_I(R)) $ 가 동형이 되는가?
• RQ2 국소 코호몰로지 모듈 $ H^h_I(R) $ 의 매트리스 쌍대모듈이 내림사상환과 $ R $ 과 동형이 되는 조건은 무엇인가?
• RQ3 정규열 $ \underline{x} \subseteq I $ 가 어떤 조건을 만족해야 $ \sqrt{I} = \sqrt{\underline{x}R} $ 가 성립하는가?
• RQ4 사상 $ j_{\underline{x},I}: J_{\underline{x},I} \to \Gamma_I(R/\underline{x}R) $ 의 전사성은 이상적 $ I $ 가 집합론적 완전교차임임과 어떤 관련이 있는가?
• RQ5 $ J_{\underline{x},I} $ 가 전체 링 $ R $ 과 동일해지는 조건은 언제인가?

주요 결과

• 모든 $ l \neq h $ 에 대해 $ H^l_I(R) = 0 $ 이고 $ R $ 가 노에터 국소 완비 링일 경우, 자연스러운 사상 $ \mu_H: R \to \operatorname{End}_R(H^h_I(R)) $ 는 $ R $-대수로서 동형이다.
• 동일한 소멸 조건 하에서 매트리스 쌍대모듈 $ D(H^h_I(R)) $ 에 대해서도 $ \mu_D: R \to \operatorname{End}_R(D(H^h_I(R))) $ 가 동형임을 만족한다.
• 이상적 $ I $ 는 $ D = D(H^h_I(R)) $ 인 경우에만 정규열 $ \underline{x} $ 가 $ D $-정규일 때 집합론적 완전교차임이다.
• $ \iota_{D,\underline{x}}: D/\underline{x}D \to H^h_{\underline{x}R}(D) $ 가 단사일 때이고, 뿐만 아니라 $ \sqrt{I} = \sqrt{\underline{x}R} $ 일 때에만 성립한다.
• $ j_{\underline{x},I}: J_{\underline{x},I} \to \Gamma_I(R/\underline{x}R) $ 가 전사일 때 정확히 $ \sqrt{I} = \sqrt{\underline{x}R} $ 이다.
• $ J_{\underline{x},I} = R $ 이 되는 것은 $ \sqrt{I} = \sqrt{\underline{x}R} $ 이며, 이는 $ I $ 가 집합론적 완전교차임임과 동치이다.