[논문 리뷰] On Cohomologically Complete Intersections in Cohen-Macaulay Rings

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

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

한 줄 요약

이 논문은 고레스트레인 링에서의 코homologically complete intersection에 대한 Hellus와 Schenzel의 결과를 일반화하여, 임의의 국소 코hen-맥컬레이 링으로 확장한다. 이는 국소 코hom로지 $ H^i_I(M) = 0 $ 가 모든 $ i \neq c = \operatorname{grade}(I,M) $ 에서 성립하는 것이 $ H^c_I(M) $ 의 호모로지적 성질에 의해 완전히 결정됨을 보여준다. 주요 기여는 코어너리컬 모듈과 Ext 함자들을 통한 cohomologically complete intersection의 특성화로, 기존 기준을 유한 임베딩 차원을 가진 최대 코hen-맥컬레이 모듈로 확장한다.

ABSTRACT

An ideal I of a local Cohen-Macaulay ring R is called a cohomologically complete intersection if H^i_I(R) = 0 for all i eq c = height(I). Here H^i_I(R), i \in Z denotes the local cohomology of R with respect to I. For instance, a set-theoretic complete intersection is a cohomologically complete intersection. Here we study cohomologically complete intersections from various homological points of view. As a main result it is shown that the vanishing H^iI_(M) = 0 for all i eq c is completely encoded in homological properties of H^cI_(M). These results extend those of Hellus and Schenzel (see [13, Theorem 0.1]) shown in the case of a local Gorenstein ring. In particular we get a characterization of cohomologically complete intersections in a Cohen-Macaulay ring in terms of the canonical module.

연구 동기 및 목표

• 국소 고레스트레인 링에서의 Hellus와 Schenzel의 cohomologically complete intersection 특성화를 임의의 국소 코hen-맥컬레이 링으로 확장한다.
• 모든 $ i \neq c $ 에서 $ H^i_I(M) = 0 $ 이 성립하는 것이 $ H^c_I(M) $ 의 호모로지적 성질, 특히 코어너리컬 모듈을 통해 완전히 결정됨을 보인다.
• 코hen-맥컬레이 링에서 이상적 집합이 set-theoretic complete intersection가 되기 위한 새로운 필수 조건을 제시한다.
• Bass의 추측을 일반화하여, $ H^c_I(M) $ 와 $ M $ 의 임베딩 차원을 통해 코hen-맥컬레이 링을 새롭게 특성화한다.

제안 방법

• 국소 코호몰로지 함자 $ H^i_I(-) $ 와 그의 0 수렴 행동을 이용하여 cohomologically complete intersection를 정의한다.
• 국소 dualiry와 코어너리컬 모듈 $ K(-) $ 을 적용하여 $ H^c_I(M) $ 와 $ M $ 을 Ext 함자를 통해 연결한다.
• 정규 수열을 포함하는 짧은 정확한 수열과 함께, 소수 이상의 $ \mathfrak{p} \in V(I) \cap \operatorname{Supp}_R(M) $ 에서 국소 코호몰로지와 Ext 군 간의 자연스러운 호모모르피즘을 구성한다. 이는 잘라내기 복합체를 사용한다.
• 입사 해상성과 준동치를 사용하여 $ \Gamma_I(E^\cdot_R(M)) $ 와 $ H^c_I(M)[-c] $ 를 연결하고, 입사 차원 비교를 가능하게 한다.
• 기저의 독립성 정리와 정규 수열을 포함하는 짧은 정확한 수열을 활용하여, 몫에 대한 국소 코호몰로지의 행동을 분석한다.
• 완비화 $ \hat{R}_{\mathfrak{p}} $ 를 통해 완비 국소 링의 경우로 환원함으로써, 코어너리컬 모듈과 이중성을 확보한다.

실험 결과

연구 질문

• RQ1 코hen-맥컬레이 링에서 모든 $ i \neq c $ 에서 $ H^i_I(M) $ 가 0이 되기 위한 조건은 무엇인가?
• RQ2 국소 코호몰로지 $ H^c_I(M) $ 의 호모로지적 성질은 cohomologically complete intersection를 어떻게 특성화할 수 있는가?
• RQ3 코어너리컬 모듈은 $ I $ 가 cohomologically complete intersection인지 결정하는 데 어떤 역할을 하는가?
• RQ4 $ \operatorname{id}_R(M) < \infty $ 와 $ \operatorname{id}_R(H^c_I(M)) < \infty $ 의 동치성은 어떻게 코hen-맥컬레이 링을 특성화하는 데 사용될 수 있는가?
• RQ5 정규 수열은 몫 모듈의 국소 코호몰로지에 어떤 영향을 미치며, cohomological complete intersection와의 관계는 무엇인가?

주요 결과

• 모든 $ i \neq c $ 에서 $ H^i_I(M) = 0 $ 이 성립하는 것은, 모든 $ \mathfrak{p} \in V(I) \cap \operatorname{Supp}_R(M) $ 에 대해 자연스러운 사상 $ H^{h(\mathfrak{p})}_{{\mathfrak{p}}R_{\mathfrak{p}}}(H^c_{IR_{\mathfrak{p}}}(M_{\mathfrak{p}})) \to H^{\dim(M_{\mathfrak{p}})}_{{\mathfrak{p}}R_{\mathfrak{p}}}(M_{\mathfrak{p}}) $ 가 동형이며, 나머지 국소 코호몰로지 군이 0이 되는 것과 동치이다.
• 모든 $ i \neq c $ 에서 $ H^i_I(M) = 0 $ 이 성립하는 것은 다음의 Ext-동형 조건과 동치이다: $ \operatorname{Ext}^{h(\mathfrak{p})}_{R_{\mathfrak{p}}}(k(\mathfrak{p}), H^c_{IR_{\mathfrak{p}}}(M_{\mathfrak{p}})) \to \operatorname{Ext}^{\dim(M_{\mathfrak{p}})}_{R_{\mathfrak{p}}}(k(\mathfrak{p}), M_{\mathfrak{p}}) $ 가 동형이며, 나머지는 0이 된다.
• 모든 $ i \neq c $ 에서 $ H^i_I(M) = 0 $ 이 성립하는 것은 다음의 코어너리컬 모듈 동형 조건과 동치이다: $ K(\hat{M}_{\mathfrak{p}}) \to \operatorname{Ext}^c_{{\hat{R}}_{\mathfrak{p}}}(H^c_{I{\hat{R}}_{\mathfrak{p}}}({\hat{M}}_{\mathfrak{p}}), K({\hat{R}}_{\mathfrak{p}})) $ 이며, 고차원 Ext 군이 0이 된다.
• $ \operatorname{id}_R(M) < \infty $ 와 $ \operatorname{id}_R(H^c_I(M)) < \infty $ 가 동치인 것은 $ H^i_I(M) = 0 $ 이 모든 $ i \neq c $ 에서 성립할 때에만 성립하며, 이는 $ R $ 이 코hen-맥컬레이 링임을 의미한다.
• 이 결과는 Hellus와 Schenzel의 정리 0.1을 고레스트레인 링에서 코hen-맥컬레이 링으로 일반화하여, 최대 코헨-맥컬레이 모듈에 대해 유한 임베딩 차원을 가진 경우로 특성화를 확장한다.
• 논문은 코헨-맥컬레이 링의 새로운 특성화를 제시한다: $ H^i_I(M) = 0 $ 이 모든 $ i \neq c $ 에서 성립할 때, $ R $ 이 코헨-맥컬레이 링임은 $ \operatorname{id}_R(M) < \infty $ 와 동치이다.