[論文レビュー] Regular embeddings of manifolds and topology of configuration spaces

Роман Карасев|arXiv (Cornell University)|Jun 3, 2010

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

ひとこと要約

本稿は、配置空間における等長的位相およびスティーネロド作用素を用いて、$ n $ 次元多様体を $ \mathbb{R}^m $ に線形的 $ k $-正則埋め込みするための次元 $ m $ に対する新しいコhomological下界を確立する。これはチシュォルムの $ \mathbb{R}^n $ に対する境界を一般化し、ステイフェル＝ブルーアンクラスを組み込むことでハンドルの結果を拡張し、$ k = 2^l $ の場合、最小の $ m $ が多様体の位相的性質（特性類および配置空間のコホモロジーを介して）に依存することを証明する。

ABSTRACT

For a topological space $X$ we study continuous maps $f : X o \mathbb R^m$ such that images of every pairwise distinct $k$ points are affinely (linearly) independent. Such maps are called affinely (linearly) $k$-regular embeddings. We investigate the cohomology obstructions to existence of regular embeddings and give some new lower bounds on the dimension $m$ as function of $X$ and $k$, for the cases $X$ is $\mathbb R^n$ or $X$ is an $n$-dimensional manifold. In the latter case, some nonzero Stiefel--Whitney classes of $X$ help to improve the bound.

研究の動機と目的

• $ n $-次元多様体 $ M $ から $ \mathbb{R}^m $ への連続的 $ k $-正則写像が存在可能な次元 $ m $ に対する改善された下界を導出すること。
• 配置空間および等長的コホモロジーを用いて、$ k $-正則埋め込みに対する位相的障害理論を拡張すること。
• 多様体 $ M $ のステイフェル＝ブルーアンクラスを次元の下界に組み込み、従来の結果が多様体の位相を無視していたのを改善すること。
• スティーナロド平方および $ \Sigma_k $-等長的コホモロジーを用いた配置部分空間のフレームワークを提供し、このような境界を計算する一般化された枠組みを構築すること。
• 実射影空間からユークリッド空間への写像における重複点の存在を証明するために、そのフレームワークを適用すること。

提案手法

• 多様体 $ M $ 上の $ k $ 個の相異なる点の $ k $-組の配置空間 $ F_k(M) $ を用い、自由な $ \Sigma_k $-作用を備える。
• 等長的コホモロジーおよびスティーナロド作用素（特に外部スティーナロド平方）を用いて、対称的配置部分空間のコホモロジーを分析する。
• $ q = 2^l $ の場合、$ \Sigma_q^{(2)} $-不変部分空間 $ Q_q(M) $ を導入し、$ k $-正則性の条件をモデル化する。
• 接バンドルと特性類を関係付ける同型 $ \tau Q_q(M) \oplus \varepsilon^{q-1} \cong \nu_{q/2}(Q_{q/2}(M)) \otimes \pi^*\tau M $ に依存する。
• $ \mathcal{P}_q^\circ(\mathbb{R}^{m+p'}) \times M $ 上のバンドル $ \alpha_q \otimes (\varepsilon^n \oplus \tau M^\perp) $ のオイラー類を用いて、写像における一致する $ q $-組を検出する。
• $ Q_q^\circ(L) $ の mod 2 コホモロジーとイデアル $ I_q $ を用いて、問題を二項係数およびスティーナロド作用素に関する代数的条件に還元する。

実験結果

リサーチクエスチョン

• RQ1 線形的 $ k $-正則埋め込みが $ \mathbb{R}^m $ に存在可能な $ n $ 次元多様体 $ M $ の最小次元 $ m $ は何か？
• RQ2 多様体 $ M $ のステイフェル＝ブルーアンクラスを用いて、$ n $ と $ k $ のみに依存する下界を越えて $ m $ の下界を改善できるか？
• RQ3 対称的配置空間のコホモロジーを用いて、$ k $-正則埋め込みに対する新しい障害を導出できるか？
• RQ4 実射影空間 $ \mathbb{R}P^m \to \mathbb{R}^n $ への連続写像が、$ q = 2^l $ の一致する $ q $-組を持つ必要がある条件は何か？
• RQ5 $ k $ の二進展開および $ \Sigma_k $-等長的コホモロジーの構造が $ k $-正則写像の存在に与える影響は何か？

主な発見

• $ k = 2^l $ の場合、$ n $-次元多様体 $ M $ からの線形的 $ k $-正則写像の最小の $ m $ は、$ m \geq (n-1)(k/2 - 1) + \bar{\ell}(\nu_{k/2}(Q_{k/2}(M)) \otimes \pi^*\tau M) + 1 $ を満たし、コンパクトな $ M $ に対してはより強い境界が得られる。
• 特に $ k $ が 2 のべきである場合、$ \mathbb{R}^n $ に対するチシュォルムの結果を改善するが、非自明な多様体でステイフェル＝ブルーアンクラスが消えない場合に特に有効である。
• $ M = \mathbb{R}P^m $ の場合、ある二項係数 $ c(k_1,\dots,k_l) $ が奇数であり、次数条件 $ (2^l - 1)p - k_1 - 2k_2 - \cdots - 2^{l-1}k_l \leq m $ が成り立つならば、任意の写像 $ f: \mathbb{R}P^m \to \mathbb{R}^n $ は $ q = 2^l $ の一致する $ q $-組を持つ。
• 本稿はハンドルの1996年の $ k $-正則写像に関する定理を再評価し強化し、元の証明における誤りを是正し、より一般化された枠組みを提供する。
• $ Q_q^\circ(L) $ の $ I_q $ による商のコホモロジーを用いて、スティーナロド平方による障害を計算し、写像における重複点の存在に対する明示的な代数的条件を導出する。
• この手法により、位相的問題が $ \operatorname{Sq}_e^{l-1} $、二項係数、特性類を含む代数的計算に還元され、射影空間と円周の積などの特定の多様体に対して有効な境界を導出可能となる。