[논문 리뷰] A Note on Auslander Bounds

Jiaqun Wei|arXiv (Cornell University)|2008. 02. 08.

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

한 줄 요약

이 논문은 아르틴 대수 R 위의 모듈러 M에 대해, 모든 충분히 큰 i에 대해 Ext^i_R(M, M ⊕ R)가 0이면, M의 프로젝티브 차원이 lAb|modRM와 같음을 증명한다. 이는 modR 내의 모든 모듈에 대해 Ext의 근본적인 상한이 되는 lAb|modRM과 일치한다. 이 결과는 아우살러-레인컨저추어를 지지하며, 만약 모든 M에 대해 lAb|modRM가 유한하면, R에 대해 와카마츠-틸팅 및 아우살러-레인컨저추어가 성립함을 시사한다.

ABSTRACT

Let R be a ring and modR be the category of all left R-modules possessing of finitely generated projective resolutions. Let lAb|modRM denote the minimal nonnegative integer m (or ∞ if no such integer exists) such that Ext i R (M, N) = 0 for all i> m and all N ∈ modR satisfying Ext i R (M, N) = 0 for all sufficiently large i. Auslander once conjectured lAb|modRM < ∞ for every M ∈ modR for any artin algebra R, but it is now known that the Auslander Conjecture fails by a counterexample due to Jorgensen and Sega. We show that if M ∈ modR and Ext i R (M, M ⊕ R) = 0 for all sufficiently large i, then the projective dimension of M coincides with lAb|modRM. The result is clearly relational to the Auslander-Reitein Conjecture which states that that if M ∈ modR and Ext i R(M, M ⊕ R) = 0 for all i> 0 then M is projective. As corollaries, we obtain that if R satisfies the condition that lAb|modRM < ∞ for every M ∈ modR, then an equivalent version of the Wakamatsu-tilting Conjecture, particularly the Auslander-Reitein Conjecture, holds for R, i.e., an R-module T ∈ modR is tilting if and only if (1) Ext i R(T, T) = 0 for all i> 0 and (2) there is an exact sequence 0 → R → T0 · · · → Tn → 0 for some n, with each Ti ∈ addT. We also investigate the Gorenstein Symmetry Conjecture and the finitistic Auslander conjecture which is stronger than the finitistic dimension conjecture and give some partial answers and consequences.

연구 동기 및 목표

• 큰 i에 대해 Ext^i_R(M, M ⊕ R)의 근본성과 lAb|modRM의 유한성 사이의 관계를 조사하는 것.
• lAb|modRM가 유한해지는 조건과 아우살러-레인컨저추어와의 관계를 규명하는 것.
• lAb|modRM가 유한할 경우 와카마츠-틸팅 컨저추어 및 관련 호모로지 컨저추어에 미치는 영향을 탐색하는 것.
• 골레인스타인 대칭 컨저추어와 유한한 피니티스티쿠스 아우살러 컨저추어에 대한 부분적인 해답을 제공하는 것.

제안 방법

• lAb|modRM를 modR 내의 모든 N에 대해 Ext^i_R(M, N) = 0이 되는 최소의 음이 아닌 정수 m로 정의한다. 이때, 모든 i > m에 대해 Ext^i_R(M, N) = 0이 되며, 큰 i에 대해 Ext^i_R(M, N) = 0이 되는 조건을 만족한다.
• 모든 충분히 큰 i에 대해 Ext^i_R(M, M ⊕ R) = 0이라는 조건을 이용하여 pd(M) = lAb|modRM임을 증명한다.
• modR 내의 정확한 수열과 틸팅 모듈 이론을 적용하여, 틸팅 조건과 Ext 군의 근본성 사이의 동치성을 분석한다.
• lAb|modRM가 유한하면 R에 대해 와카마츠-틸팅 컨저추어가 성립함을 보여, 이에 따른 함의를 확립한다.
• 프로젝티브 분해와 Ext 근본성과 같은 호모로지 대수 기법을 사용하여 골레인스타인 대칭 컨저추어에 대한 유도 결과를 도출한다.
• lAb|modRM 프레임워크를 사용하여, 피니티스티쿠스 아우살러 컨저추어를 더 강력한 형태의 피니티스티쿠스 차원 컨저추어로 간주하고, 이를 조사한다.

실험 결과

연구 질문

• RQ1 모듈 M의 프로젝티브 차원이 lAb|modRM와 같아지는 조건은 무엇인가?
• RQ2 큰 i에 대해 Ext^i_R(M, M ⊕ R)가 0이 되는 것이 lAb|modRM의 유한성과 어떤 관련이 있는가?
• RQ3 모든 M ∈ modR에 대해 lAb|modRM < ∞이면, 와카마츠-틸팅 컨저추어 및 아우살러-레인컨저추어에 어떤 함의가 있는가?
• RQ4 lAb|modRM 프레임워크를 사용하여 골레인스타인 대칭 컨저추어를 부분적으로 해결할 수 있는가?
• RQ5 lAb|modRM의 유한성은 모든 모듈에 대해 어떻게 작용하며, 이는 피니티스티쿠스 아우살러 컨저추어와 어떤 관련이 있는가?

주요 결과

• 모든 충분히 큰 i에 대해 Ext^i_R(M, M ⊕ R) = 0이면, M의 프로젝티브 차원은 lAb|modRM와 같다.
• 모든 M ∈ modR에 대해 lAb|modRM가 유한하면, R에 대해 와카마츠-틸팅 컨저추어가 성립한다.
• 동일한 유한성 조건 하에서, 아우살러-레인컨저추어는 Ext의 근본성과 유한한 프로젝티브 분해를 통한 표준적인 틸팅 모듈의 특성과 동치이다.
• 논문은 lAb|modRM 프레임워크를 통해 골레인스타인 대칭 컨저추어에 대한 부분적인 지지를 제공한다.
• 피니티스티쿠스 아우살러 컨저추어는 modR 내의 모든 모듈에 대해 lAb|modRM의 균일한 유한성과 관련이 있음이 입증된다.
• 이 결과는 모듈의 프로젝티브성과 틸팅 행동에 대한 새로운 호모로지 기준을 제공한다.