[논문 리뷰] Vanishing of Ext and Tor over Cohen-Macaulay local rings

Craig Huneke, Liana M. Şega외 1명|arXiv (Cornell University)|2014. 09. 03.

Commutative Algebra and Its Applications참고 문헌 12인용 수 3

한 줄 요약

이 논문은 ${\mathfrak{m}}^3 = 0$인 교환적 아르틴 국소 환에 대해 올스랜더-레이텐 추측을 증명한다. 즉, $\operatorname{Ext}^i_R(M, M \oplus R) = 0$이 네 번 연속으로 성립하는 $i \geq 2$에 대해 $M$가 자유임을 보이며, 이는 $\mathfrak{m}^3 = 0$인 고파르시안 환의 경우 $\operatorname{Ext}^i_R(M,M)$가 한 번의 $i > 0$에 대해 0이면 $M$가 자유임을 보여주며, 이를 통해 $\mathfrak{m}^3$의 영멸성과 연관된 Ext 모듈의 영성에 필요한 횟수의 경계를 제시한다. 또한, Poincaré 급수와 쌍대성을 통한 분석을 통해 결과를 도출하며, 이는 저유형 환에서 타치카와 추측에 대한 함의를 가진다.

ABSTRACT

We consider vanishing of Ext and Tor, especially over Artinian rings. In particular, we prove the Auslander-Reiten conjecture for all commutative local rings in which the cube of the maximal ideal is zero.

연구 동기 및 목표

• 교환적 아르틴 국소 환에서 $\mathfrak{m}^3 = 0$이고, $\operatorname{Ext}^i_R(M, M \oplus R) = 0$이 네 번 연속으로 성립하는 $i \geq 2$일 때 $M$가 자유임을 증명하는 것.
• Gorenstein 환으로 결과를 확장하여, $\operatorname{Ext}^i_R(M,M) = 0$이 한 번의 $i > 0$에 대해 성립하면 $M$가 자유임을 보이는 것.
• $\mathfrak{m}^2M = 0$일 때, $\nu(M)$와 $\nu(\mathfrak{m}M)$에 따라 자유성에 필요한 영성 Ext 모듈의 수에 효과적인 경계를 설정하는 것.
• Tor의 영성과 최대 아이디얼의 멱영성 사이의 관계를 조사하며, $\mathfrak{m}^pM = \mathfrak{m}^qN = 0$이면서 $\operatorname{Tor}_i^R(M,N) = 0$이 모든 $i > 0$에 대해 성립하면 $\mathfrak{m}^{p+q-1} = 0$임을 추측하는 것.
• 형식이 2 이하인 코hen-맥올레이 환에 대해 타치카와 추측을 증명하여, $\operatorname{Tor}_2^R(\omega,\omega) = 0$ 또는 $\operatorname{Ext}^i_R(\omega,R) = 0$가 $i=1,2$일 때 $R$가 고파르시안임을 보이는 것.

제안 방법

• Matlis 쌍대성을 사용하여 $\operatorname{Ext}^i_R(M,N)$의 영성 조건을 $\operatorname{Tor}_i^R(M,N)$의 영성 조건으로 변환함으로써, Tor 모듈을 통한 호모로지 분석이 가능하도록 하는 것.
• Poincaré 급수와 Hilbert 급수를 활용하여, $\mathfrak{m}^3 = 0$ 또는 $\mathfrak{m}^2M = 0$일 때 $R$-모듈의 구조를 분석하는 것.
• $\operatorname{Ext}_R^*(k,k)$의 Yoneda 곱셈 구조를 활용하여, 특정 Tor 모듈의 영성 조건이 $k$-대수 $\operatorname{Ext}_R^*(k,k)$가 차수 1에서 생성됨을 의미함을 보이며, 이는 $R$가 Koszul임을 유도하는 것.
• 외적 거듭제곱 $\Lambda^n_R(\varphi)$와 유도된 사상 $\varphi \otimes_R \varphi$를 사용하여, 특히 $R^2$를 포함하는 짧은 정규열에서 싸지의 랭크와 구조를 분석하는 것.
• Nakayama의 보조정리와 계수의 가역성을 활용하여, $\operatorname{Tor}_2^R(M,M) = 0$이면서 $M$가 충실한 경우 모듈 $N$이 순환임을 보이며, 이는 $R$가 고파르시안이 아닐 경우 모순을 유도하는 것.
• 심지어의 치환과 쌍대성을 통해 타치카와 추측을 $\mathfrak{m}^3 = 0$의 경우로 환원하고, 저형식 환에서 정규화 모듈 $\omega$를 분석하는 것.

실험 결과

연구 질문

• RQ1 교환적 아르틴 국소 환에서 $\mathfrak{m}^3 = 0$이고, $\operatorname{Ext}^i_R(M, M \oplus R)$가 네 번 연속으로 $i \geq 2$에 대해 0이면, $M$은 자유인가?
• RQ2 만약 $R$가 고파르시안이고 $\operatorname{Ext}^i_R(M,M) = 0$이 어떤 $i > 0$에 대해 성립하면, $M$은 반드시 자유인가?
• RQ3 $\mathfrak{m}^2M = 0$일 때, $\nu(M)$와 $\nu(\mathfrak{m}M)$에 따라 $\operatorname{Ext}^i_R(M, M \oplus R)$의 영성 모듈 수를 경계로 설정할 수 있는가?
• RQ4 만약 $\operatorname{Tor}_i^R(M,N) = 0$이 모든 $i > 0$에 대해 성립하고 $\mathfrak{m}^pM = \mathfrak{m}^qN = 0$이면, $\mathfrak{m}^{p+q-1} = 0$이 성립하는가?
• RQ5 형식이 2 이하인 코hen-맥올레이 국소 환에 대해 타치카와 추측이 성립하는가? 즉, $\operatorname{Tor}_2^R(\omega,\omega) = 0$이면 $R$는 고파르시안인가?

주요 결과

• 교환적 아르틴 국소 환에서 $\mathfrak{m}^3 = 0$이면, $\operatorname{Ext}^i_R(M, M \oplus R) = 0$이 네 번 연속으로 성립하는 $i \geq 2$에 대해 $M$는 자유이다.
• 만약 $R$가 고파르시안이고 $\operatorname{Ext}^i_R(M,M) = 0$이 어떤 $i > 0$에 대해 성립하면, $M$는 자유이며, 이는 히쇼노의 결과를 교환적 환으로 확장한 것이다.
• $\mathfrak{m}^2M = 0$일 때, $\operatorname{Ext}^i_R(M, M \oplus R)$가 $0 < i \leq \max\{3, \nu(M), \nu(\mathfrak{m}M)\}$인 모든 $i$에 대해 영이면 $M$는 자유이다.
• 표준적 등급 환의 경우, $\operatorname{Tor}_i^R(M,N) = 0$이 모든 $i > 0$에 대해 성립하고 $\mathfrak{m}^pM = \mathfrak{m}^qN = 0$이면 $\mathfrak{m}^{p+q-1} = 0$임을 추측하는 것은 증명되었다.
• 형식이 2 이하인 코hen-맥올레이 국소 환에 대해 $\operatorname{Tor}_2^R(\omega,\omega) = 0$이면 $R$는 고파르시안이며, $\operatorname{Ext}^i_R(\omega,R) = 0$이 $i=1,2$일 때도 $R$가 고파르시안임을 보여준다.
• $\operatorname{Tor}_i^R(k, \mu_{\mathfrak{m}})$가 모든 $i$에 대해 영이면 $\operatorname{Ext}_R^*(k,k)$는 차수 1에서 생성되며, 따라서 $R$는 Koszul이 되고, 이에 따라 $\mathfrak{m}^3 = 0$이 성립한다.