[論文レビュー] Para-hyperhermitian surfaces

Johann Davidov, Gueo Grantcharov+2 more|ArXiv.org|Jun 2, 2009

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

ひとこと要約

本稿は、コンパクト複素曲面上のパラ超ヘルミート構造を調査し、Inoue型 $S^+$ 表面はこのような構造を許容するが、Inoue型 $S^-$ 表面は、それらに適合するパラ超ヘルミート計量を許容しないパラ超複素構造を持つことを証明している。主な結果は、自己同型の下での符号不一致と自己同型不変性に起因するトポロジカル障害であり、これは中性符号型設定において、すべてのパラ超複素構造が適合計量をもつわけではないことを示している。

ABSTRACT

In this note we discuss the problem of existence of para-hyperhermitian structures on compact complex surfaces. We construct examples of para-hypercomplex structures on Inoue surfaces of type $S^{-}$ which do not admit compatible metrics.

研究の動機と目的

• コンパクト複素曲面上におけるパラ超ヘルミート構造の存在を調査すること、特にInoue表面に焦点を当てる。
• 中性符号型において、パラ超複素構造に対して適合計量が存在しないトポロジカル的および幾何的障害を明確化すること。
• Inoue型 $S^+$ および $S^-$ 表面の間におけるパラ超ヘルミート構造に関する性質の違いを対比すること。
• 任意の2つの同一のパラ超複素構造と適合するパラ超ヘルミート計量は、実次元4においては共形同値であることを確立すること。

提案手法

• 著者たちは、コンパクト複素曲面の分類を用い、パラ超ヘルミート構造に関連する $(2,0)$-形式 $\Omega = \Omega_2 + i\Omega_3$ を通じて、正則なバンドルの自明性を分析する。
• 3つの2形式 $\Omega_i = g(J_i X, Y)$ を定義し、それらの閉じている条件を分析することで、パラ超ケーラー構造を特徴付ける。
• Inoue型 $S^+$ 表面に対して、不変な $(1,0)$-形式 $\theta_1, \theta_2$ を構成し、$\Omega = \theta_1 \wedge \theta_2$ が $d\Omega = -\text{Im}\,\theta_1 \wedge \Omega$ を満たすことを示し、パラ超ヘルミート構造の確認を行う。
• $S^-$ に対しては、自己同型 $\sigma(z,w) = (z,-w)$ を用い、仮定される計量の引き戻しが符号不変性を破ることを示し、矛盾に至る。
• 4次元実空間において、同一のパラ超複素構造と適合する任意の2つの計量が共形同値であるという結果を応用し、$\sigma$ による符号反転から矛盾を導出する。
• 形式 $\Omega_1, \text{Re}\,\Omega, \text{Im}\,\Omega$ を用いたパラ超ヘルミート構造の特徴付け（$d\Omega_i = \theta \wedge \Omega_i$ および $\Omega_i^2$ が体積形式に比例）を用いる。

実験結果

リサーチクエスチョン

• RQ1 コンパクト4次元多様体上のすべてのパラ超複素構造が、適合するパラ超ヘルミート計量を許容するか？
• RQ2 特定の複素曲面上でパラ超ヘルミート計量の存在が妨げられるトポロジカル的または幾何的障害は何か？
• RQ3 Inoue型 $S^+$ および $S^-$ 表面の間で、パラ超ヘルミート構造に関して性質にどのような違いがあるか？
• RQ4 次元4において、パラ超複素構造と適合する計量の共形類を完全に特徴付けられるか？
• RQ5 自己同型 $\sigma$ は、計量が $S^+$ から $S^-$ に下がることを妨げる役割を果たすか？

主な発見

• Inoue型 $S^+$ 表面は、不変形式 $\theta_1, \theta_2$ を構成し、$d\Omega = -\text{Im}\,\theta_1 \wedge \Omega$ を満たすことを確認することで、パラ超ヘルミート構造を許容する。
• Inoue型 $S^-$ 表面は、自己同型 $\sigma$ を通じて $S^+$ から誘導されるパラ超複素構造を許容するが、それに適合するパラ超ヘルミート計量は存在しない。
• $S^-$ 上での計量の非存在は、任意のそれらに適合する計量が $S^+$ 上に引き戻された際に $\sigma$ で符号が反転する関数を持つことになり、恒等的に正の関数であるべきという要件に反するためである。
• 実次元4において、同一のパラ超複素構造と適合する任意の2つの計量は共形同値である。これは、符号反転による矛盾を導くために重要な道具であった。
• 任意のパラ超ヘルミート構造において、複素構造 $J_1$ の正則バンドルは滑らかに自明である。これは、可能な基礎となる複素曲面を特定のクラス（Inoue型 $S^-$ 表面を含む）に制限する。
• $S^+$ 上の構造 $\Omega = \theta_1 \wedge \theta_2$ は $d\Omega = -\text{Im}\,\theta_1 \wedge \Omega$ を満たし、$\Omega_1$ が閉じていないにもかかわらず、パラ超ヘルミート構造として確認される。