On the volume of K-semistable Fano manifolds

기술적 요약: K-준안정 팬오 다양체의 부피에 관하여

문제 제기
본 논문은 $n$차원 K-준안정 팬오 (Fano) 다양체의 반-canonical 부피, 즉 $\text{vol}(X) = (-K_X)^n$을 특징짓는 문제를 다룬다. Fujita([Fuj18]) 는 이러한 다양체의 최대 부피가 사영 공간 $\mathbb{P}^n$에 의해 유일하게 달성되는 $(n+1)^n$임을 입증했으나, 두 번째로 큰 부피에 대한 정확한 상한은 여전히 추측으로 남아 있었다. 구체적으로 저자들은 임의의 K-준안정 팬오 다양체 $X \not\cong \mathbb{P}^n$에 대하여 부피가 $(-K_X)^n \leq 2n^n$을 만족한다는 추측을 조사한다. 또한, 이 등식을 달성하는 다양체들을 분류하려는 시도를 하는데, 이는 $\mathbb{P}^1 \times \mathbb{P}^{n-1}$과 매끄러운 2 차 초곡면 $Q \subset \mathbb{P}^{n+1}$일 것으로 추측된다.

방법론
저자들은 K-안정성 이론과 팬오 다양체 위의 최소 유리 곡선의 기하학을 연결하는 새로운 접근법을 채택한다. 방법론은 다음과 같은 주요 단계를 거쳐 진행된다:

1. 불변량 정의: 증명에는 $l_X = \min \{(-K_X \cdot C) \mid C \subset X \text{는 최소 유리 곡선}\}$이라는 불변량이 의존한다. 분석은 $l_X$의 값에 따라 계층화된다.
2. 고차수 분류: $l_X = n+1$ 또는 $l_X = n$인 경우, 저자들은 기존 분류 결과 (예: [CMSB02], [Miy04]) 를 활용하여 부피 상한을 직접 검증한다.
3. 자명한 법다발: $l_X = 2$이고 최소 유리 곡선이 자명한 법다발로 매장된 경우, 저자들은 Fujita 의 결과를 일반화한다. 즉, K-준안정 팬오 다양체가 자명한 법다발을 가진 코차수 $r$ 부분다양체 $Z$를 포함하면, $(-K_X)^n \leq (-K_{\mathbb{P}^r \times Z})^n$임을 증명한다. 이는 $X \cong \mathbb{P}^1 \times \mathbb{P}^{n-1}$인 경우에 대한 상한을 확립한다.
4. 가중 블로우업과 평가: 핵심 기술적 혁신은 $3 \leq l_X \leq n-1$인 나머지 경우와 최소 유리 곡선이 특이점을 가질 수 있는 경우를 처리하는 데 있다.
   • 저자들은 최소 유리 곡선을 중심으로 하는 특정 분할적 평가 (divisorial valuations) $v_1$과 $v_2$를 구성한다.
   • 표준적인 블로우업과 달리, 증명은 $\mathbb{P}^1$ 위의 법다발 분할에 적응된 $(1^{\oplus (d-2)}, 2^{\oplus (n-d+1)})$ 유형의 **가중 블로우업 (weighted blow-ups)**을 활용한다.
   • 곡선의 분할 유형에 적응된 국소 좌표계에서의 해석적 확장을 통해 준단항 평가 (quasi-monomial valuations) 를 정의한다.
   • K-준안정성을 위한 평가 기준 (Theorem 2.1) 을 사용하여, 이러한 평가와 관련된 부피 함수 $\text{vol}(-K_X - xE)$를 분석함으로써 부피를 추정한다.
5. 해석적 및 조합론적 추정: 증명은 $\delta$-불변량과 $S$-불변량 계산에서 유도된 초월 방정식을 푸는 과정을 포함한다. 저자들은 미적분학, 확률론 (특히 Cramér 의 기울기), 그리고 수치 검증을 활용하여 중간 차수 경우 ($3 \leq d \leq n-1$) 에 부피에 대한 엄격한 부등식을 확립한다.

주요 기여 및 결과

• 주요 정리 (Theorem 1.1): 저자들은 $\mathbb{P}^n$과 동형이 아닌 임의의 $n$차원 K-준안정 팬오 다양체 $X$에 대하여 부피가 $(-K_X)^n \leq 2n^n$을 만족함을 증명한다. 등식은 $X \cong \mathbb{P}^1 \times \mathbb{P}^{n-1}$이거나 $X$가 매끄러운 2 차 초곡면 $Q \subset \mathbb{P}^{n+1}$일 때에만 성립한다.
• 토릭 경우 (Theorem 1.2): 결과는 K-준안정 토릭 팬오 다양체 (특이점을 가진 것 포함) 로 확장되어, 이 클래스에 대한 "간극 가설 (gap hypothesis)"이 확인된다.
• 볼록 기하학 귀결 (Corollary 1.3): Gorenstein 토릭 팬오 다양체와 반사 격자 다면체 사이의 대응을 통해, 논문은 날카로운 볼록 기하학적 상한을 유도한다: 원점에 무게중심을 가지며 (확대된 심플렉스와 동등하지 않은) 반사 격자 다면체 $P$에 대하여, $\text{vol}_{\mathbb{R}^n}(P) \leq 2n^n/n!$이다.
• ODP 추측 검증 (Theorem 4.17): 저자들은 K-준안정 매끄러운 팬오 다양체 위의 팬오 원뿔에 대한 ODP (Ordinary Double Point) 추측을 검증하여, 원뿔 꼭짓점의 국소 부피가 $2n^{n+1}$로 제한되며 등식은 2 차 곡면 위의 원뿔일 때만 성립함을 보인다.
• 최소 부피 (Proposition 4.23): 논문은 매끄러운 팬오 다양체에 대한 최소 가능한 반-canonical 부피를 규명한다: $n$이 짝수이면 1 이고, $n$이 홀수이면 2 이다.

의의
본 논문은 K-준안정 팬오 다양체의 두 번째로 큰 부피에 관한 오랜 추측을 해결했다고 주장한다. 그 주요 의의는 K-안정성과 최소 유리 곡선 사이에 확립된 새로운 연결에 있다. 이러한 곡선의 법다발 분할에 적응된 가중 블로우업을 도입함으로써, 저자들은 표준적인 블로우업이나 토릭 분류만으로는 완전히 해결하지 못했던 특이점 및 중간 차수와 관련된 어려움을 극복하였다.

이 연구는 정확히 두 가지 유형의 다양체 ($\mathbb{P}^1 \times \mathbb{P}^{n-1}$과 $Q$) 만이 두 번째로 큰 부피를 달성한다는 "신비로운" 특징에 대한 만족스러운 설명을 제공하며, 이 현상을 최소 유리 곡선의 기하학과 연결한다. 또한, 결과는 아라켈로프 기하학 (산술 팬오 다양체의 높이 제한) 과 볼록 기하학 (반사 다면체에 대한 상한) 에서 즉각적인 응용을 가진다. 증명은 본질적으로 대수기하학적이며, Kähler-Einstein 계량에 대한 이전의 해석적 접근법과 구별된다는 점이 주목된다.