[논문 리뷰] Mixed volume and an extension of intersection theory of divisors

Kiumars Kaveh, Askold Khovanskiĭ|arXiv (Cornell University)|2008. 12. 02.

Polynomial and algebraic computation참고 문헌 12인용 수 3

한 줄 요약

이 논문은 n차원의 기약 다양체 X 위의 유리 함수의 유한차원 부분공간들에 대해 이분형 불변의 교차지수를 도입하며, 완전 다양체를 넘어서는 고전적 교차이론을 확장한다. 혼합 부피 이론과 유사한 교차지수를 정의하고, 이를 부분공간의 군의 그로텐디크 군으로 확장함으로써, 베르슈타인-쿠르니렌코 정리의 일반화와 히오지 유형 및 알렉산드로프-펜첼 유형 부등식과 같은 핵심 부등식을 증명하는 프레임워크를 수립한다.

ABSTRACT

Let K(X) be the collection of all non-zero finite dimensional subspaces of rational functions on an n-dimensional irreducible variety X. For any n-tuple L_1,..., L_n in K(X), we define an intersection index [L_1,..., L_n] as the number of solutions in X of a system of equations f_1 = ... = f_n = 0 where each f_i is a generic function from the space L_i. In counting the solutions, we neglect the solutions x at which all the functions in some space L_i vanish as well as the solutions at which at least one function from some subspace L_i has a pole. The collection K(X) is a commutative semigroup with respect to a natural multiplication. The intersection index [L_1,..., L_n] can be extended to the Grothendieck group of K(X). This gives an extension of the intersection theory of divisors. The extended theory is applicable even to non-complete varieties. We show that this intersection index enjoys all the main properties of the mixed volume of convex bodies. Our paper is inspired by the Bernstein-Kushnirenko theorem from the Newton polytope theory.

연구 동기 및 목표

• 토닉 다양체를 초월하여 임의의 기약 대수다양체로 베르슈타인-쿠르니렌코 정리를 일반화하기 위해.
• 다양체 X 위의 유리 함수 부분공간들에 대해 이분형 불변의 교차지수를 정의하기 위해.
• 이 교차지수를 유리 함수 부분공간의 세미군의 그로텐디크 군으로 확장하기 위해.
• 혼합 부피의 성질(예: 다중선형성, 대칭성, 알렉산드로프-펜첼 부등식)의 대체물이 대수기하학 내에서 어떻게 작용하는지 규명하기 위해.
• 이론을 카르티에 분할자와 연결하고, 정규 프로젝티브 다양체에서 특정 부분공간의 그로텐디크 군이 카르티에 분할자 군과 자연스럽게 동형임을 보여주기 위해.

제안 방법

• 일반적인 절단들 $f_i \in L_i$의 공통 영점의 수로 교차지수 $[L_1, \ldots, L_n]$를 정의하며, 모든 $f_i$가 동시에 영이거나 어떤 $f_i$가 극을 가진 점은 제외한다.
• 함수의 점별 곱셈에 의해 비영인 유한차원 부분공간들의 집합 $\mathbf{K}_{\text{rat}}(X)$에 아벨 세미군의 구조를 부여한다.
• 세미군 연산에 대한 다중선형성에 기반해, 교차지수를 $\mathbf{K}_{\text{rat}}(X)$의 그로텐디크 군으로 확장한다.
• 서브스페이스를 유리 사상과 연결하기 위해 $\Phi_L: X \dashrightarrow \mathbb{P}(L^*)$의 코다이라 사상 사용하고, 정규 코다이라 사상이 존재하는 부분세미군 $\mathbf{K}_{\text{Cart}}(X)$를 식별한다.
• 해소된 표면 위의 켈러 형식을 포함한 적분 공식과 히오지 이론을 적용하여 부등식을 도출하며, 표면에 대해 히오지 유형 부등식을 증명한다.
• 다양체의 분해상태 모델에서 히오지 지수 정리로 축소함으로써, 교차지수에 대해 알렉산드로프-펜첼 부등식을 증명한다.

실험 결과

연구 질문

• RQ1 베르슈타인-쿠르니렌코 정리는 토닉 다양체를 초월하여 임의의 기약 대수다양체로 일반화될 수 있는가?
• RQ2 이분형 동치에 대해 불변인 방식으로, 유리 함수 부분공간에 대한 교차지수는 어떻게 정의할 수 있는가?
• RQ3 교차지수의 배경이 되는 대수적 구조(예: 그로텐디크 군)는 무엇이며, 고전적 분할자 이론과 어떻게 관련되는가?
• RQ4 교차지수는 혼합 부피 이론의 부등식들(예: 알렉산드로프-펜첼 부등식)과 유사한 부등식을 만족하는가?
• RQ5 정규 프로젝티브 다양체에서 정규 코다이라 사상이 존재하는 부분공간과 카르티에 분할자 사이에 자연스러운 대응 관계가 존재하는가?

주요 결과

• 교차지수 $[L_1, \ldots, L_n]$는 잘 정의되어 있으며, 이분형 불변이며, $\mathbf{K}_{\text{rat}}(X)$의 그로텐디크 군으로 선형적으로 확장된다.
• 정규 프로젝티브 다양체에서, 정규 코다이라 사상이 존재하는 부분공간의 세미군 $\mathbf{K}_{\text{Cart}}(X)$의 그로텐디크 군은 다양체 $X$ 위의 카르티에 분할자 군과 자연스럽게 동형이다.
• 교차지수는 히오지 유형 부등식을 만족한다: 표면에 대해 $[L_1, L_2]^2 \geq [L_1, L_1][L_2, L_2]$.
• 해소된 모델에서 히오지 이론을 적용함으로써, 교차지수는 알렉산드로프-펜첼 부등식을 만족한다.
• 이론은 볼록체의 혼합 부피를 대수기하학으로 일반화하며, 교차지수는 혼합 부피의 성질을 모방한다.
• 교차지수의 적분 공식은 프로젝티브 공간 위의 켈러 형식의 역상에 기반하며, 대수기하학과 미분기하학을 연결한다.