[論文レビュー] Estimates for the Bergman Kernel and the Multidimensional Suita Conjecture

Zbigniew B Locki, W Lodzimierz Zwonek|arXiv (Cornell University)|Apr 30, 2014

Holomorphic and Operator Theory参考文献 18被引用数 31

ひとこと要約

本稿は、複素幾何を符号化する幾何的対象である阿波尾指標の体積の逆数によって、古典的Suita予想の多次元拡張を確立している。複素多変数関数論における正則関数の全純微分方程式と擬複素グリーン関数の推定値、およびレベル集合パラメータがマイナス無限大に近づくときの漸近解析を用いて、滑らかで擬凸な領域に対して鋭い下界を得た。特に、複素楕円体に対して明示的な計算を行い、予想された不等式を確認するとともに、対称的領域における非自明な挙動を明らかにした。

ABSTRACT

We study the lower bound for the Bergman kernel in terms of volume of sublevel sets of the pluricomplex Green function. We show that it implies a bound in terms of volume of the Azukawa indicatrix which can be treated as a multidimensional version of the Suita conjecture. We also prove that the corresponding upper bound holds for convex domains and discuss it in bigger detail on some convex complex ellipsoids.

研究の動機と目的

• 複素解析における幾何的・解析的道具を用いて、1次元古典的Suita予想を高次元に拡張すること。
• 擬複素グリーン関数の部分集合の体積を用いて、ベールマン核の鋭い下界を確立すること。
• 超凸領域におけるアズカワ指標を用いたベールマン核の漸近的挙動を特定すること。
• グリーン関数の部分集合の体積に関連する単調性および凸性予想の妥当性を調査すること。
• 特に複素楕円体を含む凸およびC-凸領域において、ベールマン核の明示的上界および下界を提供すること。

提案手法

• 全純微分方程式 $\bar{\partial}$-方程式と擬複素グリーン関数の性質を用いて、ベールマン核の下界を導出する。
• パラメータ $ t \to -\infty $ における $ e^{-2nt} \lambda(\{G_{\Omega,w} < t\}) $ の漸近的極限を確立し、それがアズカワ指標の体積に等しいことを示す。
• 近似技法を用いて、超凸領域から一般の擬凸領域への結果の拡張を行う。
• 凸複素楕円体に対して、レムペルト理論と測地線公式を用いて、コバヤシ指標とベールマン核を明示的に計算する。
• 等周不等式と対数体積関数の凸性を用いて、体積関数の単調性を分析する。
• 縮小法を適用し、特定の領域（例：$ \mathcal{E}(1/2, m/(n-1)) $）における既知のベールマン核の公式を用いて、正確な値を計算する。

実験結果

リサーチクエスチョン

• RQ1 パラメータ $ t \to -\infty $ における $ e^{-2nt} \lambda(\{G_{\Omega,w} < t\}) $ の漸近的挙動は、高次元においてアズカワ指標の体積を与えるか？
• RQ2 漸近的極限とベールマン核の下界が示されたとき、多次元Suita予想はその結果として証明可能か？
• RQ3 関数 $ t \mapsto e^{-2nt} \lambda(\{G_{\Omega,w} < t\}) $ は、擬凸領域において $ (-\infty, 0] $ 上で非減少か？
• RQ4 関数 $ t \mapsto \log \lambda(\{G_{\Omega,w} < t\}) $ は $ (-\infty, 0] $ 上で凸のままであり、より深い幾何的構造を示唆するか？
• RQ5 C-凸領域および凸領域におけるベールマン核の鋭い上界は、アズカワ指標の体積を用いて確立可能か？

主な発見

• 有界な超凸領域に対して、$ \lim_{t \to -\infty} e^{-2nt} \lambda(\{G_{\Omega,w} < t\}) = \lambda(I^{A}_{\Omega}(w)) $ が成り立ち、1次元のSuita予想の多次元版を確立した。
• 多次元Suita予想が確認された：任意の擬凸領域 $ \Omega \subset \mathbb{C}^n $ に対して $ K_{\Omega}(w) \geq \frac{1}{\lambda(I^{A}_{\Omega}(w))} $ が成り立つ。
• C-凸領域では、ベールマン核が $ K_{\Omega}(w) \leq \frac{16^n}{\lambda(I^{A}_{\Omega}(w))} $ を満たし、凸領域では $ C=4 $、対称的凸領域では $ C=16/\pi^2 $ が鋭い定数である。
• 複素楕円体 $ \Omega = \{ z \in \mathbb{C}^n : |z_1| + \sum_{j=2}^n |z_j|^{2m} < 1 \} $ に対して、積 $ K_{\Omega}(w) \lambda(I^{K}_{\Omega}(w)) $ は1より大きく、$ m \geq 1/2 $ の場合に明示的な式 $ 1 + (1 - 2m)^2 $ を持つ。これにより、下界における厳密な不等号が示された。
• 関数 $ F_{\Omega}(w) = (K_{\Omega}(w) \lambda(I^{A}_{\Omega}(w)))^{1/n} $ は、C-凸領域では $ 1 \leq F_{\Omega} \leq 16 $ を満たし、バイホロモルフィック不変性を有する。
• 対称化された2次元ドメイン $ \mathbb{G}_2 $ に対しては、$ F_{\mathbb{G}_2}(0) = 2/\sqrt{3} \approx 1.1547 $ であり、C-凸領域であっても $ F_{\Omega} \not\equiv 1 $ であることが示された。