[论文解读] On the effectivity of spectra representing motivic cohomology theories

Tom Bachmann, Jean Fasel|arXiv (Cornell University)|Oct 2, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 27被引用 21

一句话总结

本文建立了一般性判据，用于判定在无限完美域上，动机谱何时是有效的，即属于由光滑概形的悬垂谱生成的局部化子子范畴。利用该判据，作者证明了表示 MW-动机上同调与 ℤ-系数广义动机上同调的谱在动机稳定同伦范畴中存在自然同构，统一了近期两种动机上同调的研究方法。

ABSTRACT

Let k be an infinite perfect field. We provide a general criterion for a spectrum in the stable homotopy category over k to be effective, i.e. to be in the localizing subcategory generated by the suspension spectra of smooth schemes. As a consequence, we show that two recent versions of generalized motivic cohomology theories coincide.

研究动机与目标

• 为 SH(k) 中的动机谱何时是有效的（即属于由光滑概形的悬垂谱生成的局部化子子范畴）提供一个一般性判据。
• 解决一个开放问题：即不同近期构造的广义动机上同调——具体而言，MW-动机上同调与抽象广义动机上同调——是否代表同一理论。
• 通过证明其表示谱在动机稳定同伦范畴中同构，统一基于框架对应、MW-对应与 GW-动机的动机上同调不同方法。
• 证明表示 ℤ-系数 MW-动机上同调的谱与表示 ℤ-系数广义动机上同调的谱在 SH(k) 中同构，从而确立了这些理论之间的典范识别。

提出的方法

• 作者引入一个新的有效性判据：当且仅当对所有 n ≥ 1 和所有有限生成域 F/k，有 (E ∧ Gm^∧n)(Δ̂•_F) ≃ 0 时，谱 E ∈ SH(k) 是有效的。
• 该判据基于在本质上光滑的同调空间 Δ̂•_F 上评估谱，其中 Δ̂•_F 是 F 上标准 n-单形在顶点处的半局部化，利用莱文的逐层过滤计算零阶切片。
• 他们证明了由 Gm^∧n 表示的预层在苏斯林意义下是理齐收缩的，将 [13] 的结果扩展至半局部概形，这对判据至关重要。
• 证明涉及比较预层的苏斯林复形与其尼兹涅维奇层化复形，特别是在半局部概形的背景下。
• 作者利用 SH(k) 与 MW-动机范畴之间的伴随关系，关联表示谱，利用有效 t-结构的中心具有良好性质的事实。
• 他们证明了表示 MW-动机上同调的谱 U(1) 是有效的，并通过比较其同伦群与格罗滕迪克-惠特群的作用，将其与广义动机上同调谱 H~ℤ 进行比较。

实验结果

研究问题

• RQ1 表示 ℤ-系数 MW-动机上同调与 ℤ-系数广义动机上同调的谱在 SH(k) 中是否代表同一动机上同调理论？
• RQ2 一个动机谱何时是有效的（即属于由光滑概形的悬垂谱生成的局部化子子范畴）的一般判据是什么？
• RQ3 如何比较源于框架对应、MW-对应与 GW-动机的不同版本的动机上同调？
• RQ4 是否可以在不依赖早期苏斯林所用的多相对上同调的情况下，实现动机上同调理论之间的比较？
• RQ5 预层的理齐收缩性在动机同伦理论中对谱有效性的建立中起什么作用？

主要发现

• 表示 ℤ-系数 MW-动机上同调的谱 U(1) 与表示 ℤ-系数广义动机上同调的谱 H~ℤ 在 SH(k) 中存在典范同构。
• 作者建立了一般性有效性判据：当且仅当对所有 n ≥ 1 和所有有限生成域 F/k，有 (E ∧ Gm^∧n)(Δ̂•_F) ≃ 0 时，谱 E ∈ SH(k) 是有效的。
• 由 Gm^∧n 表示的预层在苏斯林意义下是理齐收缩的，即使它本身不是层，这一性质对有效性判据至关重要。
• 表示广义动机上同调的谱 H~ℤ 是有效的，其同伦群满足 π_{0,0}(H~ℤ) ≃ ℤ 且当 n ≠ 0 时 π_{n,0}(H~ℤ) ≃ 0。
• 通过证明 U(1) 与 H~ℤ 均为有效谱且属于有效 t-结构的中心，再通过比较其 π_{0,0} 与 π_{-1,-1} 群，实现了动机上同调理论之间的比较。
• 该结果意味着 GW-动机的范畴 DM^GW(k) 与 MW-动机的范畴 DM̃(k) 同构，且两者均与 H~ℤ 上的高阶结构模范畴同构。