A Hopf index for isotropic sections of orthogonal bundles

技术摘要：正交丛各向同性截面的 Hopf 指数

问题陈述
本文探讨了配备非退化二次型的向量丛的各向同性截面（isotropic sections）零点重数的计算问题。在经典拓扑学中，Hopf 指数定理将定向实向量丛截面的零点重数与缠绕数（winding number，即 $\pi_{2n-1}(S^{2n-1}) \cong \mathbb{Z}$ 中的元素）联系起来。对于全纯截面，该重数与零点集的长度（length）一致。

然而，对于正交丛 $(E, q)$ 的各向同性截面 $s$（满足 $q(s,s)=0$），情况更为复杂。虽然存在一个“平方根欧拉类” $\sqrt{e}(E, s)$（通过 [KL] 和 [OT1] 中的余切截面局部化定义），但它并不总是等于零点集 $Z(s)$ 的长度，也不总是表现得像标准的变形不变计数。作者强调了一个特定的反例（方程 0.1），其中 $Z(s)$ 的长度为 3，但分配的重数为 0。核心问题在于提供关于该重数 $\sqrt{e}(E, s)$ 的显式、可计算的公式，并理解其拓扑与代数性质，以及为何它会消失或不同于模式论（scheme-theoretic）长度。

方法论
作者开发了一套针对 $SO(2n, \mathbb{C})$ 丛的各向同性截面的八种类比经典 Hopf 指数定理的公式。其方法论包括：

1. 拓扑分析： 利用各向同性向量空间的同伦群。对于 $n=2$，各向同性直线的空间同构于 $\mathbb{P}^1 \times \mathbb{P}^1$，这使得指数可以从单个整数精细化为一个对 $(d_1, d_2)$。
2. 同调与上同调技术： 利用 Hurewicz 映射、Leray 谱序列以及二次曲面上的相交理论，将同伦类与同调类联系起来。
3. 代数几何与 K-理论： 使用 Koszul 复形和 Clifford 代数。具体而言，作者利用了由 Clifford 相乘作用在旋量模 $M = M_+ \oplus M_-$ 上的 2-周期复形 $M_\bullet$。
4. 变形与局部化： 分析截面向简单零点的变形，并应用环面局部化技术（等变上同调）来计算不变量。
5. 余切截面局部化： 将他们的新公式与 [KL] 中通过 Kiem-Li 余切截面局部化构造定义的原始 $\sqrt{e}(E, s)$ 进行比较，证明新公式通常在计算上更优。

主要贡献与结果

论文确立了正交 Hopf 指数 $\sqrt{e}(E, s)$ 可以通过八个不同的公式（标记为 OH1–OH8）进行计算，并证明这些公式是等价的：

• 拓扑公式 (OH1, OH2)： 指数是截面到丛实部球面投影的度数，或者是截面投影到 $\mathbb{P}(E)$ 中各向同性直线二次曲面 $Q$ 上的同伦类。对于 $n=2$，这精细化为一对整数 $(d_1, d_2) \in \mathbb{Z} \oplus \mathbb{Z}$，使得 $\sqrt{e}(E, s) = d_1 - d_2$。
• 全纯与变形公式 (OH3, OH4)： 虽然如果截面通过一个极大各向同性子丛，则指数等于 $\pm \text{length}(Z(s))$，但这在一般情况下并不成立。作者提供了一个涉及变形到简单零点的公式，通过累加由每个零点处的微分所确定的极大各向同性子空间的符号来计算。
• 齐次与法锥公式 (OH5, OH6)： 对于齐次截面，指数由到二次曲面分量的映射度数表示。对于一般截面，通过投影法锥 $P(C_{Z(s)}/C^n)$ 来计算。
• K-理论公式 (OH7)： 指数是 2-周期 Clifford 复形上同调层长度之差：$\sqrt{e}(E, s) = \text{length } H^+(M_\bullet) - \text{length } H^-(M_\bullet)$。
• 环面局部化 (OH8)： 一个将指数表示为等变欧拉类之比的等变公式。

针对 $n=2$ 的精细化
论文的大部分篇幅致力于 $n=2$ 的情况。在此情形下，指数精细化为一个对 $(d_1, d_2)$。作者证明 $d_1$ 和 $d_2$ 分别对应于上同调层 $H^+(M_\bullet)$ 和 $H^-(M_\bullet)$ 的长度。至关重要的是，虽然差值 $d_1 - d_2$ 是变形不变的虚计数，但在一般情况下，$d_1$ 和 $d_2$ 本身并不一定是变形不变的，尽管在 $n=2$ 且处于全纯各向同性变形下时它们是不变的。

运行示例
论文反复使用 $\mathbb{C}^2$ 上具有二次型 $XY+ZW$的截面$s = (x^2, y^2, xy, -xy)$。

• 零点集 $Z(s)$ 的长度为 3。
• 使用 K-理论方法，作者计算出 $H^+(M_\bullet)$ 和 $H^-(M_\bullet)$ 的长度分别为 2 和 2。
• 得到的指数为 $2 - 2 = 0$。
• 这明确展示了 $\sqrt{e}(E, s)$ 即使在零点集非空且具有正长度时也可以为零，解释了朴素变形不变性的失效。

意义与应用

该论文声称在两个主要领域具有重要意义：代数几何与数学物理。

1. 余切截面局部化虚循环： 其结果为计算余切截面局部化虚循环的度数提供了实用的工具箱，这些循环用于定义当模空间在预期维数为零的局部化处具有余切截面时，其枚举不变量。论文表明，即使对于非空模空间，这些不变量也可能为零。
2. DT4 虚循环： 该工作应用于 Calabi-Yau 4-折的 Donaldson-Thomas 不变量（DT4 理论）的定义。在这种背景下，稳定层模空间携带一个 $(-2)$-移位辛结构。论文指出，对于一般的 DT4 模空间，虚计数可能为零或负数，其行为更接近于实计数（例如 $x^2-a=0$ 可以有 0 或 2 个解），而非复计数。然而，在模空间是 $(-2)$-移位余切丛的特殊情况下（例如局部 Calabi-Yau 4-折），该理论恢复了标准的 Behrend-Fantechi 虚循环，表现得像复计数。

作者总结道，这项工作的“道德含义”在于，在存在余切截面（如 DT4 理论中）进行计数，在本质上不同于标准的复枚举几何，往往产生零或负的贡献，而正交 Hopf 指数提供了理解和计算这些现象的正确框架。