[논문 리뷰] Semi-continuity of complex singularity exponents and Kähler-Einstein metrics on Fano orbifolds

Jean-Pierre Demailly, Janós Kollár|arXiv (Cornell University)|1999. 10. 22.

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

한 줄 요약

이 논문은 복소 다변수 하모닉 함수의 복소 특이도 지수를 도입하고, 그의 반연속성을 증명함으로써 복소 기하학에서 특이도를 연구하는 강력한 해석적 도구를 제공한다. 이 결과를 바탕으로 저자들은 파보 오르비폴드 위의 켈러-아인슈타인 계량의 존재성을 위한 단순화된 기준을 확립하며, 몰입 특이도를 가진 라이드 딜 페초 표면의 세 가지 새로운 예를 제시한다.

ABSTRACT

We introduce complex singularity exponents of plurisubharmonic functions and prove a general semi-continuity result for them. This concept contains as a special case several similar concepts which have been considered e.g. by Arnold and Varchenko, mostly for the study of hypersurface singularities. The plurisubharmonic version is somehow based on a reduction to the algebraic case, but it also takes into account more quantitative informations of great interest for complex analysis and complex differential geometry. We give as an application a new derivation of criteria for the existence of Kähler-Einstein metrics on certain Fano orbifolds, following Nadel's original ideas (but with a drastic simplication in the technique, once the semi-continuity result is taken for granted). In this way, 3 new examples of rigid Kähler-Einstein Del Pezzo surfaces with quotient singularities are obtained.

연구 동기 및 목표

• 복소 특이도 지수를 통해 다변수 하모닉 함수의 특이도를 측정하는 정량적 해석적 프레임워크를 개발하기 위해.
• 이 지수에 대한 일반적인 반연속성 정리를 확립하여, 기존의代수기하학 결과를 해석적 설정으로 확장하기 위해.
• 반연속성 결과를 활용하여 파보 오르비폴드 위의 켈러-아인슈타인 계량 존재성에 대한 기준을 단순화하고 재유도하기 위해.
• 정교화된 해석적 기준을 사용하여 몰입 특이도를 가진 라이드 켈러-아인슈타인 딜 페초 표면의 새로운 예를 구성하기 위해.
• 가중 프로젝티브 공간에서 곡률과 승수 이상층을 분석함으로써 켈러-아인슈타인 계량에 대한 효과적이고 계산 가능한 조건을 제공하기 위해.

제안 방법

• 콤��� 집합 $ K $ 근처에서 $ \exp(-2c\varphi) $ 가 $ L^1 $-적분 가능해지는 $ c \geq 0 $ 의 상한으로 복소 특이도 지수 $ c_K(\varphi) $ 를 정의한다.
• 특이도 심각도의 쌍대 측정으로 아를드의 다중도 $ \lambda_K(\varphi) = c_K(\varphi)^{-1} $ 를 도입한다.
• $ L^2 $-추정과 승수 이상층을 사용하여, 컴팩트 부분집합에서 $ L^1 $-위상에 대한 $ c_K(\varphi) $ 의 반연속성을 증명한다.
• 반연속성 결과를 적용하여, 파보 오르비폴드 위의 켈러-아인슈타인 계량 존재 문제를 곡률의 양성과 승수 이상층 조건의 점검으로 환원한다.
• 토러스 작용과 기울임 기법을 사용하여 가중 프로젝티브 초곡면의 교차수를 유계화함으로써 켈러-아인슈타인 기준의 효과적 검증을 가능하게 한다.
• 가중치 $ a_i $, 차수 $ d $, $ t = d+1 $ 를 포함하는 비율 $ \rho_a $ 를 계산하고, $ \rho_a < 1 $ 이면 켈러-아인슈타인 계량의 존재를 결론짓는다.

실험 결과

연구 질문

• RQ1 다변수 하모닉 함수의 복소 특이도 지수는 해석적 특이도 데이터와 대수기하학적 특이도 데이터를 동시에 반영할 수 있는 방식으로 특성화될 수 있는가?
• RQ2 다변수 하모닉 함수의 $ L^1 $ 수렴에 대해 복소 특이도 지수는 반연속성을 보이며, 이는 $ L^2 $-추정을 통해 증명될 수 있는가?
• RQ3 특이도 지수의 반연속성은 파보 오르비폴드 위의 켈러-아인슈타인 계량 존재성 기준을 단순화하거나 재유도하는 데 사용될 수 있는가?
• RQ4 가중 프로젝티브 초곡면에 대해 어떤 효과적인 조건이 켈러-아인슈타인 계량의 존재를 보장하는가, 특히 딜 페초 표면의 경우에 대해?
• RQ5 몰입 특이도를 가진 라이드 딜 페초 표면의 새로운 예가 존재하는가, 그리고 어떻게 구성할 수 있는가?

주요 결과

• 콤팩트 집합에서 국소적으로 $ L^1 $-다변수 하모닉 함수 공간에서 $ c_K(\varphi) $ 는 $ L^1 $-수렴에 대해 하부 반연속성이다.
• 효과적인 반연속성의 형태는 $ \psi \to \varphi $ 이면서 $ L^1 $-수렴할 때, $ c < c_K(\varphi) $ 이면 $ \exp(-2c\psi) \to \exp(-2c\varphi) $ 가 $ L^1 $ 노름에서 성립함을 보장한다.
• 파보 오르비폴드 위의 켈러-아인슈타인 계량 기준은 $ (-K_X) \cdot Z > \frac{2}{3}(-K_X)^2 $ 와 $ T_X \otimes \mathcal{O}_X(d - a_0 - a_2) $ 가 네프임을 점검하는 것으로 단순화된다.
• 몰입 특이도를 가진 라이드 켈러-아인슈타인 딜 페초 표면의 세 가지 새로운 예가 구성되었다: 하나는 $ (11,49,69,128) $, $ d=256 $, $ \rho_a \simeq 0.875696 $ 인 경우이며, 다른 하나는 $ (13,35,81,128) $, $ d=256 $, $ \rho_a \simeq 0.955311 $ 인 경우이다.
• 세 번째 예는 $ (9,15,17,20) $, $ d=60 $ 인 경우로, 접선(bundle 제약)의 개선된 분석을 통해 켈러-아인슈타인 조건이 확인되었다.
• 이 세 예는 가중 초곡면로서 라이드이며, 비자명한 변형이 존재하지 않으며, [BG00]에 따라 비정규 세이사키안-아인슈타인 5-다양체를 이끈다.