[论文解读] 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

一句话总结

本文系统翻译并阐释了库尔特·赖德迈斯特在组合拓扑学领域的奠基性工作，强调了群论与拓扑复形之间的深刻联系。文章发展了由生成元和关系定义的群的理论，将其应用于线复形和曲面复形，并确立了诸如自由性定理（Freiheitssatz）以及基本群在初等变换下的拓扑不变性等关键结果，同时探讨了平面群与非欧几里得几何中的应用。

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 在非存在性证明中，通过不等式 (1)、(2) 和 (3) 导出矛盾，哪些条件可确保具有指定顶点度数与线段数量的复形无法存在？
• RQ3 特定关系（如 $S^n=1$, $T^2=(ST)^n=1$）的平面群如何对应于球面、欧氏或非欧几何中的几何运动？
• RQ4 自由性定理在何种意义上保证了一般关系中除一个生成元外其余生成元所生成的子群是自由的？
• RQ5 曲面复形如何被约化为典型标准形？对偶复形与初等变换在此过程中的作用是什么？

主要发现

• 一个复形 $Χ_{i0}$，其内部点的度数为 $2m$（$m>1$），边界点的度数为 $2m$ 或 $2m-1$，且边界路径至少包含四条线段，不可能存在，该结论由不等式 (1)、(2) 和 (3) 导出的矛盾所证明。
• 自由性定理被确立为关键结果：在一相对关系仅涉及一个生成元的一般关系群中，其余生成元所生成的子群是自由的。
• 曲面复形的基本群在初等变换下保持不变，证实了其拓扑意义。
• 由关系 $S^2 = T^2 = (ST)^n = 1$ 定义的群对应于有限球面群（二面体、四面体、八面体、二十面体群），而其他群则对应于欧氏或非欧几何中的运动。
• 具有关系 $S^2 = T^3 = (ST)^6 = 1$ 的平面群可实现为欧氏几何中的运动，其基本区域为等腰三角形或直角三角形。
• 平面群中阶为 $o$ 的元素对应于非欧几何中 $2\pi/o$ 的旋转，从而将群结构与几何对称性联系起来。