[论文解读] Comparing Euler classes

Aravind Asok, Jean Fasel|arXiv (Cornell University)|Jun 21, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 4被引用 5

一句话总结

本文建立了代数几何中欧拉类两种定义的等价性：一种是Chow-Witt理论中的特征类，另一种是${\mathbb{A}}^{1}$-同伦理论中的障碍类。通过一个普遍例子和精细的${\mathbb{A}}^{1}$-同伦技术，作者证明了障碍理论的欧拉类$e_{ob}(\xi)$与Chow-Witt欧拉类$e_{cw}(\xi)$在格罗滕迪克-惠特群中的单位意义下相等，从而解决了莫雷尔的猜想。

ABSTRACT

We establish the equality of two definitions of an Euler class in algebraic geometry: the first definition is as a "characteristic class" with values in Chow-Witt theory, while the second definition is as an "obstruction class." Along the way, we refine Morel's relative Hurewicz theorem in A^1-homotopy theory, and show how to define (twisted) Chow-Witt groups for geometric classifying spaces.

研究动机与目标

• 解决莫雷尔长期存在的猜想，即代数几何中欧拉类的两种定义一致。
• 在通过Chow-Witt理论定义的欧拉类（作为特征类）与通过${\mathbb{A}}^{1}$-同伦理论定义的欧拉类（作为障碍类）之间建立精确比较。
• 提供等价性的完整证明，填补了文献中该结果被断言但未被证明的空白。
• 将扭曲Chow-Witt群的框架扩展至几何分类空间，并将其与${\mathbb{A}}^{1}$-同伦不变量联系起来。
• 证明障碍理论的欧拉类作为Moore-Postnikov塔中基本类的转送（transgression），从而将同伦不变量与代数几何不变量联系起来。

提出的方法

• 使用普遍例子法，通过分析其在定向秩$r$向量丛的分类空间$\widetilde{Gr}_r$上的行为，比较两种欧拉类。
• 在${\mathbb{A}}^{1}$-同伦理论中精细化莫雷尔的相对胡列维茨定理，以确立连通性及纤维/余纤维性质。
• 通过层的纤维积构造扭曲Chow-Witt群，利用米尔诺猜想（现为定理）将${{\mathbf{K}}}^{MW}_r$识别为$\mathbf{I}^r$与${{\mathbf{K}}}^M_r$在$\mathbf{I}^r/\mathbf{I}^{r+1}$上的纤维积。
• 建立同构$H^r(X, {{\mathbf{K}}}^{MW}_r(\det\xi^\vee)) \xrightarrow{\sim} \widetilde{CH}^r(X, \det\xi^\vee)$，从而实现上同调类与Chow-Witt类之间的比较。
• 在${\mathbb{A}}^{1}$-同伦理论中应用Blakers-Massey定理，分析Moore-Postnikov分解中映射与余纤维的连通性。
• 将Moore-Postnikov塔中的$k$-不变量识别为基本类的转送，从而将障碍理论与陈类联系起来。

实验结果

研究问题

• RQ1 对于特征不为2的完美域上的光滑概族上的定向向量丛，通过Chow-Witt理论和${\mathbb{A}}^{1}$-同伦障碍理论定义的欧拉类是否一致？
• RQ2 障碍理论的欧拉类能否与Chow-Witt理论中通过Gysin映射和多余交公式定义的特征类相等？
• RQ3 在映射$Gr_{r-1} \to Gr_r$的Moore-Postnikov塔中，$k$-不变量与扭曲上同调中的陈类之间的确切关系是什么？
• RQ4 障碍理论欧拉类中定义局部系统的作用，与扭曲Chow-Witt群的层论构造之间有何关系？
• RQ5 该比较结果是否可推广至非定向向量丛？若可，扭曲欧拉类之间有何关系？

主要发现

• 障碍理论的欧拉类$e_{ob}(\xi)$与Chow-Witt欧拉类$e_{cw}(\xi)$在格罗滕迪克-惠特群中的单位$u \in GW(k)^\times$意义下相等，从而证明了莫雷尔的猜想。
• 通过米尔诺猜想，建立了同构$H^r(X, {{\mathbf{K}}}^{MW}_r(\det\xi^\vee)) \xrightarrow{\sim} \widetilde{CH}^r(X, \det\xi^\vee)$，从而实现了上同调不变量与代数几何不变量之间的比较。
• 在$H^r(Th(\gamma_r), {{\mathbf{K}}}^{MW}_r)$中的普遍欧拉类在限制到$({\mathbb{P}}^1)^{\wedge r}$时映射为基本类$\langle 1\rangle$，从而确认了陈类归一化的正确性。
• 证明了$Gr_{r-1} \to Gr_r$的Moore-Postnikov塔中的$k$-不变量是基本类的转送，从而将障碍理论与陈同构联系起来。
• 欧拉类$e_{cw}(\xi)$在到Chow群$CH^r(X)$的自然映射下的像为上层陈类$c_r(\xi)$，从而改进了文献中先前的结果。
• 该比较结果对定向丛成立；非定向情形由于障碍理论构造中${{\mathbf{G}}_m}$-等变性的追踪复杂，仍为开放问题。