二维环面与$\mathbb{R}/\Lambda$间保基本群固定生成元对的微分同胚存在性及Teichmüller空间相关技术问询

最近我在研读Benson Farb和Dan Margalit的A primer on mapping class groups，看到第10.2节证明二维环面$T^2$的Teichmüller空间是上半平面$\mathbb{H}$时，在建立如下双射对应：
$$ \text{Teich}(T^2) \leftrightarrow {\mathbb{R}^2中带标记的格}/ \sim $$
（其中等价关系由欧氏等距和位似变换生成）的过程中，碰到了一段让我有点困惑的内容：

固定$\Pi_1(T^{2)$的一个标准有序生成元组。$\mathbb{R}}2$中带标记的格$\Lambda$的有序生成元组会诱导出$\Pi_1 (\mathbb{R}^2/\Lambda)$的一个有序生成元组。此时可以找到一个微分同胚$\varphi : T^2 \rightarrow \mathbb{R}^2/\Lambda$，使得它能诱导这两个基本群有序生成元组之间的同构。

我想请教一下：这个微分同胚$\varphi$的存在性是怎么严格保证的？有没有具体的构造思路或者对应的拓扑学定理支撑呀？毕竟要让映射恰好保持基本群生成元的顺序对应，感觉需要精准的构造逻辑，希望能得到详细的解释。

解答 #

其实这个结论可以从闭曲面的分类定理和基本群同构与微分同胚的关系这两个核心角度来拆解：

• 第一步：基本群同构的环面必然微分同胚
  二维环面是闭的可定向曲面，其基本群是秩为2的自由交换群$\mathbb{Z} \times \mathbb{Z}$。对于标准环面$T^2 = \mathbb{R}^2/\mathbb{Z}2$和格商环面$T_\Lambda = \mathbb{R}^2/\Lambda$，它们的基本群天然同构（都是$\mathbb{Z} \times \mathbb{Z}$）。根据闭可定向曲面的分类定理，基本群同构的闭可定向曲面必然是微分同胚的，所以至少存在一个微分同胚$\varphi: T^2 \rightarrow T_\Lambda$。

• 第二步：构造匹配生成元顺序的微分同胚
  要让这个微分同胚恰好满足生成元的有序对应，我们可以直接从覆盖空间层面构造：
  因为$\Lambda$是$\mathbb{R}^2$中的格，它的有序生成元$v_1, v_2$是$\mathbb{R}^2$的一组线性基，所以必然存在一个线性同构$f: \mathbb{R}^2 \rightarrow \mathbb{R}^{2$，把$\mathbb{Z}}2$的标准基$(1,0),(0,1)$映射到$v_1, v_2$。这个线性同构本身是微分同胚，并且由于$f(\mathbb{Z}^2) = \Lambda$，它可以自然诱导出商空间的微分同胚$\varphi: T^2 \rightarrow T_\Lambda$。

这个诱导出的$\varphi$恰好满足要求：它诱导的基本群同构，会把$\Pi_1(T^{2)$的标准有序生成元（对应$\mathbb{R}}2$中$(1,0),(0,1)$的环路），精准映射到$\Pi_1(T_\Lambda)$的标记生成元（对应$\Lambda$中$v_1, v_2$的环路），完美匹配标记的对应关系。

简单来说，就是先通过线性映射在覆盖空间层面实现生成元的有序对应，再诱导出商环面的微分同胚，既保证了存在性，又满足了标记的要求。

备注：内容来源于stack exchange，提问作者patrini