[論文レビュー] Lu Qi-Keng's Problem

Harold P. Boas|ArXiv.org|Jan 6, 2000

Meromorphic and Entire Functions参考文献 18被引用数 27

ひとこと要約

この解説論文は、複素数平面 ℂⁿ の有界な領域におけるベルグマン核関数がゼロ自由であるかどうかを特定するル・チーケンの問題を調査する。ドメインの変動、重み付き核の解析、およびリーマン型や凸領域における明示的計算といった手法を用いて、多くの凸領域、特に ℓp 型ノルムを備えた領域が内部にゼロを持つベルグマン核関数を持つことを示し、ゼロ自由性の期待とは対照的である。主な貢献は、高次元における明示的例の構築と未解決問題の提示である。

ABSTRACT

This expository article, intended to be accessible to students, surveys results about the presence or absence of zeroes of the Bergman kernel function of a bounded domain in C^n. Six open problems are stated. The article is based on a lecture at the third Korean several complex variables symposium held at the Global Analysis Research Center at Seoul National University in December 1998.

研究の動機と目的

• ℂⁿ の有界領域におけるベルグマン核関数のゼロの有無を調査し、特にゼロ自由性を保証する幾何的条件を重点的に探求する。
• 長年にわたり残された予想である「凸領域は常にゼロ自由なベルグマン核関数を持つ」という仮説に反する反例を構築することで、これをくつがえす。
• 特に大学院生や研究者を対象として、複素変数関数論の高度な技術へのアクセスしやすい解説的洞察を提供する。
• 特に、特定の ℓp 型領域のパラメータを特徴づけることで、ゼロ自由なベルグマン核関数を持つ条件を特定する6つの未解決問題を提示する。
• ゼロ自由性は、滑らかで強凸な設定下ですら、凸領域の一般的な性質ではないことを示す。

提案手法

• ベルグマン核関数を、正規直交基底である正則 L² 関数の和として表現する：K(z,w) = Σ φⱼ(z)φⱼ(w)̄。
• バイホロモルフィック写像における変換則を適用する：K₁(z,w) = det(f′(z))K₂(f(z),f(w))det(f′(w))̄ により、ドメイン間での核の移行が可能になる。
• 単位円板上での重み付きベルグマン核関数を単項式基底を用いて解析し、K(z,w) = 1/π(1−z̄w)⁻² といった閉形式の表現を計算する。
• ドメインの変動法を適用し、あるドメインがゼロを持つ核関数を持つならば、その近傍（例えば滑らかな近似）に対しても同様にゼロを持つ核関数が存在することを示す。
• ℓp 型ノルム、例えば |z₁|²/p₁ + ⋯ + |zₙ|²/pₙ < 1 を用いて、内部にゼロを持つベルグマン核関数を持つ凸領域の明示的例を構築する。
• 対称性と凸性の議論を用いて、(|z₁|² + |z₂|² + |z₃|²)²ᵏ + ∑(±|z₁|±|z₂|±|z₃|)²ᵏ < 1 で定義される関数が、十分大きな k に対して滑らかで強凸的かつ代数的であり、内部にゼロを持つ核関数を持つドメインを示す。

実験結果

リサーチクエスチョン

• RQ1 ℂⁿ のどの有界領域においてベルグマン核関数がゼロ自由であるか？
• RQ2 ℂⁿ (n ≥ 3) における滑らかで強凸的かつ有界な領域が、内部にゼロを持つベルグマン核関数を持つことはあり得るか？
• RQ3 ベクトル (p₁, ..., pₙ) にどのような条件を課すと、領域 |z₁|²/p₁ + ⋯ + |zₙ|²/pₙ < 1 がゼロ自由なベルグマン核関数を持つようになるか？
• RQ4 2次元領域 |z₁| + |z₂| < 1 のベルグマン核関数は内部にゼロを持つのか？（凸であるがゆえに）
• RQ5 ℂⁿ (n ≥ 4) における最小球のベルグマン核関数が、明示的公式の解析によってゼロを持つことが示せるか？

主な発見

• ℂ¹ における単位円板のベルグマン核関数は K(z,w) = 1/π(1−z̄w)⁻² であり、内部でゼロ自由である。
• ℂ³ における領域 |z₁| + |z₂| + |z₃| < 1 では、p₂ + ⋯ + pₙ > 2 のとき、ベルグマン核関数が内部にゼロを持つ。
• |z₁|² + |z₂|² + |z₃|² + |z₁² + z₂² + z₃²| < 1（最小球）で定義される領域は、ℂⁿ (n ≥ 4) においてベルグマン核関数がゼロを持つ。
• 十分大きな k に対して、ℂ³ における領域 (|z₁|² + |z₂|² + |z₃|²)²ᵏ + ∑(±|z₁|±|z₂|±|z₃|)²ᵏ < 1 は滑らかで強凸的かつ代数的であり、内部にゼロを持つベルグマン核関数を持つ。
• 2次元領域 |z₁| + |z₂| < 1 は内部にゼロを持たないが、境界上にゼロを持つため、境界に近い例としての境界ケースである。
• 滑らかで強凸的かつ有界なℂⁿ (n ≥ 3) 領域において、内部にゼロを持つベルグマン核関数を持つものがある。これは、非滑らかな例（例：ℓ¹ 球）を滑らかに近似することで示された。