关于整体角形式的构造方法及CP¹等示例的技术问询

嘿，我完全懂你在Bott&Tu《代数拓扑中的微分形式》里卡壳的点——整体角形式的抽象推导看着头大，必须拿具体例子拆解才能摸透门道。我就以你提到的CP¹（也就是S²）为例，一步步讲清楚构造过程，再顺带着梳理通用思路，应该能帮你彻底搞明白。

先明确CP¹对应的球面丛：Hopf纤维化 #

CP¹本身就是2维球面S²，我们拿它的** tautological线丛**的单位球面丛来分析——这个丛就是经典的Hopf纤维化：π:S³→CP¹，纤维是S¹（每个纤维是ℂ²中过原点的复直线上的单位圆周）。我们要构造的是S³上的1-形式（因为纤维是1维球面S¹），满足整体角形式的两个核心条件：

1. 对任意纤维S¹⊂S³，∫_{S¹} ω = 1；
2. dω = πe，其中e是tautological线丛的欧拉类，πe是e在丛空间S³上的拉回形式。

具体构造CP¹丛上的整体角形式 #

首先，把S³嵌入ℂ²，写成坐标形式：S³ = {(z₀,z₁) ∈ ℂ² | |z₀|² + |z₁|² = 1}，投影π把(z₀,z₁)映射到CP¹中的点[z₀,z₁]。

我们直接写出S³上的1-形式：

ω = (1/(2π))[ -i(z₀d\overline{z₀} - \overline{z₀}dz₀) - i(z₁d\overline{z₁} - \overline{z₁}dz₁) ]

验证第一个条件：纤维积分等于1 #

取任意纤维，也就是固定[z₀,z₁]∈CP¹，纤维上的点是{(e^{iθ}z₀, e^{iθ}z₁) | θ∈[0,2π)}。把这个参数化代入ω：

• 先计算z₀d\overline{z₀} - \overline{z₀}dz₀：代入z₀=e^{iθ}a（a是固定复数，|a|²+|b|²=1），展开后非θ的微分项都会消失，只剩下和|a|²相关的项；
• 同理处理z₁的项，最后加起来会得到z₀d\overline{z₀} - \overline{z₀}dz₀ + z₁d\overline{z₁} - \overline{z₁}dz₁ = 2i dθ；
• 代入ω后，ω在纤维上的限制就是(1/(2π))*(-i)*2i dθ = (1/π)dθ，积分∫₀^{2π} (1/π)dθ = 1，完美满足第一个条件。

验证第二个条件：dω是底空间形式的拉回 #

计算ω的外微分dω：

• 对-i(z₀d\overline{z₀} - \overline{z₀}dz₀)求外微分，得到-2i dz₀∧d\overline{z₀}；
• 同理对z₁的项求微分，得到-2i dz₁∧d\overline{z₁}；
• 所以dω = (1/(2π))*(-2i)(dz₀∧d\overline{z₀} + dz₁∧d\overline{z₁})。

这个形式是“水平”的——它在纤维方向的分量为0，完全由底空间CP¹上的形式拉回而来，也就是dω = π*e，其中e就是tautological线丛的欧拉类（CP¹上的欧拉类积分结果为1，对应Hopf纤维化的拓扑性质）。

整体角形式的通用构造思路 #

从CP¹的例子推广到一般定向球面丛E→M（纤维是n维球面Sⁿ），构造步骤可以总结为：

• 第一步：构造局部角形式：对每个局部平凡化区域Uα⊂M，把纤维和标准Sⁿ等同，取Sⁿ上的标准体积形式（满足积分1），通过平凡化映射拉回到π⁻¹(Uα)上，得到局部角形式ωα；
• 第二步：用单位分解粘合局部形式：取M上的单位分解{ρα}，每个ρα支撑在Uα内，定义整体形式ω = ∑ρα·ωα——不同局部的ωα之间差一个闭形式，所以粘合后的形式的微分不会出现非水平的分量；
• 第三步：验证条件：因为单位分解的和为1，每个ωα在纤维上积分1，所以ω在任意纤维上的积分也是1；而dω会自动成为底空间M上闭形式的拉回，这个闭形式就是欧拉类的代表。

补充：S²切丛的整体角形式例子 #

如果你想再看一个例子，S²的切丛TS²也是一个球面丛（纤维是S¹，单位切向量），构造思路和Hopf纤维化类似：

• 用球坐标覆盖S²的南北半球，在每个半球上构造局部角形式（比如北半球用θ,φ参数化，定义单位切向量的角度形式）；
• 用单位分解把两个半球的局部形式粘起来，得到TS²上的整体角形式，它的外微分就是TS²的欧拉类的拉回（TS²的欧拉类积分是2，对应S²的欧拉特征为2）。

备注：内容来源于stack exchange，提问作者user1098941