[論文レビュー] The Fu-Yau equation in higher dimensions

Jianchun Chu, Liding Huang+1 more|arXiv (Cornell University)|Jan 29, 2018

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

ひとこと要約

本稿は、連続性法および事前推定を用いて、正および負の傾きパラメータ α を持つ高次元コンパクトケーラー多様体上でのFu-Yau方程式の解の存在を確立する。主な貢献は、高次元における修正ストロミンガー系の完全な解の特定であり、α > 0 の未解決ケースを解消する。

ABSTRACT

In this paper, we prove the existence of solutions to the Fu-Yau equation on compact Kähler manifolds. As an application, we give a class of non-trivial solutions of the modified Strominger system.

研究の動機と目的

• 傾きパラメータ α > 0 の場合における、高次元におけるFu-Yau方程式の可解性に関する未解決問題を解決すること。
• これまでに知られていた場合（α < 0 およびケーラー多様体上の α > 0）を超えて、次元 n ≥ 3 の一般のコンパクトケーラー多様体に対して、Fu-Yau方程式の存在結果を拡張すること。
• 連続性法および事前推定を用いて、高次元におけるFu-Yau方程式の統一的で存在証明を行うこと。
• 高次元コンパクトケーラー多様体上における修正ストロミンガー系の非自明な解の存在を、Fu-Yau方程式を介して確立すること。

提案手法

• t = 1 における既知の解から出発し、t = 0 における目的の方程式へと連続性法で変形する。
• 最大原理の技法を用いて、解 φ_t に対する零次、一次、二次の境界を含む一様な事前推定を確立する。
• 曲率項がパrameter t でスケーリングされる形の、e^φω、e^{-φ}ρ、μω^n を含む第二階微分型方程式として、修正されたFu-Yau方程式を用いる。
• 文献[20, 定理1.1]における C^{2,α}-推定を応用し、解 φ_t に対する C^{2,β} 界を導出し、正則性を保証する。
• 消える積分恒等式および正規化条件を用いて、t = 0 における解の一意性を証明し、φ_0 = -ln A が得られる。
• 陰関数定理を用いて連続的経路に沿った滑らかな解を拡張し、解集合が開かつ閉であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 傾きパラメータ α > 0 の場合に、高次元におけるFu-Yau方程式は解をもつか？
• RQ2 次元 n ≥ 3 のコンパクトケーラー多様体上におけるFu-Yau方程式に連続性法を適用することで、存在性が達成可能か？
• RQ3 与えられた正規化条件および曲率制約のもとで、Fu-Yau方程式の解は一意的か？
• RQ4 修正ストロミンガー系は、Fu-Yau方程式を還元として用いることで高次元で解けるか？
• RQ5 高次元におけるFu-Yau方程式の解の存在性および正則性を保証するための必要な事前推定は何か？

主な発見

• 任意の次元 n ≥ 3 のコンパクトケーラー多様体 (M, ω) に対して、パrameter A が十分に小さいとき、α > 0 および α < 0 の両方でFu-Yau方程式に解が存在する。
• α, ρ, μ, および (M, ω) のみに依存する正の定数 A₀ > 0 が存在し、A ≤ A₀ のすべての A に対して解が存在する。
• t ∈ (0, t₀) に対して一様に、sup_M e^{-φ_t} ≤ M₀A が成り立つ零次推定が得られ、解の下界に対する制御が可能になる。
• 二次推定 sup_M |∂∂̄φ_t|_g ≤ D₀ が確立され、一次推定と組み合わせることで、方程式の一様楕円型および非退化性が保証される。
• C^{2,β} 推定 ‖φ_t‖_{C^{2,β}} ≤ C_A が得られ、解の正則性が確認され、陰関数定理の適用が可能になる。
• t = 0 における解の一意性が証明され、φ_0 = -ln A が得られ、解は連続的経路全体で一意的であることが示され、Fu-Yau方程式の解が一意的であるという予想を支持する。