[논문 리뷰] A non-Archimedean approach to K-stability

Sébastien Boucksom, Mattias Jönsson|arXiv (Cornell University)|2018. 05. 28.

Geometry and complex manifolds참고 문헌 60인용 수 46

한 줄 요약

본 논문은 비아키메데니안 기하학과 psh 메트릭스를 이용하여 K-stability를 연구하고, adjoint K-stability가 adjoint Ding stability와 동등하다는 것을 증명하며, 점근적 Fubini–Study 프레임워크를 개발한다.

ABSTRACT

We study K-stability properties of a smooth Fano variety X using non-Archimedean geometry, specifically the Berkovich analytification of X with respect to the trivial absolute value on the ground field. More precisely, we view K-semistability and uniform K-stability as conditions on the space of plurisubharmonic (psh) metrics on the anticanonical bundle of X. Using the non-Archimedean Calabi-Yau theorem and the Legendre transform, this allows us to give a new proof that K-stability is equivalent to Ding stability. By choosing suitable psh metrics, we also recover the valuative criterion of K-stability by Fujita and Li. Finally, we study the asymptotic Fubini-Study operator, which associates a psh metric to any graded filtration (or norm) on the anticanonical ring. Our results hold for arbitrary smooth polarized varieties, and suitable adjoint/twisted notions of K-stability and Ding stability. They do not rely on the Minimal Model Program.

연구 동기 및 목표

• K-stability 문제를 anticanonical bundle의 비아키메데니안 plurisubharmonic 메트릭스로 표현하고 형식화하는 것을 동기로 삼고 제시한다.
• 매끄러운 다항사 Variety 위의 임의의 ample L에 대해 adjoint K-stability와 adjoint Ding stability의 등가를 확립한다.
• graded norms/filtrations를 psh 메트릭스와 연결하는 asymptotic Fubini–Study 연산자를 통해 프레임워크를 개발한다.
• 비아키메데니안 불변량인 log discrepancy와 energy와 같은 지표들을 활용하여 adjoint K-stability에 대한 가치 평가 기준을 제공한다.
• asymptotic Fubini–Study 연산자의 범위와 주입성, 그리고 이것이 filtrations 및 limit measures와 어떤 관계를 갖는지 탐구한다.

제안 방법

• K-stability 개념을 비아키메데니안 설정에서 Monge–Ampère energy와 Mabuchi/Ding functionals로 표현한다.
• 비아키메데니안 Calabi–Yau theorem을 이용해 Legendre 변환을 통해 functional들을 연결한다.
• graded norms를 psh 메트릭스에 연결하는 asymptotic Fubini–Study 연산자를 정의하고 분석한다.
• psh metric의 supremum graded norm를 구성해 일방적 역을 보이고 FS 맵이 메트릭스를 회복하는지 보인다.
• adjoint stability 개념과 그것의 Ding 대응물 간의 등가를 energy/entropy 비교를 통해 증명한다.
• X^val의 valuation x와 그에 대응하는 energies S(x)와 A(x)를 살펴보며 valuative criterion를 개발한다.

실험 결과

연구 질문

• RQ1 adjoint K-stability가 매끄러운 다항사 Variety 위의 임의의 ample L에 대해 adjoint Ding stability로 등가적으로 특징지어질 수 있는가?
• RQ2 비아키메데니안 psh 메트릭스, Calabi–Yau theorem, Legendre transform이 Mabuchi/Ent 및 E*/L functionals를 어떻게 연결하는가?
• RQ3 asymptotic Fubini–Study 연산자의 범위는 어디이며 언제 psh 메트릭스가 그 이미지에 속하는가?
• RQ4 section ring 위의 graded norms/filtrations가 psh 메트릭스와 어떻게 대응되며 K-stability 기준에 어떤 영향을 미치는가?
• RQ5 adjoint K-stability에 대한 valuative 기준을 log discrepancies A(x)와 energies S(x)로 형식화할 수 있는가?

주요 결과

• L은 adjoint 의미에서 K-semistable하면 adjoint 의미에서 Ding-semistable하다.
• L은 adjoint 의미에서 uniformly K-stable하면 adjoint 의미에서 uniformly Ding-stable하다.
• psh metric이 asymptotic Fubini–Study 연산자의 이미지에 속하려면 아래에서 정규화될 수 있다.
• 두 개의 경계가 있는 graded norms는 같은 FS metric을 유도하며, d1의 구체적 거리가 주어진다.
• valuative criteria는 adjoint stability에 대한 K-semistability, A(x)≥S(x), divisorial valuations 조건들 간의 등가를 보인다.
• uniform adjoint stability의 경우 nonpluripolar valuations에서 A(x)≥(1+ε)S(x)인 것이 Mad(φx)의 양성성에 대해 동등하다.