[論文レビュー] On the boundary behavior of the holomorphic sectional curvature of the Bergman metric

Elisabetta Barletta|ArXiv.org|May 16, 2006

Holomorphic and Operator Theory参考文献 7被引用数 4

ひとこと要約

本稿では、Klembeckの定理の新しい微分幾何的証明を提示する。これは、複素数 n 次元空間内の厳密に擬凸領域におけるBergman計量の全純断面曲率が、境界に近づくにつれて −4/(n+1) に近づくことを示している。Bergman計量のLevi-Civita接続をGraham-Lee接続と関連づけ、境界付近における曲率成分の漸近的解析を実行することで、幾何的恒等式と横断的曲率構造を用いて、極限曲率値が導かれる。

ABSTRACT

We obtain a conceptually new differential geometric proof of P.F. Klembeck's result that the holomorphic sectional curvature of a strictly pseudoconvex domain approaches (in the boundary limit) the constant sectional curvature of the Bergman metric of the unit ball.

研究の動機と目的

• 境界付近におけるBergman計量の全純断面曲率の挙動を、概念的に新しい微分幾何的証明で提示すること。
• 境界のfoliation近傍におけるBergman計量のLevi-Civita接続とGraham-Lee接続との間の関係を確立すること。
• 境界に近づく際の曲率成分の漸近的挙動を分析し、特に全純断面曲率に注目すること。
• 幾何的恒等式と漸近展開を用いて、曲率が −4/(n+1) に収束することを示し、単位球の曲率と一致させること。

提案手法

• Graham-Lee接続を用いる。これは境界の近傍におけるアンビエント線形接続であり、定義関数の各レベル集合に制限するとTanaka-Webster接続になる。
• Bergman核から導かれる定義関数 φ を用いて、領域を厳密に擬凸なレベル集合 M_ε = {φ = −ε} によるfoliationで分割する。
• Kähler形式 ω = −i∂∂̄logK を用いて、Bergman計量 g をLevi形式と φ の微分で表現する。
• 曲率成分 R^g(N,T)T を、曲率テンソルの共変微分 ∇^g_T T, ∇^g_N T, ∇^g_N ∇^g_T T を用いて計算し、横断的曲率 r と関数 f = 1/φ を含む恒等式を用いる。
• φ → 0（すなわち z → ∂Ω）の漸近的解析を実行し、f²φ/φ² および N(h) を含む項が特定の有限極限に収束することを示す。
• 曲率テンソルを N と T で収縮することで全純断面曲率 k_g(σ₀) を計算し、極限として −4/(n+1) を得る。

実験結果

リサーチクエスチョン

• RQ1 厳密に擬凸領域の境界に近づく際、Bergman計量の全純断面曲率の漸近的挙動はいかなるものか？
• RQ2 Bergman計量のLevi-Civita接続は、境界のチューブ型近傍においてGraham-Lee接続とどのように関連づけられるか？
• RQ3 横断的曲率 r = 2∂∂̄φ(ξ,ξ̄) は、境界曲率の極限を決定づける上で果たす役割は何か？
• RQ4 複素解析的道具を用いずに、幾何的恒等式と漸近的解析のみで曲率極限 −4/(n+1) を導けるか？
• RQ5 φ → 0 のとき、曲率テンソルの成分、特に f = 1/φ と r の微分を含む項はどのように振る舞うか？

主な発見

• Bergman計量の全純断面曲率 k_g(σ₀) は、z → ∂Ω のとき −4/(n+1) に近づき、微分幾何学的手法によりKlembeckの結果が裏付けられる。
• 漸近的解析により、曲率への主要寄与は f²φ/φ² および N(h) の項に起因しており、それぞれ 8/(n+1) および −16/(n+1) に収束することが示された。
• 項 f²φ · (fh/φ²) は曲率式に 8/(n+1) を寄与させ、f²φ · N(h) は −16/(n+1) を寄与させ、分子への合成寄与は −8/(n+1) となる。
• 曲率式は 2g(R^g(N,T)T,N) = (n+1)/φ に比例する項の和として簡約され、正規化後、全純断面曲率は −4/(n+1) に収束する。
• ∇^g_N X_r, ∇^g_T φX_r, および T²(r) を含むすべての曲率成分は φ → 0 のとき有界のまま保たれ、極限が適切に定義されることを保証する。
• 積分表現や複素解析的道具に依存せず、純粋にRiemann幾何学的証明により曲率極限が得られた。