[논문 리뷰] Closed Range for $\bar\partial$ and $\bar\partial_b$ on Bounded Hypersurfaces in Stein Manifolds

Phillip S. Harrington, Andrew Raich|arXiv (Cornell University)|2011. 06. 03.

Holomorphic and Operator Theory참고 문헌 16인용 수 3

한 줄 요약

이 논문은 $C^3$ 경계를 가진 스타인 다양체 내의 유계 도메인에 대해 약한 $Z(q)$ 조건을 일반화된 조건으로 도입하며, 이는 $\bar\theta$ 및 $\bar\theta_b$ 연산자의 닫힌 범위를 보장한다. 고전적인 $Z(q)$ 조건과 $(q-1)$-강한 볼록성 조건을 비정수 프로젝션 고유값을 允허함으로써 완화함으로써, 저자들은 조화 $(0,q)$-형식이 존재하지 않음을 증명하고 $\bar\theta$의 닫힌 범위를 확보하며, 허르망더의 $L^2$ 이론을 강한 볼록 도메인을 초월하여 확장한다.

ABSTRACT

We define weak $Z(q)$, a generalization of $Z(q)$ on bounded domains $Ω$ in a Stein manifold $M^n$ that suffices to prove closed range of $\bar\partial$. Under the hypothesis of weak $Z(q)$, we also show (i) that harmonic $(0,q)$-forms are trivial and (ii) if $\partialΩ$ satisfies weak $Z(q)$ and weak $Z(n-1-q)$, then $\dbar_b$ has closed range on $(0,q)$-forms on $\partialΩ$. We provide examples to show that our condition contains examples that are excluded from $(q-1)$-pseudoconvexity and the authors' previous notion of weak $Z(q)$.

연구 동기 및 목표

• 비정수 프로젝션 고유값을 允허함으로써 $Z(q)$ 조건을 일반화하여, 비강한 볼록 도메인에서도 $\bar\theta$ 및 $\bar\theta_b$의 닫힌 범위 결과를 도출한다.
• 약한 $Z(q)$ 조건 하에서 조화 $(0,q)$-형식의 공간이 존재하지 않음을 증명함으로써 $L^2$ 해법 가능성에 필수적인 단계를 확보한다.
• 약한 $Z(q)$ 및 약한 $Z(n-1-q)$ 조건이 동시에 성립할 경우, 경계 $\bar\theta\bar\theta$ 상에서 $\bar\theta_b$가 닫힌 범위를 가짐을 보인다.
• 약한 $Z(q)$는 성립하지만 고전적인 $(q-1)$-강한 볼록성 또는 이전의 약한 $Z(q)$ 조건은 성립하지 않는 예를 제시함으로써 그 일반성을 입증한다.
• 셰이의 (2010) 기법을 변형하고 가중 $L^2$ 공간을 사용하여, 비연속 경계에 대한 $L^2$ $\bar\theta$-이론을 확장함으로써 조화형식의 존재하지 않음을 증명한다.

제안 방법

• 프로젝션 행렬의 고유값을 0과 1 뿐 아니라 $[0,1]$ 내의 값으로 허용함으로써, $Z(q)$의 완화된 형태인 약한 $Z(q)$를 정의한다.
• 최근 셰이 (2010)의 결과를 활용하여, 가중 $L^2$ 공간 프레임워크 내에서 조화형식을 제외한 $\bar\theta u = f$의 해를 구한다.
• 경계가 $C^3$일 경우에 적합한 적분 by parts 및 미세국소 분석 기법을 적용하여 오차 항을 통제한다.
• 정의 함수 $\rho$와 매개변수 $t$로 매개화된 거의 복소 구조의 가로모델을 구성하여 레비 형식의 추적에 대한 양성 여부를 시험한다.
• 형식 $(\text{Tr}\tilde{\rho} - \tilde{\rho}(\tilde{\theta}))\tilde{\theta} - i\bar\theta\theta\rho$의 양성을 검증함으로써 국소적으로 약한 $Z(q)$ 조건이 성립함을 확인한다.
• 레마 6.2를 활용하여 국소적 약한 $Z(q)$ 조건을 균일하게 성립하는 전체 유계 도메인으로 확장한다.

실험 결과

연구 질문

• RQ1 비강한 볼록 도메인에서 $Z(q)$ 조건보다 더 약한 조건을 사용하여, 스타인 다양체 내의 유계 도메인에서 $\bar\theta$의 닫힌 범위를 확보할 수 있는가?
• RQ2 일반화된 $Z(q)$-유형 조건 하에서 조화 $(0,q)$-형식이 존재하지 않는가?
• RQ3 약한 $Z(q)$는 $(q-1)$-강한 볼록성 및 저자들이 이전에 제안한 약한 $Z(q)$ 조건보다 엄밀히 더 약한가?
• RQ4 비강한 볼록 도메인일 경우에도 경계에서 $\bar\theta_b$가 닫힌 범위를 가질 수 있는가?
• RQ5 가중 $L^2$ 공간을 사용하고 조화형식의 존재하지 않음을 증명하는 기법을 셰이 (2010)의 기법에 맞추어 조정함으로써, $C^3$ 경계로의 $L^2$ $\bar\theta$-이론을 확장할 수 있는가?

주요 결과

• 약한 $Z(q)$ 조건 하에서 조화 $(0,q)$-형식의 공간 $\nabla^{q}(\bar\theta)$는 자명하다. 이는 $L^2$ 해법 가능성에로 가는 핵심 단계이다.
• $\bar\theta$-라플라스 연산자 $\nabla^{q}$는 $L^2_{(0,q)}(\bar\theta)$에서 닫힌 범위를 가지며, 이는 $\bar\theta u = f$의 해 존재성을 보장한다.
• $\bar\theta$-뉴먼 연산자 $N^q$는 $L^2_{(0,q)}(\bar\theta)$에서 존재하고 연속적이다. 이는 최적의 정칙성 결과를 암시한다.
• $\bar\theta$ 연산자는 $L^2_{(0,q)}(\bar\theta)$ 및 $L^2_{(0,q+1)}(\bar\theta)$에서 닫힌 범위를 가지며, $\bar\theta^*$ 는 $L^2_{(0,q)}(\bar\theta)$ 및 $L^2_{(0,q-1)}(\bar\theta)$에서 닫힌 범위를 가진다.
• 약한 $Z(q)$는 $(q-1)$-강한 볼록성 및 저자들이 이전에 제안한 약한 $Z(q)$보다 엄밀히 더 일반적임을, 6.1조합에서 반례를 제시함으로써 입증한다.
• 유계 도메인에서 약한 $Z(2)$가 전역적으로 성립하는 경우가 존재한다. 이 경우 유클리드 계량은 약한 $Z(2)$를 만족하지 못하지만, $t \to \bar\theta$일 때 $t \geq 6$인 경우 조건이 성립한다.