[논문 리뷰] Global Gorenstein dimensions of polynomial rings and of direct product of rings

Driss Bennis, Najib Mahdou|ArXiv.org|2007. 12. 02.

Algebraic structures and combinatorial models참고 문헌 7인용 수 11

한 줄 요약

이 논문은 Gorenstein 호모로지 차원으로 힐베르트의 시지지 정리를 확장하여 다항식 환 R[X₁,…,Xₙ]의 Gorenstein 전반 차원이 R의 Gorenstein 전반 차원에 n을 더한 것과 정확히 일치함을 증명한다. 또한 직접곱을 통해 유한한 Gorenstein 약한 차원과 무한한 고전적 약한 차원을 가진 비노에터리안 예제를 구성함으로써, Gorenstein 환 이론에서 오랫동안 남아있던 이론적 격차를 해결한다.

ABSTRACT

In this paper, we extend the well-known Hilbert's syzygy theorem to the Gorenstein homological dimensions of rings. Also, we study the Gorenstein homological dimensions of direct product of rings, which gives examples of non-Noetherian rings of finite Gorenstein dimensions and infinite classical weak dimension.

연구 동기 및 목표

• 다항식 환의 Gorenstein 호모로지 차원으로 힐베르트의 시지지 정리를 일반화한다.
• 직접곱에 의한 환의 Gorenstein 전반 및 약한 차원의 행동을 조사한다.
• 유한한 Gorenstein 약한 차원과 무한한 고전적 약한 차원을 가진 비노에터리안 환을 구성한다.
• 노에터리안 설정을 초월한 Gorenstein 차원 이론의 이해를 정교화하는 예를 제공한다.

제안 방법

• 강력한 Gorenstein 프로젝티브 및 플랫 모듈을 사용하여 Gorenstein 프로젝티브 및 플랫 차원을 특성화한다.
• 프로젝티브 또는 임베딩 모듈을 포함하는 정확한 수열을 통해 Gorenstein 차원을 특성화한다.
• 직접곱의 구조를 활용하여 비노에터리안 환의 설정에서 Gorenstein 차원을 분석한다.
• 특히 [3, Chapter VI, Exercise 10]을 활용하여 일관된 환과 플랫 차원에 관한 기존 결과를 활용한다.
• 제품 환의 Gorenstein 약한 차원이 그 성분들의 Gorenstein 약한 차원의 상한임을 이용한다.
• 모든 환 R에 대해 G-PD(R) = G-ID(R)임을 이용하여 Gorenstein 프로젝티브/임베딩 차원 간의 대칭성을 적용한다.

실험 결과

연구 질문

• RQ1 힐베르트의 시지지 정리는 다항식 환에서 Gorenstein 전반 및 약한 차원으로까지 확장 가능한가?
• RQ2 환의 직접곱은 유한한 Gorenstein 약한 차원과 무한한 고전적 약한 차원을 가진 비노에터리안 예제를 생성할 수 있는가?
• RQ3 환의 Gorenstein 전반 차원과 그 다항식 확장의 Gorenstein 전반 차원 사이의 정확한 관계는 무엇인가?
• RQ4 Gorenstein 차원은 환의 유한한 직접곱에서 어떻게 행동하는가?
• RQ5 유한한 Gorenstein 약한 차원과 무한한 고전적 약한 차원을 갖는 비노에터리안 환의 가족을 구성할 수 있는가?

주요 결과

• 다항식 환 R[X₁,…,Xₙ]의 Gorenstein 전반 차원은 정확히 G-gldim(R) + n과 같다.
• 유한한 환의 직접곱의 Gorenstein 약한 차원은 성분들의 Gorenstein 약한 차원의 상한과 같다.
• 유한한 Gorenstein 약한 차원과 무한한 고전적 약한 차원을 가진 비노에터리안 일관된 환이 존재한다.
• 그러나 비히어레디티브이지만 히어레디티브가 아닌 환 S에 대해, 환 R × S[X₁,…,Xₙ]는 G-gldim > n+1 및 wdims = ∞를 만족하지만 G-wdim = n+1이다.
• 이러한 환의 구성은 비히어레디티브 환들이 안정적으로 일관되며, 그 다항식 확장도 일관됨을 보장함에 기반한다.
• 논문은 만약 G-gldim(R × S[X₁,…,Xₙ]) ≤ n+1이면 S는 히어레디티브여야 하며, 이는 S가 비히어레디티브라는 가정과 모순됨을 증명한다.