[論文レビュー] Contact structures on 5-manifolds

John B. Etnyre|arXiv (Cornell University)|Oct 18, 2012

Geometric and Algebraic Topology参考文献 18被引用数 15

ひとこと要約

この論文は、閉じた向き付け可能な5次元多様体上の任意のほぼ接触構造が、開図式分解、Lutzねじれ、および Weinstein コボルディズム上のシンプレクティック技法を用いて接触構造にホモトープであることを証明する。この結果は、古典的な3次元接触実現定理を5次元多様体へと拡張し、高次元接触トポロジーにおける長年の存在問題を解決する。

ABSTRACT

Using recent work on high dimensional Lutz twists and families of Weinstein structures we show that any almost contact structure on a 5-manifold is homotopic to a contact structure.

研究の動機と目的

• 閉じた向き付け可能な5次元多様体上の任意のほぼ接触構造が接触構造にホモトープであるかどうかという存在問題を解決すること。
• Martinet および Lutz の古典的な3次元結果を5次元多様体へと拡張すること。
• 開図式分解とシンプレクティック技法を用いた、構成的でホモトピー論的証明を提供すること。
• 高次元トポロジーの複雑さにもかかわらず、5次元では接触化の障害が消えることの証明。
• 類似の手法を用いて、より高次の奇数次元への一般化の基盤を築くこと。

提案手法

• 証明は5次元多様体の開図式分解を用い、それをバインディング近傍 N とマッピングトーラス C に分解する。
• まず、D⁴ × S¹ 上に安定Lutzねじれを用いて接触構造を構成し、境界トーラスにオーバーミスド構造を誘導する。
• 残りの部分 C′′ は、Cieliebak および Eliashberg のシンプレクティック h-コボルディズム定理を活用した、マッピングトーラス上の Weinstein 構造を用いて拡張する。
• バインディング近傍 N 上への接触構造の拡張は、Eliashberg の3次元オーバーミスド接触構造の分類定理を適用することで達成する。
• Y × D² 上で β = f(r)dθ + g(r)αθr という接触形式を明示的に構成し、境界を越えて接触構造を貼り合わせる。
• 多様体の2次元スケルトンへの制限によって、得られた接触構造のホモトピー型が元のほぼ接触構造と等価であることを検証する。

実験結果

リサーチクエスチョン

• RQ1 閉じた向き付け可能な5次元多様体上の任意のほぼ接触構造を、真の接触構造にホモトープにできるか。
• RQ2 5次元多様体上の接触構造の存在は、第一チャーン類のようなトポロジカル不変量に依存するのか、それとも純粋にホモトピー論的性質に依存するのか。
• RQ3 3次元接触トポロジーで用いられる技法は、開図式分解を用いて5次元多様体へと一般化可能か。
• RQ4 任意のほぼ接触構造を支持できる普遍的な開図式分解が存在するか。
• RQ5 Lutzねじれと Weinstein コボルディズムは、高次元における接触構造の実現にどのような役割を果たすか。

主な発見

• 閉じた向き付け可能な5次元多様体上の任意のほぼ接触構造は、接触構造にホモトープであり、すべてのこのような多様体に接触構造が存在することを確認した。
• 証明は、任意のほぼ接触構造を弱く支持する固定された開図式分解に依存しており、これは3次元多様体では観察されない現象である。
• 境界トーラスにオーバーミスド接触構造を誘導する D⁴ × S¹ 上に接触構造を構成し、その後続の拡張を可能にした。
• バインディング近傍 N 上への拡張は、3次元のバインディング上での接触構造のループを、オーバーミスド構造の空間内で可縮であるとすることで実現した。
• 最終的な接触構造は、多様体の2次元スケルトンへの制限によって、元のほぼ接触構造とホモトープであることが検証された。
• 結果は強固で一般性に富み、基本群や torsion に制限がない。既存の文献における部分的な結果を拡張した。