Karoubi《K-理论》中Atiyah-Hirzebruch-Riemann-Roch定理证明的图表交换性问询

我完全理解你卡在这个交换图表证明时的困惑——Karoubi的这本书在细节上确实比较凝练，尤其是涉及Gysin同态和Chern特征交互的部分，符号约定和定义细节很容易让人绕晕。先帮你把问题里的交换图表用文本形式明确下来（避免外链依赖）：

K(Y × S²ⁿ)  →  K(Y)
    ↓ Ch          ↓ Ch
H*(Y × S²ⁿ; ℚ) → H*(Y; ℚ)

其中：

• 顶部箭头是K-理论的Gysin同态 p_*^K，底部箭头是上同调的Gysin同态（纤维积分）p_*^H
• 前提条件：X、Y是紧定向有限维CW复形，且 Dim(X) - Dim(Y) ≡ 0 mod 2（保证Gysin同态落在偶数阶K-理论和上同调群中）

下面是拆解这个交换性证明的关键步骤，结合Karoubi书中的定义来梳理：

1. 先利用乘积空间的Künneth公式分解元素 #

因为Y×S²ⁿ是乘积空间，K-理论和有理上同调都满足Künneth分解：

• K(Y × S²ⁿ) ≅ K(Y) ⊗ K(S²ⁿ)，其中K(S²ⁿ)是秩2的自由Abel群，生成元为单位元1（对应S²ⁿ上的平凡线丛）和稳定丛类vₙ（满足vₙ²=0）
• H*(Y × S²ⁿ; ℚ) ≅ H*(Y; ℚ) ⊗ H*(S²ⁿ; ℚ)，其中H*(S²ⁿ; ℚ)的生成元为1∈H⁰(S²ⁿ;ℚ)和eₙ∈H²ⁿ(S²ⁿ;ℚ)（S²ⁿ的有理上同调基本类）

由于所有同态都是线性的，我们只需要验证两个生成元的交换性，就能推广到整个空间的元素。

2. 验证单位元1∈K(S²ⁿ)的交换性 #

• 左侧路径：根据Karoubi对Gysin同态的定义，积分平凡丛沿纤维S²ⁿ会得到0（因为平凡丛的“纤维积分”没有非平凡贡献），即p_*^K(1) = 0，再取Chern特征得Ch(p_*^K(1)) = Ch(0) = 0
• 右侧路径：Chern特征作用在单位元上是Ch(1) = 1∈H⁰(S²ⁿ;ℚ)，上同调的纤维积分p_*^H对H⁰类的结果是0（积分零维类沿2n维纤维没有非平凡贡献），即p_*^H(Ch(1)) = 0
  两边结果一致，交换性成立。

3. 验证稳定丛类vₙ∈K(S²ⁿ)的交换性 #

这是最容易卡壳的部分，核心是符号约定：

• 左侧路径：Karoubi定义的Gysin同态p_*^K会把vₙ映射到(-1)^n · 1∈K(Y)（符号来自定向和稳定丛类的定义），取Chern特征得Ch(p_*^K(vₙ)) = (-1)^n · Ch(1) = (-1)^n · 1∈H⁰(Y;ℚ)
• 右侧路径：Chern特征作用在vₙ上是Ch(vₙ) = (-1)^n · eₙ（符号和K-理论Gysin同态的符号对应），上同调的纤维积分p_*^H对eₙ的结果是1（积分2n维基本类沿S²ⁿ得到单位元），即p_*^H(Ch(vₙ)) = (-1)^n · p_*^H(eₙ) = (-1)^n · 1∈H⁰(Y;ℚ)
  两边结果一致，交换性成立。

4. 线性扩展到所有元素 #

任何x∈K(Y × S²ⁿ)都可以写成x = a⊗1 + b⊗vₙ（其中a,b∈K(Y)），结合上面两个生成元的交换性，线性组合后的结果自然满足Ch(p_*^K(x)) = p_*^H(Ch(x))，整个图表交换。

最后提醒一句：一定要注意Karoubi书中的符号约定——不同拓扑学教材在Gysin同态、欧拉类、Chern特征的符号上可能有差异，这是很多人卡住的核心原因，对照书中Thom同构的定义来核对符号就不会出错了。

备注：内容来源于stack exchange，提问作者Mr. Eo