[論文レビュー] On estimates for the Fu-Yau generalization of a Strominger system

D. H. Phong, Sébastien Picard+1 more|arXiv (Cornell University)|Jul 29, 2015

Geometry and complex manifolds参考文献 19被引用数 12

ひとこと要約

本稿は、高次元におけるFu-Yau-Strominger系を一般化した複素ヘッセ方程式について、$C^0$、$C^2$、および$C^{2,\beta}$の事前推定を確立する。Moser反復およびGuan-Ren-Wangの不等式を拡張する一方で、著者らは重要な障害を特定する：$n > 2$の次元では、Fu-Yauの手法が$σ_2(g')$の一様な下界を導けず、$n=2$を超えると勾配の制御が不十分であるため、$C^2$推定は未完成のままである。主たる貢献は、この失敗の詳細な分析であり、高次元におけるヘッセ方程式の構造的差異が明らかになる。

ABSTRACT

We study an equation proposed by Fu and Yau as a natural $n$-dimensional generalization of a Strominger system that they solved in dimension $2$. It is a complex Hessian equation with right hand side depending on gradients. Building on the methods of Fu and Yau, we obtain $C^0$, $C^2$ and $C^{2,α}$ a priori estimates. We also identify difficulties in extending the Fu-Yau arguments for non-degeneracy from dimension $2$ to higher dimensions.

研究の動機と目的

• 次元$n=2$におけるStrominger系のFu-Yau解を、複素ヘッセ方程式を用いて高次元へ拡張すること。
• 一般化されたFu-Yau方程式の$C^0$、$C^2$、および$C^{2,\alpha}$の事前推定を確立すること。
• $n=2$から$n>2$への$σ_2(g')$の下界の議論を拡張する際の障害を分析すること。これは$C^2$推定に不可欠である。
• 勾配依存ヘッセ方程式の構造を分析することで、Fu-Yau手法がなぜ高次元で失敗するのかを明らかにすること。

提案手法

• 対称関数$\sigma_k$を用いて、$i\partial\bar{\partial}u$の固有値およびヘッセ形式$g'_{\bar{j}k}$の固有値を扱うことで、方程式を複素ヘッセ型方程式に再定式化する。
• $C^0$推定はMoser反復により得られ、$n=2$の場合と密接に類似した構造を示す。
• $C^2$推定は、勾配項を含む実ヘッセ方程式のGuan-Ren-Wang不等式に、$\tilde{g}_{\bar{j}k}$の強凸性条件を組み合わせることに依存する。
• $C^{2,\alpha}$推定は、最近のWangおよびTosatti-Wang-Weinkove-Yangの複素Monge-Ampère型方程式のHölder連続な右辺に対するHölder正則性に関する結果を用いて導出される。
• 第7節では、座標に依存しない詳細な解析が行われ、$n=2$と$n>2$のケースを比較し、$σ_2(g')$の下界の議論の崩壊を明らかにする。
• 関数$G = e^{-2u}F$（$F = \sigma_2(\lambda')$）を用いて、$\kappa_p = \sigma_2(\lambda')e^{-2u}$の最小値を研究し、得られる微分不等式を分析する。

実験結果

リサーチクエスチョン

• RQ1 Fu-Yau方程式の$C^2$推定は、$n=2$から高次元へ同じ証明法を用いて拡張可能か？
• RQ2 なぜFu-Yauの$σ_2(g')$の下界を示す議論は、次元$n>2$で失敗するのか？
• RQ3 高次元において$σ_2(g')$に一様な下界が存在するか？もしそうでなければ、代替的手法は何か？
• RQ4 ヘッセ方程式の勾配依存項は、高次元における正則性および可解性にどのように影響するか？
• RQ5 ヘッセ方程式におけるどのような構造的差異が、$n>2$における$\kappa_p$の主要項の相殺が起こらないことを防ぐのか？

主な発見

• $C^0$推定はMoser反復を用いてすべての次元に成功裏に拡張され、証明構造は$n=2$の場合と密接に類似している。
• $C^2$推定は$σ_2(g')$の下界の仮定のもとで確立されるが、この仮定は次元$n>2$では未解決のままである。
• $C^{2,\alpha}$推定は、Hölder連続な右辺をもつ複素ヘッセ方程式の最近の正則性理論を用いて得られる。
• 次元$n=2$では、Fu-Yauの手法により$\kappa_p = e^{-2u}\sigma_2(\lambda')$の鋭い下界が得られ、非退化性が保証され、$C^2$推定が完成する。
• $n=3$の場合、一般化された手法から得られる不等式は、$\kappa_p$が0に近づくのを防げず、これは同じ議論では$σ_2(g')$の下界を保証できないことを示している。
• 解析により、$n=2$で観察された$\kappa_p$における主要項の完全な相殺が高次元では成立しないことが明らかになり、これが手法の失敗を説明する。