[論文レビュー] $L^p$-regularity of the Bergman projection on quotient domains

Chase Bender, Debraj Chakrabarti+2 more|arXiv (Cornell University)|Apr 6, 2020

Holomorphic and Operator Theory参考文献 24被引用数 6

ひとこと要約

本稿は、$\mathbb{C}^n$ 内の単項式の下位集合として定義される、特異な Reinhardt 領域の一種である単項式多面体と呼ばれる領域クラスに対して、Bergman 射影の $L^p$-有界性の鋭い範囲を確立する。これらの領域を、単項式写像による有限群作用の下での単位球の商として表現することにより、領域の算術的複雑性 $\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$-範囲を特徴付けること。
• 滑らかでない境界を持つ、より特異的ではあるが幾何学的に取り扱いやすい強擬凸領域への Bergman 射影の正則性の理解を、滑らかで有界な領域に限らない範囲へ拡張すること。
• 算術的複雑性 $\kappa(\mathscr{U})$ の幾何的意義を明確にすることで、より広範な領域クラスへの $L^p$-正則性結果の一般化の基盤を築くこと。

提案手法

• 著者たちは、単項式多面体 $\mathscr{U}$ を、有限群作用によって誘導される正則な単項式写像の下での単位球 $\mathbb{D}^n$ の商として表現する。
• このような商写像における $L^p$-ノルムの変換法則を導出し、ヤコビアン行列式と単項式重みを含む変数変換を介して、$\mathscr{U}$ 上の Bergman 射影と $\mathbb{D}^n$ 上のそれとの関係を確立する。
• 鍵となる不変量 $\kappa(\mathscr{U})$ は、$\mathscr{U}$ の定義不等式に現れる指数行列 $B$ に対して、標準基底ベクトル $e_k$ に対する $\mathsf{h}(B^{-1}e_k)$ の最大値として定義される。
• 単位球上での Bergman 射影の既知の $L^p$-有界性と、変換法則を用いることで、補間と双対性の議論により、$\mathscr{U}$ 上での有界性の鋭い $p$-範囲を導出する。
• 重み付き $L^p$-ノルムの明示的計算に、単項式変数変換の下での重み関数の斉次性とヤコビアン行列式の行列式の性質を用いる。
• $L^2$ 上での Bergman 射影の Hölder 対称性を用いて、有界性範囲を $p \geq 2$ から、対称な区間 $\left(\frac{2\kappa(\mathscr{U})}{\kappa(\mathscr{U})+1}, \frac{2\kappa(\mathscr{U})}{\kappa(\mathscr{U})-1}\right)$ へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 単項式多面体 $\mathscr{U}$ が $\mathbb{C}^n$ 内の単項式の下位集合として定義されるとき、Bergman 射影が有界となる $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})$ は、$\mathscr{U}$ の定義不等式に現れる指数行列 $B$ に対して、標準基底ベクトル $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$-有界性結果の移行を可能にした。