[論文レビュー] Translation of Reidemeister's "Einführung in die kombinatorische Topologie"

John Stillwell|arXiv (Cornell University)|Feb 17, 2014

Homotopy and Cohomology in Algebraic Topology被引用数 4

ひとこと要約

本稿は、組合せトポロジーの基礎的業績であるカールト・ライデマイスターの業績を包括的に翻訳・解説したものであり、群論と位相的複体の深い関係に焦点を当てる。生成元と関係式によって定義される群の理論を展開し、直線および表面複体に応用し、フライハイトシャッツの定理や基本群の初等変形に対する位相的不変性といった主要な結果を確立する。応用としては、平面群および非ユークリッド幾何学への応用を含む。

ABSTRACT

This is an English translation of Reidemeister's book "Einführung in die kombinatorische Topologie" from 1932, the first monograph on combinatorial group theory and topology, with some added comments by the translator and Warren Dicks.

研究の動機と目的

• 生成元と関係式によって定義される群を通じて、群論と組合せトポロジーの関係を体系的かつ明示的に提示すること。
• 点、線分、面単体に基づく、線分複体および表面複体の論理的で公理的な展開を提供すること。
• 位相的構造が群論的問題に幾何的洞察をもたらす仕組み、および逆に群論的構造が位相的構造に幾何的解釈をもたらす仕組みを示すこと。
• フライハイトシャッツの定理や初等変形に対する基本群の不変性といった基礎的結果を確立すること。
• 平面群がユークリッド幾何学および非ユークリッド幾何学における運動として実現可能であることを探索し、位相と自動関数を結びつけること。

提案手法

• 生成元と関係式による群の理論を展開し、自由群、商群、および語問題を含む。
• シュライエルの正規置換プロセスを用いて、部分群の生成元と関係式を決定する。
• 線分複体と表面複体を用いて基本群を定義し、置換群を用いて被覆を研究する。
• 複体の正規形および正規形を導入し、初等変形に対する位相的不変性を証明する。
• 群の表現と幾何的運動との関係を確立し、特に球面的、ユークリッド的、非ユークリッド的幾何学において分析する。
• 剰余類群図と反復被覆を用いて、群作用と基本領域を分析する。

実験結果

リサーチクエスチョン

• RQ1 表面複体の基本群はどのように特徴づけられ、初等変形に対して不変であることが示されるか？
• RQ2 頂点の順序と線分の数が指定された複体が存在しない条件は何か？非存在性の証明における背理法により明らかにされる。
• RQ3 特定の関係（例：S^n=1, T^2=(ST)^n=1）を持つ平面群は、球面的、ユークリッド的、非ユークリッド的空間における幾何的運動とどのように対応するか？
• RQ4 フライハイトシャッツの定理は、1関係式群において1つの生成元を除いたすべての生成元が生成する部分群が自由群であることをどのように保証するか？
• RQ5 表面複体はどのように正規形に還元可能か？双対複体および初等変形がこのプロセスにおいて果たす役割は何か？

主な発見

• 内部点の位数が $2m$（$m>1$）で、境界点の位数が $2m$ または $2m-1$ であり、少なくとも4本の線分を通る境界路を有する複体 $Χ_{i0}$ は、不等式 (1)、(2)、(3) から導かれる背理により存在し得ない。
• フライハイトシャッツの定理が主要な結果として確立された：1関係式群において関係式が唯一の生成元のみを含むとき、残りの生成元が生成する部分群は自由群である。
• 表面複体の基本群は初等変形に対して不変であり、その位相的意義が裏付けられた。
• 関係式 $S^2 = T^2 = (ST)^n = 1$ によって定義される群は、有限の球面的群（二面体群、単体群、八面体群、二十面体群）に対応し、他の群はユークリッド的または非ユークリッド的運動に対応する。
• 関係式 $S^2 = T^3 = (ST)^6 = 1$ を持つ平面群は、ユークリッド幾何学における運動として実現され、基本領域は二等辺三角形または直角三角形として現れる。
• 平面群における有限位数 $o$ の要素は、非ユークリッド幾何学において $2\pi/o$ の回転に対応し、群の構造と幾何的対称性が結びつく。