计算共形几何学习笔记17-de Rham Cohomology1

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

de Rham Cohomology

流形

如果拓扑空间中有一个曲面，曲面上有一簇开集覆盖U，对于每个开集有个拓扑同胚，映射到复平面的一个区域，得到局部坐标Z。在两个开集的交集中任取一点得到两个坐标Z，就存在一个变换

如果一个拓扑空间具有这种结构：1、有个开覆盖2、每个开集可以映射到Rn中。这个开集和映射被称为局部坐标卡，所有局部坐标卡构成原来流形的图册。

对于交集非空的开集诱导一个坐标变换函数，实际要求Rn中拓扑同胚。

如果这个坐标变换函数是光滑的，那这个流形是光滑的。

如果在二维坐标下所有的变换函数是双全纯的，就得到一个黎曼面。

对于高维，如果坐标卡都是复坐标，每个维度上变换函数是双全纯的，得到复流形。

切向量场

给定一个流形，在每个点存在一个过当前点的切向量组成的线性空间（切空间）。给每个点一个切向量，当这个点在流形上连续变换时切向量也连续变化，构成切向量场。

给p点一个局部坐标卡和n维实向量，当变换到另一个坐标系，p点变换后的n维实向量和之前的满足关系的情况下，就说两个n维实向量表达的是同一个几何量，即过p点的切向量。

若只变动一个x，在局部坐标卡上的变换是一条直线，他的像在流形上是一条曲线，曲线的速度向量得到一个向量场。每个chart上有n个局部向量场。

推前映射

把一个切向量变成另一个切向量

微分形式

线性空间上所有的线性函数构成的空间被称为线性空间的对偶空间

w是切空间上的一个线性函数，当p点在流形上光滑变动时，微分形式也光滑变动

任何一个微分形式场可以用dxi来表示

张量

一个（m,n）型 的张量定义在流形上相当于每一点给定一个多线性的映射：有m+n个输入变量，m个切向量，n个微分形式

m形式外微分是一个张量，输入是m个切向量，0个1-form

对输入排列变换

拉回映射

有一个从M到N的可微映射，在目标流形上给定 微分形式w，映射将微分形式拉回M上

输入是M上的m个切向量

推前映射和拉回映射互为对偶

流形上微分

如果微分形式定义在一个局部坐标卡上，将开集映射到欧式空间

得到欧式空间中的微分形式

在整个流形上：

说明：微分形式的积分和局部坐标系的选取没有关系

单位分解

有个流形，流形上有个图册，在每个开集上定义一个函数fi在开集外恒为0，内部光滑。对于流形上任意一点，所有该函数在该点相加恒为1，就说{fi}为单位分解。

对于全局定义的w，*fi得到wi，w的积分就定义为所有wi积分的和