[논문 리뷰] Examples of K-unstable Fano manifolds with the Picard number one

Kento Fujita|arXiv (Cornell University)|2015. 08. 18.

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

한 줄 요약

이 논문은 피카르 수가 1인 K-불안정 Fano 다양체의 명시적 예를 구성하여 오다카와 오카다의 추측을 반증한다. 5차수이자 차원이 4 또는 5인 델 페초 다양체의 특수 평면에서 유도된 준시험 구성(configuration)을 사용하여, 도널드슨-퓨타키 불변량을 계산하고 이를 통해 음수임을 보여 K-불안정성을 입증한다. 이는 초점적 안정성( divisorial stability)은 만족하나 K-불안정성을 띠는 사례를 제공한다.

ABSTRACT

We show that the pair $(X, -K_X)$ is K-unstable for a del Pezzo manifold $X$ of degree five with dimension four or five. This disprove a conjecture of Odaka and Okada.

연구 동기 및 목표

• 오다카와 오카다의 추측인 '피카르 수가 1인 모든 Fano 다양체는 K-반안정적이다'를 반증하기 위해.
• 피카르 수가 1인 K-불안정 Fano 다양체의 첫 번째 알려진 예를 제공하기 위해.
• 기하학적 및 코homological 기법을 사용하여 5차수이자 차원이 4 또는 5인 델 페초 다양체의 K-안정성 분석하기 위해.
• K-안정성이 Fano 기하학에서 초점적 안정성보다 엄밀히 강력하다는 것을 보여주기 위해.

제안 방법

• 5차수이자 차원이 $ n = 4 $ 또는 $ 5 $인 델 페초 다양체 $ X $ 안의 특수 평면 $ S \to X $ 에서 출발하여 플래그 아이디얼에 대한 블로업을 통해 준시험 구성(configuration)을 구성하기 위해.
• 블로업 $ \tilde{X} $ 와 예외적 배치 $ E_S $ 에서의 선다발의 체적을 포함하는 적분 공식을 통해 도널드슨-퓨타키 불변량 $ \text{DF}(\tilde{X}, \tilde{L}) $ 을 계산하기 위해.
• 블로업의 안정성 매개변수에 따른 다양한 챔버에 대한 분해를 위해 $ \tilde{X} = X_1 \to X_2 = \bbP^n $ 의 약한 모델 시퀀스를 사용하기 위해.
• 부호를 결정하기 위해 적분 $ \frac{(n-1)^n}{n+1} \big( 2c_2(\nu_{S/X}^\text{vee}) + (n-4)(9-n) - 2n \big) $ 을 평가하기 위해.
• 기존의 델 페초 다양체의 기하학에 관한 결과, 특히 캐논리컬 번들 및 정규 번들의 구조를 활용하여 특성류를 계산하기 위해.
• 레프셰츠 정리와 베티 수 계산을 활용하여 연구 중인 다양체의 위상적 설정을 확인하기 위해.

실험 결과

연구 질문

• RQ1 피카르 수가 1이지만 K-불안정인 Fano 다양체가 존재하는가? 이는 오다카와 오카다의 추측과 모순된다.
• RQ2 델 페초 다양체의 특수 부분다양체(예: 평면)에서 준시험 구성(configuration)을 구성하여 K-안정성을 탐지할 수 있는가?
• RQ3 5차수이자 차원이 4 또는 5인 델 페초 다양체에 대해 도널드슨-퓨타키 불변량의 부호는 무엇인가?
• RQ4 K-안정성이 초점적 안정성보다 엄밀히 강력한가? 이는 K-안정성이 성립하지 않음에도 불구하고 초점적 안정성은 성립하는 것으로부터 유추된다.

주요 결과

• 5차수이자 차원이 $ n = 4 $ 또는 $ 5 $인 델 페초 다양체 $ X $ 에 대해, 도널드슨-퓨타키 불변량 $ \text{DF}(\tilde{X}, \tilde{L}) $ 가 음수이므로 쌍 $ (X, -K_X) $ 는 K-불안정적이다.
• 불변량 $ \text{DF}(\tilde{X}, \tilde{L}) $ 는 $ \frac{(n-1)^n}{n+1} \big( 2c_2(\nu_{S/X}^\text{vee}) + (n-4)(9-n) - 2n \big) $ 에 비례하며, 이 식은 $ n = 4 $ 및 $ n = 5 $ 에서 음수이다.
• $ n = 6 $ 에서는 불변량이 0이 되며, 이는 $ X \to \bbG(5,2) $ 가 K-반안정적이고, 유리 동형성 있는 동형성인 것으로 일관된다.
• 다양체는 [Fjt15, 보조정리 9.3] 에 의해 초점적 안정적이다(즉, divisorially stable), 그러나 K-불안정적이다. 이는 K-안정성이 초점적 안정성보다 엄밀히 강력함을 보여준다.
• 4차 베티 수 $ b_4(X) = 2 $ 는 $ n = 4,5,6 $ 에 대해 이 다양체들의 위상적 복잡성을 확인한다.
• 이 작업은 오다카와 오카다의 추측 5.1에 대한 첫 번째 반례를 제공한다. 이 추측은 $ \rho(X) = 1 $ 인 Fano 다양체의 K-안정성에 관한 것이다.