[논문 리뷰] Relative Ding and $K$-stability of toric Fano manifolds in low dimensions

Yasufumi Nitta, Shunsuke Saito외 1명|arXiv (Cornell University)|2017. 12. 04.

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

한 줄 요약

이 논문은 모멘트 다면체의 조합적 자료를 통해 계산된 Mabuchi 상수를 이용하여, 균일하게 상대적으로 Ding 안정인 토릭 팔로 3차원 및 4차원 다양체를 분류한다. 3차원에서 18개 중 12개를 식별하였고, 4차원에서는 안정/비안정 케이스를 완전히 나열하여 상대적 $K$-안정성과 상대적 Ding 안정성이 $M_X > 1$인 명시적 반례를 통해 서로 다름을 입증한다.

ABSTRACT

The purpose of this paper is to clarify all of the uniformly relatively Ding stable toric Fano threefolds and fourfolds as well as unstable ones. The key player in our classification result is the Mabuchi constants, which can be calculated by combinatorial data of the associated moment polytopes due to the work of Yao [33]. In Tables 1-3, we give the list of uniform relative Ding stability of all toric Fano manifolds in dimension up to four with the values of the Mabuchi constants. As an application of our main theorem (Theorem 1.1), we clarify the difference between relative $K$-stability and relative Ding stability by considering some specific toric Fano manifolds (Corollaries 1.6 and 1.9). In the proof of Corollary 1.9, we used Bott tower structure of relatively Ding unstable toric Fano manifolds.

연구 동기 및 목표

• 3차원 및 4차원에서 균일하게 상대적으로 Ding 안정인 모든 토릭 팔로 다양체를 분류하는 것.
• 모멘트 다면체의 조합적 자료를 이용해 각 토릭 팔로 다양체에 대한 Mabuchi 상수 $M_X$를 결정하는 것.
• 토릭 팔로 설정에서 상대적 $K$-안정성과 상대적 Ding 안정성 간의 차이를 명확히 하는 것.
• Bott 타워 구조를 이용해 상대적 $K$-안정성은 성립하지만 상대적 Ding 안정성은 실패하는 명시적 반례를 제공하는 것.

제안 방법

• 모멘트 다면체 $P$ 위에서 적분을 통해 공식 $\theta_P = \sum_{i,j} c_{ij}^{-1} b_i b_j$ 를 이용해 $M_X = \max_P \theta_P$ 를 계산한다.
• Yao의 결과에 따르면, 토릭 팔로 다양체에서 $M_X < 1$은 균일한 상대적 Ding 안정성과 동치이다.
• 비아르키메데스 함수 프레임워크 적용: 균일한 상대적 Ding 안정성은 모든 $T$-등변 테스트 구성에 대해 부등식 $D_v^{NA} \geq \delta J_T^{NA}$ 가 성립함으로 정의된다.
• Delcroix 및 Li-Li의 결과를 활용하여 $T$-등변 테스트 구성과 모멘트 다면체 위의 유리수 조각별 볼록 함수 사이의 대응관계를 적용한다.
• 다각형 위에서 $b_k = \int_P x_k \, dx$ 및 $c_{ij} = \int_P x_i x_j \, dx$ 를 직접 수치적으로 계산하여 $\theta_P$ 를 평가한다.
• Bott 타워 구조를 활용해 상대적 Ding 비안정이지만 상대적 $K$-안정인 토릭 팔로 다양체의 명시적 예를 구성한다.

실험 결과

연구 질문

• RQ1 어느 토릭 팔로 3차원 및 4차원 다양체가 균일하게 상대적으로 Ding 안정인가?
• RQ2 각 토릭 팔로 다양체에 대해 3차원 및 4차원에서 Mabuchi 상수 $M_X$ 의 정확한 값은 무엇인가?
• RQ3 토릭 팔로 설정에서 상대적 $K$-안정성과 상대적 Ding 안정성을 구분할 수 있는가?
• RQ4 Bott 타워 구조는 상대적 $K$-안정성은 있지만 상대적 Ding 안정성이 아닌 예를 구성하는 데 어떤 역할을 하는가?
• RQ5 모멘트 다면체의 조합적 불변량은 토릭 팔로 다양체의 안정성 유형을 어떻게 결정하는가?

주요 결과

• 3차원에서는 18개의 토릭 팔로 다양체 중 12개가 균일하게 상대적으로 Ding 안정적이며, $M_X < 1$ 이다.
• 4차원에서는 124개의 모든 토릭 팔로 다양체에 대해 $M_X$ 값이 포함된 완전한 목록을 제공하며, 그 중에서 균일하게 상대적으로 Ding 안정인 경우를 식별하였다.
• 토릭 팔로 다양체 A.3.123 ($Z_2$) 에 대해 $M_X = \frac{3418840588}{2592694163} > 1$ 이며, 이는 상대적 Ding 비안정성을 증명한다.
• 토릭 팔로 다양체 A.3.124 ($W$) 에 대해 $M_X = 0 < 1$ 이며, 이는 균일하게 상대적으로 Ding 안정임을 확인한다.
• 정리 1.9는 $M_X > 1$ 이면서 상대적 $K$-안정이지만 상대적 Ding 안정이 아닌 Bott 타워 토릭 팔로 다양체를 구성하여, 두 개념이 동치가 아님을 보여준다.
• Mabuchi 상수 $M_X$ 는 켈러 메트릭과 무관하며, Yao [33] 가 입증한 linely, 모멘트 다면체의 조합적 자료로부터 순수하게 계산될 수 있다.