[論文レビュー] The Kahler Metrics of constant scalar curvature on the Complex Torus

Bohui Chen, An-Min Li+1 more|arXiv (Cornell University)|Aug 16, 2010

Geometry and complex manifolds参考文献 11被引用数 6

ひとこと要約

本稿では、ℝⁿにおける強凸領域において、勾配が境界で無限大に発散する非退化境界条件を満たすAbreu方程式のディリクレ問題に対して、滑らかで強凸な解の存在を確立し、その解が複素トーラス(ℂ*)ⁿ上にTⁿ-不変でスカラー曲率が一定のケーラー計量を生成することを証明する。主な貢献は、境界で無限大の勾配を持つ解のラプラス変換により、ユークリッド的完全なケーラー計量を構成することにある。

ABSTRACT

We study the Dirichlet problem of the Abreu equation. The solutions provide the Kahler metrics of constant scalar curvature on the complex torus.

研究の動機と目的

• ℝⁿにおける有界で強凸な領域上でのAbreu方程式のディリクレ問題に対して、滑らかで強凸な解の存在を確立すること。
• そのような解が、ラプラス変換を介して、複素トーラス(ℂ*)ⁿ上にTⁿ-不変でスカラー曲率が一定のケーラー計量を生成することを証明すること。
• 関連するポテンシャル関数がユークリッド的完全であること、つまり計量が全複素トーラス上で定義されることを示すこと。
• 境界で|∇u| → ∞ となる非退化境界条件の下で、解の正則性および境界挙動を解明すること。
• この方法により、複素トーラス上にTⁿ-不変でスカラー曲率が一定のケーラー計量を豊富に構成するための構成的技法を提供すること。

提案手法

• Abreu方程式を4階非線形偏微分方程式として定式化する：∑ U^{ij} w_{ij} = -K ここでU^{ij}はD²uの余因子行列で、w = det(u_{ij})⁻¹である。
• 変数変換として、f(x) = ∑ ξᵢ ∂u/∂ξᵢ - u(ξ) によるラプラス変換を用い、双対変数における実Monge-Ampère型方程式に問題を変換する。
• 解の節Sᵤ(ξ₀, δ)における正規化を用いて、det(u_{ij})の一様有界性を根拠に、内部推定およびコンパクトネスの議論を適用する。
• 吹き上がり法と背理法を用いて、解uが領域Ω全体で滑らかで強凸であることを証明する。
• バリア関数と比較原理を用いて、∂Ω上への拡張解u′が元の境界データφと一致することを示し、境界で|∇u| → ∞ となることを保証する。
• ヘッセ行列の行列式を制御するための核心的推定式（補題2.4）を用い、高階正則性を可能にする。

実験結果

リサーチクエスチョン

• RQ1 境界で|∇u| → ∞ となる非退化境界条件を満たす強凸領域上でのAbreu方程式のディリクレ問題は解けるか？
• RQ2 Abreu方程式の解が、複素トーラス(ℂ*)ⁿ上にスカラー曲率が一定のケーラー計量を生成するための条件は何か？
• RQ3 境界で|∇u| → ∞ となる場合、Abreu方程式の解のラプラス変換fはℝⁿ全体で定義可能であり、計量がトーラス上で完全になるか？
• RQ4 この方法により、複素トーラス上にTⁿ-不変でスカラー曲率が一定のケーラー計量を豊富に構成可能か？
• RQ5 これらの境界条件下で、Abreu方程式の解がどのような正則性を有するか？

主な発見

• Abreu方程式の解uは、領域Ωの内部で滑らかで強凸であり、境界∂Ωで|∇u| → ∞ となる。
• uのラプラス変換fはℝⁿ全体で定義されており、関連するケーラー計量が複素トーラスℂⁿ / 2πiℤⁿ上で完全であることを保証する。
• 構成されたケーラー計量は、K ≥ k₀ > 0 である一定のスカラー曲率Kを持つ。この計量はTⁿ-不変である。
• fのグラフは、|x|² / (1 + f)² の一様有界性により、ユークリッド的完全であることが示された。
• 解は∂Ωでw = det(u_{ij})⁻¹ = 0 を満たし、非退化境界条件と整合的である。
• この方法により、任意の正の定数Kに対して、このような計量の1パラメータ族が構成可能であり、解の豊富さを示している。