[論文レビュー] Sperner's Lemma, Brouwer's fixed-point theorem, and cohomology

Nikolai V. Ivanov|arXiv (Cornell University)|Jun 29, 2009

Mathematics and Applications参考文献 6被引用数 4

ひとこと要約

この論文は、スパルナーの補題とブルウェルの不動点定理の標準的組み合わせ的証明が、実際には単体的コホモロジーを用いた証明の隠れた形であり、純粋に組み合わせ論的ではなく、単体的コチェインを用いて表現されていることを明らかにする。Spernerに基づく証明の根拠となるカナスタ-クルタフ=マズルキエフの議論は、暗黙的にリトラクション定理に依存しており、それ自体が単体的近似とコホモロジー的推論によって導出可能であることが示され、しばしば組み合わせ的証明と見なされるものに隠れた代数的トポロジーの構造が存在することが明らかになる。

ABSTRACT

The proof of Brouwer's fixed-point theorem based on Sperner's lemma is often presented as an elementary combinatorial alternative to advanced proofs based on algebraic topology. The goal of this note is to show that: (i) the combinatorial proof of Sperner's Lemma can be considered as a cochain-level version, written in the combinatorial language, of a standard cohomological argument; (ii) the standard deduction of Brouwer's theorem from Sperner's lemma is similar to the usual deduction of Brouwer's theorem from the no-retraction theorem and is closely related to the notion of a simplicial approximation. In order to make these connections transparent, we included the above mentioned standard arguments, so the note is self-contained modulo some basic ideas of combinatorial topology.

研究の動機と目的

• Spernerの補題によるブルウェルの不動点定理の組み合わせ的証明が、代数的トポロジーから独立している程度を調査すること。
• Spernerの補題の背後にある隠れたコホモロジー的構造を解明し、それが単体的コホモロジーとどのように関係するかを明らかにすること。
• Spernerの補題からブルウェルの定理を導くために用いられるカナスタ-クルタフ=マズルキエフ（KKM）の議論が、不動点のない写像からリトラクションを構成することと同等であることを示し、リトラクション定理が隠れた核心的役割を果たしていることを明らかにすること。
• 標準的なリトラクション定理の証明を、単体的近似とSpernerの補題を用いて再構成し、ホモロジーを用いずに代数的トポロジーと組み合わせ論を結びつけること。

提案手法

• 単体的コホモロジー論を用いてSpernerの補題を再定式化し、そのコホモロジー的性質を明らかにすること。
• コチェインを用いてコホモロジー的証明を表現することで、高度な代数的トポロジーを必要とせずに理解可能にする。
• ラベル付けの幾何的解釈を、分割から標準単体への単体的写像として扱うこと。
• 単体的複体にLebesgueの補題を適用し、リトラクション写像による星の像が頂点の星に含まれることを保証することで、単体的近似によるラベル付けを可能にする。
• 候補となるリトラクション写像の星の逆像に基づく頂点のラベル付けを構成し、すべてのラベル1からn+1を持つ単体が得られることを示し、星の互いに交わりのない性質に反する。
• リトラクションが存在する場合にこのようなラベル付き単体の存在が矛盾を引き起こすことを示し、Spernerの補題を用いてリトラクション定理を証明すること。

実験結果

リサーチクエスチョン

• RQ1 Spernerの補題に基づくブルウェルの不動点定理の組み合わせ的証明は、本当に代数的トポロジーから独立しているのか？
• RQ2 Spernerの補題の背後にあるコホモロジー的構造は何か？ そしてそれは単体的コホモロジーとどのように関係するか？
• RQ3 Spernerの補題からブルウェルの定理を導くために用いられるカナスタ-クルタフ=マズルキエフの議論の中に、リトラクション定理がどのように埋め込まれているか？
• RQ4 リトラクション定理は、Spernerの補題と単体的近似を用いてホモロジーを用いずに証明可能か？
• RQ5 なぜコホモロジーが、この組み合わせ的設定においてホモロジーよりも自然に適しているのか？

主な発見

• Spernerの補題は、純粋な組み合わせ的結果ではなく、単体的コホモロジーのコチェインレベルでの表現としてのコホモロジー的証明の隠れた形である。
• Spernerの補題からブルウェルの不動点定理を標準的に導くプロセスは、暗黙的にリトラクション定理に依存しており、それ自体が単体的近似によって証明可能である。
• リトラクション写像の星の逆像に基づくラベル付けの構成により、すべてのラベル1からn+1を持つ単体が得られ、星の互いに交わりのない性質に反する。これによりリトラクション定理が証明される。
• 星の直径を制御するためにLebesgueの補題を用いることで、ラベル付けが適切に定義され、リトラクション写像の単体的近似が可能になる。
• 証明は、組み合わせ的議論がコチェインレベルで標準的な位相的証明と同等であることを示し、Spernerの補題が要素的ではなくコホモロジー的性質を持つことを明らかにする。
• 矛盾は、完全にラベル付けられた単体の内部の像が同時にすべての星に含まれなければならないことから生じるが、星同士の交わりが空集合であるため、これは不可能である。