[논문 리뷰] Cohomological Degrees, Dilworth Numbers and Linear Resolution

Tor Gunston|arXiv (Cornell University)|2010. 08. 22.

Commutative Algebra and Its ApplicationsMathematics참고 문헌 38인용 수 20

한 줄 요약

이 논문은 Noether 국소환에서 모듈의 복잡도를 측정하기 위해 코homological degree와 호모로지적 Dilworth 수를 일반화된 불변량으로 도입하며, Cohen-Macaulay 케이스를 초월해 모듈의 생성자 수에 대한 고전적 결과를 확장한다. 선형 해상에서 생성자 수는 극단적 코homological degree와 일치하며, 이는 고전적 경계를 일반화하고 코homological degree를 Castelnuovo-Mumford regularity와 연결한다.

ABSTRACT

This thesis is a study of various ways of measuring the size and complexity of finitely generated modules over a Noetherian local ring. The classical example is the multiplicity or degree. Here we investigate several variants of the degree function: the homological Dilworth number, hdil, and the family of cohomological degrees, such as the homological degree hdeg, and the extremal cohomological degree, bdeg. Sally, Valla and others have established bounds for the number of generators of ideals (or modules) in terms of multiplicities and other numerical data, usually under the assumption that the ideal is Cohen-Macaulay. We use cohomological degrees and the homological Dilworth number in place of the classical degree to extend some of these results from the Cohen-Macaulay case to the non-Cohen-Macaulay case. We give particular attention to the following result: If M is Cohen-Macaulay, then the minimal number of generators is bounded by the multiplicity of M, with equality if and only if the associated graded ring has a linear resolution. We give extensions of this theorem to the non-Cohen-Macaulay case. Our results are strongest for the extremal cohomological degree, bdeg, and this provides an avenue for connecting cohomological degrees with Castelnuovo-Mumford regularity.

연구 동기 및 목표

• Cohen-Macaulay 케이스에서의 모듈 생성자 수에 대한 고전적 경계를 비-Cohen-Macaulay 모듈로 일반화한다.
• 다중도를 일반화하는 불변량인 코homological degree(극단적 코homological degree 및 호모로지적 degree 포함)를 정의하고 연구한다.
• 모듈 복잡도를 위한 고전적 Dilworth 수의 고차원 일반화인 호모로지적 Dilworth 수를 도입한다.
• 코homological degree와 호모로지적 Dilworth 수를 사용하여 선형 해상이 존재하는 조건을 확립한다.
• 특히 극단적 코homological degree를 통해 코homological degree와 Castelnuovo-Mumford regularity를 연결한다.

제안 방법

• 유한 생성 모듈에 실수를 할당하는 함수로서 코homological degree를 정의하며, 세 가지 공리(1) Cohen-Macaulay 모듈에서 다중도와 일치, (2) 일반적인 초평면 절단에서 엄격한 감소, (3) 제로번째 국소 코hom로의 가역성)를 만족시킨다.
• 고전적 Dilworth 수의 고차원 일반화인 호모로지적 Dilworth 수를 정의하며, 부분모듈들에 대한 최소 생성집합의 상한을 통해 정의한다.
• 선형 해상과 고전적 결과를 확장하는 주요 도구로 극단적 코homological degree bdeg(−)를 사용한다.
• 짧은 정확열 0 → M → M → M/xM → 0로부터 유도되는 장정확열을 사용하여 선형 해상의 막대 성분과 Betti 수를 분석한다.
• 행렬의 일차형식으로서의 관련된 군의 구조 grₘ(M)과 그 표현을 이용하여 생성자 수에 대한 경계를 유도한다.
• 특히 mΓₘ(M) = 0 조건을 활용하여 귀납법과 모듈 분해 기법을 적용하여 선형 해상이 존재하면 Dilworth 성질을 만족함을 증명한다.

실험 결과

연구 질문

• RQ1 Noether 국소환에서 유한 생성 모듈이 선형 해상을 갖는 조건은 무엇인가? 이는 고전적 Cohen-Macaulay 결과를 확장하는 것이다.
• RQ2 Cohen-Macaulay 모듈에 대해 성립하는 고전적 경계 ν(M) ≤ deg(M)를 코homological degree를 사용하여 비-Cohen-Macaulay 모듈로 어떻게 일반화할 수 있는가?
• RQ3 호모로지적 Dilworth 수는 선형 해상을 갖는 모듈을 특성화하는 데 어떤 역할을 하는가?
• RQ4 극단적 코homological degree는 Castelnuovo-Mumford regularity와 관련이 있으며, 관련된 군의 구조에 어떻게 영향을 미치는가?
• RQ5 mΓₘ(M) = 0 조건이 Dilworth 성질과 함께 결합될 때, 선형 해상이 존재하는 데 필수적이고 충분한 조건이 될 수 있는가?

주요 결과

• 차원 dim M ≤ 2인 모듈 M에 대해, mΓₘ(M) = 0 조건과 Dilworth 성질은 선형 해상의 존재와 동치이다.
• 선형 해상을 갖는 모듈 M의 생성자 수 ν(M)는 ν(M) = hdeg(M)를 만족하며, 여기서 hdeg(M)는 호모로지적 degree이다. 이 등식은 정확히 grₘ(M)이 선형 해상을 갖는 경우에 성립한다.
• 극단적 코homological degree bdeg(M)는 bdeg(M) ∈ {e, e+1, ..., 2e}를 만족하며, 이 범위 내 모든 값이 실현 가능하다. 여기서 e = deg(M).
• M ≅ grₘ(M), dim M ≤ 2, M이 선형 Buchsbaum일 경우, 길이 ℓ(M_{d−1})는 e/(d−1)로 유계이다. 여기서 e = deg(M).
• 호모로지적 Dilworth 수 hdil(M)는 hdil(M) = e + dil(M₁)를 만족하며, 여기서 e = deg(M), M₁는 M의 첫 번째 계수 성분이다. 이 등식은 선형 해상을 갖는 모듈에 대해 ν(M) = hdil(M)임을 증명하는 데 사용된다.
• 모든 유한 생성 모듈에 대해 ν(M) ≤ bdeg(M)가 성립하며, 등식은 정확히 grₘ(M)이 선형 해상을 갖는 경우에 성립한다. 이는 고전적 Cohen-Macaulay 케이스를 일반화한다.