[논문 리뷰] Intrinsic capacities on compact Kähler manifolds

Vincent Guedj, Ahmed Zériahi|ArXiv.org|2004. 01. 22.

Geometry and complex manifolds참고 문헌 1인용 수 17

한 줄 요약

이 논문은 콪 pact Kähler 다양체 위에서 내재된 용적을 도입하고 분석함으로써, 준다수하모닉(quadriplurisubharmonic, qpsh) 함수에 대한 전역 복소 포텐셜 이론을 수립한다. 주요 성질로는 준연속성, 국소 용적과의 비교 가능성, 불변성 등을 증명하며, 국소적으로 다수포텐셜인 집합이 전역적으로 준다수포텐셜임을 보이고, 복소 동역학 및 캐논리컬 메트릭에의 응용을 포함한다.

ABSTRACT

We study fine properties of quasiplurisubharmonic functions on compact Kähler manifolds. We define and study several intrinsic capacities which characterize pluripolar sets and show that locally pluripolar sets are globally "quasi-pluripolar".

연구 동기 및 목표

• 콤팩트 설정으로 국소 이론을 확장하여 콤팩트 Kähler 다양체 위에서 전역 복소 포텐셜 이론을 수립하기.
• 다수포텐셜 집합을 특징짓는 몽주-암페르 및 알렉산더 용적과 같은 내재된 용적을 정의하고 연구하기.
• 국소적으로 다수포텐셜인 집합이 전역적으로 준다수포텐셜임을 증명하여 국소와 전역 복소 포텐셜 행동을 연결하기.
• Kähler 기하학에서 몽주-암페르 방정식을 풀고 캐논리컬 메트릭을 연구하기 위한 도구를 제공하기.
• 이론을 복소 동역학 및 양의 커텐츠를 유리 다발로 근사하는 데 응용하기.

제안 방법

• ω-다수하모닉(ω-psh) 함수를 ω + dd^cφ ≥ 0 를 만족하는 전역 함수 φ로 정의하여, psh 함수를 콤팩트 다양체로 일반화한다.
• 相対극한함수 h_{E,ρ}^* 를 사용한 전역 공식 $ Cap_{ ho}^*(E) = \int_X (-h_{E,\rho}^*) (\omega + dd^c h_{E,\rho}^*)^n $ 을 통해 몽주-암페르 용적 $ Cap_{\rho} $ 을 도입한다.
• 부분적분을 사용하여 콤팩트 다양체 위에서 몽주-암페르 연산자에 대한 체른-레빈-니렌버그 유형 부등식을 수립한다.
• dd^c-보조정리와 호지 이론을 활용하여, 코homologous (1,1)-커렌츠를 ω + dd^cφ 로 표현함으로써 전역 분석을 가능하게 한다.
• 오사와-타케구치의 L^2 확장 정리를 적용하여, qpsh 함수의 거의 가역적 수열의 매끄러운 근사화를 구성한다.
• 베르그만 공간과 단위수열의 기저를 사용하여, 임의의 $ \varphi \in PSH(X,\omega) $ 에 대해 $ \varphi_j \in PSH(X, A\omega) \cap \mathcal{C}^\infty(X) $ 인 감소 수열을 구성하고, $ L^1(X) $ 수렴을 확보한다.

실험 결과

연구 질문

• RQ1 콤팩트 Kähler 다양체 위에서 다수포텐셜 집합을 포괄할 수 있도록 내재된 용적을 어떻게 정의하고 특징지을 수 있는가?
• RQ2 국소적으로 다수포텐셜인 집합이 콤팩트 전역 설정에서 여전히 다수포텐셜인가?
• RQ3 제어된 수렴과 곡률 상한을 갖는 ω-psh 함수의 매끄러운 근사화를 어떻게 구성할 수 있는가?
• RQ4 전역 용적은 베드포트-테일러 이론의 국소 대응과 어떻게 비교되는가?
• RQ5 X = \mathbb{C}\mathbb{P}^n 이고 ω 가 푸비니-스투디 형식일 때, 알렉산더 용적 $ T_\omega $ 는 기하학적으로 어떻게 해석될 수 있는가?

주요 결과

• 몽주-암페르 용적 $ Cap_{\omega} $ 는 국소 베드포트-테일러 용적과 비교 가능하며, 분할형형식에 대해 불변성을 만족한다.
• 준다수포텐셜 집합은 $ Cap_{\omega} $-용적이 0인 집합으로 특징지어지며, ω-psh 함수는 $ Cap_{\omega} $ 에 관해 준연속적이다.
• 콤팩트 Kähler 다양체 위에서 국소적으로 다수포텐셜인 집합은 전역적으로 준다수포텐셜이다. 이는 조제프슨의 정리를 전역 설정으로 일반화한 것이다.
• 모든 $ \varphi \in PSH(X,\omega) $ 에 대해, $ A \geq 1 $ 이며 다양체에만 의존하는 상수 A 를 갖는 감소 수열 $ \varphi_j \in PSH(X, A\omega) \cap \mathcal{C}^\infty(X) $ 가 존재하여 $ \varphi $ 에 대해 $ L^1(X) $ 수렴을 이룬다.
• X = \mathbb{C}\mathbb{P}^n 이고 ω 가 푸비니-스투디 형식일 때, 알렉산더 용적 $ T_\omega $ 는 티체비체프 상수와 사영 기하학적 해석을 갖는다.
• 전역 이론 덕분에 경계가 없기 때문에, 체른-레빈-니렌버그 부등식에 대한 간결한 증명이 가능해진다.