[論文レビュー] Borsuk-Ulam type theorems for metric spaces

Arseniy Akopyan, Роман Карасев+1 more|arXiv (Cornell University)|Sep 6, 2012

Advanced Topology and Set Theory参考文献 16被引用数 7

ひとこと要約

この論文は、Gromovの『サイクル空間における収縮』技法を用いて、距離空間へのBorsuk–UlamおよびHopfの定理の一般化を試みる。コンパクトなn次元多様体から別のn次元多様体への偶数次元の連続写像に対して、短い経路写像の定義域に属さない点の対が同じ像に写ることを示している。主な貢献は、Urysohn幅およびGromovのウエスト不変量への応用を持つ、新しい位相的一致定理の確立である。

ABSTRACT

In this paper we study the problems of the following kind: For a pair of topological spaces $X$ and $Y$ find sufficient conditions that under every continuous map $f : X o Y$ a pair of sufficiently distant points is mapped to a single point.

研究の動機と目的

• 現代の位相的技法を用いて、古典的なBorsuk–UlamおよびHopfの定理を距離空間へ拡張すること。
• 多様体間の連続写像が、十分に離れた点の対を必ず同一視するような条件を確立すること。
• 距離空間の文脈において、Urysohn幅とGromovウエストの関係を調査すること。
• 0次サイクル（mod 2）空間におけるサイクルの収縮法を応用し、新しい一致定理を証明すること。
• リーマンおよびCAT(1)距離空間へ、ウエストおよび幅に関する結果を一般化すること、特にcodimension-1写像に対して。

提案手法

• ホモトピー論的議論の枠組みとして、$\mathrm{cl}_0(X;\mathbb{F}_2)$ と表記される0次サイクルの空間（mod 2）を用いる。
• Gromovの『サイクル空間における収縮』技法を適用し、特定の条件下でサイクルを収縮するホモトピーを構成する。
• 対の各点にパスを割り当てる $\mathbb{Z}_2$-可換な短い経路写像 $s: X \times X \to PX$ を導入し、対角線上では定数パスとする。
• 距離構造に基づく『短い経路写像』の概念を用い、パスが最小またはほぼ最小であることを保証する。
• 偶数次元写像 $f: X \to Y$ に対して、$f(x)=f(y)$ となる点の対 $x,y$ が、$s$ の定義域に属さないことを証明する。
• CAT(1)空間および球面幾何学に関する幾何的補題を用い、逆像のサイズを評価し、凸性および小球内への包含を確立する。

実験結果

リサーチクエスチョン

• RQ1 多様体同士の連続写像 $f: X \to Y$ が、十分に離れた点の対を必ず同一視するのはどのような条件下か？
• RQ2 サイクル収縮法を用いて、Borsuk–UlamおよびHopfの定理を距離空間へ一般化できるか？
• RQ3 連続写像による多様体からの写像の文脈において、Urysohn幅とGromovウエストの関係は何か？
• RQ4 特に $\mathbf{CAT}(1)$ やリーマン的設定における定義域空間の幾何構造が、低次元空間への写像における逆像のサイズにどのように影響するか？
• RQ5 多様体の内在的幾何的不変量（たとえば、連結集合を含む最小の球の半径）を用いて、多様体のウエストを下から抑えられるか？

主な発見

• 定理2.3は、コンパクトなn次元多様体 $X$ から別のn次元多様体 $Y$ への任意の偶数次元連続写像 $f: X \to Y$ に対して、$f(x) = f(y)$ かつ $x,y$ が与えられた短い経路写像 $s$ の定義域に属さないような点の対 $x,y$ が存在することを確立する。
• 古典的なBorsuk–Ulamの定理は、$X = S^n$, $Y = \mathbb{R}^n$, および標準距離における最短経路写像をとることで、系として導かれる。
• コンパクトなn次元リーマン多様体 $X$ と $(n-1)$ 次元の多面体 $Y$ に対して、$\gamma(X,Y) \geq 2\kappa(X)$ が成り立つ。ここで $\kappa(X)$ は、長さ $\geq 2\kappa(X)$ の連結集合を含む球の最小半径である。
• $\mathbf{CAT}(1)$ の設定において、$X$ が $\mathbf{CAT}(1)$ 距離をもつコンパクトなn次元多様体で、$Y$ が $(n-1)$ 次元多様体であるとき、$\gamma(X,Y) \geq 2\pi$ が成り立つ。
• 任意の $\mathbf{CAT}(1)$ 空間内の閉曲線 $C$ に対して、長さ $\ell(C) < 2\pi$ ならば、$C$ は半径 $\leq \ell(C)/4 < \pi/2$ の球に含まれる。このような球は厳密に凸である。
• 補題7.10は、$\mathbf{CAT}(1)$ 空間内の長さが $2\pi$ 未満の任意の閉曲線が、半径 $\leq \ell(C)/4$ の球に含まれることを示しており、これは逆像サイズの評価に不可欠である。