[논문 리뷰] Betti Numbers of Graded Modules and Cohomology of Vector Bundles

David Eisenbud, Frank–Olaf Schreyer|ArXiv.org|2007. 12. 11.

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

한 줄 요약

이 논문은 Boij-Söderberg 추측의 강화된 형태를 증명하며, 다항식 환 위의 모든 유한생성 중등부분환영 모듈의 베티 표가 코hen-맥컬레이 모듈의 순수 분해의 베티 표의 양유리선형 조합임을 보여준다. 또한 프로젝티브 공간 위의 벡터(bundle)의 코homology 표가 순수 벡터(bundle)의 코homology 표의 양유리선형 조합임을 증명하며, 벡터(bundle)의 기울기 상한을 새롭게 유도하고 훤케-스리니바산의 다중도 추측을 증명한다.

ABSTRACT

Mats Boij and Jonas Soederberg (math.AC/0611081) have conjectured that the Betti table of a Cohen-Macaulay module over a polynomial ring can be decomposed in a certain way as a positive linear combination of Betti tables of modules with pure resolutions. We prove, over any field, a strengthened form of their conjecture. Applications include a proof of the Multiplicity Conjecture of Huneke and Srinivasan and a proof of the convexity of a fan naturally associated to the Young lattice. We also characterize the rational cone of all cohomology tables of vector bundles on projective spaces in terms of the cohomology tables of "supernatural" bundles. This characterization is dual, in a certain sense, to our characterization of Betti tables.

연구 동기 및 목표

• 코헨-맥컬레이 모듈의 베티 표와 프로젝티브 공간 위의 벡터(bundle)의 코homology 표를 극단적 대상들을 통해 특성화하기 위해.
• 베티 표의 구조를 이용하여 훤케-스리니바산의 다중도 추측을 증명하기 위해.
• 모든 벡터(bundle)의 코homology 표가 순수 벡터(bundle)의 코homology 표의 유리선형 조합임을 확립하기 위해.
• 순수 분해와 순수 벡터(bundle)를 이용하여 베티 표와 코homology 표의 유리선형 콩의 지지 초평면을 정의하기 위해.
• 벡터(bundle)의 코homology 자료로부터 그 기울기의 새로운 상한을 도출하기 위해.

제안 방법

• 주어진 차수 순서열을 가진 순수 분해의 베티 표를 특성화하기 위해 허츠그-쿨 방정식을 사용한다.
• 순수 벡터(bundle) 이론을 적용하여 코homology 표를 극단적 표의 유리선형 조합으로 분해한다.
• 순수 자유 분해를 통해 함수형을 구성하여 베티 표 콩의 지지 초평면을 정의한다.
• 모나드와 코homological vanishing을 활용하여 순수 벡터(bundle) 위에서 함수형의 양성과 소멸을 검증한다.
• 귀납법과 초평면으로의 제한을 통해 벡터(bundle)의 힐버트 다항식과 기울기 불변량을 분석한다.
• 루트 순서열과 차수 순서열의 구조를 이용하여 베티 표와 코homology 표의 유리선형 콩 내의 극단적 반직선을 정의한다.

실험 결과

연구 질문

• RQ1 모든 유한생성 중등부분환영 모듈의 베티 표는 코헨-맥컬레이 모듈의 순수 분해의 베티 표의 양유리선형 조합으로 표현될 수 있는가?
• RQ2 프로젝티브 공간 위의 모든 벡터(bundle)의 코homology 표는 순수 벡터(bundle)의 코homology 표의 유리선형 조합인가?
• RQ3 코헨-맥컬레이 모듈의 베티 표의 유리선형 콩의 극단적 반직선은 무엇인가?
• RQ4 벡터(bundle)의 코homology 표는 어떻게 그 기울기와 기타 불변량을 유 bounds할 수 있는가?
• RQ5 순수 벡터(bundle)의 루트 순서열과 베티 표 콩의 지지 초평면 사이의 정확한 관계는 무엇인가?

주요 결과

• 길이가 $ c \neq n $ 인 모든 순수 베티 표는 주어진 차수 순서열을 가진 코헨-맥컬레이 모듈의 순수 분해의 베티 표의 유리수 배이다.
• 코심플리시티 $ c $ 인 모든 코헨-맥컬레이 모듈의 베티 표는 차수 순서열이 사슬을 이루는 순수 분해의 베티 표들의 유일한 양유리선형 조합이다.
• 훤헤-스리니바산의 다중도 추측이 증명된다: 코헨-맥컬레이 대수 $ M = S/I $ 의 다중도 $ e(M) $ 는 $ \frac{1}{c!} \prod_i \min\{j \mid \beta_{i,j} \neq 0\} \leq e(M) \leq \frac{1}{c!} \prod_i \max\{j \mid \beta_{i,j} \neq 0\} $ 를 만족한다.
• $ \mathbb{P}^{n-1} $ 위의 모든 벡터(bundle)의 코homology 표는 순수 벡터(bundle)의 코homology 표의 양유리선형 조합이다.
• 벡터(bundle) $ {\cal E} $ 의 기울기 $ \mu({\cal E}) $ 는 $ \frac{1}{m} \sum_{i=1}^m r_i({\cal E}) \leq -\mu({\cal E}) \leq \frac{1}{m} \sum_{i=1}^m R_i({\cal E}) $ 를 만족한다. 여기서 $ r_i, R_i $ 는 힐버트 다항식의 루트에 대한 하한과 상한이다.
• 베티 표 콩의 지지 초평면은 순수 분해 $ F $ 에서 유래한 함수형 $ \langle F, - \rangle_{c,\tau} $ 에 의해 정의되며, 이러한 함수형은 특정 범위 외부의 루트 순서열을 가진 순수 벡터(bundle)에서 0이 된다.