[논문 리뷰] On the sharpness of Tian's criterion for K-stability

Yuchen Liu, Ziquan Zhuang|arXiv (Cornell University)|2019. 03. 12.

Geometry and complex manifolds참고 문헌 41인용 수 5

한 줄 요약

이 논문은 티안의 K-안정성 기준의 날카움을 입증하기 위해, 차원 n인 특이 Fano 다양체를 구성함으로써, $\frac{n}{n+1}$ 정확히 일치하는 알파 불변량을 가진다. 이들은 K-다중정규화되지 않으며, 알파 불변량이 $\frac{n-1}{n}$인 다른 다양체들은 K-불안정함을 보여주며, 이는 티안의 기준에서 경계를 더 이상 향상시킬 수 없음을 시사한다. 추가적인 가정이 없이도 이 경계는 더 이상 낮출 수 없다. 예를 들어, 매끄러움 또는 더 높은 알파 값 등의 조건이 필요하다.

ABSTRACT

Tian's criterion for K-stability states that a Fano variety of dimension $n$ whose alpha invariant is greater than $\frac{n}{n+1}$ is K-stable. We show that this criterion is sharp by constructing singular Fano varieties with alpha invariants $\frac{n}{n+1}$ that are not K-polystable for sufficiently large $n$. We also construct K-unstable Fano varieties with alpha invariants $\frac{n-1}{n}$.

연구 동기 및 목표

• 티안의 K-안정성 기준이 날카로운지 확인하기 위해 알파 불변량 임계값 $\frac{n}{n+1}$ 의 최적성 테스트.
• 티안의 기준에서 조건 $\alpha(X) > \frac{n}{n+1}$ 가 K-안정성 유지를 위해 약화되거나 제거될 수 있는지 조사.
• K-다중정규화되지 않은 Fano 다양체의 명시적 반례를 구성하여 $\alpha(X) = \frac{n}{n+1}$ 이며, 이는 등호의 경우 매끄러움 조건이 필수적임을 보여줌.
• K-불안정 Fano 다양체가 존재하는지 탐색하며, $\alpha(X) = \frac{n-1}{n}$ 인 경우를 통해 K-안정성에 대한 알파 불변량의 하한을 테스트.
• 기존 K-안정성 및 알파 불변량 결과를 보완하기 위해 K-준안정 Fano 다양체의 최소 가능한 알파 불변량을 특성화.

제안 방법

• 차원 $n$인 초곡면 $X \subset \mathbb{P}^{n+1}$ 과 제곱수와 차수 $n$인 초곡면의 완전교차 $Y \subset \mathbb{P}^{n+2}$ 를 구성하며, 유일한 특이점 하나를 가짐.
• 가중 블로업을 이용해 콜라르 컴포넌트를 추출하고, 로그 불변량을 계산하여 $\beta$-불변량을 통한 K-안정성 분석.
• 푸크리코프의 초고주기자기 기법을 적용하여 일반 초곡면과 완전교차의 전역 로그 캐논리컬 임계값 추정.
• 접합의 역과 칼라비-양 완전교차에 대한 접합을 적용하여 쌍 $ (Y, \alpha D) $ 의 로그 캐논리컬 성질 검증.
• 후지타의 $\alpha(X) = \frac{n}{n+1}$ 인 비K-안정 Fano 다양체의 특성화를 이용해 특이점과 로그 불변량이 $n$인 약하게 예외적인 특이점 간의 연결.
• 고정된 차원 $n$ 과 고정된 부피 $V$ 를 가진 $\mathbb{Q}$-Fano 다양체의 모듈리 함수를 분석하여, 이는 분리된 유한형의 딜레인-무디 스택으로 표현됨을 보임.

실험 결과

연구 질문

• RQ1 티안의 기준에서 $\alpha(X) = \frac{n}{n+1}$ 일 때 매끄러움 조건을 제거할 수 있는가?
• RQ2 K-안정성에 대한 경계 $\alpha(X) > \frac{n}{n+1}$ 는 날카로운가, 아니면 더 낮출 수 있는가?
• RQ3 차원 $n$인 $\mathbb{Q}$-Fano 다양체 중 $\frac{1}{n+1} < \alpha(X) < \frac{1}{n}$ 인 K-준안정 다양체가 존재하는가?
• RQ4 차원 $n$인 $\mathbb{Q}$-Fano 다양체 중 $\frac{n-1}{n} < \alpha(X) < \frac{n}{n+1}$ 인 K-불안정 다양체가 존재하는가?
• RQ5 K-준안정 $\mathbb{Q}$-Fano 다양체의 최소 가능한 $\alpha$-불변량은 무엇인가? (차원 $n$ 기준)

주요 결과

• 모든 $n \geq 7$ 에 대해, 차수 $n+1$ 인 $\mathbb{P}^{n+1}$ 에서의 Gorenstein 극단적 특이 초곡면 $X$ 가 존재하며, $\alpha(X) = \frac{n}{n+1}$ 이고 K-다중정규화되지 않음.
• 모든 $n \geq 14$ 에 대해, 제곱수와 차수 $n$ 초곡면의 완전교차인 $\mathbb{P}^{n+2}$ 에서의 Gorenstein 극단적 완전교차 $Y$ 가 존재하며, $\alpha(Y) = \frac{n-1}{n}$ 이고 K-불안정함.
• 이 예시들은 티안의 기준이 추가 조건 없이 향상될 수 없음을 보여주며, 경계 $\alpha(X) > \frac{n}{n+1}$ 는 날카롭고, 등호의 경우 매끄러움 조건이 필수적임을 입증함.
• 일반적인 초곡면 $X \subset \mathbb{P}^{n+1}$ 에 대해, 차수 $d \leq (2 - \epsilon)n$ 이고 $n \gg 0$ 일 때, 전역 로그 캐논리컬 임계값 $\mathrm{lct}(X; |H|_{\mathbb{Q}})$ 는 정확히 1이다.
• $\alpha(X) > \frac{1}{2}$, 고정된 차원 $n$, 고정된 부피 $V$ 를 가진 $\mathbb{Q}$-Fano 다양체의 모듈리 함수는 분리된 딜레인-무디 스택으로 표현되며, 이는 유한형이며, 그 일반 모듈리 공간은 분리된 대수적 공간임.
• e = 2 인 경우, K-불안정인 $Y$ 의 K-다중정규화 대체물 $\mathcal{X}'_{0'}$ 에 대해 $\alpha(\mathcal{X}'_{0'}) \leq \frac{1}{n}$ 이며, 이는 K-준안정 Fano 다양체의 최소 $\alpha$-불변량이 $\frac{1}{n}$ 까지 작아질 수 있음을 보여줌.