[论文解读] Comparison of cobordism theories

Marc Levine|ArXiv.org|Jul 14, 2008

Algebraic Geometry and Number Theory参考文献 3被引用 11

一句话总结

本文证明了在特征零的域上，所有拟射影代数簇的代数cobordism $Ω_*$ 与Borel-Moore同调理论 $τ_{’}^{\text{MGL}}_{2*,*}$ 同构，利用霍普金斯-莫雷谱序列和对维数的归纳法。该同构是自然的，并推广了在域上已知的同构，确认了在此设定下代数cobordism 是普遍的定向Borel-Moore同调理论。

ABSTRACT

Relying on results of Hopkins-Morel, we show that, for $X$ a quasi-projective variety over a field of characteristic zero, the canonical map $Ω_n(X) o MGL_{2n,n}'(X)$ is an isomorphism. Here $Ω_*(X)$ is the theory of algebraic cobordism defined by Levine-Morel, and $MGL_{*,*}'$ is the Borel-Moore homology version of the theory of algebraic cobordism defined via the algebraic Thom complex in the Morel-Voevodsky motivic stable homotopy category.

研究动机与目标

• 将代数cobordism 与 $τ^{ ext{MGL}}_{2*,*}$ 之间在域上的已知同构，从域推广到特征零域上所有拟射影代数簇。
• 在特征零域上的拟射影 $k$-概形范畴上，证明自然变换 $τ_{’}^{ ext{MGL}}: Ω_* \to \operatorname{MGL}'_{2*,*}$ 是同构。
• 通过维数归纳法，利用动机上同调中的局部化序列和边界映射来证明该结论。
• 利用霍普金斯-莫雷谱序列，计算有限生成域 $F$ 上 $τ^{ ext{MGL}}_{2n,n}(F)$ 和 $τ^{ ext{MGL}}_{2n-1,n}(F)$ 的生成元。
• 在 $Ω_*$ 中定义一个几何除子类映射，使其上拉 $τ^{ ext{MGL}}_{*,*}$-理论中的边界映射，确保与同构相容。

提出的方法

• 使用霍普金斯-莫雷谱序列 $E^{p,q}_2(n) = H^{p-q,n-q}(F) \otimes \mathbb{L}^q \Rightarrow \operatorname{MGL}^{p+q,n}(F)$，计算 $F$ 为 $k$ 上有限生成域时 $τ^{ ext{MGL}}_{2n,n}(F)$ 和 $τ^{ ext{MGL}}_{2n-1,n}(F)$ 的生成元。
• 对 $X$ 的维数进行归纳，利用局部化序列将同构性断言约化为低维分量。
• 通过爆破和拉回构造几何除子映射 ${\rm div}^\Omega_i: \mathbb{Z}[k(x_i)^\times] \otimes \mathbb{L}_*$ 到 $\Omega_{*+d-1}^{(1)}(X)$，以定义与剩余域中单位相关的类。
• 通过Gysin序列和下推的自然性，确保除子映射与 $τ^{ ext{MGL}}_{*,*}$-理论中的边界映射相容。
• 验证关键图 (6.1) 的交换性，该图将 $Ω_*$ 中的除子映射与 $τ^{ ext{MGL}}_{*,*}$ 中的边界映射联系起来，从而证明变换的单射性。
• 依赖于霍普金斯-莫雷谱序列的存在性，因此该结果在该谱序列完全构造完成之前为条件性结果。

实验结果

研究问题

• RQ1 自然变换 $\vartheta_{\text{MGL}'}: \Omega_* \to \operatorname{MGL}'_{2*,*}$ 是否对特征零域上所有拟射影代数簇都是同构？
• RQ2 能否通过维数归纳法，将代数cobordism 与 $τ^{ ext{MGL}}_{2*,*}$ 在域上的同构关系推广到所有特征零域上的拟射影概形？
• RQ3 $τ^{ ext{MGL}}_{*,*}$-理论中的边界映射如何与 $Ω_*$ 中的几何除子类相关联？
• RQ4 霍普金斯-莫雷谱序列在计算有限生成域 $F$ 上的同调群 $τ^{ ext{MGL}}_{2n,n}(F)$ 和 $τ^{ ext{MGL}}_{2n-1,n}(F)$ 时起到什么作用？
• RQ5 能否在 $Ω_*$ 中构造一个几何除子类映射，使其上拉 $τ^{ ext{MGL}}_{*,*}$-理论中的边界映射，同时保持与下推的相容性？

主要发现

• 当 $k$ 的特征为零时，自然变换 $\vartheta_{\text{MGL}'}: \Omega_* \to \operatorname{MGL}'_{2*,*}$ 对所有拟射影 $k$-概形都是同构。
• 该同构通过维数归纳法建立，利用 $\Omega_*$ 的局部化序列的右正合性以及与边界映射的相容性。
• 边界映射 $\partial: \operatorname{MGL}'_{2n+1,n}(k(X)) \to \varinjlim_{W \subset X} \operatorname{MGL}'_{2n,n}(W)$ 可用 [3] 中的除子类表示，从而实现对核的几何控制。
• 除子类映射 ${\rm div}^\Omega_i$ 在 $\mathbb{Z}[k(x_i)^\times] \otimes \mathbb{L}_*$ 上良定义，并满足 $i_* \circ {\rm div}^\Omega_i = 0$，确保与余维数为一的分量包含的相容性。
• 图 (6.1) 交换，确认了 $\Omega_*$ 中的几何除子映射上拉了 $\operatorname{MGL}'_{*,*}$ 中的边界映射，这对证明单射性至关重要。
• 该结果依赖于霍普金斯-莫雷谱序列，因此其成立条件是该谱序列的完全构造；尽管如此，整体框架仍是完整且自洽的。