[논문 리뷰] Convergence in capacity on compact Kähler manifolds

Sławomir Dinew, Phạm Hoàng Hiệp|ArXiv.org|2009. 04. 27.

Geometry and complex manifolds참고 문헌 7인용 수 3

한 줄 요약

이 논문은 컴팩트 카라흐 곡면 위의 Cegrell 클래스 $υ(X,\omega)$ 함수 수열에 대해 용적 수렴에 대한 날카운 안정성 및 수렴 결과를 확립한다. 복소다양체 이론에서의 새로운 추정치와 $C_{X,\omega}$-용적에 대한 균일한 절대연속성에 기반하여, $L^1$ 수렴과 몽주-암페르 측도의 균일한 제어가 있으면, 유계성이나 하한 조건과 같은 이전의 가정 없이도 용적 수렴이 성립함을 증명한다.

ABSTRACT

The aim of this note is to study the convergence in capacity for functions in the class $\mathcal E(X,ω)$. We obtain several stability theorems. Some of these are (optimal) generalizations of results of Xing, while others are new.

연구 동기 및 목표

• 컴팩트 카라흐 곡면 위의 Cegrell 클래스 $υ(X,\omega)$ 내에서 용적 수렴에 대한 최적의 안정성 정리를 확립하는 것.
• Xing 및 Kołodziej의 이전 결과를 일반화하고 날카롭게 하여, 균일한 하한 또는 유계성과 같은 기술적 가정을 제거하는 것.
• $L^1$ 수렴과 몽주-암페르 측도의 균일한 제어가 있으면, 유계성이 없더라도 용적 수렴이 성립함을 증명하는 것.
• $C_{X,\omega}$-용적에 대한 측도의 균일한 절대연속성이 용적 수렴에 대한 안정성에 충분함을 보이는 것.

제안 방법

• $C_{X,\omega}$-용적은 Kołodziej에 의해 도입되었고 Guedj-Zeriahi에 의해 연구된 것으로, 유계된 $\omega$-강볼록 함수들 위에서의 몽주-암페르 질량의 상한을 통해 정의된다.
• Cegrell 클래스 $υ(X,\omega)$는 몽주-암페르 연산자가 잘 정의되고 총 질량이 유지되는 $\omega$-강볼록 함수들로 구성된다.
• 절단 기법을 활용한다: $u_{jt} = \max(u_j, -t)$, $u_t = \max(u, -t)$로 정의하고, 이들의 용적 수렴을 통해 특이성을 제어한다.
• 몽주-암페르 측도의 비교 원리 적용: $T$ 가 $\omega$-강볼록 커텐츠의 곱이라면 $\int_{\{u \leq v\}} \omega_{\max(u,v)}^k \wedge T = \int_{\{u \leq v\}} \omega_u^k \wedge T$.
• $C_{X,\omega}$-용적에 대한 $\omega_{v_j}^n$ 의 균일한 절대연속성 적용으로, 작고 용적이 작은 집합이 작은 측도 질량을 가짐을 보장한다.
• 집합 $\{u_j < u - \delta\}$ 에서의 추정치를 조합하여, $\{u_j \leq -t\}$, $\{u \leq -t\}$, $\{v_j \leq -t\}$, $\{u_{jt} > u_t + \epsilon\}$ 으로 분해하고, 용적 감쇠와 측도 제어를 함께 사용한다.

실험 결과

연구 질문

• RQ1 유계성이나 균일한 하한 조건 없이도, $\u03c5(X,\omega)$ 내의 수열에 대해 용적 수렴을 확립할 수 있는가?
• RQ2 $L^1$ 수렴과 몽주-암페르 측도의 균일한 제어가 있으면, 어떤 조건에서 용적 수렴이 성립하는가?
• RQ3 $C_{X,\omega}$-용적에 대한 몽주-암페르 측도의 균일한 절대연속성은 안정성 정리에 어떤 영향을 미치는가?
• RQ4 Xing 및 Kołodziej의 안정성 결과는 $\u03c5(X,\omega)$ 전체 클래스로 얼마나 일반화될 수 있는가?
• RQ5 절단 $\max(u_j, -t)$ 는 특이성을 제어하고 용적 수렴을 증명하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 $u_j \to u$ in $L^1(X)$ 이고, 어떤 $A > 1$ 에 대해 $\omega_{u_j}^n \leq A \omega_{v_j}^n$ 이며, $v_j \to v$ in $C_{X,\omega}$ 이면, 유계성이나 하한 조건 없이도 $u_j \to u$ in $C_{X,\omega}$ 임을 증명한다.
• 핵심 추정치는 $\varlimsup_{j\to\infty} \int_{\{u_j < u - \delta\}} \omega_{u_j}^n \leq \sup_{j \geq 1} \int_{\{u_j \leq -t\} \cup \{u \leq -t\} \cup \{v_j \leq -t\}} \omega_{v_j}^n + \frac{2\epsilon}{\delta}$ 로, $t \to \infty$ 이고 $\epsilon \to 0$ 일 때 이 값이 0으로 수렴함을 보여준다.
• $C_{X,\omega}$-용적에 대한 $\omega_{v_j}^n$ 의 균일한 절대연속성은 고정된 $t, \epsilon > 0$ 에 대해 $\int_{\{u_{jt} > u_t + \epsilon\}} \omega_{v_{jt}}^n \to 0$ as $j \to \infty$ 임을 보장한다.
• $\int_X (u_t - u_{jt}) \omega_{v_t}^n \to 0$ 는 [Ce3] 에 기반하여 $L^1$ 수렴과 절단 제어를 통해 확립된다.
• $C_{X,\omega}(\{u_{jt} > u_t + \epsilon\}) \to 0$ as $j \to \infty$ 는 Hartogs의 보조정리와 절단의 안정성에 의해 성립한다.
• 결과는 Xing(2005)의 정리 5와 Kołodziej(2005)의 정리 3.4를 일반화하며, 고정된 하한 함수 $v_0 \in \u03c5(X,\omega)$ 가 필요 없어짐을 보여준다.