[논문 리뷰] Nakai-Moishezon criterions for complex Hessian equations

Jian Song|arXiv (Cornell University)|2020. 12. 14.

Geometry and complex manifolds참고 문헌 23인용 수 12

한 줄 요약

이 논문은 복소 헤시안 J-방정식의 해가 존재하는지 여부를 분석적 양성 조건과 위상수학적 교차수를 연결함으로써, 컴acts Kähler 다양체 위에서 Nakai-Moishezon 유형의 기준을 수립한다. Lejmi-Szekelyhidi의 추측을 증명하며, J-방정식이 해를 가질 조건이 특정 헬름홀로픽 교차수들이 양수일 때에만 성립한다는 것을 보이고, 이를 통해 최소 모델 위에 일련의 일관된 스칼라 곡률 Kähler 메트릭을 구성한다.

ABSTRACT

The $J$-equation proposed by Donaldson is a complex Hessian quotient equation on Kähler manifolds. The solvability of the $J$-equation is proved by Song-Weinkove to be equivalent to the existence of a subsolution. It is also conjectured by Lejmi-Szekelyhidi to be equivalent to a stability condition in terms of holomorphic intersection numbers as an analogue of the Nakai-Moishezon criterion in algebraic geometry. The conjecture is recently proved by Chen under a stronger uniform stability condition. In this paper, we establish a Nakai-Moishezon type criterion for pairs of Kähler classes on analytic Kähler varieties. As a consequence, we prove Lejmi-Szekelyhidi's original conjecture for the $J$-equation. We also apply such a criterion to obtain a family of constant scalar curvature Kähler metrics on smooth minimal models.

연구 동기 및 목표

• 분석적 Kähler 다양체 위에서 J-방정식에 대한 Nakai-Moishezon 유형 기준을 수립하여, 고전적 대수기하학 기준을 복소 헤시안 방정식으로 일반화한다.
• Lejmi-Szekelyhidi의 추측을 증명한다: J-방정식이 해를 가질 조건은 모든 분석적 부분다양체 $ Z $에 대해 $ neta^m - meta^{m-1}eta > 0 $ 이 성립할 때에만 성립한다. 여기서 $ m < n $ 이다.
• 이 기준을 적용하여, 컴팩트 Kähler 다양체의 최소 모델 위에 일관된 스칼라 곡률 Kähler(cscK) 메트릭의 일차원 가중치를 구성한다.
• 분석적 하위해 조건과 위상수학적 안정성 조건 사이의 격차를 복소 헤시안 방정식의 맥락에서 메우는 데 기여한다.
• 相対 이웃 영역 프레임워크를 통해, 특이 분석적 다양체로의 하위해 존재성과 위상수학적 양성 조건 간의 등가성을 확장한다.

제안 방법

• 분석적 Kähler 다양체 $ X $ 가 더 큰 Kähler 다양체 $ ilde{M} $ 안에 포함된 경우, 쌍 $ (eta, eta) $ 에 대해 상대적 Nakai-Moishezon 기준을 도입하며, 모든 성분에서 $ rac{eta^{n-1}eta}{eta^n} \to 1 $ 이 성립하도록 정규화한다.
• 분석적 양성 조건 $ n ilde{eta}^{n-1} - (n-1) ilde{eta}^{n-2} ilde{eta} > 0 $ 이 $ X $ 의 이웃에서 성립함과 동시에 모든 $ m $ 차원 분석적 부분다양체 $ Z \neq X $ 에 대해 위상수학적 조건 $ \big(n\beta^m - m\beta^{m-1}\beta\big) \big|_Z > 0 $ 이 성립함과 동치임을 증명한다.
• 편항 기법을 사용한다: $ \beta_\rho = \beta + \rho\theta $, $ \theta $ 는 Kähler 형식이며 $ \rho > 0 $ 이 작을 때, $ \beta_\rho $ 에 대한 양성 조건이 하위해 존재성을 보장함을 보인다.
• 기준을 캐논리컬 클래스 $ K_X $ 에 적용하여, $ K_X $ 가 네프이고 $ \beta^{n-1} \neq 0 $ 이면 $ \beta $ 가 J-방정식을 통해 cscK 메트릭을 가짐을 보인다.
• 극한 추론 기법을 사용한다: $ \rho \to 0 $ 일 때, 편항된 클래스 $ \beta_\rho $ 는 양성 조건을 만족하며, 이 극한이 J-방정식의 해를 준다.
• 레마 8.1 을 활용하여, 스케일링 후 $ (n+\rho)\tilde{\beta}^{n-2} - (n-1)\tilde{\beta}^{n-2} > 0 $ 인 불등식으로부터 유일한 cscK 메트릭 존재를 유도한다.

실험 결과

연구 질문

• RQ1 J-방정식의 해 존재성은 대수기하학의 Nakai-Moishezon 기준과 유사한 위상수학적 조건으로 특징지을 수 있는가?
• RQ2 Lejmi-Szekelyhidi의 추측—즉, J-방정식이 해를 가질 조건이 모든 분석적 부분다양체 $ Z $ 에 대해 $ n\beta^m - m\beta^{m-1}\beta > 0 $ 이 성립할 때에만 성립한다는 것—은 일반적인 컴팩트 Kähler 다양체에 대해 참인가?
• RQ3 상대 이웃 영역이 있는 더 큰 Kähler 환경에서 특이 분석적 다양체로 Nakai-Moishezon 유형 기준을 확장할 수 있는가?
• RQ4 J-방정식의 하위해 존재성이 최소 모델 위에서 일관된 스칼라 곡률 Kähler 메트릭 존재성으로 이어지는가?
• RQ5 캐논리컬 클래스 $ K_X $ 는 J-방정식을 통해 cscK 메트릭 존재성을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 Lejmi-Szekelyhidi의 추측을 증명한다: J-방정식은 $ 1 \neq m < n $ 인 모든 $ m $ 차원 분석적 부분다양체 $ Z \neq X $ 에 대해 $ \big(n\beta^m - m\beta^{m-1}\beta\big) \big|_Z > 0 $ 이 성립할 때에만 유일한 매끄러운 해를 가진다.
• Nakai-Moishezon 유형 기준이 수립된다: 분석적 양성 조건 $ n\tilde{\beta}^{n-1} - (n-1)\tilde{\beta}^{n-2}\tilde{\beta} > 0 $ 이 $ X $ 의 이웃에서 성립함과 동시에 모든 부분다양체에서 위상수학적 양성 조건이 성립함과 동치이다.
• 모든 컴팩트 Kähler 다양체 $ X $ 에서 Kähler 형식 $ \beta $ 가 $ K_X $ 가 네프이고 $ \beta^{n-1} \neq 0 $ 이면, J-방정식을 통해 $ \beta $ 에서 일관된 스칼라 곡률 Kähler(cscK) 메트릭이 존재함을 보였다.
• 만약 $ K_X \neq 0 $ 이지만 $ \beta^{n-1} \neq 0 $ 이면, 작은 $ \rho > 0 $ 에 대해 편항된 형식 $ \beta_\rho = \beta + \rho\theta $ 는 양성 조건을 만족하며, $ \rho \to 0 $ 일 때의 극한이 해를 준다.
• 만약 $ K_X \neq 0 $ 이고 $ \beta^{n-1} = 0 $ 이면, 모든 부분다양체 $ Z $ 에 대해 $ K_X \big|_Z = 0 $ 이며, 조건 $ \big(n\beta^m - m\beta^{m-1}\beta\big) \big|_Z > 0 $ 는 여전히 성립하여 해 존재성을 보장한다.
• 기준은 최소 모델에 적용 가능하다: $ X $ 가 $ K_X $ 가 네프이고 $ \beta^{n-1} \neq 0 $ 이면, $ \beta $ 는 cscK 메트릭을 가진다.