[논문 리뷰] Convex bodies and algebraic equations on affine varieties

Kiumars Kaveh, Askold Khovanskiĭ|ArXiv.org|2008. 04. 25.

Commutative Algebra and Its Applications참고 문헌 11인용 수 46

한 줄 요약

이 논문은 애매한 다양체 위의 정칙 함수 부분공간에 관련된 볼록체—뉴턴 볼록체라 불리는—를 도입함으로써 대수기하학과 볼록기하학 사이의 깊은 연결 고리를 설정한다. 평가 이론과 힐베르트의 정리들을 사용하여, 이 볼록체의 부피를 n!으로 스케일링하면 부분공간의 자기교차지표와 일치함을 증명함으로써, 대수적 교차수의 기하적 해석을 제공하고, 아르고노프-펜첼 및 브룬-민코프스키 부등식과 같은 고전 결과에 대한 새로운이고 간단한 증명을 이끌어낸다.

ABSTRACT

Given an affine variety X and a finite dimensional vector space of regular functions L on X, we associate a convex body to (X, L) such that its volume is responsible for the number of solutions of a generic system of functions from L. This is a far reaching generalization of usual theory of Newton polytopes (which is concerned with toric varieties). As applications we give new, simple and transparent proofs of some well-known theorems in both algebraic geometry (e.g. Hodge Index Theorem) and convex geometry (e.g. Alexandrov-Fenchel inequality). Our main tools are classical Hilbert theory on degree of subvarieties of a projective space (in algebraic geometry) and Brunn-Minkowski inequality (in convex geometric).

연구 동기 및 목표

• 정칙 함수 부분공간의 세미군을 사용하여 (준)아핀 다양체에 대한 교차이론을 개발하기 위해.
• 대수적 교차지표와 볼록체의 혼합부피 사이의 대응관계를 설정하기 위해.
• 볼록기하학을 통해 정칙 함수 부분공간의 자기교차지표에 대한 기하적 해석을 제공하기 위해.
• 대수기하학 및 볼록기하학의 고전 정리들, 예를 들어 호지 지수 정리와 쿠슈니레냐코프-버니스타인 정리에 대한 새로운이고 간단한 증명을 제공하기 위해.
• SAGBI 기저를 일반화하고, 그 존재성이 다양체가 토릭 다양체로 분해된다는 것을 보여주기 위해.

제안 방법

• 아핀 다양체 X 위의 정칙 함수의 유한차원 부분공간들의 세미군 K(X)를 정의하고, 점별 곱셈을 통해 곱 연산을 부여한다.
• 각 Lᵢ에서의 일반적인 절단의 공통 영점 수로 정의된 교차지수 [L₁,…,Lₙ]를 정의하며, 기약 n차원 다양체에 대해 잘 정의되어 있음을 증명한다.
• 각 부분공간 L ∈ K(X)에 대해 ℤⁿ-값 평가를 통해 ℤ×ℤⁿ에 포함된 계량 세미군 G(L)를 정의하고, G(L)의 생성하는 볼록뿔의 폐포와 초평면의 교차로 뉴턴 볼록체를 구성한다.
• 프로젝티브 다양체의 차수에 관한 힐베르트의 정리를 사용하여 dim(Lᵏ)의 증가율과 뉴턴 볼록체의 부피를 연결한다.
• 뉴턴 볼록체의 부피를 n!으로 스케일링하면 부분공간 L의 자기교차지수 [L,…,L]와 일치함을 증명한다.
• 뉴턴 볼록체에 브룬-민코프스키 및 아르고노프-펜첼 부등식을 적용하여 대수적 유사체를 도출하고 기하 부등식을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 정칙 함수 부분공간의 세미군을 사용하여 아핀 다양체 위의 교차이론을 체계화할 수 있는가?
• RQ2 아핀 다양체 위의 정칙 함수 부분공간의 자기교차지표의 정확한 기하적 의미는 무엇인가?
• RQ3 브룬-민코프스키 및 아르고노프-펜첼과 같은 볼록기하학의 고전 부등식들이 함수 부분공간에 관련된 볼록체를 통해 대수기하학으로부터 유도될 수 있는가?
• RQ4 정칙 함수의 계량 대수에서 SAGBI 기저가 존재하는 조건은 무엇이며, 이는 토릭 다양체로의 분해와 어떻게 관련되는가?
• RQ5 뉴턴 볼록체 구성은 고전적 뉴턴 다면체를 어떻게 일반화하고, 버니스타인-쿠슈니레냐코프 정리를 포함한 기존 결과를 어떻게 회복하는가?

주요 결과

• 부분공간 L ∈ K(X)에 관련된 뉴턴 볼록체의 부피에 n!을 곱한 값은 자기교차지수 [L,…,L]와 일치하며, 이는 대수기하학과 볼록기하학 사이의 직접적인 연결 고리를 설정한다.
• n차원 아핀 다양체 위에서의 교차지수 [L₁,…,Lₙ]는 ℝⁿ 내 n개의 볼록체의 혼합부피와 유사한 성질을 가진다.
• 표면에서 교차지수의 대수적 구조를 통해 곡선의 경우로의 축소를 통해 아르고노프-펜첼 부등식이 혼합부피에 대해 증명된다.
• 논문은 고정된 뉴턴 다면체를 가진 일반적인 방정식계의 해의 개수에 관한 쿠슈니레냐코프-버니스타인 정리에 대해 새로운이고 간단한 증명을 제공한다.
• 평가뿔이 다각형이고 v(R)가 그 안의 모든 정수점들을 포함한다면 R는 SAGBI 기저를 가짐을 보이며, 이는 다양체가 토릭 다양체로 분해됨을 의미한다.
• 곡선 X와 점 a ∈ X에 대해, 뉴턴 선분 Δ(G(L))의 길이는 (μₐ deg L)/d 와 같다. 여기서 μₐ는 평가에 의해 생성된 세미군의 지표이고 d는 Φₗ의 지도의 차수이다.