[논문 리뷰] Strong openness conjecture and related problems for plurisubharmonic functions

Qi’an Guan, Xiangyu Zhou|arXiv (Cornell University)|2014. 01. 28.

Geometry and complex manifolds참고 문헌 30인용 수 33

한 줄 요약

이 논문은 다중 이상수선다이어그램의 복소다양체 위의 다중 이상수선다이어그램 함수에 대한 강한 개방 추측을 해결하며, 가중치 함수의 임의로 작은 변형에 대해 다중 이상수선다이어그램 선다이어그램이 변화하지 않음을 증명한다. $L^2$ 확장 기법과 하위레벨 집합에 대한 측도론적 추정을 통해, 하위레벨 집합의 체적에 대한 균일한 하한을 확립하여 Demailly-Kollár과 Jonsson-Mustafla의 추측을 확인하고, ACC 추측에 의존하지 않는 복소이상수 지수의 하부 연속성에 대한 새로운 증명을 제공한다.

ABSTRACT

In this article, we solve the strong openness conjecture on the multiplier ideal sheaves for the plurisubharmonic functions posed by Demailly. We prove two conjectures about the growth of the volumes of the sublevel sets of plurisubharmonic functions related to the complex singularity exponents and quasi-plurisubharmonic functions related to the jumping numbers, which were posed by Demailly-Kollár and Jonsson-Mustată respectively. We give a new proof of a lower semicontinuity conjecture posed by Demailly-Kollár without using the ACC conjecture. Other applications by combining with well-known results are also mentioned.

연구 동기 및 목표

• 복소다양체 위의 다중 이상수선다이어그램 함수에 대한 다중 이상수선다이어그램 선다이어그램의 강한 개방 추측을 해결하는 것. 이는 $\mathcal{I}_+(\varphi) = \mathcal{I}(\varphi)$임을 주장한다.
• Demailly-Kollár의 추측을 확인하는 것: 복소다양체 위의 다중 이상수선다이어그램 함수의 하위레벨 집합 체적의 성장률이 복소이상수 지수와 관련된 것.
• Jonsson-Mustafla의 추측을 검증하는 것: 준다중 이상수선다이어그램 함수의 하위레벨 집합 체적과 점프 수의 행동에 관한 것.
• ACC 추측에 의존하지 않는 다중 이상수선다이어그램 함수의 이론적 이상수 지수의 하부 연속성에 대한 새로운 증명을 제공하는 것.

제안 방법

• 단위 다각형 위에서 복소함수에 대한 $L^2$ 확장 정리를 활용하여 강한 개방 성질을 확립한다. 이는 가중치 $L^2$ 노름에 대한 것이다.
• 하위레벨 집합 $\{\varphi < \log r\}$ 및 $\{-(R+1) < \varphi < -R\}$의 르베그 측도에 대한 측도론적 추정을 통해 균일한 하한을 도출한다.
• 근본적인 수렴 성질을 활용한 모순 증명: 근사 수열 $\varphi_m$ 이 $\varphi$로 르베그 측도에서 수렴하고, 다중 이상수선다이어그램 함수의 하중평균 부등식을 적용한다.
• 점별 정규화 및 $L^2$ 노름 제어를 만족하는 $L^2$ 확장을 통해 헬름홀로프 함수 $F_{v,t_0}$를 구성한다. 적분 가능성이 실패할 경우 모순이 발생한다.
• 절단 함수 $b_{t_0}(t)$를 사용하고, 링형 영역 $\{-t_0-1 < \varphi < -t_0\}$에서 적분 가능성을 시험하여 체적 추정을 유도한다.
• 강한 개방 추측과 $p>1$가 존재하여 $\int_{\Delta^n_r} |F|^2 e^{-p\varphi} d\lambda_n < \infty$ 이 성립하는 것 사이의 동치성을 활용한다. 여기서 $F$는 $\int_{\Delta^n} |F|^2 e^{-\varphi} d\lambda_n < \infty$ 를 만족한다.

실험 결과

연구 질문

• RQ1 복소다양체 위의 임의의 다중 이상수선다이어그램 함수 $\varphi$에 대해 다중 이상수선다이어그램 선다이어그램 $\mathcal{I}_+(\varphi)$는 $\mathcal{I}(\varphi)$와 일치하는가?
• RQ2 복소이상수 지수 $c_K(\varphi)$에 대해 $r \to 0^+$ 일 때 $\frac{1}{r^{2c_K(\varphi)}} \mu(\{\varphi < \log r\})$에 대해 균일한 양의 하한이 존재하는가?
• RQ3 체적 $\mu(\{-(R+1) < \varphi < -R\})$ 는 $R$ 에 대해 지수적으로 감소하며, $e^R$ 으로 스케일링했을 때 균일한 하한이 존재하는가?
• RQ4 복소이상수 지수의 하부 연속성은 ACC 추측에 의존하지 않고 증명될 수 있는가?

주요 결과

• 강한 개방 추측이 확인됨: 임의의 복소다양체 위의 다중 이상수선다이어그램 함수 $\varphi$에 대해 $\mathcal{I}_+(\varphi) = \mathcal{I}(\varphi)$ 가 성립한다.
• 단위 다각형 $\Delta^n$ 위의 임의의 다중 이상수선다이어그램 함수 $\varphi$에 대해, $e^R \mu(\{-(R+1) < \varphi < -R\})$ 는 $R \gg 0$ 에 대해 일관된 양의 하한을 가진다.
• 만약 $F \equiv 1$ 이면, 체적 $\mu(\{-(R+1) < \varphi < -R\})$ 는 모든 큰 $R$ 에 대해 $e^R \mu(\{-(R+1) < \varphi < -R\}) \geq C > 0$ 를 만족하며, $C$ 는 도메인과 $\varphi$ 에만 의존한다.
• Demailly-Kollár의 하위레벨 집합 체적 성장 추측이 확인됨: $r \in (0,1)$ 에 대해 $\frac{1}{r^{2c_K(\varphi)}} \mu(\{\varphi < \log r\})$ 는 균일하게 하한이 존재한다.
• Jonsson-Mustafla의 준다중 이상수선다이어그램 함수에 대한 체적 행동 추측은 동일한 $L^2$ 기반 측도 추정을 통해 검증된다.
• ACC 추측에 의존하지 않는 복소이상수 지수의 하부 연속성에 대한 새로운 증명이 얻어졌으며, $L^2$ 확장 및 측도론적 추론만을 사용한다.