[論文レビュー] Existence of Supersymmetric Hermitian Metrics with Torsion on Non-Kaehler Manifolds

Jixiang Fu, Shing‐Tung Yau|ArXiv.org|Sep 2, 2005

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

ひとこと要約

この論文は、特定の幾何的制約下でストロミンジャー系を解くことにより、非ケーラー多様体上にねじれを伴う超対称ヘルミート計量の存在を確立している。K3面および複素トーラス上で摂動法を用い、事前推定と連続性法を用いて解の存在を証明し、Calabi-Yau多様体を超えて非ケーラー的設定におけるねじれおよびダイロン場を有する超対称コンパクト化を拡張している。

ABSTRACT

We proved the existence of supersymmetric Hermitian metrics with torsion on a class of non-Kaehler manifolds.

研究の動機と目的

• ホテイジストリング理論における超対称コンパクト化を、Calabi-Yau多様体を超えてねじれを有する非ケーラー内部空間へと拡張すること。
• 特にT²バンドルとしてのK3面および複素トーラス上での非ケーラー多様体におけるストロミンジャー方程式系の解の存在を確立すること。
• 連続性法と事前推定を用いて、ねじれを伴う超対称ヘルミート計量の厳密な存在証明を提供すること。
• 以前の可約解（例えばIwasawa多様体上）の結果を、Calabi-Yau真空からの摂動によって非可約で非ケーラーな解へと一般化すること。
• ストロミンジャー系が課す幾何的制約、特にバランスの取れた計量条件および正則3形式の非退化性を解消すること。

提案手法

• K3面上のCalabi-Yau計量を、ねじれを伴うストロミンジャー系の解に変形するために連続性法を適用する。
• 問題をバランスの取れた計量の存在に還元するために、$ d( orm{ar{ abla} heta}_{ ext{can}}^2 ext{vol}) = 0 $ という条件（同値な形で $ d( orm{ar{ abla} heta}_{ ext{can}}^2 ext{vol}) = 0 $）を用いる。
• 曲率を制御し、計量テンソルの正定値性を保証するために、制約 $ riangle(e^u - f e^{-u}) = rac{ ext{det}(u_{iar{j}})}{ ext{det}(g_{iar{j}})} $ を課す。
• 重み付き $ L^p $-ノルムと楕円型推定を用いて、$ u $、$ abla u $、$ u_{iar{j}} $、$ u_{iar{j}k} $ に対する事前推定を構築する。
• パrameter $ t o 0 $ がCalabi-Yau計量に対応する一意の計量族 $ ilde{ heta}_t $ を構成し、解が存在する $ t $ の集合が開かつ閉であることを証明する。
• 次元2であるためケーラーである基底多様体 $ S $ 上での解の存在を保証するために、バランスの取れた計量条件 $ d( orm{ar{ abla} heta}_{ ext{can}}^2 ext{vol}) = 0 $ を用いる。

実験結果

リサーチクエスチョン

• RQ1 ねじれを伴う超対称ヘルミート計量は、特にK3面や複素トーラス上のT²バンドルである非ケーラー多様体上に存在しうるか？
• RQ2 内部多様体が非ケーラー的ではあるが、正則3形式とバランスの取れた計量を有する場合、ストロミンジャー系は解を有するか？
• RQ3 Calabi-Yau計量からの摂動を用いて、非ケーラー多様体上でのストロミンジャー系の解を連続性法によって構成できるか？
• RQ4 非自明なねじれおよびダイロン場を有する解の存在を保証するための、曲率および計量に関する必要十分条件は何か？
• RQ5 事前推定における $ u $、$ abla u $、$ u_{iar{j}} $ の制御は、計量の挙動をどのように制御し、ヘルミート形式の正定値性を保証するか？

主な発見

• 本論文は、K3面および複素トーラス上のT²バンドル上でのストロミンジャー系の解を用いて、非ケーラー多様体上にねじれを伴う超対称ヘルミート計量の存在を証明している。
• 制約 $ A < ext{min}igracevert 1, C_1^{-1}( ext{max}igracevert 7^{1/3}, (2C_1)^2, (1 + ext{sup} f), 16( ext{sup} R_{iar{j}kar{l}} + 1)igracevert)^{-2/B} igracevert $ の下で、$ u $、$ abla u $、$ u_{iar{j}} $、$ u_{iar{j}k} $ に対する事前推定が確立され、有界性が保証されている。
• 連続性法により解の集合が開かつ閉であることが示され、変形パrameterの全範囲で解が存在することを示している。
• 与えられた制約下で、計量 $ ilde{ heta}_t = e^u heta_0 + ext{lower-order terms} $ は正定値のままであり、良好に定義されたヘルミート構造を保証している。
• バランスの取れた計量条件 $ d( orm{ar{ abla} heta}_{ ext{can}}^2 ext{vol}) = 0 $ は変形の過程でも保たれ、解が基底多様体の幾何と関連していることを示している。
• 本手法により、特にK3面上の$ T^2 $-ファイブレーションを有する非ケーラー多様体が、非自明なねじれおよびダイロン場を有する超対称コンパクト化を支えることが確認された。