[논문 리뷰] The openness conjecture for plurisubharmonic functions

Bo Berndtsson|arXiv (Cornell University)|2013. 05. 24.

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

한 줄 요약

이 논문은 복소수 공간 $ \mathbb{C}^n $ 내 원점 근처에서 $ e^{-u} $가 적분 가능할 경우, 어떤 $ p > 1 $가 존재하여 $ e^{-pu} $가 더 작은 구역에서 적분 가능하다는 것을 증명함으로써, 다중하모닉 함수에 대한 개방 추측을 해결한다. 증명은 $ u_s = \max(u + s, 0) $에 의해 가중된 해석함수의 $ L^2 $-노름 $ \|h\|_s^2 = \int_B |h|^2 e^{-2u_s} $을 사용하며, 무한계수 헤르미트 벡터(bundle)의 곡률 양성 조건을 적용하여 최대원리 추론을 통해 결과를 도출한다.

ABSTRACT

We give a proof of the openness conjecture of Demailly and Kollár.

연구 동기 및 목표

• Demailly와 Kollár의 개방 추측을 증명하는 것: $ e^{-u} $의 적분 가능성은 어떤 $ p > 1 $에 대해 $ L^p $-적분 가능성으로 이어진다.
• 양의 하한 $ p \geq 1 + \delta_n / \int_B e^{-u} $를 얻는 정량적 추정을 제공하며, 여기서 $ \delta_n $는 차원에만 의존한다.
• 기존의 $ S^1 $-불변 함수에 한정된 대칭화 및 곡률 양성 조건의 방법을 새로운 $ L^2 $-노름 분해를 통해 일반 다중하모닉 함수로 확장한다.
• 만일 $ \int_B e^{-u} < \infty $이면, $ e^{-pu} $에 의한 $ L^p $-적분 가능성을 갖는 해석함수들의 공간이 $ L^2 $-해석함수 공간에서 밀도가 있음을 보여주는 것.

제안 방법

• $ s \geq 0 $에 대해 $ u_s = \max(u + s, 0) $를 정의하고, 단위 구 내 해석함수에 대해 $ \|h\|_s^2 = \int_B |h|^2 e^{-2u_s} $로 정의된 가중 $ L^2 $-노름을 도입한다.
• 항등식 $ \|h\|^2 = 2\int_0^\infty e^s \|h\|_s^2 ds + \|h\|_0^2 $를 사용하여, 무가중 $ L^2 $-노름을 가중족 $ \|h\|_s $와 연결한다.
• 정리 2.3을 적용하여, $ \|h\|_s $ 가 오른쪽 반평면 위의 무한계수 해석함수 벡터(bundle)에 대해 양성 곡률을 갖는 헤르미트 메트릭을 정의함을 보인다.
• 유한계수 부분_bundle로의 근사에 의해 정당화된, 무한계수 벡터(bundle)에 대한 양성 곡률 메트릭에 대한 최대원리 추론을 적용한다.
• $ |h|_t^2 = \int_X |h|^2 e^{-t\lambda(x)} d\mu(x)$ 로 정의된 평탄한 메트릭과 $ L^2 $-노름 $ \|h\|_s $를 비교하여 감쇠 추정을 유도한다.
• $ \|h\|_s^2 \leq e^{-(1+\epsilon)s} \|h\|_0^2 $ 의 감쇠 추정을 사용하여, $ p = 1 + \epsilon/2 $ 에 대해 $ \int_{B/2} e^{-pu} < \infty $ 임을 결론짓는다.

실험 결과

연구 질문

• RQ1 단위 구에서 $ u \leq 0 $ 인 다중하모닉 함수 $ u $ 에 대해 $ e^{-u} $ 가 적분 가능할 경우, 더 작은 구역에서 $ e^{-pu} $ 가 적분 가능하게 하는 $ p > 1 $ 가 존재하는가?
• RQ2 $ e^{-u} $ 의 $ L^1 $-노름에 대해 $ p $ 에 대한 정량적 하한을 설정할 수 있는가?
• RQ3 $ \int_B e^{-u} < \infty $ 일 때, $ e^{-pu} $ 에 의한 $ L^p $-적분 가능성을 갖는 해석함수들의 공간이 $ L^2 $-해석함수 공간에서 밀도가 있는가?
• RQ4 무한계수 헤르미트 벡터(bundle)의 곡률 양성 조건을 이용하여 $ L^p $-적분 가능성 결과를 도출할 수 있는가?

주요 결과

• 개방 추측은 완전히 해결됨: $ \int_B e^{-u} < \infty $ 이면, 어떤 $ p > 1 $ 가 존재하여 $ \int_{B/2} e^{-pu} < \infty $ 임을 보였다.
• 정량적 하한 $ p \geq 1 + \delta_n / \int_B e^{-u} $ 가 확립됨: 여기서 $ \delta_n $ 는 복소수 차원 $ n $ 에만 의존한다.
• 증명은 해석함수의 $ L^2 $-노름을 $ s \in (0, \infty) $ 에 대한 가중 $ L^2 $-노름 $ \|h\|_s^2 $ 의 적분으로 분해하는 데 의존하며, 이 가중 노름들이 곡률 양성 조건를 만족함을 보였다.
• 무한계수 벡터(bundle) 위의 메트릭 $ \|h\|_s $ 의 곡률 양성 조건을 사용하여, $ p > 1 $ 에 대해 $ L^p $-적분 가능성을 유도하는 감쇠 추정을 도출하였다.
• $ \int_B |h|^2 e^{-pu} < \infty $ 를 만족하는 해석함수들의 공간은 개방 추측의 결과로서 $ H^2(B, dm) $ 에서 밀도가 있다.
• 가중 함수를 유한계수 단계 함수로 근사하고, 한계에서 유한계수 최대원리 적용을 통해 이 방법을 무한계수 벡터(bundle)로 확장하였다.