[논문 리뷰] The $L^p$ boundedness of the Bergman projection for a class of bounded Hartogs domains

Liwei Chen|arXiv (Cornell University)|2013. 04. 30.

Holomorphic and Operator Theory참고 문헌 10인용 수 9

한 줄 요약

이 논문은 복소수 $\mathbb{C}^n$에서 정의된 일반화된 유계 하르토그스 도메인의 클래스에 대해 베르그만 프로젝션의 날카운 $L^p$ 유계성 범위를 확립한다. 이는 프로젝션이 $L^p$에서 유계일 조건이 $p \in \left(\frac{2n}{n+1}, \frac{2n}{n-1}\right)$임을 증명하며, 도메인을 정의하는 특정 바이홀로모르피즘의 종속 없이 성립한다. 이 결과는 고전적인 하르토그스 삼각형의 경우를 일반화하며, 바이홀로모르피즘 불변성과 스케일링 추론에 기반한다.

ABSTRACT

We generalize the Hartogs triangle to a class of bounded Hartogs domains, and we prove that the corresponding Bergman projections are bounded on $L^p$ if and only if $p$ is in the range $(\frac{2n}{n+1},\frac{2n}{n-1})$.

연구 동기 및 목표

• 복소수 $\mathbb{C}^n$에서 바이홀로모르피즘 사상에 의해 정의된 복소적 구조를 가진 일반화된 유계 하르토그스 도메인의 광범위한 클래스로 고전적인 하르토그스 삼각형을 일반화하기.
• 이러한 일반화된 도메인에 대해 베르그만 프로젝션이 $L^p$에서 유계일 수 있는 정확한 $p$의 범위를 규명하기.
• 이 유계성 범위가 복소 차원 $n$에만 의존하며, 도메인을 정의하는 특정 바이홀로모르피즘 데이터 $\{k_j, \phi_j\}$에는 영향을 받지 않는다는 것을 보여주기.

제안 방법

• 각 $\phi_j(\tilde{z}_j)$의 노름과 $|z_{k+1}|, \dots, |z_n|$을 포함하는 중첩된 부등식을 통해 유계 하르토그스 도메인 $\mathbb{H}^n_{\{k_j,\phi_j\}}$의 클래스를 정의하기.
• 일반화된 도메인 $\mathbb{H}^n_{\{k_j,\phi_j\}}$에서 표준 모델 $\mathbb{H}^n_{\{k_j\}}$로의 바이홀로모르피즘 사상 $\Phi$를 구성하여, 자코비안 왜곡을 제외하고는 베르그만 프로젝션의 구조를 유지하기.
• 자코비안 행렬식과 그 역행렬의 유계성을 이용하여 일반화된 도메인의 $L^p$ 노름과 표준 모델의 노름을 연결하기.
• 표준 모델 $\mathbb{H}^n_k$에 대해 알려진 $L^p$ 유계성 결과를 적용하여 일반화된 도메인의 유계성 범위를 유도하기.
• 베르그만 프로젝션의 쌍대성과 자기수반성에 기반하여, $p \in \left(\frac{2n}{n+1}, \frac{2n}{n-1}\right)$에서의 유계성 범위를 전체 구간으로 확장하기.

실험 결과

연구 질문

• RQ1 복소수 $\mathbb{C}^n$에서 정의된 일반화된 유계 하르토그스 도메인의 클래스에 대해, 베르그만 프로젝션이 $L^p$에서 유계일 수 있는 정확한 $p$의 범위는 무엇인가?
• RQ2 이 $L^p$ 유계성 범위는 도메인을 정의하는 특정 바이홀로모르피즘 사상 $\phi_j$에 의존하는가?
• RQ3 일반화된 하르토그스 도메인에서의 베르그만 프로젝션의 $L^p$ 유계성은 바이홀로모르피즘 동치를 통해 표준 모델 도메인의 결과로 환원될 수 있는가?
• RQ4 모든 $p \in [1, \infty)$에 대해 이 유계성 범위는 날카로운가, 특히 $p < 2$인 경우에도 마찬가지인가?
• RQ5 특이 도메인인 하르토그스 삼각형과 같은 경우와 매끄러운 도메인과의 비교에서, 베르그만 프로젝션의 $L^p$ 행동은 어떻게 다를까?

주요 결과

• 일반화된 하르토그스 도메인 $\mathbb{H}^n_{\{k_j,\phi_j\}}$에서의 베르그만 프로젝션은 $p \in \left(\frac{2n}{n+1}, \frac{2n}{n-1}\right)$이면 $L^p$에서 유계이며, 그 외에는 그렇지 않다.
• 이 유계성 범위는 복소 차원 $n$에만 의존하며, $\{k_j, \phi_j\}$의 특정 선택, 비선형 또는 선형 바이홀로모르피즘 여부와는 무관하다.
• 표준 모델 $\mathbb{H}^n_k = \{ z \in \mathbb{C}^n : |(z_1,\dots,z_k)| < |z_{k+1}| < \cdots < |z_n| < 1 \}$도 동일한 $L^p$ 유계성 범위를 가진다.
• 스케일링과 테스트 함수 구성에 의해, $p \leq \frac{2n}{n+1}$인 경우, $0 < p < 1$일 때조차도 베르그만 프로젝션이 유계가 아님을 보였다.
• 바이홀로모르피즘 불변성 덕분에, $L^p$ 유계성 성질은 제어 가능한 자코비안 왜곡을 통해 표준 모델에서 일반화된 도메인으로 결과를 이전할 수 있다.
• 범위 $\left(\frac{2n}{n+1}, \frac{2n}{n-1}\right)$는 $p \in [1, \infty)$에서 날카로우며, 베르그만 프로젝션의 자기수반성에 의해 쌍대성 덕분에 전체 범위에서의 유계성이 보장된다.