[論文レビュー] Form-type Calabi-Yau equations on Kähler manifolds of nonnegative orthogonal bisectional curvature

Jixiang Fu, Zhizhang Wang+1 more|arXiv (Cornell University)|Oct 11, 2010

Geometry and complex manifolds参考文献 5被引用数 14

ひとこと要約

この論文は、非負の直交バイセクショナル曲率をもつコンパクト・カーラー多様体上で、バランスド計量とケーラー背景を用いて、形式型カラビ＝ヤウ方程式の解の存在と一意性を確立している。問題は、関数型方程式に帰着され、非負のバイセクショナル曲率よりも弱い曲率条件下でも方程式が解けることが示され、従来の複素トーラスにおける結果を一般化し、この幾何的設定において完全な解が得られている。

ABSTRACT

In this paper we prove the existence and uniqueness of the form-type Calabi-Yau equation on Kähler manifolds of nonnegative orthogonal bisectional curvature.

研究の動機と目的

• 固定されたバランスド計量と非自明な正則n形式をもつコンパクト複素多様体上で、形式型カラビ＝ヤウ方程式を解くこと。
• 与えられたバランスド計量のバランスド類における体積形式の指定という幾何的問題に取り組むこと。
• 複素トーラスにおける従来の結果を、非負の直交バイセクショナル曲率をもつより広いクラスのカーラー多様体へと拡張すること。
• 曲率仮定の下で、形式型カラビ＝ヤウ方程式を関数型方程式に還元することにより、完全な解を確立すること。

提案手法

• 非負の直交バイセクショナル曲率をもつ固定されたケーラー計量ηによって定義される部分空間に制限することで、形式型カラビ＝ヤウ方程式から関数型方程式(1.4)を導出すること。
• ω₀^{n−1} + (√−1/2)∂∂̄v ∧ η^{n−2} > 0 を満たす滑らかな関数vの空間𝒫η(ω₀)を定義し、関連する(1,1)-形式ω_vの正定性を保証すること。
• 連続的変形法を用いて解の集合の開性と閉性を証明し、陰関数定理と線形化作用素の解析に依存すること。
• Hölder空間間の線形作用素L_tが線形同型であることを確立することで、局所的可逆性が保証され、解の集合の開性が得られること。
• 最大値原理と相加・相乗平均の不等式を用いて一意性を証明し、体積比が正確に1でない限り、任意の解は定数でなければならないことを示すこと。
• 曲率仮定（非負の直交バイセクショナル曲率）を活用して、C^{2,α}推定に必要な強凸性とコンパクト性を保証すること。

実験結果

リサーチクエスチョン

• RQ1 非負の直交バイセクショナル曲率とバランスド計量をもつコンパクト・カーラー多様体上で、形式型カラビ＝ヤウ方程式は解をもつか？
• RQ2 適切な幾何的制約の下で、形式型方程式の解を関数型方程式に還元できるか？
• RQ3 一般に、形式型カラビ＝ヤウ方程式の解の存在を妨げる幾何的障害は、何か存在するか？
• RQ4 与えられた曲率仮定の下で、形式型カラビ＝ヤウ方程式の解は定数の加法的自由度を除き一意的か？
• RQ5 非負の直交バイセクショナル曲率は、より強い曲率条件と比較して、カラビ＝ヤウ方程式の解法を可能にする上でどのように異なるか？

主な発見

• 任意の非負の直交バイセクショナル曲率をもつコンパクト・カーラー多様体上で、形式型カラビ＝ヤウ方程式(1.4)は、𝒫η(ω₀)内に定数の加法的自由度を除き一意に解uをもつ。
• 解uは一様なC^{2,α}推定を満たし、その境界はf, η, n, ω₀にのみ依存する。
• 連続的変形法における解の集合の開性は、陰関数定理に依拠し、線形化作用素が同型であることで確立される。
• 最大値原理と相加・相乗平均の不等式を用いて一意性を証明し、体積比が正確に1でない限り、任意の解は定数でなければならないことを示した。
• この結果は、従来の複素トーラスにおける解法を一般化し、非負の直交バイセクショナル曲率の状況において形式型カラビ＝ヤウ方程式を完全に解消した。
• 曲率条件は非負のバイセクショナル曲率よりも厳密に弱く、一部の方向で負の正則セクショナル曲率をもつ多様体に対しても解が存在可能である。