霍普夫纤维化

在拓扑学中，霍普夫纖維化（Hopf fibration，亦称霍普夫纖維丛）是最早提出的纤维化，其中的纤维是圆圈（1-球面，Template:Mvar¹），基空间是三维空间中的球面（2-球面，Template:Mvar²），而全空间是四维空间中的超球面（3-球面，Template:Mvar³）。容易验证，它是非平凡的。即全空间Template:Mvar³与积空间Template:Mvar¹×Template:Mvar²不是拓扑同构的。

解释

运用基本的拓扑学语言，霍普夫纤维化可以解释为一个连续满射（称为投影）$\pi :S^3\to S^2$，使得

$\mathrm{\forall }x\in S^2$，${\pi }^{-1}(x)$（Template:Mvar在映射Template:Mvar下的原像，称为纤维）与 $S^1$ 同胚；

首先注意到，Template:Mvar是一个映射，这就意味着，任意两个纤维是不交集，且所有的纤维的并等于全空间Template:Mvar³，于是所有的纤维是Template:Mvar³的一个划分。通俗地说，霍普夫纖維化描述了用圆圈来填满Template:Mvar³的一种方式，其中每个圆圈对应Template:Mvar²里面的一个点。

上面的条件还不足以使它成为一个纤维化，后者需要更强的条件，

$\mathrm{\forall }x\in S^2$，存在 Template:Mvar 的一个邻域 Template:Mvar(Template:Mvar)，使得 ${\pi }^{-1}(U(x))$ 与 $S^1\times U(x)$ 同胚；

这个条件意味着，全空间Template:Mvar³与积空间Template:Mvar¹×Template:Mvar²在局部的拓扑性质上是不可区分的。如果全空间与积空间在整体的拓扑性质上也不可区分（即两者同胚），则这个纤维化就是平凡的纤维化，例子如切丛。全空间与积空间的局部等价性又称为局部平凡条件。霍普夫纤维化的重要性在于它是第一个非平凡纤维丛的例子，并且为纤维丛等数学概念的定义提供了模型基础。

记号

上面描述的霍普夫纤维化可以记作： $S^1\hookrightarrow S^3\stackrel{\pi }{\to }{S}^2.$

主丛

Template:Mvar³中的元素在四元数乘法下形成一个群Template:Mvar。给定一个纤维化之后，Template:Mvar³中对应于包含单位元的那个Template:Mvar¹纤维的元素自然地构成了Template:Mvar的一个子群Template:Mvar。现在考虑这个子群Template:Mvar中的元素对Template:Mvar中元素的右乘，它自然地构成了Template:Mvar³的一个自同构，这个自同构保持了纤维不变，即把纤维映射为纤维。

霍普夫纤维化给出了Template:Mvar³上的纤维用Template:Mvar²中的元素来进行参数化的一种方式。现在，我们说霍普夫纤维丛是一个主Template:Mvar-丛，意味着用Template:Mvar中的元素对Template:Mvar³进行变换后，我们仍然可以采用相同的参数化（即相同的映射Template:Mvar），唯一不同的，是每条纤维到Template:Mvar¹的同胚映射变为了另一个同胚映射。

拓展

上面提到的霍普夫纤维化是最早的霍普夫纤维化，有时也用这个词来指代更广泛的一类纤维丛。注意到前述纤维丛中涉及的三个超球面分别与复数域上的一些结构同胚（参见复射影直线）：

$S^3\text{ and }{S}^2(ℂ),S^1\text{ and }{S}^0(ℂ),S^2\text{ and }{ℂ\mathbb{P}}^1$

一个很自然的拓展是把上面的复数域换成实数或超复数，与实数、复数、四元数、八元数对应的霍普夫丛用上面的记号分别表为：

$S^0\hookrightarrow S^1\to S^1,$

$S^1\hookrightarrow S^3\to S^2,$

$S^3\hookrightarrow S^7\to S^4,$

$S^7\hookrightarrow S^{15}\to S^8.$

同伦论的研究表明，霍普夫丛只有上面四个，它们都不是平凡丛。

演示

在计算机图形影片 Template:Link-en 的第7、8章中提供了关于霍普夫纖維化的演示，也就是给出一个具体的Template:Mvar的构造方式。该演示中涉及到更多的概念，如Template:Link-en。

参见

• 海因茨·霍普夫
• 纤维丛

参考

• Template:Cite arXiv
• Template:Citation
• Template:Cite book