[논문 리뷰] $L^p$-regularity of the Bergman projection on quotient domains

Chase Bender, Debraj Chakrabarti외 2명|arXiv (Cornell University)|2020. 04. 06.

Holomorphic and Operator Theory참고 문헌 24인용 수 6

한 줄 요약

이 논문은 $$\mathbb{C}^n$$에서의 단항 다항식의 하위 수준 집합으로 정의되는 단항 다항체라고 불리는 특이 Reinhardt 도메인의 일종에 대해 Bergman 사영의 날카운 $L^p$-유계 범위를 확립한다. 이러한 도메인을 유니터리 볼 $$\mathbb{D}^n$$ 위의 유한군 작용에 의한 몽환 단항 사상에 의한 몫으로 표현함으로써, 도메인의 산술적 복잡도 $$\kappa(\mathscr{U})$$에 기반한 정확한 공식을 도출하며, 이는 복잡도가 증가할수록 유계 범위가 좁아짐을 보여준다.

ABSTRACT

We obtain sharp ranges of $L^p$-boundedness for domains in a wide class of Reinhardt domains representable as sub-level sets of monomials, by expressing them as quotients of simpler domains. We prove a general transformation law relating $L^p$-boundedness on a domain and its quotient by a finite group. The range of $p$ for which the Bergman projection is $L^p$-bounded on our class of Reinhardt domains is found to shrink as the complexity of the domain increases.

연구 동기 및 목표

• 단항 다항체라고 불리는 특이 Reinhardt 도메인의 넓은 범주에서 Bergman 사영의 정확한 $L^p$-유계 범위를 결정하는 것.
• 유한군 작용에 의한 몰입에 대해, 도메인과 그 몫 도메인에서 Bergman 사영의 $L^p$-유계성 간의 일반적인 변환 법칙을 수립하는 것.
• 정의된 다항부등식의 행렬 $$B$$의 역행렬의 열의 사영 높이를 통해 정의되는 산술적 불변량 $$\kappa(\mathscr{U})$$를 통해 유계성의 날카운 $$p$$-범위를 특징짓는 것.
• 부드럽지 않은 경계를 가진 도메인을 넘어, 비-Lipschitz 경계를 가진 더 일반적인 기하학적으로 다룰 수 있는 강한 볼록 도메인으로 Bergman 사영의 정규성 이론을 확장하는 것.
• 산술적 복잡도 $$\kappa(\mathscr{U})$$의 기하학적 의미를 명확히 하여, 더 넓은 범주에 걸쳐 $L^p$-정규성 결과를 일반화하는 기초를 마련하는 것.

제안 방법

• 저자들은 단항 다항체 $$\mathscr{U}$$를 유한군 작용에 의해 유도되는 적절한 헬름홀로직 단항 사상에 의한 유니터리 볼 $$\mathbb{D}^n$$의 몫으로 표현한다.
• 그들은 이러한 몫 사상에 의한 $L^p$-노름의 변환 법칙을 유도하며, 자코비안 행렬식과 단항 가중치를 포함한 변수 변경을 통해 $$\mathscr{U}$$에서의 Bergman 사영과 $$\mathbb{D}^n$$에서의 사영 간의 관계를 설정한다.
• 핵심 불변량 $$\kappa(\mathscr{U})$$는 도메인의 정의 부등식에 등장하는 지수 행렬 $$B$$의 역행렬 $$B^{-1}$$에 대한 표준 기저 벡터 $$e_k$$에 대한 사영 높이 $$\mathsf{h}(B^{-1}e_k)$$의 최댓값으로 정의된다.
• 유니터리 볼에서 Bergman 사영의 알려진 $L^p$-유계성과 변환 법칙을 적용하여, 보간과 쌍대성 추론을 통해 $$\mathscr{U}$$에서의 날카운 $$p$$-범위를 도출한다.
• 증명은 단항 변수 변경 하에서 가중 $L^p$-노름의 명시적 계산에 기반하며, 가중 함수의 동차성과 자코비안 행렬식의 행렬식 성질을 활용한다.
• Bergman 사영의 $L^2$에서의 허들러 대칭성을 활용하여, 유계성 범위를 $$p \geq 2$$에서 전체 대칭 구간 $$\left(\frac{2\kappa(\mathscr{U})}{\kappa(\mathscr{U})+1}, \frac{2\kappa(\mathscr{U})}{\kappa(\mathscr{U})-1}\right)$$로 확장한다.

실험 결과

연구 질문

• RQ1 복소수 $$\mathbb{C}^n$$에서 단항식의 하위 수준 집합으로 정의된 단항 다항체 $$\mathscr{U}$$에서 Bergman 사영이 $L^p$-유계가 되는 정확한 $$p$$의 범위는 무엇인가요?
• RQ2 특히 몰입 사상이 단항 사상일 경우, 몰입 도메인에서의 Bergman 사영의 $L^p$-유계성은 원래 도메인에서의 그것과 어떻게 관련이 있나요?
• RQ3 정의 부등식의 특정 표현에 의존하지 않는, 도메인의 내재된 기하학적 또는 산술적 불변량을 통해 $L^p$-유계성 범위를 표현할 수 있을까요?
• RQ4 도메인의 복잡도가 증가함에 따라 유계성 범위는 어떻게 변화하나요? 특히 무한 복잡도의 극한에서 어떻게 되나요?
• RQ5 일반화된 Hartogs 삼각형의 경우와 같이, 날카운 범위 외부의 $$p$$에서 유계성을 유지하는 자연스러운 Bergman 사영의 대체물이 존재할 수 있을까요?

주요 결과

• 단항 다항체 $$\mathscr{U}$$에서의 Bergman 사영은 $$p$$가 열린 구간 $$\left(\frac{2\kappa(\mathscr{U})}{\kappa(\mathscr{U})+1}, \frac{2\kappa(\mathscr{U})}{\kappa(\mathscr{U})-1}\right)$$에 있을 때에만 $L^p$-유계이다. 여기서 $$\kappa(\mathscr{U})$$는 도메인의 산술적 복잡도이다.
• 산술적 복잡도 $$\kappa(\mathscr{U})$$는 도메인의 정의 다항식 부등식에 등장하는 지수 행렬 $$B$$의 역행렬 $$B^{-1}$$에 대한 표준 기저 벡터 $$e_k$$에 대한 사영 높이 $$\mathsf{h}(B^{-1}e_k)$$의 최댓값으로 정의된다.
• 복잡도 $$\kappa(\mathscr{U})$$가 증가함에 따라 $L^p$-유계 범위는 좁아지며, 무한 복잡도의 극한에서 $$p=2$$로 수렴한다.
• 일반화된 Hartogs 삼각형 $$H_{k_1/k_2} = \{ (z_1,z_2) : |z_1|^{k_1/k_2} < |z_2| < 1 \}$$의 경우 복잡도는 $$\kappa = k_1 + k_2$$이며, 유계성 범위는 $$\left(\frac{2(k_1+k_2)}{k_1+k_2+1}, \frac{2(k_1+k_2)}{k_1+k_2-1}\right)$$이다.
• 무리수 지수 $$\gamma > 0$$에 대해 도메인 $$\{ |z_1|^\gamma < |z_2| < 1 \}$$는 무한 복잡도를 가지며, Bergman 사영은 $$p=2$$에서만 유계이다. 이는 $$\kappa \to \infty$$일 때 공식의 극한과 일치한다.
• 저자들은 단항 몰입 사상에 대한 $L^p$-노름의 일반적인 변환 법칙을 수립하였으며, 이는 유니터리 볼에서의 $L^p$-유계성 결과를 군 몫을 통해 더 복잡한 도메인으로 옮기는 데 기여한다.