关于弱可平行性/强可定向性及流形中间同调条件的技术问询

嘿，这是个相当精妙的问题——咱们来一步步拆解这些条件和可定向性的关联：

首先先快速回顾下基础：

• 可定向流形的定义核心是通过局部邻域上的局部同调群交互，确保能得到一套连贯的全局定向结构。
• 对可微流形来说，可平行化是更强的条件：要求存在光滑变化的切空间基，这显然能推出可定向性，但反过来不成立（比如二维球面$S^2$可定向，但完全不可平行化）。

现在来看你提到的两个中间条件，以及它们和可定向性的关系：

第一个条件：带局部同调生成元边界的连续映射 #

n维流形$M$存在连续映射$f:M\times S^{n-1}\to M$，使得对所有$p\in M$，$f[{p}\times S^{n-1}]$对应$p$点局部同调群的生成元（作为其边界）。

这个条件完全等价于可定向性。本质上，它是用“连续选取的局部同调球面族”来刻画定向：每个点$p$处的$S^{n-1}$像，就是$p$点局部定向的一个同调代表——而映射的连续性保证了这些局部定向在全局是相容的，这正是可定向流形的核心要求。

第二个条件：带局部同调生成元的实心球连续映射 #

$M$存在连续映射$f:M\times B^n\to M$，满足$f(p,0)\mapsto p$，且对所有$p\in M$，$f[{p}\times B^n]$对应$p$点局部同调群的生成元，同时仅当$q=0$时$f(p,q)=p$。

这个条件同样等价于可定向性。它相当于第一个条件的“填充版”：给每个点$p$配备了一个连续变化的“局部同调实心球”，这个球只在中心与$p$重合，其边界就是第一个条件里的$S^{n-1}$像。能连续构造这样的实心球族，本质上还是依赖于局部定向的全局相容性——反过来，任何可定向流形都能通过局部欧氏邻域的定向相容拼接，构造出这样的全局映射。

关键区别 #

要注意的是，这两个条件都比可平行化弱：它们只要求局部同调类的连续选取，而不需要切空间基的连续存在。还是拿$S^2$举例，它满足这两个条件（可定向），但没法找到全局连续的切空间基（不可平行化），正好体现了这种强弱差异。

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