[논문 리뷰] Necessary conditions for the depth formula over Cohen-Macaulay local rings

Hailong Dao, Olgur Celikbas|arXiv (Cornell University)|2010. 08. 16.

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

한 줄 요약

이 논문은 코hen-맥컬레이 국소환에서 깊이 공식이 성립하기 위한 필요조건을 확립한다. 유한한 완전교차차원과 낮은 높이의 국소화의 정규성 조건 하에서, 모든 토르 모듈의 소멸은 깊이 공식이 성립하기 위해 필수적이며 충분하다는 것을 보여준다. 핵심 결과로, 오스큘라의 정리가 완전교차에서로 확장되며, 형식적 멱급수환의 베론제 부분환에서 비자명한 반준완전 모듈러의 존재하지 않음을 증명한다.

ABSTRACT

Let $R$ be a Cohen-Macaulay local ring and let $M$ and $N$ be non-zero finitely generated $R$-modules. We investigate necessary conditions for the depth formula $\depth(M)+\depth(N)=\depth(R)+\depth(M\otimes_{R}N)$ to hold. We show that, under certain conditions, $M$ and $N$ satisfy the depth formula if and only if $\Tor_{i}^{R}(M,N)$ vanishes for all $i\geq 1$. We also examine the relationship between good depth of $M\otimes_RN$ and the vanishing of $\Ext$ modules, with various applications.

연구 동기 및 목표

• 코헨-맥컬레이 국소환에서 깊이 공식이 성립하기 위한 필요조건을 규명하기.
• 토르 및 익스텐션 모듈의 소멸과 텐서곱의 깊이 사이의 관계를 조사하기.
• 기존의 정규환에서의 깊이 공식 결과를 완전교차와 베론제 부분환으로 확장하기.
• 형식적 멱급수환의 베론제 부분환에서 비자명한 반준완전 모듈러의 존재하지 않음을 증명하기.
• 격리된 특이점 조건 하에서 익스텐션 소멸을 포함한 기준을 설정하여 깊이 공식이 성립함을 보장하기.

제안 방법

• 완전교차차원을 사용하여 잘 정의된 호모로지 성질을 갖는 모듈을 특성화하기.
• 코헨-맥컬레이 환에서 토르 모듈의 소멸을 응용하여 깊이 공식을 위한 필요조건을 도출하기.
• 베론제 부분환의 디바이저 클래스군 Cl(R)의 구조를 활용하여 반사적 모듈러와 그 텐서곱을 분석하기.
• canonical 모듈러를 통한 익스텐션 모듈과 텐서곱 간의 딜레마를 이용하여 소멸 조건 유도하기.
• 기호적 거듭제곱의 생성자 최소 개수에 대한 조합적 공식을 활용하여 비자명한 반사적 텐서곱의 존재를 배제하기.
• 격리된 특이점 조건이 성립하는 환에서의 유도된 깊이 공식과 최대 코헨-맥컬레이 모듈러의 성질을 응용하기.

실험 결과

연구 질문

• RQ1 코헨-맥컬레이 국소환에서 깊이 공식이 성립하기 위해 모든 i ≥ 1에 대해 Tor_i^R(M,N) = 0이 되는 것이 필요한 조건은 무엇인가?
• RQ2 격리된 특이점 조건을 갖는 환에서 익스텐션 모듈의 소멸은 텐서곱의 깊이와 어떻게 관련되는가?
• RQ3 최대 코헨-맥컬레이 모듈러를 갖는 완전교차환에서 깊이 공식은 익스텐션 소멸을 통해 특성화될 수 있는가?
• RQ4 형식적 멱급수환의 베론제 부분환의 디바이저 클래스군의 구조는 무엇이며, 이는 반준완전 모듈러에 어떤 제약을 가하는가?
• RQ5 n > 1일 때, k[[x1,…,xd]]^(n)의 베론제 부분환에서 비자명한 반준완전 모듈러가 존재하는가?

주요 결과

• 유한 생성 모듈 M과 N에 대해, 코헨-맥컬레이 국소환 R에서 깊이 공식이 성립하는 것은, M이 유한한 완전교차차원을 가지며, 모든 높이 ≤ edim(R) − depth(R)인 소수 p에 대해 R_p가 정규일 때, 모든 i ≥ 1에 대해 Tor_i^R(M,N) = 0이 되는 것과 동치이다.
• 격리된 특이점을 갖는 코헨-맥컬레이 국소환에서 최대 코헨-맥컬레이 모듈러에 대해, 깊이 공식이 성립하는 것은 모든 i = 1, ..., d에 대해 Ext^i_R(M, Hom_R(N, ω_R)) = 0이 되는 것과 동치이다.
• 베론제 부분환 R = k[[x1,…,xd]]^(n)은 비자명한 반준완전 모듈러를 갖지 않는다; R 위의 모든 반준완전 모듈러는 R 또는 그 캐논칼 모듈러 ω_R와 동형이다.
• R = k[[x1,…,xd]]^(n)의 클래스군에서 아이디얼 클래스 I와 J가 있고, I ⊗_R J가 반사적일 경우, I 또는 J 중 적어도 하나는 자유여야 한다.
• R = k[[x1,…,xd]]^(n)에서 클래스군 생성자 L의 i번째 기호적 거듭제곱의 생성자 최소 개수는 i = 1,…,n−1에 대해 μ(L^(i)) = (n + d − i − 1)! / (d − 1)! 으로 주어진다.
• 베론제 부분환의 클래스군에서 μ(I)μ(J) = μ(IJ)의 등식은 비자명한 반사적 텐서곱을 배제하기 위해 이차항의 항등식을 유도하며, 이는 매개변수가 열화되지 않는 한 I 또는 J 중 하나가 자명해야 함을 강제한다.