微分几何笔记(10) —— 纤维丛

本文大量参考 GTM20 Fibre Bundles $\text{[Hus94]}$ 一书前三章，目的是引入纤维丛的概念。这本书的主线还是相当清晰的，先给出最泛的丛的概念，再逐步的通过增加条件，来得到更具体的丛。

10.1 丛与截面

定义 10.1.1 丛 (Bundle)：是指一个三元组 $\xi =(E,p,B)$，其中 $p:E\to B$ 为一映射。其中 $E$ 称为 total space，$B$ 称为底空间 (base space)，$p$ 称为丛的投影映射 (projection). 对于任意 $b\in B,p^{-1}(b)$ 称为 $b$ 点处的纤维。

注意在这里我们只是形式的定义了丛，并没有强调 $E,B$ 的拓扑，从而也没有要求 $p$ 是连续甚至光滑映射，这是一个很泛的概念，但我们通过微分流形的学习，心中应该有相应的例子，比如乘积丛，流形的切丛等。

例子 10.1.2 底空间 $B$ 上以 $F$ 为纤维的乘积丛 $(B\times F,p,B)$ 就是丛的例子，这里映射 $$p:B\times F\to B,$$$$b\times F\mapsto b.$$

映射 $p$ 就是限制在 $B\times F$ 的第一个分量上的投影映射，这也是为什么在一般丛的定义中，$p$ 会被称为投影。

有了丛我们可以定义子丛：

定义 10.1.3 丛 $(E^{\prime },p^{\prime },B^{\prime })$ 为 $(E,p,B)$ 的子丛是指：$E^{\prime }\subset E,B^{\prime }\subset B$，并且 $p^{\prime }=p{|}_{E^{\prime }}:E^{\prime }\to B^{\prime }$.

接下来我们定义什么是截面：
定义 10.1.4 丛 $(E,p,B)$ 的一个截面是指一个映射 $s:B\to E$，使得 $ps=1_B$.

也就是说截面对 $B$ 中的每一点 $b$ 指定了某些 $b$ 点纤维中的元素。比如我们熟知的向量场，例如地球上的风形成的向量场，在每一点指定了该点切空间里的一个切向量，再比如微分流形中 Frobenius 定理里涉及到的 $k$ 维 distribution，就是在每点处给出一个切空间的 $k$ 维子空间的基底。

说到 Frobenius 定理，这里其实还有个好玩的问题，就是首先由毛球定理我们知道对于 $2n$ 维的球面，其上没有处处非零的向量场，也就意味着 $S^{2n}$ 没有 $1$ 维的 distribution，那么我们就自然会好奇，我们有没有办法判断对于怎样的流形，有着怎样维数的 distribution 呢？我在 MSE 上问了这个问题，得到的回答是对于某些特殊的维数，我们可以通过看流形的欧拉类是否消失来判断（不懂）：
distribution 的存在性

乘积丛，往往是我们最平凡的情况，对于乘积丛，截面也可以写成更简单的形式：

命题 10.1.5 乘积丛 $(B\times F,p,B)$ 的每一个截面的作用都可以直接写出：$s(b)=(b,f(b))$，其中 $f:B\to F$ 是被 $s$ 唯一决定的映射。

证明：
最后一句是显然的，因为 $s$ 就是我们在每一点处指定了纤维丛中的元素，也就是说唯一决定了 $f$. 假设 $s(b)=（s^{\prime }(b),f(b))$，那么 $ps(b)=s^{\prime }(b)=1_B$，所以 $s^{\prime }(b)=b$.

所以我们可以看到对于乘积丛，$s$ 和 $f:B\to F$ 之间的关系是一一对应的。

GTM20 这本书还好在他穿插着用范畴的语言讲了些内容，并且对于没有学过范畴的人也是可以接受的。

10.1.6 丛之间的态射 (bundle morphism)：记 $(E,p,B)$ 和 $(E‘,p’,B‘)$ 是两个丛，他们之间的态射定义为 $(u,f):(E,p,B)\to (E^{\prime },p^{\prime },B^{\prime })$，其中 $u:E^{\prime }\to E,f:B\to B^{\prime }$ 使得 $p^{\prime }u=fp$，也就是如下图表交换：

$$\begin{array}{cc}E& \to \\ \downarrow p& \\ B& \end{array}$$