[論文レビュー] Eliminating higher-multiplicity intersections in the metastable dimension range

Arkadiy Skopenkov|arXiv (Cornell University)|Apr 1, 2017

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

ひとこと要約

本稿は、メタ安定次元範囲において r 重交差を除去する r 重ホイットニー技を確立する。条件 $rd \geq (r+1)k + 3$ の下で、k 次元のディスクの直積から d 次元ボールへの適切な写像が境界に沿ってホモトピー化可能であり、すべての r 重交差を除去可能であると示す。これは、ある配置空間写像が拡張可能であるという条件に依存する。この結果は、古典的ホイットニー技をより高い重複度に一般化し、位相的組合せ論および埋め込みに関する問題に対する重要な道具を提供する。

ABSTRACT

The procedure to remove double intersections called the Whitney trick is one of the main tools in the topology of manifolds. The analogues of Whitney trick for $r$-tuple intersections were `in the air' since 1960s. However, only recently they were stated, proved and applied to obtain interesting results. Here we prove and apply the $r$-fold Whitney trick when general position $r$-tuple intersection has positive dimension. A continuous map $f\colon M o B^d$ from a manifold with boundary to the $d$-dimensional ball is called proper, if $f^{-1}(\partial B^d)=\partial M$. Theorem. Let $D=D_1\sqcup\ldots\sqcup D_r$ be disjoint union of $k$-dimensional disks, and $f:D o B^d$ a proper map such that $f\partial D_1\cap\ldots\cap f\partial D_r=\emptyset$, and the map $$f^r:\partial(D_1 imes\ldots imes D_r) o (B^d)^r-\{(x,x,\ldots,x)\in(B^d)^r\ :\ x\in B^d\}$$ extends continuously to $D_1 imes\ldots imes D_r$. If $rd\ge (r+1)k+3$, then there is a proper map $\bar f:D o B^d$ such that $\bar f=f$ on $\partial D$ and $\bar fD_1\cap\ldots\cap \bar fD_r=\emptyset$.

研究の動機と目的

• 古典的ホイットニー技を二重交差から r 重交差へ、メタ安定次元範囲に一般化すること。
• k 次元多様体から d 次元ボールへの写像の r 重交差が、周囲の同倫によって除去可能となる条件を確立すること。
• 特に位相的ツェルベルク予想の文脈において、埋め込みとほぼ埋め込みの問題を解消するための位相的道具を提供すること。
• 一般位置の r 重交差が正の次元をもつ場合に、r 重ホイットニー技を形式化し、証明すること。これは、以前に未解決の状態であったケースである。
• 特に [MW16] に代表される先行研究に対する適切な寄与の帰属を明確にし、確認すること。

提案手法

• 本証明は、互いに異なる r 重組合せの配置空間（対角線を除く）への、ディスクの直積からの等変写像の構成に依拠する。
• 境界上の写像が全直積空間へ拡張可能であるという条件が、主要な障害理論的基準として用いられる。
• 証明はポントリャーギン＝トムの構成と埋め込み型手術技法を用いて、r 重像の分離を実現する。
• 証明は局所的分離定理を経て、その後、グローバル分離の実現定理を適用する。
• 等変拡張問題の解の存在を保証するため、メタ安定範囲条件 $rd \geq (r+1)k + 3$ を用いる。
• この方法は、古典的ホイットニー技を一般化し、代数的交差数の代わりに配置空間上の拡張条件を用いる。

実験結果

リサーチクエスチョン

• RQ1 k 次元多様体から d 次元ボールへの写像の r 重交差が、周囲の同倫によって除去可能な次元的条件は何か？
• RQ2 一般位置の交差が正の次元をもつ場合、二重交差の古典的ホイットニー技を r 重交差にどのように一般化できるか？
• RQ3 r 重交差を除去するための正確な障害は何か？ そして、等変写像と配置空間の観点から、どのように定式化できるか？
• RQ4 r 重ホイットニー技は、メタ安定範囲および位相的ツェルベルク予想とどのように関係しているか？
• RQ5 r 重ホイットニー技の発展に関して、特に [MW16] のような先行研究と比較して、正しい寄与の帰属は何か？

主な発見

• 条件 $rd \geq (r+1)k + 3$ の下で、r 重ホイットニー技が成立し、境界に沿った適切なホモトピーによって r 重交差を除去可能であることが保証される。
• r 重交差を除去する主な障害は、直積空間の境界から、$B^d$ 内の相異なる r 重組合せの配置空間への写像の拡張可能性にある。
• 定理は、境界上で $f$ と等しく、$\overline{f}D_1 \cap \cdots \cap \overline{f}D_r$ が空集合であるような適切な写像 $\overline{f}$ の存在についての十分条件を提供する。
• この結果は、古典的ホイットニー技を二重交差からより高い重複度へ一般化し、r 重設定におけるメタ安定範囲枠組みを拡張する。
• 本稿は、特に [MW16] に代表される先行研究が適切に帰属されていることを確認しており、以前の結果に接続はするが、証明は独立的かつ自己完結的である。
• この方法は、特に位相的ツェルベルク予想の反例の文脈において、ほぼ埋め込みと埋め込みを研究するための基盤的道具を提供する。