[논문 리뷰] On the structure of finitely generated modules and the unmixed degrees

Nguyen Tu Cuong, Phạm Hùng Quý|arXiv (Cornell University)|2016. 12. 22.

Commutative Algebra and Its Applications참고 문헌 18인용 수 8

한 줄 요약

이 논문은 국소 코hen-맥컬레이 링의 몫에 대한 유한 생성 모듈러에 대해, 국소 코hom로지 모듈의 분해를 활용하여 새로운 불변량인 '균일도 degree'를 도입한다. $p$-표준 매개변수 체계를 사용하고, 균일도 성분을 통해 코hen-맥컬레이성의 이탈을 분석함으로써, 바스콘세로스의 개념을 일반화하는 새로운 확장 degree를 구성한다. 이는 확장 degree의 공리계를 만족하며, 코hen-맥컬레이성의 이탈을 측정하는 호모로지적 측도가 된다.

ABSTRACT

Let $(R, \frak m)$ be a homomorphic image of a Cohen-Macaulay local ring and $M$ a finitely generated $R$-module. We use the splitting of local cohomology to shed a new light on the structure of non-Cohen-Macaulay modules. Namely, we show that every finitely generated $R$-module $M$ is associated by a sequence of invariant modules. This modules sequence expresses the deviation of $M$ with the Cohen-Macaulay property. This result generalizes the unmixed theorem of Cohen-Macaulayness for any finitely generated $R$-module. As an application we construct a new extended degree in sense of Vasconcelos.

연구 동기 및 목표

• 코헨-맥컬레이 국소 링의 환형 상사 위의 비코헨-맥컬레이 모듈의 구조를 이해하는 것.
• 코헨-맥컬레이성의 균일도 정리가 임의의 유한 생성 모듈러로 일반화되는가를 밝히는 것.
• 균일도 성분과 국소 코호몰로지를 이용해 바스콘세로스의 의미에서 새로운 확장 degree를 구성하는 것.
• 코헨-맥컬레이성의 이탈을 측정하는 호모로지 불변량인 균일도 degree를 수립하는 것.

제안 방법

• 매개변수 수열에서의 관계의 소거자를 제어하기 위해 $p$-표준 매개변수 체계를 사용하는 것.
• 매개변수 원소에 대한 모듈의 국소 코호몰로지 정확수열의 분해를 적용하는 것.
• 국소 코호몰로지 모듈의 균일도 성분의 차원을 통해 균일도 degree를 정의하는 것.
• 코헨-맥컬레이성의 이탈을 표현하기 위해 코헨-맥컬레이 이탈 수열이라 불리는 모듈 수열을 구성하는 것.
• 특정 조건을 만족하는 $x \in \mathfrak{b}(M)^3$ 와 $i < d - \dim R/I - 1$ 에 대해, 분해 동형사상 $H^i_I(M/xM) \cong H^i_I(M) \oplus H^{i+1}_I(M/U_M(0))$ 를 증명하는 것.
• 균일도 degree가 유한 생성 $R$-모듈의 범주에서 확장 degree의 공리계를 만족하는지 검증하는 것.

실험 결과

연구 질문

• RQ1 국소 코호몰로지와 균일도 성분을 통해 비코헨-맥컬레이 모듈의 구조를 체계적으로 기술할 수 있는가?
• RQ2 바스콘세로스의 개념을 일반화하고 코헨-맥컬레이성의 실패를 측정하는 잘 정의된 확장 degree가 존재하는가?
• RQ3 순차적 코헨-맥컬레이 모듈의 경우, 균일도 degree는 호모로지 degree와 산술 degree와 어떻게 비교되는가?
• RQ4 일부 소거자 조건을 만족하는 매개변수 원소의 선택에 대해 균일도 degree가 불변인가?
• RQ5 균일도 degree는 매개변수 원소에 대한 연속적 몫을 통해 재귀적으로 계산될 수 있는가?

주요 결과

• 정리 5.18에 의해, 임의의 $\mathfrak{m}$-초위의 이상 $I$ 에 대해, 균일도 degree $\mathrm{udeg}(I,M)$ 는 유한 생성 $R$-모듈의 범주에서 확장 degree가 된다.
• 골레인스타인 링 위의 순차적 코헨-맥컬레이 모듈에 대해 $\mathrm{udeg}(I,M) = \mathrm{adeg}(I,M) = \mathrm{deg}(I,M) + \sum_{i=0}^{d-1} \mathrm{deg}(\mathrm{Ext}^{n-i}_S(M,S))$ 를 만족하며, 이는 산술 degree와 정확한 연결 고리를 형성한다.
• 정리 5.16에 의해, $\mathrm{udeg}(I,M/xM) \leq \mathrm{udeg}(I,M)$ 를 만족하며, $x$ 가 $H^0_\mathfrak{m}(M')$ 과 $H^1_\mathfrak{m}(M'/U_{M'}(0))$ 을 소거할 경우 등호가 성립한다. 여기서 $M' = M/(x_3,\ldots,x_d)M$ 이다.
• 예제 5.20에서 $\mathrm{deg}(R) = 1 < \mathrm{udeg}(R) = 2 < \mathrm{hdeg}(R) = 3$ 를 얻으며, 이는 각도 사이의 엄밀한 부등식을 보여준다.
• 예제 5.21에서 $\mathrm{udeg}(R) = 4$ 이고 $\mathrm{hdeg}(R) = 5$ 이므로, 이 경우 $\mathrm{udeg}(I,M) \leq \mathrm{hdeg}(I,M)$ 가 성립함을 확인한다.
• 논문은 Question 1에서 제기한 바와 같이, 모든 유한 생성 $R$-모듈과 $\mathfrak{m}$-초위 이상 $I$ 에 대해 $\mathrm{udeg}(I,M) \leq \mathrm{hdeg}(I,M)$ 가 항상 성립하는지 여부는 열려있다.