[논문 리뷰] A Homological dimension related to AB rings

Tokuji Araya|arXiv (Cornell University)|2012. 04. 20.

Algebraic structures and combinatorial models참고 문헌 12인용 수 3

한 줄 요약

이 논문은 AB 링—Auslander 조건을 만족하는 Gorenstein 링—과 밀접하게 연결된 새로운 호모로지 불변량인 AB-차원을 도입한다. AB-차원이 깊이 공식을 만족하고 CI-차원과 G-차원 사이에 놓이며, 유한한 AB-차원을 가진 모듈에 대해서는 Auslander-Reiten 추측이 성립함을 보여준다. 주요 기여는 M이 유한한 AB-차원을 가지며 Ext^{>0}(M,M)=0을 만족할 경우 M이 자유 모듈임을 증명하는 것이다.

ABSTRACT

There are many homological dimensions which are closely related to ring theoretic properties. The notion of a AB ring has been introduced by Huneke and Jorgensen. It has nice homological properties. In this paper, we shall define a homological dimension which is closely related to a AB ring, and investigate its properties.

연구 동기 및 목표

• AB 링의 구조적 성질을 반영하는 새로운 호모로지 차원인 AB-차원을 정의하기.
• AB-차원과 기존의 호모로지 차원(예: CI-차원, G-차원) 간의 관계를 조사하기.
• AB-차원이 유한해지는 조건을 확립하고, 모듈 이론적 성질을 통해 AB 링을 특성화하기.
• AB-차원이 유한하고 Ext^{>0}(M,M)=0을 만족하는 모듈이 자유임을 증명함으로써, Auslander-Reiten 추측의 특수한 경우를 지지하기.

제안 방법

• AB-차원은 G-차원과 P_R(M)의 상한으로 정의되며, 여기서 P_R(M) = sup{P_R(M,N) | N ∈ M^⊥}이다.
• 논문은 최소 자유 해체와 싸이지 모듈을 사용하여 Ext 모듈의 행동을 분석하고 P_R(M,N)을 정의한다.
• Cohen-Macaulay 근사와 완전 반사적 모듈의 성질을 적용하여 AB-차원을 깊이와 G-차원과 연결한다.
• Ext의 소멸과 깊이 공식에 관한 보조정리를 사용하여, AB-차원이 깊이 공식을 만족함을 증명한다: AB-dim_R(M) = depth R - depth M (유한할 경우).
• 정리 1.3의 증명은 모순을 이용한다: M이 자유가 아니라고 가정하면, Ext^1(M,ΩM)이 0이 아님을 도출하며, 이는 주어진 조건 하에서 P_R(M,ΩM)=0와 모순된다.
• 논문은 비-Cohen-Macaulay 링 위에서 주기적 모듈을 사용하여 반례를 구성함으로써, 엄격한 부등식 AB-dim > G-dim 가 발생할 수 있음을 보였다.

실험 결과

연구 질문

• RQ1 주어진 모듈에 대해, 교환 가능 노에테르 국소 링 위에서 AB-차원이 언제 유한한가?
• RQ2 AB-차원이 호모로지 차원 사슬에서 CI-차원과 G-차원과 어떻게 관련되어 있는가?
• RQ3 확장에 대해 닫혀 있고 유한한 AB-차원을 가진 모듈 클래스에 대해 AB 링은 무엇으로 특성화되는가?
• RQ4 Ext^{>0}(M,M)=0 조건이 유한한 AB-차원을 가진 모듈에 대해 자유성을 암시하는가?
• RQ5 AB-차원을 사용하여 Auslander-Reiten 추측을 검증하거나 확장할 수 있는가?

주요 결과

• AB-차원은 깊이 공식을 만족한다: AB-dim_R(M) < ∞ 이면, AB-dim_R(M) = depth R - depth M 이다.
• 모든 모듈 M에 대해 CI-dim_R(M) ≥ AB-dim_R(M) ≥ G-dim_R(M) 이며, 이는 호모로지 차원 계층에서 새로운 위치를 확립한다.
• R-모듈 M이 유한한 AB-차원을 가지며 Ext^{>0}_R(M,M)=0을 만족할 경우, M은 자유 모듈이다. 이는 Auslander-Reiten 추측의 특수한 경우를 확인한다.
• 무한한 AB-차원을 가지지만 유한한 G-차원을 가진 모듈가 존재하므로, AB-차원은 G-차원보다 엄격히 더 강력하다.
• R이 완비 교차구조일 경우, R는 AB 링이며, 모든 모듈이 유한한 AB-차원을 가진다. 이는 Gorenstein 링에 대한 기존 결과를 일반화한다.
• 유한한 AB-차원을 가진 모듈의 집합이 확장에 대해 닫혀 있을 조건은 R가 Gorenstein이면서 모든 유한 길이 모듈에 대해 AB-차원이 유한할 때에 한하여 성립한다.