[論文レビュー] Existence h-principle for Engel structures

Roger Casals, José Luis Pérez+2 more|arXiv (Cornell University)|Jul 19, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用数 4

ひとこと要約

本稿では、4次元多様体上のエンゲル構造に対して存在性h-原理を確立する。具体的には、エンゲル構造の空間から形式的エンゲルフラッグの空間への包含写像が、すべてのホモトピー群に全射を誘導することを証明する。主な結果は、任意の向き付けられた3次元分布を伴う形式的フラッグが、実際にエンゲル構造にホモトピー的に変形可能であることを示しており、これによりエンゲル構造の存在が幾何的障害ではなく、形式的位相的データによって完全に決定されることを示している。

ABSTRACT

In this article we prove that the inclusion of the space of Engel structures of a smooth $4$-fold into the space of full flags of its tangent bundle induces surjections in all homotopy groups. In particular, we construct Engel structures representing any given full flag.

研究の動機と目的

• 4次元多様体上のエンゲル構造がh-原理を満たすかどうかを特定すること、すなわち、その存在が形式的位相的不変量にのみ依存するかどうかを調べること。
• エンゲル幾何が位相のみに支配される（「自明」）のか、それともより深い幾何的不変量を有するのかという未解決の問題を解消すること。
• 平行化可能な4次元多様体に関する先行結果を拡張し、任意の形式的フラッグ（向き付けられた3次元分布を伴う）が実際にエンゲル構造として実現可能であることを示すこと。
• 非パrametricな状況から、パラメトリックおよび葉状構造の設定へのh-原理の拡張を図り、フラッグに対するホモトピー的制御を確立すること。

提案手法

• 形式的エンゲル構造を、$\mathcal{W}^1 \subset \mathcal{D}^2 \subset \mathcal{E}^3 \subset TM$ と表される向き付けられた完全フラッグの分布族として定義する。ここで $\mathcal{E}$ は向き付けられている。
• 包含写像 $i: \mathfrak{E}(M) \to \mathfrak{F}(M)$ が、すべてのホモトピー群 $\pi_k$（$k \geq 0$）に全射を誘導することを証明する。
• 定理29（還元定理）を用いて、形式的エンゲル構造を、3次元球体近傍での径方向または角度方向の挙動を示す局所モデルに変形する。
• 線分布 $\mathcal{W}$ に適合する三角形分割とフローボックス近傍を用いて、還元のパラメトリックおよび葉状構造への一般化を構築する。
• 定理19（シェル拡張結果）を適用し、$6\pi$-径方向シェルが固体エンゲル構造にホモトープに変形可能であることを示す。
• 境界付き多様体に対応する還元の相対版を用いて、境界接触構造が保たれることを保証する。

実験結果

リサーチクエスチョン

• RQ1 4次元多様体上のエンゲル構造の存在は、形式的位相的データにのみ依存するのか、それとも幾何的障害が存在するのか？
• RQ2 向き付けられた3次元分布を伴う任意の形式的フラッグが、実際にエンゲル構造にホモトープに変形可能か？
• RQ3 エンゲル構造のh-原理は、どの程度パラメトリックおよび葉状構造の設定に拡張可能か？
• RQ4 エンゲル構造の分類は、完全にその背後にある代数的位相に依存するのか、それともより深い幾何的不変量が存在するのか？
• RQ5 シェルに類似したモデルを用いて、制御されたホモトピー的手段でエンゲル構造を局所化し、拡張可能か？

主な発見

• エンゲル構造の空間 $\mathfrak{E}(M)$ から形式的エンゲルフラッグの空間 $\mathfrak{F}(M)$ への包含写像が、すべてのホモトピー群 $\pi_k$ に全射を誘導する。
• 4次元多様体上での任意の形式的エンゲルフラッグは、ホモトピーを介して実際にエンゲル構造として実現可能であり、完全な存在性h-原理を証明する。
• この結果はパラメトリックおよび葉状構造の設定でも成り立つ：還元および拡張定理は、ディスク $\mathbb{D}^m$ でパrameter化された族に一般化可能である。
• $6\pi$-径方向シェルは、固体エンゲル構造にホモトープに変形可能であり、h-原理構成における重要なステップを提供する。
• 境界付き多様体に適用した場合、この方法は境界の接触構造を保ち、コボルディズムの議論と整合性を保つ。
• この証明は、境界付き多様体の近傍でエンゲル構造を構成しつつ境界データを保つ相対還元定理のバージョンに依存している。