关于实向量丛上2p₁(E)=0的伪证明技术问询

嘿，我来帮你理清楚这个推导的逻辑，还有每一步的合理性——你的思路其实是完全正确的，我们一步步拆解来看：

• 分裂原理的应用
  对于任意实向量丛 ( E \to X )，分裂原理告诉我们：存在一个连续映射 ( f: Y \to X )（通常是丛的 flag 流形拉回，或者 Grassmann 丛的构造），使得拉回丛 ( f^E ) 可以分解为实线丛的直和 ( f^E = E_1 \oplus E_2 \oplus \dots \oplus E_n )。而且关键是，拉回映射 ( f^ ) 在整系数上同调环里是单射，所以如果 ( f^\alpha = 0 )，那么原类 ( \alpha = 0 )——这意味着我们可以在分解后的拉回丛上计算示性类，再推回原丛的结论。

• Pontryagin 类与复化 Chern 类的对应
  你用到的 ( p_1(E) = c_2(E \otimes \mathbb{C}) ) 是实向量丛示性类的核心关系之一！更一般的结论是：实向量丛 ( E ) 的第 ( k ) 个 Pontryagin 类 ( p_k(E) = (-1)^k c_{2k}(E \otimes \mathbb{C}) )，这里 ( k=1 ) 时就对应你写的等式，完全正确。

• Chern 类的 Whitney 和公式展开
  复化操作和直和是可交换的，所以 ( E \otimes \mathbb{C} = (E_1 \otimes \mathbb{C}) \oplus \dots \oplus (E_n \otimes \mathbb{C}) )。根据 Chern 类的 Whitney 和公式 ( c(\oplus V_i) = \prod c(V_i) )，展开第二 Chern 类就得到：
  [
  c_2(E \otimes \mathbb{C}) = \sum_{i < j} c_1(E_i \otimes \mathbb{C}) c_1(E_j \otimes \mathbb{C})
  ]
  这一步的展开完全没问题，是示性类计算的标准操作。

• 实丛复化后第一 Chern 类的 torsion 性质
  你提到的「对任意实丛 ( E )，( 2c_1(E \otimes \mathbb{C}) = 0 )」是这个推导的核心钥匙，而且这个结论确实成立：
  对于实线丛 ( L )，它的复化 ( L \otimes \mathbb{C} ) 是一个复线丛，而实丛的复化和它的共轭复丛同构（即 ( L \otimes \mathbb{C} \cong \overline{L \otimes \mathbb{C}} )）。而 Chern 类满足共轭复丛的第一 Chern 类是原类的相反数：( c_1(\overline{V}) = -c_1(V) )，所以我们有 ( c_1(L \otimes \mathbb{C}) = -c_1(L \otimes \mathbb{C}) )，移项后就是 ( 2c_1(L \otimes \mathbb{C}) = 0 )——也就是说这个类在整系数上同调里是2阶挠元。

  现在回到 ( 2p_1(E) ) 的计算：
  [
  2p_1(E) = 2\sum_{i<j} c_1(E_i \otimes \mathbb{C}) c_1(E_j \otimes \mathbb{C})
  ]
  因为每个 ( 2c_1(E_i \otimes \mathbb{C}) = 0 )，所以把2分配到每一项里，要么是 ( c_1(E_i \otimes \mathbb{C}) \cdot 2c_1(E_j \otimes \mathbb{C}) = 0 )，要么是 ( 2c_1(E_i \otimes \mathbb{C}) \cdot c_1(E_j \otimes \mathbb{C}) = 0 )，整个求和的结果自然是0。再结合分裂原理的单射性质，( f^*(2p_1(E)) = 2p_1(f^*E) = 0 )，所以原丛的 ( 2p_1(E) = 0 )。

内容的提问来源于stack exchange，提问作者Chi Cheuk Tsang