[논문 리뷰] Openness results for uniform K-stability

Kento Fujita|arXiv (Cornell University)|2017. 09. 24.

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

한 줄 요약

이 논문은 대수기하학에서 균일 K-안정성의 열린성 결과를 확립한다. 만약 프로젝티브 slc 쌍 $(X,\Delta)$와 극화 $L$가 균일 K-안정적이며, $L$가 캐논칼 또는 반-캐논칼일 경우, $L$의 N\'eron-Severi 공간 내에서 충분히 가까운 모든 $\mathbb{Q}$-선다발 $L'$에 대해 $((X,\Delta),L')$는 여전히 균일 K-안정적임을 증명한다. 증명은 경계와 테스트 구성의 변형 기법을 결합하며, 평가 기준과 도널드슨-퓨타키 불변량을 활용한다.

ABSTRACT

Assume that a projective variety together with a polarization is uniformly K-stable. If the polarization is canonical or anti-canonical, then the projective variety is uniformly K-stable with respects to any polarization sufficiently close to the original polarization.

연구 동기 및 목표

• 프로젝티브 slc 쌍에서 균일 K-안정성이 극화의 소규모 변형에 대해 열려 있음을 증명하는 것.
• 균일 K-안정성이 소규모 변형에 대해 유지되어야 한다는 오랜 동안의 추측을 해결하는 것 — 특히 캐논칼 및 반-캐논칼 경우에 대해.
• 균일 K-안정성이 N\'eron-Severi 공간에서 열린 조건인지에 대한 질문에 부분적인 확답을 제공하는 것.
• 정교한 해석적 및 대수적 기법을 사용하여, 디미노멀 및 로그 팔로 쌍을 포함한 더 넓은 쌍의 클래스로 기존의 K-안정성 결과를 확장하는 것.

제안 방법

• 균일 K-안정성을 유지하기 위해 경계 $\Delta$와 극화 $L$를 동시에 효과적인 $\mathbb{Q}$-다중선으로 변형하는 것.
• 푸지타, 리, 오다카의 로그 팔로 쌍에 대한 균일 K-안정성 평가 기준을 적용하여 반-캐논칼 경우를 다루는 것.
• 일부 노름으로 나눈 도널드슨-퓨타키 불변량에 대한 균일한 상한을 활용하여 캐논칼 경우를 다루는 것.
• 반-노말 테스트 구성에 의해, 도널드슨-퓨타키 불변량과 편의적 노말 다중선의 노름 사이의 새로운 부등식을 수립하는 것.
• 디미노멀 테스트 구성에 대해 $ n\mu_N(L)J^{\operatorname{NA}}(\mathcal{X},\mathcal{L}) \geq \operatorname{DF}_{\Delta+N}(\mathcal{X},\mathcal{L}) - \operatorname{DF}_{\Delta}(\mathcal{X},\mathcal{L}) $ 라는 핵심 부등식을 증명하는 것.
• 변형 결과와 앰플리튜드의 열린성의 조합을 통해 원래 극화 주변에서 국소 안정성을 유도하는 것.

실험 결과

연구 질문

• RQ1 프로젝티브 slc 쌍에서 캐논칼 또는 반-캐논칼 극화를 가진 경우, 균일 K-안정성이 N\'eron-Severi 공간에서 열린 조건인가?
• RQ2 특히 극화가 $K_X + \Delta$ 또는 $-(K_X + \Delta)$일 경우, 균일 K-안정성이 극화의 소규모 변형에 대해 유지될 수 있는가?
• RQ3 극화와 경계 다중선의 어떤 조건이 $((X,\Delta), L')$이 $L'$가 $L$에 가까울 때 여전히 균일 K-안정적이게 보장하는가?
• RQ4 디미노멀 설정에서 경계와 극화의 변형에 따라 테스트 구성과 도널드슨-퓨타키 불변량은 어떻게 행동하는가?
• RQ5 캐논칼 경우를 초월하여 $K_X + \Delta$의 앰플리튜드를 가정하지 않고도 균일 K-안정성의 열린성을 확립할 수 있는가?

주요 결과

• 로기 팔로 쌍 $(X,\Delta)$에서 $L = -(K_X + \Delta)$일 경우, $((X,\Delta), L)$가 균일 K-안정적이라면, 모든 효과적인 $\mathbb{Q}$-다중선 $B$에 대해 $((X,\Delta + B), L - B)$도 균일 K-안정적이다. 여기서 $\varepsilon L - B$가 앰플리튜드가 되도록 $\varepsilon = \frac{\delta(X,\Delta) - 1}{n \cdot \delta(X,\Delta) + n + 1}$이다.
• 극화 $L = K_X + \Delta$인 경우, $((X,\Delta), L)$가 균일 K-안정적이라면, $\operatorname{N}^1(X)_{\mathbb{R}}$에서 $L$의 이웃에서 모든 $L'$에 대해 $((X,\Delta), L')$이 균일 K-안정적이다. 이때 $L$가 앰플리튜드이면서 $\frac{n^2}{n^2 - 1}\mu_{K_X + \Delta}(L)L - (K_X + \Delta)$도 앰플리튜드여야 한다.
• 모든 반-노말 디미노멀 테스트 구성 $(\mathcal{X},\mathcal{L})$과 모든 효과적인 편의적 $\mathbb{Q}$-다중선 $N$에 대해, 새로운 부등식 $ n\mu_N(L)J^{\operatorname{NA}}(\mathcal{X},\mathcal{L}) \geq \operatorname{DF}_{\Delta+N}(\mathcal{X},\mathcal{L}) - \operatorname{DF}_{\Delta}(\mathcal{X},\mathcal{L}) $ 가 성립한다.
• 균일 K-안정성의 열린성은 캐논칼 및 반-캐논칼 극화 모두에 대해 확립된다: $((X,\Delta), L)$가 $L = K_X + \Delta$ 또는 $L = -(K_X + \Delta)$일 때 균일 K-안정적이라면, $\operatorname{N}^1(X)_{\mathbb{R}}$에서 $L$의 유클리드 이웃에서 모든 $L'$에 대해 $((X,\Delta), L')$이 균일 K-안정적이다.
• 모든 $\operatorname{N}^1(X)_{\mathbb{R}}$ 위의 노름 $\|\cdot\|$에 대해, $\|L' - L\| \leq \varepsilon'$ 를 만족하는 모든 $\mathbb{Q}$-선다발 $L'$에 대해 $((X,\Delta), L')$이 균일 K-안정적이다. 이때 $\varepsilon' > 0$ 이다.
• 정리 6.5는 균일 K-안정성의 충분조건을 제공한다: $\mu_{K_X + \Delta}(L) > 0$ 이고 $\frac{n^2}{n^2 - 1}\mu_{K_X + \Delta}(L)L - (K_X + \Delta)$ 가 앰플리튜드이면, $((X,\Delta), L)$는 균일 K-안정적이다.