Exotic Hopf maps, weight shifting and applications to vector bundles

这是一份关于论文《Exotic Hopf maps, weight shifting and applications to vector bundles》（奇异 Hopf 映射、权重平移及其在向量丛中的应用）的详细技术总结。

1. 研究背景与问题 (Problem)

• 核心问题：在代数几何和动机同伦论（Motivic Homotopy Theory）中，如何构造显式的多项式代表元来表示球面同伦群中的元素？
• 历史背景：
  • Baum (1967) 证明了稳定球面同伦群中的元素可以由二次多项式映射（实代数）表示。
  • Wood (1968) 指出在不稳定范围内（$n \ge 2m$），不存在非常数的多项式映射 $S^n \to S^m$，因此 Baum 的结果在不稳定范围内失效。
  • 随后研究转向复多项式代表元。已知复代数球面 $S^n_{\mathbb{C}}$ 作为流形同伦等价于实球面 $S^n$。
• 具体目标：
  • 构造 Hopf 映射 $\eta: S^4 \to S^3$ 的悬垂（suspension） $\Sigma \eta: S^5 \to S^4$ 的显式多项式代表元。
  • 在动机同伦论框架下，这对应于构造从二次型簇 $Q_4$ 到 $Q_3$ 的映射（称为“奇异 Hopf 映射”），其复实现（complex realization）即为 Hopf 映射的悬垂。
  • 利用该映射构造 $\mathbb{P}^3$ 的 Jouanolou 装置（Jouanolou device）上的一个显式的秩 2 向量丛，该丛具有平凡陈类但非平凡的 Atiyah-Rees 不变量（类似于拓扑中的反例）。

2. 方法论 (Methodology)

论文主要基于Morel-Voevodsky 的动机同伦论，利用光滑二次型簇（Quadrics）$Q_n$ 作为动机球面（Motivic Spheres）的模型。

• 基本模型：
  • $Q_{2n-1} = \{ \sum x_i y_i = 1 \} \subset \mathbb{A}^{2n}$
  • $Q_{2n} = \{ \sum x_i y_i = z(1-z) \} \subset \mathbb{A}^{2n+1}$
  • 这些簇在动机同伦范畴 $\mathcal{H}(k)$ 中模型化了球面。
• 核心工具：
  1. 权重平移（Weight Shifting）：利用 $\pi^{\mathbb{A}^1}_{1,3}(Q_3)$ 与 $\pi^{\mathbb{A}^1}_{2,2}(Q_3)$ 之间的同态关系，通过选择特定的根（如 $-1$）将低维同伦群的信息“平移”到高维，从而构造映射。
  2. 辛 K-理论（Symplectic K-theory）：利用 $Q_4 \simeq \mathbb{H}P^1$ 以及辛群 $Sp$的分类性质，通过计算$KSp_1(Q_4)$ 来构造映射。
  3. $\mathbb{P}^1$-悬垂（$\mathbb{P}^1$-suspension）：开发了一种显式方法，将两个二次型簇之间的映射 $f: Q_i \to Q_j$ 提升为 $F: Q_{i+2} \to Q_{j+2}$，对应于拓扑中的悬垂操作。
  4. Jouanolou 装置：利用 $J_n$（$\mathbb{P}^n$ 的仿射替代物）将动机向量丛转化为实际的代数向量丛（由幂等矩阵定义）。

3. 主要贡献与结果 (Key Contributions & Results)

A. 奇异 Hopf 映射的两种显式构造 (Theorems 1 & 2)

作者给出了两个从 $Q_4$ 到 $Q_3$ 的显式多项式映射，它们的复实现都是 Hopf 映射的悬垂 $\Sigma \eta$。

1. 第一种构造（基于辛 K-理论）：

   • 原理：利用精确序列 $KMW_2/12\epsilon \to \pi^{\mathbb{A}^1}_{2,2}(Q_3) \to GW^0_1 \to 0$。通过计算 $GW^0_1(k)$ 中的 $\mathbb{Z}/2$ 生成元，构造一个 $8 \times 8$ 的辛矩阵，并通过初等辛运算将其降阶为 $2 \times 2$ 的矩阵（即映射）。
   • 结果：给出了一个由多项式矩阵 $\begin{pmatrix} a & b \\ c & d \end{pmatrix}$ 定义的映射（见文中 Theorem 1），其中 $a, b, c, d$ 是具体的高次多项式。
   • 特点：多项式次数相对较低，但构造过程涉及复杂的矩阵化简。

2. 第二种构造（基于权重平移）：

   • 原理：从 $Q_5$ 上的通用秩 2 丛出发，利用伴随函子得到 $S^{1,3} \to SL_2$ 的映射。由于 $S^{1,3}$ 没有好的光滑模型，作者将其表示为 $Q_3 \times \mathbb{G}_m$ 的商。利用 $2\epsilon$-挠性（torsion）和权重平移技术，构造了一个同伦于恒等映射的复合映射，进而导出 $Q_4 \to Q_3$。
   • 结果：给出了一个由非零行向量 $(a', b')$ 定义的映射（见文中 Theorem 2）。
   • 特点：多项式次数非常高（涉及 $z^{10}$ 等高次项），但构造逻辑更直接地反映了动机同伦的结构。

• 注：目前尚不清楚这两个映射在 $\mathbb{Z}$ 上是否同伦，但在代数闭域上它们重合。两者在 $\mathbb{F}_2$ 上均退化为平凡映射。

B. $\mathbb{P}^1$-悬垂的显式化 (Section 2.5)

• 作者建立了一套算法，可以将任意两个二次型簇之间的映射 $f: Q_i \to Q_j$ 显式地提升为 $\mathbb{P}^1$-悬垂映射 $F: Q_{i+2} \to Q_{j+2}$。
• 这使得能够构造代表任意同伦类 $[Q_i, Q_i]_{\mathbb{A}^1} \cong GW(k)$ 的映射。

C. $\mathbb{P}^3$ 上的显式秩 2 向量丛 (Section 4)

• 构造：利用上述奇异 Hopf 映射，构造复合映射：
  $$J_3 \xrightarrow{\pi_3} Q_6 \xrightarrow{\Sigma_{\mathbb{P}^1}\eta'} Q_5 \to BSL_2$$
  其中 $J_3$ 是 $\mathbb{P}^3$ 的 Jouanolou 装置。
• 结果：得到了 $J_3$ 上一个显式的秩 2 向量丛，由一个 $3 \times 3$ 的幂等矩阵给出。
• 不变量计算：
  • 第二陈类 ($c_2$)：证明该丛的第二陈类为 0（平凡）。
  • Atiyah-Rees 不变量：证明该丛具有非平凡的 $\mathbb{Z}/2$ 不变量（对应于 $GW^3_0(k) \cong \mathbb{Z}/2$）。
• 意义：这提供了一个代数几何中的显式反例，类似于 Atiyah 和 Rees 在拓扑 $\mathbb{C}P^3$ 中发现的不可分解但陈类平凡的丛。证明了在动机同伦理论中，Horrocks 的构造方法同样适用。

4. 意义与影响 (Significance)

1. 显式化动机同伦：动机同伦论中的许多结果通常是存在性的或抽象的。本文通过具体的多项式计算，将抽象的同伦类转化为具体的代数几何对象（多项式映射和向量丛），极大地增强了该领域的可操作性。
2. 解决多项式表示问题：在不稳定范围内成功构造了 Hopf 映射悬垂的多项式代表元，填补了从复球面到代数簇映射构造的空白。
3. 向量丛分类的新视角：通过构造具有特定不变量的显式向量丛，深化了对代数簇上向量丛分类（特别是涉及 $GW$群和$K$ 理论不变量）的理解。
4. 方法学创新：提出的“权重平移”显式化方法和 $\mathbb{P}^1$-悬垂的构造算法，为未来研究更高维球面映射和更复杂的向量丛提供了通用的技术工具。

总结

这篇文章是代数几何与同伦论交叉领域的力作。它不仅解决了具体的构造问题（奇异 Hopf 映射），还通过显式的多项式计算，将抽象的动机同伦理论落地为具体的代数几何对象，并成功应用于构造具有非平凡拓扑不变量的代数向量丛，展示了动机同伦论在解决经典代数几何问题中的强大威力。