[論文レビュー] Topological Borsuk problem

Yan Soibelman|ArXiv.org|Aug 28, 2002

Limits and Structures in Graph Theory参考文献 1被引用数 3

ひとこと要約

本稿は、標準的なユークリッド計量と位相的に同値なすべての計量における最小のボルスカル数として定義される、ユークリッド空間 ℝⁿ の位相的ボルスカル数を調査する。等変位相論と ℤ/3作用の G-指数を用いて、B(ℝ²) = 3 を証明し、平面の位相的ボルスカル数を確立する。この手法は、高次元では被覆空間上の群作用が自由でなくなるため n > 2 では失敗し、一般の場合の問題は未解決のまま残る。

ABSTRACT

Classical Borsuk problem asks about the minimal number of closed subsets of smaller diameter necessary to partition every compact in the Euclidean space. Topological version of the Borsuk problem is discussed.

研究の動機と目的

• 標準ユークリッド計量と位相的に同値なすべての計量 ρ における B(X,ρ) の下限として定義される、位相的ボルスカル数 B(ℝⁿ) を特定すること。
• 古典的ボルスカル予想を位相的設定に拡張し、B(ℝⁿ) ≥ n+1 が成り立つかを検証すること。
• 群作用と等変位相論がボルスカル数の推定に果たす役割を調査すること。
• 2次元の証明手法が高次元に一般化できない理由となる障害を同定すること。

提案手法

• 位相的ボルスカル数 B(X) を、ρ₀ と位相的に同値なトポロジーの集合 Ω(ρ₀) 内のすべての計量におけるボルスカル数の最小値として定義する。
• ℝ² 内の点の三つ組に対して、互いの距離を割り当てる連続写像 f: X³ → ℝ³ を定義する。
• S³ から S¹ への ℤ/3-等変写像が存在しないことを示すことで、f の像内に正三角形（ρ₁₂ = ρ₂₃ = ρ₁₃ > 0）が存在することを証明する。
• G = ℤ/3 に対する G-指数（群指数）を適用し、ind_G(S³) = 3 > 1 = ind_G(S¹) を示し、これによりこのような等変写像が存在しないことを示す。
• 奇数次元の球面は奇数素数 p に対して自由な ℤ/p-作用をもつことを利用し、2次元の場合に p = 3 を用いる。
• 高次元への一般化においては、(ℝⁿ)^{n+1} 上の Σ_{n+1}-等変写像を検討するが、被覆空間上の群作用が自由でなくなることに注意する。

実験結果

リサーチクエスチョン

• RQ1 すべての n ≥ 2 に対して、位相的ボルスカル数 B(ℝⁿ) は n+1 以上であるか？
• RQ2 2次元の証明手法（ℤ/3-等変性と G-指数）を n > 2 の ℝⁿ に拡張できるか？
• RQ3 高次元において、被覆空間上の群作用が自由でなくなると、どのような位相的障害が生じるか？
• RQ4 すべての ρ₀-同値計量において正三角形配置が存在することは、B(ℝⁿ) の下界を示唆するか？
• RQ5 n > 2 の ℝⁿ において、Ω(ρ₀) に属する計量 ρ で B(X,ρ) < B(ℝⁿ,ρ₀) を満たすものがあるか？

主な発見

• ℝ² の位相的ボルスカル数は、正確に 3 である。これは等変位相論と ℤ/3-作用の G-指数を用いて証明された。
• 証明は、S³ から S¹ への ℤ/3-等変写像が存在しないことを示すことに依存し、不等式 ind_G(S³) = 3 > 1 = ind_G(S¹) を用いる。
• ℝ² 上の標準的ユークリッド計量のボルスカル数は 3 であり、これは位相的に同値なすべての計量において最小値である。
• 高次元では、一般化された写像構成における被覆空間上での対称群 Σ_{n+1} の作用が自由でなくなるため、この手法は失敗する。
• ℝ² において、任意の ρ₀-同値計量において正三角形三つ組の存在は、位相的障害によって保証され、B(ℝ²) = 3 を確認する。
• ℝⁿ (n > 2) の一般の場合については未解決であり、2次元で用いられた位相的道具が、群作用が自由でなくなるために高次元に拡張できないためである。