[논문 리뷰] Local Homology and Local Cohomology

Zhongming Tang|ArXiv.org|2004. 11. 20.

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

한 줄 요약

이 논문은 국소 환 위의 코hen-맥컬레이 모듈러에 대해 국소 호모로지와 국소 코호몰로지 사이의 이중성 관계를 수립한다. 차원이 $ d $인 코hen-맥컬레이 모듈러 $ M $의 최상위 국소 코호몰로지 모듈러 $ H^d_{\frak m}(M) $ 는 N-차원이 $ d $인 공-코헨-맥컬레이임을 증명하며, 그 국소 호모로지 $ H_d^\underline{x}(H^d_{\frak m}(M)) $ 는 $ \frak m $-adic 완비화 $ \widehat{M} $ 와 동형임을 보여, 이 설정에서 국소 코호몰로지와 국소 호모로지 사이의 깊은 이중성 관계를 입증한다.

ABSTRACT

Let $(R, {\frak m})$ be a local ring, $I$ a proper ideal of $R$ and $M$ a finitely generated $R$-module of dimension $d$. We discuss the local homology modules of $H^d_I(M)$. When $M$ is Cohen-Macaulay, it is proved that $H^d_{\frak m}(M)$ is co-Cohen-Macaulay of N.dimension $d$ and $H^{\underline{x}}_d(H^d_{\frak m}(M))\cong\hat{M}$ where $\underline{x}=(x_1,...,x_d)$ is a system of parameters for $M$.

연구 동기 및 목표

• 국소 환 $ (R,\frak m) $ 위의 유한 생성 모듈러 $ M $ 에 대해 최상위 국소 코호몰로지 모듈러 $ H^d_I(M) $ 의 국소 호모로지 모듈러의 구조를 조사하기 위해.
• 코헨-맥컬레이 모듈러의 맥락에서 국소 코호몰로지와 국소 호모로지 사이의 이중성 관계를 탐구하기 위해.
• $ H^d_{\frak m}(M) $ 가 공-코헨-맥컬레이임을 보장하는 조건을 수립하고, 그 국소 호모로지가 $ M $ 의 $ \frak m $-adic 완비화와 어떻게 관련되어 있는지 밝히기 위해.
• 정규 수열이 $ M $ 에서는 정규 수열이지만 $ H^d_{\frak m}(M) $ 에서는 공-정규 수열이 되며, 국소 호모로지 모듈러를 구성할 수 있음을 보이기 위해.

제안 방법

• quasi-국소 환 위의 아르틴 모듈러에 대한 N-차원(노이터리안 차원)과 너비를 사용하여 $ H^d_I(M) $ 를 분석하기 위해.
• 아르틴 모듈러에서 $ X $-공-정규 수열의 정의와 적용을 통해 국소 호모로지 함자를 연구하기 위해.
• 정규 수열의 길이에 대한 귀납법을 사용하여 $ M $ 에서의 정규 수열이 $ H^d_{\frak m}(M) $ 에서도 공-정규 수열임을 증명하기 위해.
• 역계열 간의 동형사상 구축: $ H^{d-i}_{\frak m}(M/(x_1^n,\dots,x_i^n)M) \cong 0:_{H^d_{\frak m}(M)}(x_1^n,\dots,x_i^n) $.
• 역극한을 사용하여 $ H_d^\underline{x}(H^d_{\frak m}(M)) $ 를 계산하고, $ \frak m $-adic 완비화 $ \widehat{M} $ 와 동형임을 보여주기 위해.
• 직접계열을 통한 대칭적 증명을 통해 공-코헨-맥컬레이 아르틴 모듈러 $ X $ 에 대해 $ H^d_{\underline{x}}(H_d^{\underline{x}}(X)) \cong X $ 를 증명하기 위해.

실험 결과

연구 질문

• RQ1 최상위 국소 코호몰로지 모듈러 $ H^d_{\frak m}(M) $ 가 공-코헨-맥컬레이가 되는 조건은 무엇인가?
• RQ2 코헨-맥컬레이 모듈러 $ M $ 에서의 정규 수열이 $ H^d_{\frak m}(M) $ 에서는 어떻게 공-정규 수열로 작용하는가?
• RQ3 국소 호모로지 $ H^d_{\frak m}(M) $ 와 $ M $ 의 $ \frak m $-adic 완비화 사이의 관계는 무엇인가?
• RQ4 코헨-맥컬레이 모듈러의 맥락에서 국소 호모로지와 국소 코호몰로지 함수들이 이중성 관계를 가짐을 입증할 수 있는가?
• RQ5 시스템 매개변수 $ \underline{x} $ 에 대해 $ H_d^{\underline{x}}(H^d_{\frak m}(M)) \cong \widehat{M} $ 가 성립하는 조건은 무엇인가?

주요 결과

• 차원이 $ d $인 코헨-맥컬레이 모듈러 $ M $ 에 대해 최상위 국소 코호몰로지 모듈러 $ H^d_{\frak m}(M) $ 는 N-차원이 $ d $인 공-코헨-맥컬레이이다.
• 모든 $ M $ 에서의 정규 수열은 $ H^d_{\frak m}(M) $ 에서도 공-정규 수열이며, 모든 $ n \geq 1 $ 에 대해 동형사상 $ H^{d-i}_{\frak m}(M/(x_1^n,\dots,x_i^n)M) \cong 0:_{H^d_{\frak m}(M)}(x_1^n,\dots,x_i^n) $ 이 성립한다.
• 국소 호모로지 모듈러 $ H_d^{\underline{x}}(H^d_{\frak m}(M)) $ 는 $ \frak m $-adic 완비화 $ \widehat{M} $ 와 동형이며, 여기서 $ \underline{x} $ 는 $ M $ 의 매개변수 체계이다.
• 역계열 $ \{0:_{H^d_{\frak m}(M)}(x_1^n,\dots,x_d^n)\} $ 은 역계열 $ \{M/(x_1^n,\dots,x_d^n)M\} $ 과 동형이며, 이로 인해 $ H_d^{\underline{x}}(H^d_{\frak m}(M)) \cong \widehat{M} $ 이 성립한다.
• 공-코헨-맥컬레이 아르틴 모듈러 $ X $ 에 대해 $ H^d_{\underline{x}}(H_d^{\underline{x}}(X)) \cong X $ 가 성립하며, 이는 N-차원이 $ d $ 이고 $ 0:_{X}\underline{x} $ 가 유한 길이를 갖는 경우에 성립한다.
• 만약 $ \dim R = d $ 이면, $ H_d^{\underline{x}}(X) $ 가 유한 생성이라면 $ R $-모듈러로서 최대 코헨-맥컬레이 모듈러이다.