[论文解读] A theory of base motives

Jack Morava|ArXiv.org|Aug 21, 2009

Advanced Topics in Algebra参考文献 23被引用 4

一句话总结

本文通过将 ℤ 上的 Deligne 混合 Tate Motive 推广至球谱 𝕊 上的 Motive，提出了一套代数拓扑中的基动机理论，使用 A-理论和 TC(𝕊) 作为算术环的类比。建立了 Adams 型谱序列，并在环谱的导出范畴中识别出李代数，其有理化后同构于动机理论与重整化理论中的自由李代数。

ABSTRACT

A category of correspondences based on Waldhausen A-theory has interesting analogies, in the context of differential topology, to categories of mixed Tate motives studied in arithmetic geometry. In particular, the Hopf object S \wedge_A S (regarding A(*) as a kind of local ring over the sphere spectrum) has some similarities to a motivic group for this category; its associated rational Lie algebra is free, on odd-degree generators...

研究动机与目标

• 将 ℤ 上混合 Tate 动机的理论推广至球谱 𝕊 上的几何设定，使用 Waldhausen A-理论替代代数 K-理论。
• 构建一个与 Deligne 的 MTM 类别类似的 𝕊 上动机的范畴，从算术动机到 A-理论类比构造循环映射。
• 将这些基动机的动机伽罗瓦群识别为环谱的导出自同构群，特别是通过 TC(𝕊) 和 𝕊 ∧_A 𝕊。
• 通过有理化，将所得李代数与多重 zeta 值及重整化理论中的李代数联系起来。
• 为具有保留结构的空间建立双不变 K-理论框架，将经典对应关系推广至稳定同伦理论。

提出的方法

• 将导出张量积 −⊗^L_A k: D(A) → k-Mod 提升为取值于 Tate 上同调环 RHom^*_A(k,k) 模的函子，该环是分次李代数的普遍包络代数。
• 使用 Adams（或 Bockstein）型谱序列，关联局部环 A → k 上的 Tor 与 Ext 群，尤其在有限性条件下。
• 在交换代数中将映射 A → k 替换为环谱类比 A(*) → 𝕊 或 TC(𝕊) → 𝕊，将其视为“新式局部环”。
• 通过 Waldhausen K-理论对有限支配的保留空间构造 X × Y → X 上具有保留结构的空间的范畴 A-Corr。
• 从 A-Corr 到其三角化包络定义一个张量稳定的稳定化函子，类似于反演 Tate 动机或引入去悬垂化。
• 使用相对余组装映射与标准组装，从代数对应 SmCorr(V,W) 定义一个循环类同态，取值于 A(X × Y → X) 的 π₀。

实验结果

研究问题

• RQ1 能否使用 A-理论将 ℤ 上的混合 Tate 动机范畴推广为球谱 𝕊 上的动机范畴？
• RQ2 在此推广设定下，动机伽罗瓦群的结构是什么？它与动机理论和重整化理论中的李代数有何关系？
• RQ3 在环谱上的导出范畴中，Adams 型谱序列如何与微分拓扑中的 zeta 值和调节子相关联？
• RQ4 能否从算术动机构造到 A-理论动机的循环映射？它是否能识别出两套理论的动机群？
• RQ5 TC(𝕊) 与环谱 𝕊 ∧_A 𝕊 在实现基动机的导出自同构群中起什么作用？

主要发现

• 导出张量积 −⊗^L_A k 可被提升为取值于 RHom^*_A(k,k) 模的函子，该环是分次李代数的普遍包络代数。
• 在有限性条件下，同调群 Tor^A_*(k,k) 与 Ext^*_A(k,k) 是对偶的 Hopf 代数，后者是李代数的普遍包络代数。
• 在合理条件下，Adams 型谱序列退化，将导出函子与上同调不变量联系起来。
• 在环谱的语境下，映射 A(*) → 𝕊 与 TC(𝕊) → 𝕊 产生 Hopf 对象，其有理化为自由李代数，类似于 Deligne–Connes–Marcolli 动机中的情形。
• 从 SmCorr(V,W) 到 π₀(A(X × Y → X)) 的循环类映射是良定义的，且与复合相容，表明存在从代数对应到 A-理论对应的函子。
• 混合 Tate 动机在 𝕊 上的动机群被猜想同构于 𝕊 ∧_A 𝕊 的导出自同构群，其有理化与重整化理论中观察到的群一致。