[論文レビュー] Non-existence of flat paracontact metric structures in dimension greater than or equal to five

Simeon Zamkovoy, Vassil Tzanov|ArXiv.org|Oct 30, 2009

Geometric and Algebraic Topology被引用数 21

ひとこと要約

この論文は、リーマン接続の曲率がゼロである平坦なパラ接触計量構造—すなわち、リーマン接続の曲率がゼロである構造—が、次元5以上では存在しないことを証明している。一方、次元3ではその存在は既知である。曲率テンソルの解析と、演算子hの±1固有空間への接触分布の分解を用いて、平坦性の仮定の下で線形独立なベクトル場の間に矛盾を導き出し、次元3を超える高次奇数次元における平坦性の根本的な障害を確立している。

ABSTRACT

An example of a three dimensional flat paracontact metric manifold with respect to Levi-Civita connection is constructed. It is shown that no such manifold exists for odd dimensions greater than or equal to five.

研究の動機と目的

• 次元≥5の奇数次元多様体における平坦なパラ接触計量構造の存在を調査すること。
• パラ接触計量多様体のリーマン接続が高次元で消失する可能性があるかどうかを特定すること。
• 次元5以上で平坦性が妨げられる幾何学的・代数的障害を明確にすること。
• 次元3における平坦なパラ接触構造の既知の存在と、高次元における不可能性を対比すること。
• 平坦性の仮定の下で、パラ接触分布の曲率性質と可積分性条件を分析すること。

提案手法

• パラ接触計量多様体の曲率テンソルを、リーマン接続とネイヘンイウステンソル・外微分を含む構造方程式を用いて分析する。
• 構造方程式から導かれる、φのリーマン接続に関する共変微分の式を適用する。
• 条件R(X,Y)ξ = 0を用いて、演算子h = (1/2)ℒξφの±1固有空間への接触分布の分解を行う。
• 平坦性の仮定を用いて、計量gの下でのベクトル場X_i, X_jなどの内積を含む方程式系を導出する。
• 添え字iとkを入れ替えることで対称性および反対称性の条件を課し、X_iとX_kの線形独立性を仮定した場合に矛盾を導く。
• その結果を応用して、R(X,Y)ξ = 0がすべてのX,Yに対して成り立つならば、局所的に平坦な(n+1)次元多様体と、定数負曲率−4のn次元多様体の直積に分解されることを示す。

実験結果

リサーチクエスチョン

• RQ1 次元≥5のパラ接触計量多様体が、リーマン接続に関して平坦な接続をもつことができるか？
• RQ2 高次元の奇数次元における平坦なパラ接触計量構造の非存在を防ぐ幾何学的または代数的条件は何か？
• RQ3 パラ接触分布の曲率挙動は、その±1固有空間の可積分性とどのように関係するか？
• RQ4 平坦性の下で、演算子h = (1/2)ℒξφが接触分布の分解に果たす役割は何か？
• RQ5 R(X,Y)ξの消える条件が、局所的直積構造と曲率制約を導くのはどのような場合か？

主な発見

• リーマン接続に関して、次元≥5のいかなるパラ接触計量多様体にも平坦なパラ接触計量構造は存在しない。
• 次元3では、そのような平坦構造は存在する。具体的には、ℝ³₁に特定のパラ接触形式と適合計量を備えた例によって示されている。
• 平坦性の仮定の下で、線形独立なベクトル場X_iとX_kの内積を分析すると、特定の曲率項が消えるため矛盾が生じる。
• R(X,Y)ξ = 0がすべてのX,Yに対して成り立つならば、多様体は局所的に平坦な(n+1)次元多様体と、定数負曲率−4のn次元多様体の直積に分解される。
• 平坦性の仮定の下で、分布[−1]は可積分であり、X,Y ∈ [+1]に対してR(X,Y)ξ = 0ならば、分布[+1]も可積分である。
• R(X,Y)ξ = 0のとき、演算子hはパラ接触分布上でフルランク2nをもつため、±1固有空間への分解が可能になる。