关于定向形式与n次外微分丛ΛⁿM平凡性的疑问

假设$M$是光滑$n$-维流形。如果存在一个定向形式（即光滑的处处非零$n$-形式），那么$\Lambda^n M = \Lambda^n T^*M$是否是平凡丛？

我的思路是：因为$\Lambda^n M$的纤维维数为1，或许可以证明定向形式是$\Lambda^n M$的一个基，从而推出它是平凡丛。这个方向对吗？有没有更简便的方法？

嘿，你的思路完全踩中了关键点，而且这就是最直接的证明路径，根本不需要绕弯路！

首先明确一个核心结论：1维向量丛（线丛）是平凡丛的充要条件是它存在一个处处非零的光滑截面。而你提到的定向形式，恰恰就是$\Lambda^n M$上的这么一个截面——它光滑、处处非零，完美满足这个条件。

具体展开来说：

• 对任意点$p \in M$，纤维$\Lambda^n T_p^*M$是1维实向量空间，定向形式$\omega$在$p$点的取值$\omega_p$是这个纤维里的非零元素，自然就是该纤维的一组基。
• 我们可以直接构造$\Lambda^n M$到平凡丛$M \times \mathbb{R}$的光滑同构：定义映射$\Phi: \Lambda^n M \to M \times \mathbb{R}$，对任意纤维中的元素$\alpha_p \in \Lambda^n T_p^*M$，因为$\omega_p$是基，所以存在唯一的实数$c$使得$\alpha_p = c \cdot \omega_p$，令$\Phi(\alpha_p) = (p, c)$。
• 验证这个映射的光滑性：因为$\omega$是光滑形式，所以系数$c$作为$M$上的函数是光滑的；逆映射$\Phi^{-1}(p, c) = c \cdot \omega_p$显然也是光滑的，所以$\Phi$是丛同构，这就证明了$\Lambda^n M$是平凡丛。

你的思路完全正确，本质上就是利用线丛平凡性的核心判定条件，而定向形式的存在刚好直接给出了所需的非零截面——这已经是最简便的方法了，没有比这更直接的路径啦。

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