[논문 리뷰] Finite generation for valuations computing stability thresholds and applications to K-stability

Yuchen Liu, Chenyang Xu외 1명|arXiv (Cornell University)|2021. 02. 18.

Geometry and complex manifolds인용 수 12

한 줄 요약

이 논문은 안정성 임계값이 (n+1)/n 이하인 로그 팔레오 쌍에서, 그 임계값을 계산하는 모든 비어 있는 평가에서 해당 평가와 관련된 그룹화된 링이 유한 생성됨을 증명한다. 이 결과는 고계수 유한 생성 추측을 해결하고, 균일 K-안정성의 등가성을 확립하며, K-모듈리 공간의 적절성과 사영성을 보장하며, 대수적 방법을 통해 특이 로그 팔레오 쌍에 대한 얀-티안-도널드슨 추측을 완성한다.

ABSTRACT

We prove that on any log Fano pair of dimension $n$ whose stability threshold is less than $\frac{n+1}{n}$, any valuation computing the stability threshold has a finitely generated associated graded ring. Together with earlier works, this implies: (a) a log Fano pair is uniformly K-stable (resp. reduced uniformly K-stable) if and only if it is K-stable (resp. K-polystable); (b) the K-moduli spaces are proper and projective; and combining with the previously known equivalence between the existence of Kähler-Einstein metric and reduced uniform K-stability proved by the variational approach, (c) the Yau-Tian-Donaldson conjecture holds for general (possibly singular) log Fano pairs.

연구 동기 및 목표

• 로그 팔레오 쌍에서 안정성 임계값을 계산하는 준단항 평가에 대해 관련 그룹화된 링의 유한 생성성을 확립한다.
• 안정성 임계값을 최소화하는 평가에 대해 고계수 유한 생성 추측을 해결한다.
• 로그 팔레오 쌍에 대해 K-안정성과 균일 K-안정성(또는 K-다중안정성과 축소된 균일 K-안정성) 간의 등가성을 증명한다.
• 대수적 방법을 통해 로그 팔레오 쌍의 K-모듈리 공간의 적절성과 사영성을 확립한다.
• 일반적인(특이일 수 있는) 로그 팔레오 쌍에 대해 대수적 기법을 사용하여 얀-티안-도널드슨 추측을 완성한다.

제안 방법

• 안정성 임계값 $\delta(X,\Delta) < \frac{n+1}{n}$ 인 경우, $\delta(X,\Delta)$를 계산하는 평가 $v$에 대해 $\mathrm{gr}_v R$의 유한 생성성을, 호환 가능한 분할자 이론과 최소 모델 프로그램을 사용하여 증명한다.
• [AHLH-S&theta]에서 제시한 $\Theta$-분할 구조 프레임워크를 적용하여 최적의 불안정화 결과로부터 K-모듈리 공간의 적절성을 유도한다.
• [XZ-CM-positive]에서의 $\mathrm{CM}$ 선다발 긍정성 결과와 $\Theta$-분할 구조를 활용하여 K-모듈리 공간의 사영성을 확립한다.
• $\delta$-항목과 $S$-항목 이론을 활용하여 평가의 행동과 관련 그룹화된 링의 성질을 분석한다.
• 특수한 시험 구성과 기울어짐 이론을 적용하여 $\delta(X,\Delta) \in \mathbb{Q}$ 이고, 이는 분할 평가에 의해 달성됨을 보여준다.
• 가중치가 부여된 블로우업과 해소의 교차 이론을 사용하여 $A_{X,\Delta}(E)$, $S_{X,\Delta}(E)$, $T_X(\mathrm{ord}_E)$ 등의 불변량을 계산하고, 그룹화된 링의 $\mathrm{Proj}$ 가 $\mathbb{Q}$-팔레오 다양체임을 확인한다.

실험 결과

연구 질문

• RQ1 로그 팔레오 쌍에서 $\delta(X,\Delta) < \frac{n+1}{n}$ 를 만족하는 안정성 임계값 $\delta(X,\Delta)$를 계산하는 모든 평가에 대해, 그에 관련된 그룹화된 링이 유한 생성되는가?
• RQ2 로그 팔레오 쌍에서 $\delta(X,\Delta) < \frac{n+1}{n}$ 를 만족할 경우, 최적의 불안정화 추측을 대수적으로 증명할 수 있는가?
• RQ3 이러한 평가에 의해 유도되는 $\Theta$-분할 구조는 로그 팔레오 쌍의 K-모듈리 공간의 적절성을 암시하는가?
• RQ4 K-다중안정성 로그 팔레오 쌍의 K-모듈리 공간 상의 $\mathrm{CM}$ 선다발은 앰플이며, 이는 유한 생성성으로부터 대수적으로 유도되는가?
• RQ5 유한 생성 결과는 특이 로그 팔레오 쌍에 대해 전체 얀-티안-도널드슨 추측을 암시하는가?

주요 결과

• 안정성 임계값 $\delta(X,\Delta) < \frac{n+1}{n}$ 일 때, $\delta(X,\Delta)$를 계산하는 임의의 평가 $v$에 대해 관련 그룹화된 링 $\mathrm{gr}_v R$ 는 유한 생성되며, 이는 고계수 유한 생성 추측을 증명한다.
• 안정성 임계값 $\delta(X,\Delta)$ 는 유리수이며, 분할 평가에 의해 달성되며, 이는 최적의 불안정화 추측을 확립한다.
• K-모듈리 공간 $M^{\rm Kps}_{n,V,C}$ 는 적절하고 사영적이며, $\mathrm{CM}$ 선다발은 앰플하다.
• 모든 로그 팔레오 쌍, 특이일 수 있는 경우를 포함하여, K-안정성과 카일러-아인슈타인 메트릭 존재성 간의 대수적 등가성에 기반하여 얀-티안-도널드슨 추측이 성립한다.
• $t \in [t_n, t_{n+1}]$ 에서 $\mathrm{Proj}$ of $\mathrm{gr}_{v_t} R$ 는 $\mathbb{Q}$-팔레오 다양체이며, $t \in (t_n, t_{n+1})$ 에서 $\mathrm{Proj}\, \mathrm{gr}_{v_t} R \cong \mathbb{P}(1, d_n^2, d_{n+1}^2)$ 이다. 이는 $\mathbb{P}^2$ 의 무한한 수의 특수 기울어짐을 보여준다.