[논문 리뷰] Newton-Okounkov bodies, semigroups of integral points, graded algebras and intersection theory

Kiumars Kaveh, Askold Khovanskiĭ|arXiv (Cornell University)|2009. 04. 21.

Polynomial and algebraic computation참고 문헌 20인용 수 53

한 줄 요약

이 논문은 뉴턴 다면체의 일반화로 뉴턴-오쿠누코프 체를 소개하며, 정수점의 모노이드, 순차 대수, 그리고 교차 이론을 연결한다. 이는 일반화된 알렉산드로프-펜헬 부등식과 새로운 형태의 호지 지수 정리의 증명을 통해 대수기하학과 볼록기하학 사이의 깊은 연결 고리를 확립하며, 클래식한 결과들인 버네스타인-쿠슈니레코 정리와 브룬-민코프스키 유형의 부등식들을 다양체 위의 임의의 선형 계열로 확장한다.

ABSTRACT

Generalizing the notion of Newton polytope, we define the Newton-Okounkov body, respectively, for semigroups of integral points, graded algebras, and linear series on varieties. We prove that any semigroup in the lattice Z^n is asymptotically approximated by the semigroup of all the points in a sublattice and lying in a convex cone. Applying this we obtain several results: we show that for a large class of graded algebras, the Hilbert functions have polynomial growth and their growth coefficients satisfy a Brunn-Minkowski type inequality. We prove analogues of Fujita approximation theorem for semigroups of integral points and graded algebras, which imply a generalization of this theorem for arbitrary linear series. Applications to intersection theory include a far-reaching generalization of the Kushnirenko theorem (from Newton polytope theory) and a new version of the Hodge inequality. We also give elementary proofs of the Alexandrov-Fenchel inequality in convex geometry and its analogue in algebraic geometry.

연구 동기 및 목표

• 가환대수기하학에서의 임의의 선형 계열에 대해 평가 이론을 사용하여 뉴턴 다면체의 구성 방법을 일반화하는 것.
• 정수점의 모노이드와 볼록기하학 사이의 다리를 쌓기 위해 유리 체인으로의 점근적 근사화를 통한 Z^n 내의 서브격자에 의한 점근적 근사화 방법을 제시하는 것.
• 클래식한 교차이론 결과들—예를 들어 버네스타인-쿠슈니레코 정리와 호지 지수 정리—을 완전한 다양체와 카르티에 다발을 초월하여 임의의 순차 대수와 선형 계량으로 일반화하는 것.
• 알렉산드로프-펜헬 부등식의 대수적 동치를 증명하고, 이를 통해 일반화된 브룬-민코프스키 부등식을 유도하는 것.
• 기하학적 및 대수적 근사화 기법을 사용하여 클래식한 알렉산드로프-펜헬 부등식과 그 대수적 동치에 대한 간단한 증명을 제공하는 것.

제안 방법

• 정수점의 모노이드에 대한 평가를 사용하여 Z^n 내에서의 정규화 과정을 통해 뉴턴-오쿠누코프 체를 정의하는 것.
• Z^n 내의 임의의 모노이드가 볼록 체인 내의 서브격자에 의해 점근적으로 근사 가능하다는 것을 증명하여 체적 기반 점근적 분석을 가능하게 하는 것.
• 유리 함수 부분공간의 코hen-그로텐디크 군 위에서 교차 지수의 다중加성 성질을 이용하여 다발을 초월한 교차이론을 일반화하는 것.
• 버티니-레프셰츠 정리를 적용하여 고차원 다양체 위의 교차 지수를 저차원 부분다양체의 지수로 감소시키는 것.
• 표면로의 축소를 통해 표면 위의 호지 지수 정리를 적용하여 대수적 알렉산드로프-펜헬 부등식의 동치를 증명하는 것.
• 큰 부분공간의 모노이드 위에서 교차 지수 함수의 m제곱근의 볼록성 증명을 통해 일반화된 브룬-민코프스키 부등식을 확립하는 것.

실험 결과

연구 질문

• RQ1 가환대수기하학에서의 임의의 선형 계량에 대해 뉴턴 다면체 구성 방법을 어떻게 일반화할 수 있는가?
• RQ2 선형 계량과 관련된 순차 대수의 힐베르트 함수의 점근적 행동은 어떻게 되며, 다항식 성장과 브룬-민코프스키 유형의 부등식을 만족하는가?
• RQ3 클래식한 알렉산드로프-펜헬 부등식이 볼록기하학에서 뉴턴-오쿠누코프 체 구성 방법을 통해 대수기하학으로 유도될 수 있는가?
• RQ4 선형 계량의 교차 지수는 완전한 다양체와 카르티에 다발을 초월하여 어느 정도 일반화될 수 있는가?
• RQ5 큰 부분공간 위의 교차 지수 함수는 브룬-민코프스키 부등식과 유사한 볼록성 성질을 만족하는가?

주요 결과

• 뉴턴-오쿠누코프 체 구성은 뉴턴 다면체를 일반화하며, 순차 대수와 선형 계량의 점근적 행동을 위한 볼록기하학적 모델을 제공한다.
• 선형 계량과 관련된 임의의 순차 대수의 힐베르트 함수는 다항식 성장을 보이며, 그 주계수는 브룬-민코프스키 유형의 부등식을 만족한다.
• 알렉산드로프-펜헬 부등식의 대수적 동치가 성립한다: 큰 부분공간 $L_1, \dots, L_n$에 대해 부등식 $[L_1,L_1,L_3,\dots,L_n][L_2,L_2,L_3,\dots,L_n] \leq [L_1,L_2,L_3,\dots,L_n]^2$ 이 증명된다.
• 일반화된 브룬-민코프스키 부등식이 확립된다: 함수 $F(L) = [m*L, L_{m+1}, \dots, L_n]^{1/m}$ 는 큰 부분공간의 모노이드 위에서 볼록성을 가진다.
• 클래식한 알렉산드로프-펜헬 부등식은 유리 다각형으로의 근사화를 통해 대수적 동치의 극한으로 복원된다.
• 기하학적 및 대수적 근사화 기법을 사용하여 클래식한 알렉산드로프-펜헬 부등식과 그 대수적 동치에 대한 간단한 증명이 제시된다. 이는 표면으로의 축소와 호지 지수 정리를 통한 증명 기반으로 한다.