[논문 리뷰] Integrable systems, toric degenerations and Okounkov bodies

Megumi Harada, Kiumars Kaveh|arXiv (Cornell University)|2012. 05. 23.

Algebraic Geometry and Number Theory참고 문헌 25인용 수 8

한 줄 요약

이 논문은 토릭 분열과 뉴턴-오쿠누코프 몰입체를 이용하여 매끄러운 복소 프로젝티브 다양체 위에 완전히 통합 가능한 체계를 구축한다. 다양체에서 특수 섬유로의 심플렉틱 동형사상과 기울기-해밀턴 흐름, 르자이셰치 유형 부등식을 활용함으로써, 열린 밀도 부분집합에서 해밀턴 토르스 작용을 유도하는 연속적이고 푸아송-교환되는 함수들을 도출하며, 이들의 순간 맵 영역은 정확히 뉴턴-오쿠누코프 몰입체가 된다.

ABSTRACT

Let X be a smooth complex projective variety of dimension n equipped with a very ample Hermitian line bundle L. In the first part of the paper, we show that if there exists a toric degeneration of X satisfying some natural hypotheses (which are satisfied in many settings), then there exists a completely integrable system on X in the sense of symplectic geometry. More precisely, we construct a collection of real-valued functions H_1, ... H_n on X which are continuous on all of X, smooth on an open dense subset U of X, and pairwise Poisson-commute on U. Moreover, we show that in many cases, we can construct the integrable system so that the functions H_1, ..., H_n generate a Hamiltonian torus action on U. In the second part, we show that the toric degenerations arising in the theory of Newton-Okounkov bodies satisfy all the hypotheses of the first part of the paper. In this case the image of the "moment map" μ= (H_1, ..., H_n): X to R^n is precisely the Okounkov body Δ= Δ(R, v) associated to the homogeneous coordinate ring R of X, and an appropriate choice of a valuation v on R. Our main technical tools come from algebraic geometry, differential (Kaehler) geometry, and analysis. Specifically, we use the gradient-Hamiltonian vector field, and a subtle generalization of the famous Lojasiewicz gradient inequality for real-valued analytic functions. Since our construction is valid for a large class of projective varieties X, this manuscript provides a rich source of new examples of integrable systems. We discuss concrete examples, including elliptic curves, flag varieties of arbitrary connected complex reductive groups, spherical varieties, and weight varieties.

연구 동기 및 목표

• 매끄러운 복소 프로젝티브 다양체 위에 토릭 분열을 이용한 통합 가능한 체계의 일반적 구축법을 수립하는 것.
• 이러한 통합 가능한 체계가 동차 좌표환의 값매기기로부터 유도되는 뉴턴-오쿠누코프 몰입체를 통해 자연스럽게 유도됨을 보여주는 것.
• 제시된 체계의 순간 맵 영역이 주어진 값매기기와 관련된 뉴턴-오쿠누코프 몰입체와 정확히 일치함을 증명하는 것.
• 구축된 통합 가능한 체계가 다양체의 열린 밀도 부분집합에서 해밀턴 토르스 작용을 생성함을 보여주는 것.
• 넓은 범위의 새로운 통합 가능한 체계 예시를 통해 심플렉틱 기하학, 대수기하학, 표현 이론을 통합하는 것.

제안 방법

• 매끄러운 프로젝티브 다양체 $X$ 를 토릭 다양체 $X_0$ 로의 토릭 분열을 사용하며, 자연스러운 기하학적 및 분석적 조건을 가정한다.
• 열린 밀도 부분집합 $U$ 에서 $X$ 와 $X_0$ 사이의 연속적인 심플렉틱 동형사상을 구성하여 심플렉틱 구조를 유지한다.
• 기울기-해밀턴 벡터장과 일반화된 르자이셰치 기울기 부등식을 적용하여 흐름의 연속성과 미분 가능성 보장.
• $X$ 위에 정의된 실수값 함수 $H_1, \dots, H_n$ 을 구성하며, 이들은 $U$ 에서 미분 가능하고, 푸아송-교환되며, 함수적으로 독립적이다.
• 순간 맵 $\mu = (H_1, \dots, H_n)$ 은 적절한 값매기기 $v$ 에 대해 뉴턴-오쿠누코프 몰입체 $\Delta(R,v)$ 를 이미지로 갖는다.
• GIT 및 심플렉틱 몫 구성 기법을 적용하여 체계를 플래그 다양체, 구면 다양체, 무게 다양체와 연결한다.

실험 결과

연구 질문

• RQ1 매끄러운 프로젝티브 다양체 위에 적절한 기하학적 및 분석적 조건을 갖춘 토릭 분열을 사용하여 완전히 통합 가능한 체계를 구성할 수 있는가?
• RQ2 이러한 체계의 순간 맵 영역이 동차 좌표환의 값매기기로부터 유도된 뉴턴-오쿠누코프 몰입체와 일치하는가?
• RQ3 구축된 통합 가능한 체계가 다양체의 열린 밀도 부분집합에서 해밀턴 토르스 작용을 생성함을 입증할 수 있는가?
• RQ4 이러한 구성은 플래그 다양체 및 무게 다양체와 같은 고전적 대수기하학 다양체로 어떻게 일반화되는가?
• RQ5 르자이셰치 기울기 부등식은 통합 가능한 체계의 연속성과 미분 가능성 보장에 어떤 역할을 하는가?

주요 결과

• 논문은 매끄러운 프로젝티브 다양체 $X$ 위에 완전히 통합 가능한 체계 $\{H_1, \dots, H_n\}$ 을 구성하며, 이들은 $X$ 에서 연속적이고, 열린 밀도 부분집합 $U$ 에서 미분 가능하며, 상호 푸아송-교환된다.
• 이 체계는 $U$ 에서 해밀턴 토르스 작용을 생성하며, 순간 맵 $\mu = (H_1, \dots, H_n)$ 은 $X$ 를 뉴턴-오쿠누코프 몰입체 $\Delta(R,v)$ 로 사상한다.
• 플래그 다양체 $X = \mathrm{GL}(n,\mathbb{C})/B$ 에서는 순간 맵 영역이 스트링 폴리토프 $\Delta_{\underline{w}_0}(\lambda)$ 와 일치하며, 표현 이론에서 알려진 결과와 일致한다.
• 무게 다양체 $X_{\lambda,\gamma}$ 에서는 순간 맵 영역이 잘린 스트링 폴리토프 $\Delta_{\underline{w}_0}(\lambda,\gamma) = \Delta_{\underline{w}_0}(\lambda) \cap \pi_\lambda^{-1}(\gamma)$ 이다.
• 구성은 GIT 및 심플렉틱 몫과 가환하며, $X_\lambda$, $X_{\lambda,\gamma}$ 와 그들의 순간 맵을 포함하는 가환 다이어그램으로 보여진다.
• 이 방법은 넓이 있게 적용 가능하여 타원곡선, 구면 다양체, 기타 복소 대수기하학 다양체 위에 새로운 통합 가능한 체계를 도출한다.