[논문 리뷰] Th\\'eorie $L^p$ pour l'\\'equation de Cauchy-Riemann

Christine Laurent‐Thiébaut|arXiv (Cornell University)|2013. 01. 08.

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

한 줄 요약

이 논문은 복소 해석적 다양체 위에서 $\bar\partial$-연산자에 대한 $L^p$-이론을 수립하여, 컴acts 지지가 있는 $L^p$-폐형이 $W^{1,p}$에서 $\bar\partial$-정확하다는 것을 증명한다. 이는 고전적인 $L^2$ 결과를 일반화한 것이다. 또한 $L^p$-Dolbeault 코hom로지에 대한 쌍대 이론을 개발하고, Sobolev 정규성 $W^{1-1/p,p}$를 갖는 CR 함수에 대한 Hartogs-Bochner 유형의 $L^p$-확장 정리를 증명한다. 이는 $L^p$-공간에서의 컴acts성 추정과 쌍대 이론을 활용한다.

ABSTRACT

In this paper we propose a systematic study of the Cauchy-Riemann operator in the $L^p$-setting in complex manifolds. We first consider $L^p_{loc}$-theory and then we develop an $L^p$ Andreotti-Grauert theory. Finally we consider Serre duality and its applications to the solvability of the Cauchy-Riemann equation with exact support in $L^p$-spaces.

연구 동기 및 목표

• 복소 해석적 다양체에서 $1 < p < \infty$에 대해 $\bar\partial$-연산자에 대한 체계적인 $L^p$-이론을 수립하는 것.
• Hörmander와 Neumann의 고전적인 $L^2$-이론을 $L^p$-공간으로 확장하여, $L^p \to L^{p'}$의 쌍대성 원리를 활용하는 것.
• 컴팩트 지지가 있는 $L^p$-폐형에 대해 $W^{1,p}$-공간에서 $\bar\partial$-정확성 문제를 해결하는 것.
• Sobolev 정규성 $W^{1-1/p,p}$를 갖는 CR 함수에 대해 Hartogs-Bochner-Severi 확장 정리의 $L^p$-버전을 증명하는 것.

제안 방법

• 복소 다양체 위에서 $\bar\partial$-폐형을 다루기 위해 $L^p$-코homology와 $W^{1,p}$-정규성을 사용한다.
• Beals-Greiner-Stanton의 컴팩트성 추정을 적용하여 $W^{1,p}$-공간 내의 해를 제어한다.
• 추상적 쌍대 이론을 통해 $L^p$-복합체와 $L^{p'}$-복합체 사이의 쌍대성을 수립한다.
• Andreotti-Grauert 이론을 $L^p$-설정에서 응용하여 코homological 소멸 결과를 도출한다.
• L^p-공간에서의 Serre 쌍대성을 활용하여 컴팩트 지지가 있는 $\bar\partial$-문제의 해법 가능성을 특성화한다.
• Stein 다양체에서의 Hartogs 현상성을 적용하여 코homology 군 $H^{r,n}_{c,L^p}(X\setminus\overline{D},E)$와 $H^{r,n-1}_{W^{1,p}}(D,E)$ 사이의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 복소 다양체 위의 $L^p$-폐형 $(r,q)$-형이 컴팩트 지지를 갖는 $W^{1,p}$-공간에서 $\bar\partial$-정확해지는가?
• RQ2 $L^p$-쌍대성은 $L^p$-복합체와 그 쌍대 $L^{p'}$-복합체의 코homology 사이에 어떻게 관련되는가?
• RQ3 Sobolev 정규성 $W^{1-1/p,p}$를 갖는 CR 함수에 대해 Hartogs-Bochner 확장 정리를 $L^p$-정규성으로 일반화할 수 있는가?
• RQ4 어떤 기하학적 및 코homological 조건이 컴팩트 지지를 갖는 $L^p$-공간에서 $\bar\partial$-문제의 해법 가능성을 보장하는가?
• RQ5 $H^{r,n-1}_{W^{1,p}}(D,E)$의 소멸이 $H^{r,n}_{c,L^p}(X\setminus\overline{D},E)$의 분리성과 어떻게 관련되는가?

주요 결과

• 모든 $f \in (L^p_{\text{loc}})^{r,q}(X,E)$에 대해 $\bar\partial f = 0$ 이고 $q \geq 1$ 이면, $\operatorname{supp}(g) \subset \operatorname{supp}(f)$ 를 만족하는 $g \in (L^p_{\text{loc}})^{r,q-1}(X,E)$ 가 존재하여 $f - \bar\partial g \in \mathcal{E}^{r,q}(X,E)$ 를 만족한다.
• 만약 $f = \bar\partial S$ 를 만족하는 현재 $S \in \mathcal{D}'^{r,q-1}(X,E)$ 가 존재하면, $\operatorname{supp}(g) \subset \operatorname{supp}(S)$ 를 만족하는 $g \in (W^{1,p}_{\text{loc}})^{r,q-1}(X,E)$ 가 존재하여 $f = \bar\partial g$ 를 만족한다.
• 컴팩트 지지를 갖는 $f \in (L^p)^{r,q}(X,E)$ 이고 $\bar\partial f = 0$ 이면, $\operatorname{supp}(g) \subset \operatorname{supp}(f)$ 를 만족하는 $g \in (W^{1,p})^{r,q-1}(X,E)$ 가 존재하여 $f = \bar\partial g$ 를 만족한다.
• $L^p$-코homology $H^{r,q}_{c,L^p}(X\setminus\overline{D},E)$ 는 $X$ 가 스티븐 다양체이고 $X\setminus D$ 가 연결되어 있을 때, $H^{r,n-1}_{W^{1,p}}(D,E) = 0$ 이면 분리된다.
• $L^p$-Hartogs 확장 정리가 성립한다: $X$ 가 스티븐 다양체이고 $n \geq 2$ 이면, 도메인의 경계에서 $W^{1-1/p,p}$ 정규성을 갖는 CR 함수는 내부로 해석적 확장 가능하다.
• 쌍대성에 의해 $H^{r,n-1}_{W^{1,p}}(D,E) = 0$ 이거나 $H^{n-r,1}_{L^{p'}}(X\setminus\overline{D},E^*)$ 는 분리되지 않는다.