[论文解读] Hopf fibrations are characterized by being fiberwise homogeneous

Haggai Nuchi|arXiv (Cornell University)|Jul 17, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 23被引用 5

一句话总结

本文证明了通过大子球面进行的球面Hopf纤维丛在纤维保持同胚意义下是唯一确定的——即任意两个纤维可通过保持纤维的等距映射相互映射。利用紧致李群的表示理论以及Montgomery-Samelson和Borel的分类结果，作者表明此类纤维丛必与经典Hopf纤维丛等距同构。在3-球面以大圆为纤维的特殊情形下，若在连通开集上具有局部纤维保持同胚性，则该纤维丛必为完整Hopf纤维丛的一部分。

ABSTRACT

Heinz Hopf's famous fibrations of the 2n+1-sphere by great circles, the 4n+3-sphere by great 3-spheres, and the 15-sphere by great 7-spheres have a number of interesting properties. Besides providing the first examples of homotopically nontrivial maps from one sphere to another sphere of lower dimension, they all share two striking features: (1) Their fibers are parallel, in the sense that any two fibers are a constant distance apart, and (2) The fibrations are highly symmetric. For example, there is a fiber-preserving isometry of each total space which takes any given fiber to any other one. Hopf fibrations have been characterized up to isometry by the first property above, initially among all fibrations of spheres by great subspheres, and later in the stronger sense among all fibrations of spheres by smooth subspheres. In this paper, we show that the Hopf fibrations are also characterized by their "fiberwise homogeneity" expressed above in (2), and in the strong sense among all fibrations of spheres by smooth subspheres. In the special case of the 3-sphere fibered by great circles, we prove something stronger. We prove that a fibration of a connected open set by great circles which is locally fiberwise homogeneous is part of a Hopf fibration.

研究动机与目标

• 刻画Hopf纤维丛为唯一由光滑子球面纤维化标准球面且具有纤维保持同胚性的纤维丛。
• 确立纤维保持同胚性——即存在保持纤维的等距映射将任一纤维映射到另一纤维——可完全刻画Hopf纤维丛在所有此类纤维丛中的地位。
• 证明更强的局部结果：在3-球面的连通开子集上，若以大圆为纤维的纤维丛具有局部纤维保持同胚性，则该纤维丛必为全局Hopf纤维丛的一部分。
• 应用紧致李群的表示理论，表明纤维保持同胚纤维丛的对称群作用不可约且标准，从而与Hopf模型同构。

提出的方法

• 使用Serre谱序列证明纤维保持同胚纤维丛的底空间上同调环与Hopf模型一致，从而推出其微分同胚于Hopf纤维丛的底空间。
• 应用紧致李群在球面与射影空间上可迁且有效作用的分类结果（Montgomery-Samelson, Borel, Oniscik），以识别纤维丛可能的对称群。
• 通过一个关于作用非退化的引理，证明纤维丛的等距群在嵌入球面的欧氏空间上不可约地作用。
• 利用表示理论证明对称群在欧氏空间上的作用是标准的（即等价于Hopf模型对称群的作用）。
• 证明该纤维丛与Hopf模型至少共享一个纤维，且由对称群的可迁性，可推出整个纤维丛必与Hopf模型完全重合。
• 在3-球面情形下，利用局部纤维保持同胚性证明纤维丛映射的微分必为零，从而推出纤维丛为常值，故必为Hopf纤维丛的一部分。

实验结果

研究问题

• RQ1 纤维保持同胚性是否能完全刻画所有由光滑子球面纤维化标准球面的纤维丛中的Hopf纤维丛？
• RQ2 全局与局部纤维保持同胚性在判断一个纤维丛是否为Hopf纤维丛一部分时分别起何作用？
• RQ3 纤维保持同胚纤维丛的对称群与经典Hopf纤维丛的对称群有何关系？
• RQ4 在何种条件下，3-球面以大圆为纤维的局部纤维保持同胚纤维丛可延拓为全局Hopf纤维丛？
• RQ5 能否利用紧致李群的表示理论证明对称群在欧氏空间上的作用是标准的？

主要发现

• 任何由 $ k $-球面纤维化 $ S^n $ 的 $ C^1 $ 纤维保持同胚纤维丛，其底空间微分同胚于相应Hopf纤维丛的底空间。
• 此类纤维丛的对称群在嵌入球面的欧氏空间上不可约地作用。
• 对称群在欧氏空间上的作用是标准的，即等价于Hopf模型对称群的作用。
• 任何由 $ k $-球面纤维化 $ S^n $ 的纤维保持同胚纤维丛必与Hopf纤维丛等距同构。
• 在3-球面情形下，若连通开子集上以大圆为纤维的局部纤维保持同胚纤维丛，则该纤维丛必为全局Hopf纤维丛的一部分。
• 在3-球面情形下，若纤维丛具有局部纤维保持同胚性，则其纤维丛映射的微分必为零，从而推出纤维丛为常值，故必为Hopf纤维丛的一部分。