[논문 리뷰] Associated primes of local cohomology modules of weakly Laskerian modules

Kamran Divaani-Aazar, Амир Мафи|arXiv (Cornell University)|2005. 02. 03.

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

한 줄 요약

이 논문은 여러 조건 하에서 약한 Laskerian 모듈러에 대한 국소 코hom로지 모듈러의 관련 소 아이디얼의 유한성을 확립한다. 특히, 소멸 아이디얼이 주원소일 경우 또는 환이 차원 ≤3이거나 dim(R/𝔞)≤1인 국소환일 경우, 모든 i≥0에 대해 H𝔞ⁱ(M)의 관련 소들이 유한함을 증명하며, 이는 유한 생성 모듈러에 대한 기존 결과를 약한 Laskerian 모듈러의 더 넓은 클래스로 확장한 것으로, 약한 코프initeness와 스펙트럴 시퀀스 기법을 사용한다.

ABSTRACT

The notion of weakly Laskerian modules was introduced recently by the authors. Let $R$ be a commutative Noetherian ring with identity, $\fa$ an ideal of $R$, and $M$ a weakly Laskerian module. It is shown that if $\fa$ is principal, then the set of associated primes of the local cohomology module $H_{\fa}^i(M)$ is finite for all $i\geq 0$. We also prove that when $R$ is local, then $\Ass_R(H_{\fa}^i(M))$ is finite for all $i\geq 0$ in the following cases: (1) $\dim R\leq 3$, (2) $\dim R/\fa\leq 1$, (3) $M$ is Cohen-Macaulay and for any ideal $\fb$, with $l=\grade(\fb,M)$, $\Hom_R(R/\fb,H_{\fb}^{l+1}(M))$ is weakly Laskerian.

연구 동기 및 목표

• 유한 생성 모듈러에 대한 국소 코호몰로지 모듈러의 관련 소의 유한성 결과를 더 넓은 약한 Laskerian 모듈러의 범주로 확장하기 위해.
• 약한 Laskerian 모듈러의 국소 코호몰로지 모듈러가 유한한 관련 소 집합을 갖는 조건을 조사하기 위해.
• 약한 코프initeness의 개념을 도입하고, 약한 Laskerian 모듈러에 대한 코프initeness의 일반화로서 연구하기 위해.
• 약한 Laskerian 모듈러의 맥락에서 국소 코호몰로지에 대한 고전적 유한성 정리의 유사체를 수립하기 위해.

제안 방법

• 모든 몫 모듈러에서 관련 소의 집합이 유한한 것으로 정의된 약한 Laskerian 모듈러를 도입하고 분석하기 위해.
• 국소 코호몰로지 모듈러에 대한 약한 코프initeness를 정의하여, 𝔞-코프initeness의 개념을 일반화하기 위해.
• 스펙트럴 시퀀스와 정확한 시퀀스를 적용하여 국소 코호몰로지 모듈러를 약한 Laskerian 모듈러의 부분몫과 연결하기 위해.
• 약한 코프initeness에 대한 환의 전환 원리를 적용하여 아이디얼 간에 유한성 성질을 이행하기 위해.
• 기존의 유한 생성 모듈러에 대한 결과를 활용하고, 약한 Laskerian 성질을 통해 이를 확장하기 위해.
• 귀납법과 모듈러 이론 기법(예: 급수와 Ext 함자 포함)을 사용하여 관련 소를 제어하기 위해.

실험 결과

연구 질문

• RQ1 약한 Laskerian R-모듈러 M과 아이디얼 𝔞에 대해 H𝔞ⁱ(M)의 관련 소 집합이 유한해지는 조건은 무엇인가?
• RQ2 국소 코호몰로지에서 관련 소의 유한성은 유한 생성 모듈러에서 약한 Laskerian 모듈러로 확장되는가?
• RQ3 약한 코프initeness의 개념을 사용하여 국소 코호몰로지 모듈러의 고전적 코프initeness 결과를 일반화할 수 있는가?
• RQ4 R 또는 R/𝔞의 차원은 약한 Laskerian 모듈러의 국소 코호몰로지에서 관련 소의 유한성을 확보하는 데 어떤 역할을 하는가?
• RQ5 코헨-맥올레이 모듈러의 성질이 약한 Laskerian 조건과 어떻게 상호작용하여 국소 코호몰로지에서 관련 소의 유한성을 보장하는가?

주요 결과

• 𝔞가 주원소 아이디얼이고 M가 약한 Laskerian일 경우, 모든 i≥0에 대해 Ass_R(H𝔞ⁱ(M))는 유한하다.
• R이 차원 ≤3인 국소환일 경우, 모든 i≥0 및 임의의 약한 Laskerian M에 대해 Ass_R(H𝔞ⁱ(M))는 유한하다.
• dim(R/𝔞)≤1이고 R가 국소환일 경우, 모든 i≥0 및 임의의 약한 Laskerian M에 대해 Ass_R(H𝔞ⁱ(M))는 유한하다.
• 국소환 R에서 코헨-맥올레이 모듈러 M에 대해, 모든 아이디얼 𝔟에 대해 grade(𝔟,M)=l이면 Hom_R(R/𝔟, H𝔟^{l+1}(M))가 약한 Laskerian일 경우, 모든 i≥0에 대해 Ass_R(H𝔞ⁱ(M))는 유한하다.
• 위의 경우들에서 국소 코호몰로지 모듈러 H𝔞ⁱ(M)는 약한 코프initeness를 갖는다. 이는 관련 소의 유한성을 암시한다.
• 이 결과들은 브로드먼-라쉬가리와 하츠혼-싱의 고전적 정리를 약한 Laskerian 모듈러의 맥락으로 일반화한다.