[論文レビュー] Loose Legendrian embeddings in high dimensional contact manifolds

Emmy Murphy|arXiv (Cornell University)|Jan 11, 2012

Geometric and Algebraic Topology参考文献 14被引用数 81

ひとこと要約

本稿は、次元 ≥5 の高次元接触多様体におけるローブ・レジェンドリアン埋め込みの h-原理を確立する。この埋め込みは、滑らかさの同相型とほぼ複素構造フレーミングによって完全に分類可能である。主な結果は、ローブ・レジェンドリアンに対して形式的レジェンドリアン同相型が真のレジェンドリアン同相型を意味することであり、これは次元3では成立しない現象である。

ABSTRACT

We give an $h$--principle type result for a class of Legendrian embeddings in contact manifolds of dimension at least $5$. These Legendrians, referred to as loose, have trivial pseudo-holomorphic invariants. We demonstrate they are classified up to Legendrian isotopy by their smooth isotopy class equipped with an almost complex framing. This result is inherently high dimensional: analogous results in dimension $3$ are false.

研究の動機と目的

• 次元が5以上である接触多様体におけるローブ・レジェンドリアン埋め込みを、レジェンドリアン同相型に関して完全に分類すること。
• ローブ・レジェンドリアンに対して h-原理型の結果を確立し、形式的同相型が真の同相型を意味することを示すこと。
• 各形式的レジェンドリアン同相型内におけるローブ・レジェンドリアンの空間が、C⁰位相で各同相型に密であることの証明。
• 障害理論とホモトピー群を用いて、ローブ・レジェンドリアンの高次元パラメトリック族への分類を拡張すること。
• 高次元（n ≥ 2）と次元3の挙動の違いを明確にし、類似結果が次元3で成立しない理由を解明すること。

提案手法

• 標準的接触球 B²ⁿ⁺¹ₐₜₜₕ 内の普遍的モデルを通じてローブ・レジェンドリアンの概念を導入する。
• 形式的レジェンドリアン埋め込みを、特定の接続性およびラグランジュ的条件を満たすバンドル写像のホモトピーを備えた滑らかな埋め込みとして定義する。
• h-原理の枠組みを用いて、レジェンドリアン同相型問題をフレームバンドルのホモトピー群における障害理論に還元する。
• ボット周期性および安定ホモトピー論を用いて、関連するホモトピー群 πₙ₊₁V₂ₙ₊₁,ₙ と πₙ₊₁Uₙ の計算を行う。
• 1-jet座標を用いて形式的レジェンドリアン埋め込みの図式的モデルを構築し、解析を簡略化する。
• リーブ・フレーミングの差分クラスを写像 tb: πₙ₊₁V₂ₙ₊₁,ₙ → πₙSⁿ を通じて分析し、n が奇数のとき単射であり、ℤ → 2ℤ を与えることを示す。

実験結果

リサーチクエスチョン

• RQ1 n ≥ 2 である (2n+1) 次元接触多様体における2つのローブ・レジェンドリアン埋め込みが、レジェンドリアン埋め込みの族を通じて同相となる条件は何か？
• RQ2 形式的レジェンドリアン同相型が、ローブ・レジェンドリアンに対して真のレジェンドリアン同相型をどの程度まで分類可能か？
• RQ3 なぜ類似の分類結果が次元3では成立しないのか、高次元とは何が異なるのか？
• RQ4 特に π₁(Λ) がレジェンドリアン多様体 Λ の位相的性質として果たす役割は、固定された形式的同相型内での非自明な同相型の存在にどのように影響するか？
• RQ5 トゥースタン＝ベンブルグ数や回転類といったホモトピー不変量が、ローブ・レジェンドリアンの分類に果たす役割は何か？

主な発見

• 次元5以上の接触多様体におけるローブ・レジェンドリアン埋め込みは、滑らかさの同相型とほぼ複素構造フレーミングによって、レジェンドリアン同相型に関して完全に分類可能である。
• 任意の2つの形式的同相型のローブ・レジェンドリアン埋め込みは、真のレジェンドリアン同相型である。これは、このクラスに対して完全な h-原理を確立している。
• 各形式的レジェンドリアン同相型内におけるローブ・レジェンドリアンの空間は、C⁰位相で各同相型に密であり、形式的意味で一般的である。
• n が奇数のとき、形式的同相型が真のレジェンドリアン同相型に持ち上がるかどうかは、tb(f₀) − tb(f₁) のトゥースタン＝ベンブルグ数の差で決定される。
• n = 2 のとき、写像 πₙ₊₁Uₙ → πₙ₊₁V₂ₙ₊₁,ₙ は全射であり、すべての形式的同相型が真の同相型に持ち上がる。
• n が偶数で n > 2 のとき、不変量 β ∈ πₙ₊₁V₂ₙ₊₁,ₙ ≅ ℤ₂ により、各回転類に対して高々2つの形式的同相型が存在するが、π₁Λ = 0 の下では1つの同相型しか存在しないため、同相型の持ち上げが保証される。