[논문 리뷰] Uniform K-stability, Duistermaat-Heckman measures and singularities of pairs

Sébastien Boucksom, Tomoyuki Hisamoto외 1명|arXiv (Cornell University)|2015. 04. 24.

Geometry and complex manifolds참고 문헌 87인용 수 196

한 줄 요약

이 논문은 테스트 구성과 메트릭을 이용한 비아르키메데스적 형식 체계를 수립하여 K-안정성에 대해 연구한다. 비아르키메데스적 Kähler 함수계수의 해석을 도입하고, Duistermaat-Heckman 측도를 테스트 구성과 연결하며, $L^p$-노름의 영함이 거의 자명함을 의미함을 증명한다. 이는 Y. Odaka의 균일 K-안정성과 쌍의 특이성에 관한 결과를 재증명하고 강화하여, 균일 K-안정성이 최소 모델 프로그램의 관점에서 특정한 특이성의 부재와 동치임을 보여준다.

ABSTRACT

The purpose of the present paper is to set up a formalism inspired from non-Archimedean geometry to study K-stability. We first provide a detailed analysis of Duistermaat-Heckman measures in the context of test configurations, characterizing in particular the trivial case. For any normal polarized variety (or, more generally, polarized pair in the sense of the Minimal Model Program), we introduce and study the non-Archimedean analogues of certain classical functionals in K\\"ahler geometry. These functionals are defined on the space of test configurations, and the Donaldson-Futaki invariant is in particular interpreted as the non-Archimedean version of the Mabuchi functional, up to an explicit error term. Finally, we study in detail the relation between uniform K-stability and singularities of pairs, reproving and strengthening Y. Odaka's results in our formalism. This provides various examples of uniformly K-stable varieties.

연구 동기 및 목표

• 테스트 구성과 메트릭을 이용한 K-안정성 연구를 위한 비아르키메데스적 형식 체계를 개발한다.
• Duistermaat-Heckman 측도를 통해 거의 자명한 테스트 구성의 특성을 규명하여, 정확히 Dirac 질량과 일치함을 증명한다.
• Donaldson-Futaki 불변량을 Mabuchi 함수계수의 비아르키메데스적 해석으로 간주하고, 명시적인 오차 항을 포함한 형태로 표현한다.
• 균일 K-안정성과 최소 모델 프로그램에서의 쌍의 특이성 간의 관계를 명확히 하여, Odaka의 결과를 재증명하고 강화한다.

제안 방법

• 테스트 구성에 의해 $L$의 Berkovich 해석적 확장 위에 비아르키메데스적 메트릭을 정의한다.
• 기본적인 Kähler 함수계수의 비아르키메데스적 해석을 도입하며, 이는 Mabuchi 함수계수를 포함한다.
• Duistermaat-Heckman 측도를 사용하여 테스트 구성의 $L^p$-노름을 계산하고, 그 점근적 무게 분포를 특성화한다.
• 등변 Riemann-Roch와 점근적 Riemann-Roch을 적용하여 무게 다중도의 다항식 전개를 유도한다.
• Duistermaat-Heckman 측도가 Dirac 질량이 되는 것은 테스트 구성이 거의 자명한 경우에 국한됨을 증명한다.
• 균일 K-안정성이 최소 모델 프로그램의 관점에서 특정한 특이성의 부재를 암시함을 확립한다.

실험 결과

연구 질문

• RQ1 언제 테스트 구성이 거의 자명한가? 이는 그의 Duistermaat-Heckman 측도로 어떻게 특성화될 수 있는가?
• RQ2 Donaldson-Futaki 불변량은 비아르키메데스적 Mabuchi 함수계수와 어떻게 관련이 있는가?
• RQ3 균일 K-안정성과 최소 모델 프로그램에서의 쌍의 특성 간의 정확한 관계는 무엇인가?
• RQ4 테스트 구성의 $L^p$-노름은 그의 Duistermaat-Heckman 측도로부터 계산될 수 있는가?
• RQ5 균일 K-안정성이 비종단 특이성의 부재를 암시하는가? 어떤 조건에서 성립하는가?

주요 결과

• 테스트 구성의 Duistermaat-Heckman 측도가 Dirac 질량이 되는 것은 구성이 거의 자명한 경우에 국한된다.
• 테스트 구성의 $L^p$-노름은 그의 Duistermaat-Heckman 측도에 의해 결정되며, 노름이 영이면 거의 자명함을 의미한다.
• Donaldson-Futaki 불변량은 $L^p$-노름을 포함한 명시적인 오차 항을 고려할 때 비아르키메데스적 Mabuchi 함수계수와 일치한다.
• 균일 K-안정성은 임의의 로그 팔로 쌍에 대해 $(X, ext{diff})$에서 비종단 특이성의 부재와 동치이다.
• 논문은 비아르키메데스적 형식 체계를 통해 쌍의 특이성을 분석함으로써 균일 K-안정인 다양체의 새로운 예를 제시한다.
• 비아르키메데스적 Mabuchi 함수계수의 강제성은 쌍이 균일 K-안정일 때에만 성립하며, 이는 강제성 추측을 일반화한다.