计算共形几何学习笔记8-覆盖空间

顾险峰老师2023年计算共形几何暑期课程学习笔记8

覆盖空间

存在两个拓扑空间，有一个连续的投影映射，一个满射

左侧任选一点，他的原像在右侧有无穷连通分支，比如小猫的鼻尖，右侧鼻尖有很多的开集，每个开集上映射到小猫的鼻尖，局部同胚但全局不同胚，这种情况下说右侧是左侧的覆盖空间。

甲板映射

保持投影映射不变的楼上（右）的映射称为甲板映射。如将红框小猫左移右移，他的鼻尖是自同胚的

有一个覆盖空间，有楼上（覆盖空间）有楼下（底空间）有投影，投影映射将楼上的基本群映射到楼下基本群的一个子群，楼下的基本群删掉楼上基本群的同构于楼上的甲板映射群。

万有覆盖空间

如果楼上是单连通的，即所有的圈都能缩成一个点，即基本群只有单位圆e，这时楼上被称万有覆盖空间。

任给一个拓扑流形，如果是道路连通的，那必存在一个万有覆盖空间

提升

如以小猫鼻子为基点（左）画个圈，在万有覆盖空间（右）上找一条路径。

在基点找个邻域，然后在万有覆盖空间上对应点找个邻域，两个邻域局部同胚，故可将邻域内的红线向上提升

提升完后找另一个开集U1，与U0有个交集，然后把U1提升到万有覆叠空间上。这样把楼下的圈逐渐提升到楼上的一条路径，这个过程称为提升。

在楼下通过基本点的两个圈提升后产生两条路径，这两个圈同伦当且仅当这两条路径同伦，即这两条路径起止点相同（提升后起点相同，只要看终点）。

构造万有覆盖空间

给定一个曲面算切图，将切图分为节点（拓扑度为三的点）和片段（节点之间）。将三角网格沿着切图切开，得到基本域，基本域的边界是片段。将基本域与基本域的拷贝相粘（边界与边界的逆），得到增广基本域。然后考察这个增广基本域，如果有相邻的两段互逆就将他们相粘，得到拓扑圆盘。不停取拷贝的粘下去就得到万有覆叠空间。