[论文解读] Orientable homotopy modules

Frédéric Déglise|arXiv (Cornell University)|May 23, 2010

Homotopy and Cohomology in Algebraic Topology被引用 2

一句话总结

本文证明了莫雷尔提出的猜想，即冯·普伊科夫斯基的同伦不变层（带转移）恰好是那些在霍普夫映射 η 作用下平凡的同伦模。通过建立此类模与罗斯特的循环模之间的等价关系，该工作为代数cobordism提供了结构基础，并通过动机上同调谱 H 构造了广义上同调理论中的典范循环类。

ABSTRACT

We prove a conjecture of Morel identifying Voevodsky's homotopy invariant sheaves with transfers with spectra in the stable homotopy category which are concentrated in degree zero for the homotopy t-structure and have a trivial action of the Hopf map. This is done by relating these two kind of objects to Rost's cycle modules. Applications to algebraic cobordism and construction of cycle classes are given.

研究动机与目标

• 解决莫雷尔关于带转移的同伦模与 η 作用平凡的同伦模之间关系的猜想。
• 在带转移的同伦模与罗斯特的循环模之间建立范畴等价。
• 系统地构造广义动机上同调理论中的循环类。
• 阐明霍普夫映射 η 在稳定动机同伦范畴中作为非可定向性的障碍的作用。

提出的方法

• 在环谱模的背景下使用 Gysin 三角形和态射，将 η 作用平凡的同伦模与 H-模联系起来。
• 应用逐层谱序列并计算其微分，以分析上同调群的结构。
• 依赖于先前的工作，即带转移的同伦模由其在有限生成域扩张上的纤维唯一确定。
• 构造了逐层谱序列的 E2-项与弱可定向谱的上同调谱序列之间的典范同构。
• 使用佩斯托诺夫塔和截断函子，为动机谱定义了上同调谱序列。
• 利用 MGL-模的结构和上推映射，定义了与谱序列相容的 Gysin 态射。

实验结果

研究问题

• RQ1 带转移的同伦模与 η 作用平凡的同伦模之间精确的范畴关系是什么？
• RQ2 能否以它们在纤维上的代数结构来刻画带转移的同伦模？
• RQ3 霍普夫映射 η 在稳定动机同伦范畴 SH(k) 中的环谱不可定向性中起什么作用？
• RQ4 广义动机上同调中的循环类能否被典范地构造？在何种条件下它们与拉回和上推相容？
• RQ5 对于弱可定向谱，逐层谱序列与上同调谱序列的 E2-项在多大程度上是同构的？

主要发现

• 从带转移的同伦模到同伦模的函子 γ∗ 是全忠实的，其本质像恰好是那些 η 作用为零的同伦模。
• 带转移的同伦模与罗斯特意义下的循环模等价，从而为转移提供了纯粹代数的描述。
• 对于任意维数为 d 的光滑连通概形 X，典范映射 MGL2d,d(X) → CH0(X) 是一个同构。
• 对于任意满足 π0(E)∗ 可定向且负次数项为零的弱可定向谱 E，存在一个典范的循环类映射 σX : CHn(X) → E2n,n(X)。
• 对于弱可定向谱，上同调谱序列与逐层谱序列的 E2-项同构，且该同构与微分相容。
• 当在 ψ: MGL → E 下，MGL 的形式群律中的系数 aij 消失时，可推出存在一个典范的环谱态射 σ: H → E。