[논문 리뷰] Gorenstein injective dimension, Bass formula and Gorenstein rings

Leila Khatami, Siamak Yassemi|ArXiv.org|2003. 12. 31.

Algebraic structures and combinatorial models참고 문헌 9인용 수 5

한 줄 요약

이 논문은 Noetherian 국소환 $ R $가 Gorenstein이 되기 위한 필요충분조건으로서 그 잔여체 $ k $의 Gorenstein 내재 차원이 유한한지 여부를 규명한다. 이는 전통적인 정칙 링에 대한 내재 차원에 의한 특성화를 일반화한 것이다. 또한, 임의의 교환적 Noetherian 링 $ S $ 위에서 유한한 Gorenstein 내재 차수를 갖는 유한 생성 $ S $-모듈 $ M $에 대해, Gorenstein 내재 차수는 $ M $의 지지집합에 속하는 소수 $ \frak p $에 대한 국소화 $ S_{\frak p} $의 여약수 차수의 상한과 일치함을 증명하며, 이는 기존 문헌의 결과를 확장한다.

ABSTRACT

Let $(R,\frak m, k)$ be a noetherian local ring. It is well-known that $R$ is regular if and only if the injective dimension of $k$ is finite. In this paper it is shown that $R$ is Gorenstein if and only if the Gorenstein injective dimension of $k$ is finite. On the other hand a generalized version of the so-called Bass formula is proved for finitely generated modules of finite Gorenstein injective dimension. It also improves Christensen's generalized Bass formula (cf. "Gorenstein dimensions", volume 1747 of Lecture Notes in Mathematics, Springer-Verlag, Berlin, 2000).

연구 동기 및 목표

• 잔여체 $ k $의 Gorenstein 내재 차수의 유한성에 의한 Gorenstein 국소환의 특성화.
• 내재 차수에 대한 고전적인 Bass 공식을 Gorenstein 내재 차수의 맥락으로 일반화하기.
• 이중화 복합체가 존재하지 않는 일반적인 Noetherian 국소환에 대해 Enochs, Jenda, Christensen 등의 결과를 확장하기.
• 모듈의 Gorenstein 내재 차수와 그 지지집합에 속하는 소수 이상에서의 국소화의 여약수 차수 사이의 관계 설정하기.

제안 방법

• 완전 내재 분해를 사용하여 Gorenstein 내재 모듈를 정의하고 분석하기.
• Foxby 대칭성과 Ext 함자에 의한 Gorenstein 내재 차수의 특성화 적용: $ \mathrm{Gid}_R M = \sup\{ i \mid \mathrm{Ext}_R^i(J,M) \neq 0 \text{ for some } J \text{ with } \mathrm{id}_R J < \infty \} $.
• 일반화된 Bass 공식 증명: 유한 생성 $ S $-모듈 $ M $이 유한한 Gorenstein 내재 차수를 갖는 경우, $ \mathrm{Gid}_S M = \sup\{ \mathrm{pt}\, S_{\frak p} \mid \frak p \in \mathrm{Supp}(M) \} $.
• 국소화 및 정칙수열 기법을 활용하여 $ \mathrm{Gid}_{R/xR}(M/xM) $와 $ \mathrm{Gid}_R M $ 사이의 관계를 규명하고, 정칙 원소를 제거함으로써 차수의 최소 1 감소를 보여주기.
• Ext 함자에서의 장점 정렬과 여약수 차수에 대한 귀납법을 활용하여 일반화된 Ischebeck 유형 공식을 증명하기.

실험 결과

연구 질문

• RQ1 Noetherian 국소환 $ R $가 Gorenstein이 되기 위해 잔여체 $ k $의 Gorenstein 내재 차수가 유한한 것이 필수적이고 충분한 조건인가?
• RQ2 내재 차수에 대한 고전적인 Bass 공식은 임의의 Noetherian 링 위에서 유한한 Gorenstein 내재 차수를 갖는 경우로 일반화될 수 있는가?
• RQ3 모듈의 Gorenstein 내재 차수는 정칙수열에 대한 몫과 국소화에서 어떻게 행동하는가?
• RQ4 링 $ S $ 위의 모듈 $ M $의 Gorenstein 내재 차수는 $ M $의 지지집합에 속하는 소수 이상에서의 국소화 $ S_{\frak p} $의 여약수 차수에 의존하는가?

주요 결과

• Noetherian 국소환 $ R $는 그 잔여체 $ k $의 Gorenstein 내재 차수가 유한할 때이고 그 때에만 Gorenstein이다.
• 임의의 교환적 Noetherian 링 $ S $ 위에서 유한한 Gorenstein 내재 차수를 갖는 유한 생성 $ S $-모듈 $ M $에 대해, $ M $의 Gorenstein 내재 차수는 $ M $의 지지집합에 속하는 소수 $ \frak p $에 대한 국소화 $ S_{\frak p} $의 여약수 차수의 상한과 일치한다.
• 만약 $ R $가 거의 Cohen-Macaulay 이고 $ M $이 유한 생성 $ R $-모듈이며 유한한 Gorenstein 내재 차수를 갖는다면, $ \mathrm{Gid}_R M = \mathrm{pt}\, R $이다.
• 정칙 원소 $ x \in \mathfrak{m} $가 $ R $-정칙이자 $ M $-정칙이라면, $ R/xR $ 위에서 $ M/xM $의 Gorenstein 내재 차수는 $ R $ 위에서 $ M $의 차수보다 최대 1 이하로 감소하며, $ R $가 거의 Cohen-Macaulay일 경우 등호가 성립한다.
• 일반화된 Ischebeck 공식이 성립한다: 국소 준동형 $ \phi: (R,\mathfrak{m},k) \to (S,\mathfrak{n},l) $과 유한 생성 $ S $-모듈 $ N $이 $ R $-위에서 유한한 내재 차수를 갖는다면, $ \mathrm{pt}\, R = \mathrm{id}_R N $이 성립하며, 이는 $ \mathrm{pt}_R M = 0 $ 또는 $ M $이 $ R $-위에서 유한 생성일 경우에 한하여 성립한다.