多変数複素解析 · 2026-09-04
Localization of Bergman Kernels and the Cheng-Yau Conjecture on Real Analytic Pseudoconvex Domains
Bergman核の局所化と実解析的擬凸領域上のCheng--Yau予想 Chin-Yu Hsiao, Xiaojun Huang, Xiaoshan Li chin-yu-hsiao-1kqj3yy xiaojun-huang-1tn93q xiaoshan-li-ssqqqt stein-geometry kahler-einstein-metrics uniformization Kähler–Einstein metrics ケーラー・アインシュタイン計量 Stein geometry and the Levi problem Stein幾何・Levi問題 Uniformization 一意化 Kähler Einstein Kahler Einstein Kähler-Einstein Kahler-EinsteinarXiv Abstract
In this paper, we establish the localization of Bergman kernels for unbounded pseudoconvex domains near boundary points of finite D'Angelo type. This result was proved by Engliš more than twenty years ago for bounded pseudoconvex domains and had remained as an open question in the unbounded setting. Related foundational work was carried out by Fefferman, Kerzman, Boutet de Monvel--Sjöstrand, Boas, Bell, and others. Combining our localization theorem with an extension theorem of Mir--Zaitsev, we prove that the Bergman metric of a bounded pseudoconvex domain with real-analytic boundary is Einstein if and only if the domain is biholomorphic to the unit ball. This result advances a longstanding conjecture of Cheng and Yau. A key step is to show that the Bergman metric of a smooth, possibly unbounded, pseudoconvex domain cannot be Kähler--Einstein if its boundary contains a non-strongly pseudoconvex \(h\)-extendible point. We further prove that a bounded weakly pseudoconvex real-analytic domain with a Kähler--Einstein Bergman metric must possess a weakly pseudoconvex \(h\)-extendible boundary point, thereby reducing the problem to the \(h\)-extendible setting. This paper draws deeply on, and reveals essential connections among many subfields of microlocal analysis, several complex variables, and complex geometry.
日本語要約
非有界擬凸領域の有限D'Angelo型境界点の近傍でBergman核の局所化を確立する。Mir--Zaitsevの拡張定理と組み合わせ、実解析的境界を持つ有界擬凸領域のBergman計量がEinsteinであるための必要十分条件は領域が単位球に双正則であることだと示す。鍵となるのは、滑らかな非強擬凸 $h$-extendible境界点を持つ領域ではBergman計量がKähler--Einsteinになり得ないという結果である。
In this paper, we establish the localization of Bergman kernels for unbounded pseudoconvex domains near boundary points of finite D'Angelo type. This result was proved by Engliš more than twenty years ago for bounded pseudoconvex domains and had remained as an open question in the unbounded setting. Related foundational work was carried out by Fefferman, Kerzman, Boutet de Monvel--Sjöstrand, Boas, Bell, and others. Combining our localization theorem with an extension theorem of Mir--Zaitsev, we prove that the Bergman metric of a bounded pseudoconvex domain with real-analytic boundary is Einstein if and only if the domain is biholomorphic to the unit ball. This result advances a longstanding conjecture of Cheng and Yau. A key step is to show that the Bergman metric of a smooth, possibly unbounded, pseudoconvex domain cannot be Kähler--Einstein if its boundary contains a non-strongly pseudoconvex \(h\)-extendible point. We further prove that a bounded weakly pseudoconvex real-analytic domain with a Kähler--Einstein Bergman metric must possess a weakly pseudoconvex \(h\)-extendible boundary point, thereby reducing the problem to the \(h\)-extendible setting. This paper draws deeply on, and reveals essential connections among many subfields of microlocal analysis, several complex variables, and complex geometry.
非有界擬凸領域の有限D'Angelo型境界点でBergman核を局所化する定理を証明する。これを用い、実解析的境界を持つ有界擬凸領域のBergman計量がEinsteinであることと、その領域が単位球に双正則であることが同値だと示し、Cheng--Yau予想をこの範囲で解決する。
several-complex-variables 2026書誌情報
- arXiv: arXiv:2604.05542
- 著者: Chin-Yu Hsiao, Xiaojun Huang, Xiaoshan Li
- 初回投稿日: 2026年4月7日
- 最終更新日: 2026年9月1日
- 主分類・副分類: math.CV(主分類), math.DG
- ライセンス: Creative Commons Attribution 4.0 International
要約
Bergman計量は領域の双正則不変な標準Kähler計量である。滑らかな境界を持つ有界擬凸領域で、Bergman計量がKähler--Einsteinとなるのは領域が複素単位球に双正則な場合だけか、というCheng--Yau予想を考える。
従来の大きな障害は、境界の局所模型として現れる非有界擬凸領域でBergman核を局所化する手段がないことであった。本論文は有限D'Angelo型境界点における局所化を証明し、非有界の場合に25年以上残っていた問題を解く。
局所化定理とCR写像の拡張定理を用い、実解析的境界の場合にCheng--Yau予想を肯定的に解決する。その中間段階として、非強擬凸な $h$-extendible境界点はBergman--Einstein性を妨げることも示す。
背景と問題設定
有界擬凸領域には完備Kähler--Einstein計量が一意に存在する。Cheng--Yau予想は、この計量とBergman計量が一致するEinstein性が、単位球を特徴づけると主張する。強擬凸領域や複素次元2の有限型領域では先行結果があったが、一般の実解析的擬凸境界は残っていた。
主結果
実解析的境界のCheng--Yau予想(Theorem 1.1)
有界実解析的擬凸領域 $\Omega\subset\mathbb C^{n+1}$ のBergman計量がEinsteinであることと、$\Omega$ が同次元の単位球に双正則であることは同値である。
非有界領域のBergman核局所化(Theorem 1.3)
$\Omega\subset\mathbb C^{n+1}$ を非有界も許す擬凸領域、$p\in\partial\Omega$ を滑らかな有限D'Angelo型境界点とする。$p$ の小さな近傍で $\Omega$ と一致する滑らかな有界有限型擬凸領域 $G$ を取ると、
$$ K_\Omega(z,w)-K_G(z,w)\in C^\infty((U\cap G)\times(U\cap G)) $$
となる。すなわち境界近傍での二つのBergman核の特異部分は一致する。
$h$-extendible点の障害(Theorem 1.4)
滑らかな非強擬凸 $h$-extendible境界点を持つ擬凸領域のBergman計量はEinsteinにならない。実解析的な弱擬凸境界からこのような点を見出し、Theorem 1.1への橋渡しとする。
証明の見取り図
$\bar\partial$ の擬局所評価と $L^2$ 評価を用い、有界領域の一様評価に依存しないBergman核局所化を得る。$h$-extendible点では重み付きscalingにより有限型局所模型へ還元し、非強擬凸点とEinstein性の不両立を導く。最後に局所化とMir--Zaitsev拡張定理から境界の球面への局所正則写像を得て、弱擬凸 $h$-extendible点を抽出する。
原論文との対応
- Abstractページ: arXiv:2604.05542
- Introduction: Section 1, pp. 2–6
- Introduction中で言及された主要定理番号: Theorems 1.1, 1.1', 1.3, 1.4, 1.4'
- 論文構成の説明: Introduction, p. 6
- 確認したarXivバージョン: v2
- 確認したライセンス: Creative Commons Attribution 4.0 International
- source_scope: Abstract and Introduction