[논문 리뷰] Asymptotic cohomological functions of toric divisors

Milena Hering, Alex Küronya외 1명|ArXiv.org|2005. 01. 07.

Algebraic Geometry and Number Theory참고 문헌 4인용 수 5

한 줄 요약

이 논문은 토릭 다발의 점 渐近적 코homology 함수—다발의 배수의 코homology 군의 성장률을 측정하는 함수—가 실 Néron-Severi 군의 유한한 다면체 카메라 분할에 대해 연속적이고 조각다항식임을 증명한다. 주요 기여는 $T$-Cartier 다발의 자기교차수를 초평면 배치에서 유한한 영역의 체적을 이용해 표현하는 공식이며, 토릭 설정에서 Serre 퇠퇴의 점 渐近적 역을 증명한다.

ABSTRACT

We study functions on the class group of a toric variety measuring the rates of growth of the cohomology groups of multiples of divisors. We show that these functions are piecewise polynomial with respect to finite polyhedral chamber decompositions. As applications, we express the self-intersection number of a T-Cartier divisor as a linear combination of the volumes of the bounded regions in the corresponding hyperplane arrangement and prove an asymptotic converse to Serre vanishing.

연구 동기 및 목표

• 토릭 다발 $D$에 대해 $m \to \infty$일 때 코homology 군 $H^i(X, \mathcal{O}(mD))$의 점 渐近적 행동을 연구한다.
• 높은 차수의 점 渐近적 코homology 함수 $\widehat{h}^i(D)$가 실 Néron-Severi 공간 $A_{n-1}(X)_{\mathbb{R}}$에서 연속적이고 조각다항식임을 확립한다.
• $D$로 정의된 초평면 배열의 유한한 영역의 체적을 이용해 $T$-Cartier 다발의 자기교차수 $(D^n)$에 대한 조합론적 공식을 제공한다.
• 토릭 설정에서 Serre 퇠퇴의 점 渐近적 역을 증명하여, 큰 $m$에 대해 모든 $i > 0$에 대해 $H^i(X, \mathcal{O}(mD)) = 0$이면 $D$가 수치적으로 양성임을 보인다.

제안 방법

• Eisenbud, Mustaţǎ, Stillman의 국소 코hom로 계산을 활용하여, $M_{\mathbb{R}}$에서 부분집합 $I \subset \Delta(1)$에 의해 인덱싱된 다면체 영역에서 $H^i(X, \mathcal{O}(D))_u$의 차수들이 일정함을 보인다.
• 영역 $P_{D,I} = \{ u \in M_{\mathbb{R}} : \langle u, v_\rho \rangle \geq -d_\rho \text{ iff } \rho \in I \}$를 정의하며, 이는 $mD$에 따라 확대된다.
• 이 영역에서 $h^i(mD)$의 조각적 일정성 적용을 통해 극한 $\widehat{h}^i(D) = \lim_{m \to \infty} \frac{h^i(mD)}{m^n / n!}$의 존재를 증명한다.
• Gelfand-Kapranov-Zelevinsky (GKZ) 분할을 사용하여, 다각형 $P_D$의 조합론적 유형이 일정한 유한한 유리 다각형 카메라로 효과적 원뿔을 분할한다.
• Euler 특성과 격자점 수를 연결하는 공식 $\chi(\mathcal{O}(D)) = (-1)^n \sum_{P_{D,I} \text{ bounded}} \chi(\Delta_I) \cdot (\# P_{D,I} \cap M)$을 도출한다.
• 자기교차수 $(D^n)$이 유한한 영역인 $P_{D,I}$에 대해 $\chi(\Delta_I) \cdot \mathrm{vol}(P_{D,I})$의 합과 같음을 증명하며, $\chi(\Delta_I)$는 팬 $\Delta_I$의 Euler 특성이다.

실험 결과

연구 질문

• RQ1 토릭 다양체의 Néron-Severi 공간에서 높은 차수의 점 渐近적 코homology 함수 $\widehat{h}^i(D)$는 연속적이고 조각다항식인가?
• RQ2 $T$-Cartier 다발의 자기교차수 $(D^n)$은 초평면 배열의 유한한 영역의 조합론적 불변량의 합으로 표현될 수 있는가?
• RQ3 모든 $i > 0$ 및 큰 $m$에 대해 $H^i(X, \mathcal{O}(mD)) = 0$이면 $D$는 수치적으로 양성인가?
• RQ4 효과적 원뿔의 GKZ 분할은 체적 및 코homological 함수의 카메라 구조와 어떻게 관련되는가?

주요 결과

• 점 渐近적 코homology 함수 $\widehat{h}^i(D)$는 극한으로 존재하며, $A_{n-1}(X)_{\mathbb{R}}$의 유한한 다각형 카메라 분할에 대해 연속적이고 조각다항식이다.
• 체적 함수 $\mathrm{vol}(D) = \widehat{h}^0(D)$는 서로 다른 GKZ 카메라에서 서로 다른 다항식 표현을 가지며, 서로 다른 카메라에서 $n$차 도함수가 다르다.
• $T$-Cartier 다발의 자기교차수 $(D^n)$은 $\sum_{P_{D,I} \text{ bounded}} \chi(\Delta_I) \cdot \mathrm{vol}(P_{D,I})$와 같다. 여기서 $\chi(\Delta_I)$는 팬 $\Delta_I$의 Euler 특성이다.
• Euler 특성 $\chi(\mathcal{O}(D))$는 $(-1)^n \sum_{P_{D,I} \text{ bounded}} \chi(\Delta_I) \cdot (\# P_{D,I} \cap M)$으로 계산되며, 이는 위상수학적 및 조합론적 불변량을 연결한다.
• 체적 함수는 각각의 GKZ 카메라에서 다항식이며, 분할은 유한하고 유리 다각형이며, 카메라들은 Mori 및 GIT 카메라에 대응한다.
• Serre 퇠퇴의 점 渐近적 역이 성립한다: 만약 모든 $i > 0$ 및 모든 $m \gg 0$에 대해 $H^i(X, \mathcal{O}(mD)) = 0$이면, $D$는 수치적으로 양성이며 $\widehat{h}^0(D) = (D^n)$이다.