[논문 리뷰] On a Duality for local cohomology modules of ralative Cohen-Macaulay rings

Majid Rahro Zargar|arXiv (Cornell University)|2013. 08. 14.

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

한 줄 요약

이 논문은 상대 코hen-맥컬레이 링에서 국소 코hom로지 모듈의 이중성에 대해 정립하며, $R$-모듈 $\Hom_R(\H^c_\fa(R), \E(R/\fm))$가 코hen-맥컬레이 링에서의 캐논리컬 모듈과 유사하게 행동함을 보여, 고전적 이중성 정리들을 상대적 맥락으로 일반화하는 이중성 프레임워크를 제공한다.

ABSTRACT

Let $(R,\fm)$ be a relative Cohen-Macaulay local ring with respect to an ideal $\fa$ of $R$ and set $c:=\h_{R}\fa$. In this paper, we investigate some properties of the $R$-module $\Hom_{R}(\H_{\fa}^c(R),\E(R/\fm))$ and we show that such module treat like a canonical module over a Cohen-Macaulay local ring.

연구 동기 및 목표

• 상대 코hen-맥컬레이 링에서 $R$-모듈 $\Hom_R(\H^c_\fa(R), \E(R/\fm))$ 의 구조와 성질을 조사하는 것.
• 상대 코헨-맥컬레이 링의 맥락에서 국소 코호몰로지 모듈에 대한 이중성 이론을 수립하는 것.
• 특히 캐논리컬 모듈의 성질을 상대 맥락으로 일반화하는 고전적 이중성 결과를 확장하는 것.
• $c = \h_R(\fa)$, 즉 $R$ 의 $\fa$-높이일 때 국소 코호몰로지 모듈 $\H^c_\fa(R)$ 의 역할을 명확히 하는 것.
• 이중화 모듈 $\Hom_R(\H^c_\fa(R), \E(R/\fm))$ 가 상대 맥락에서 캐논리컬 모듈과 유사한 성질을 보임을 보여주는 것.

제안 방법

• 국소 코호몰로지 모듈 $\H^c_\fa(R)$ 를 사용하며, 여기서 $c = \h_R(\fa)$ 는 $R$ 의 $\fa$-높이이다.
• 잔여체의 임베딩 모듈 $\E(R/\fm)$ 를 적용하여 이중 모듈 $\Hom_R(\H^c_\fa(R), \E(R/\fm))$ 를 구성한다.
• 코호몰로지 차원이 $\fa$-높이와 일치하도록 보장하기 위해 상대 코헨-맥컬레이 링 이론을 활용한다.
• 국소 코호몰로지의 이중성 정리와 국소 링 위의 임베딩 모듈 성질에 기반한다.
• 이중 모듈의 모듈 구조와 유한성 성질을 분석하여 그가 캐논리컬 유사 성질을 갖는다는 것을 입증한다.
• 모듈 $\H^c_\fa(R)$ 가 비영이면서 잘 정의되어 있음을 보장하기 위해 $R$ 이 $\fa$ 에 대해 상대 코헨-맥컬레이임을 이용한다.

실험 결과

연구 질문

• RQ1 상대 코헨-맥컬레이 링 맥락에서 모듈 $\Hom_R(\H^c_\fa(R), \E(R/\fm))$ 는 어떻게 행동하는가?
• RQ2 이 이중 모듈이 코헨-맥컬레이 링에서 캐논리컬 모듈의 성질을 어느 정도 모방하는가?
• RQ3 $\H^c_\fa(R)$ 와 그 이중 $\Hom_R(\H^c_\fa(R), \E(R/\fm))$ 사이에 어떤 이중성 관계가 도출되는가?
• RQ4 이중 모듈이 상대 코헨-맥컬레이 맥락에서 캐논리컬 모듈로 간주될 수 있는가?
• RQ5 상대 코헨-맥컬레이 링에서 $R$ 이 $\fa$ 에 대해 상대 코헨-맥컬레이일 때 $\H^c_\fa(R)$ 는 어떤 구조적 성질을 갖는가?

주요 결과

• 모듈 $\Hom_R(\H^c_\fa(R), \E(R/\fm))$ 가 상대 코헨-맥컬레이 맥락에서 캐논리컬 모듈과 유사하게 행동함을 입증하였다.
• 설립된 이중성은 표준 코헨-맥컬레이 링에서의 고전적 이중성 정리들을 상대적 경우로 일반화한다.
• 코호몰로지 차원 $c = \h_R(\fa)$ 가 $\H^c_\fa(R)$ 가 최상위 비영인 국소 코호몰로지 모듈임을 보장한다.
• 상대 코헨-맥컬레이 조건 하에서 이중 모듈이 유한 생성 및 리플렉시브 유사 성질을 상속한다.
• 이러한 구성은 이상 $\fa$ 에 대해 코헨-맥컬레이인 링에서 캐논리컬 모듈의 유사체를 제공한다.
• 이중성은 국소 코호몰로지와 임베딩 모듈의 구조를 상대 맥락에서 잘 유지하므로 효과적이다.