计算共形几何学习笔记6-基本群2

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

基本群定义

给定一个拓扑空间，固定空间中的一个基点p，考察过这一点的所有的圈，将其根据同伦关系进行分类，用圈乘积的类定义类的积：

用圈的逆的类定义类的逆：

一种特殊的圈，始终在一个点上，定义为：

换言之，任何能缩成一个点的圈都属于这个类，即[e]代表所有能缩成一个点的圈

所有同伦类构成一个基本群，称为曲面的基本群

基本群的表示

词群

任何英文词汇可以表示成一串字母,字母表示为G={g1、g2、g3,…,gn}，词表示为：

空词就是unit element

两词乘积表示为：

词的逆表示为：指数取负

在这些运算之下，这些词构成一个词群：

定义一些特殊的关系，每个关系是一个词，故有限的词

如果可以把一个词通过有限步变成另一个词，则称两词等价：

引入关系之后，词群定义为：词与关系

如果一个群没有关系，则称为自由生成的群

换句话说，给定一个拓扑空间，求他的基本群，等价于求基本群的生成元g和关系R

曲面的基本群

对于曲面上两条曲线，其切向量的×积若与法向量平行，则其index为+1，相反为-1，若曲线相切则为0

这样就为每个交点定义了一个指标

给定两个圈，其所有交点的指标相加定义为代数相交数：

两个曲线的代数相交数在同伦变化下不变：
$$如从曲线\gamma 1变到\gamma 1^{-}$$

曲面基本群的典范基底

曲面上找一组圈，不同圈a、不同圈b的代数相交数为零，但圈a与圈b的代数相交数，若i=j则为1，否则为0.这组圈则被称为曲面基本群的典范基底

一个曲面上有无穷多的典范基底

两个曲面同构当且仅当两个曲面拓扑同胚