[논문 리뷰] Homological flat dimensions

Parviz Sahandi, Tirdad Sharif외 1명|ArXiv.org|2007. 09. 26.

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

한 줄 요약

이 논문은 Noether 국소환 위의 임의의 모듈러스에 대한 호모로지적 불변량으로 완전교차 평탄성 차원(CIfd)과 Cohen-Macaulay 평탄성 차원(CMfd)을 도입하며, 이는 이전에 유한생성 모듈러스에 대해서만 정의되었던 고전적 개념을 초월하여 일반화한다. 이는 Rfd ≤ CMfd ≤ Gfd ≤ CIfd ≤ fd의 정교한 계층을 확립하며, 유한한 값 이전까지의 등식을 보장하고, 등차수 0인 링에 대해 평탄성 차원의 교차정리 버전을 증명한다.

ABSTRACT

For finitely generated module $M$ over a local ring $R$, the conventional notions of complete intersection dimension $\cid_R M$ and Cohen-Macaulay dimension $\cmdim_R M$ do not extend to cover the case of infinitely generated modules. In this paper we introduce similar invariants for not necessarily finitely generated modules, (namely, complete intersection flat and Cohen-Macaulay flat dimensions) which for finitely generated modules, coincide with the corresponding classical ones.

연구 동기 및 목표

• 기존에 유한생성 모듈러스에 대해서만 정의되었던 고전적 호모로지 차원—특히 평탄성, Gorenstein 평탄성, 제한 평탄성 차원—을 Noether 국소환 위의 임의의 모듈러스로 확장한다.
• 특히 완전교차 및 Cohen-Macaulay 평탄성 차원에 대해 무한생성 모듈러스를 다루지 못하는 기존 이론의 격차를 메운다.
• 기존의 평탄성 차원 개념을 정교화하는 일관된 평탄성 차원의 계층을 확립한다.
• 등차수 0인 링에 대해 평탄성 차원의 교차정리에 해당하는 결과를 증명하며, 차원, 깊이, 호모로지적 평탄성 차원 간의 연관성을 규명한다.
• 특히 유한환형사상과 국소화 하에서의 기저변환 성질과 쌍대성 조건을 조사한다.

제안 방법

• 완전교차 평탄성 차원(CIfd)과 Cohen-Macaulay 평탄성 차원(CMfd)을 평탄 모듈러스의 해상과 인젝티브 모듈러스와의 텐서곱에서의 정확성 조건을 통해 정의한다.
• 상한형 버전인 CM∗fd와 G∗fd를 도입하며, 이는 Ext의 영성 조건을 통해 정의되고 표준 평탄성 차원의 쌍대 개념이다.
• 제한 평탄성 차원(Rfd)을 기초 불변량으로 사용하며, 유한 평탄성 차원을 가진 모듈러스에서 Tor의 비영성 조건을 통해 정의한다.
• Rfd ≤ CMfd ≤ Gfd ≤ CIfd ≤ fd의 부등식 사슬을 확립하며, 유한한 값 이전까지는 등식이 성립함을 보인다.
• 국소화, 깊이 비교, Ext의 영성 조건과 같은 호모로지 대수 기법을 활용하여 이러한 차원의 행동을 분석한다.
• Gruson-Raynaud 및 Jensen의 평탄 모듈러스의 유한 프로젝티브 차원에 관한 결과를 활용하여, 새로운 불변량의 유한성 행동을 정당화한다.

실험 결과

연구 질문

• RQ1 완전교차 및 Cohen-Macaulay 평탄성 차원은 비유한생성 모듈러스로 어떻게 일반화될 수 있는가?
• RQ2 새로운 평탄성 차원(CIfd, CMfd)과 Rfd, Gfd, fd 등의 기존 불변량 간의 관계는 무엇인가?
• RQ3 등차수 0인 링에 대해 평탄성 차원의 교차정리가 성립하는가?
• RQ4 H ∈ {CI, G∗, CM∗, CM}일 때, Hfd(M) + depth(M) = depth(R)가 성립하는 조건은 무엇인가?
• RQ5 특히 유한환형사상 R → R/(x₁,…,xₙ)을 따라 기저변환 시 이러한 새로운 차원은 어떻게 행동하는가?

주요 결과

• 모든 R-모듈러스 M에 대해 Rfd_R(M) ≤ CMfd_R(M) ≤ Gfd_R(M) ≤ CIfd_R(M) ≤ fd_R(M)의 부등식 사슬이 성립하며, 유한한 값 이전까지는 등식이 성립한다.
• 정리 A는 Gfd_R(M) ≤ CIfd_R(M)임을 보이며, CIfd_R(M)가 유한할 경우 등식이 성립함을 보여, CIfd가 Gfd의 엄밀한 정교화임을 증명한다.
• 등차수 0인 링에 대해 평탄성 차원의 교차정리가 성립한다: H ∈ {CI, G∗, CM∗}이면 dim R ≤ dim_R M + Hfd_R(M)이다.
• Cohen-Macaulay 링에서 Hfd_R(M) + depth_R(M) = depth_R가 성립하는 것은 모든 𝔭 ∈ Supp(M)에 대해 depth_R(M) ≤ grade(𝔭, M) + dim R/𝔭임과 동치이며, 기존의 쌍대성 결과를 일반화한다.
• 정리 8.2는 Rfd_R(M) + depth_R(M) = depth_R이면 모든 소수 𝔭에 대해 depth_R(M) ≤ grade(𝔭, M) + dim R/𝔭임을 보이며, Cohen-Macaulay 링에서는 역도 성립함을 보여준다.
• 보조정리 8.3은 모든 유한 깊이를 가진 모듈러스 M에 대해 Rfd_R(M) + depth_R(M) = depth_R이 성립할 조건이 Cohen-Macaulay 링임을 특성화하며, Christensen, Foxby, 및 Frankild의 결과를 확장한다.