[论文解读] The Cosmic Galois group as Koszul dual to Waldhausen's A(pt)

Jack Morava|arXiv (Cornell University)|Aug 23, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 15被引用 3

一句话总结

本文提出，来自 motivic Galois 理论的宇宙 Galois 群，通过谱的导出范畴与拓扑循环同调，与 Waldhausen 的 A(*)-理论谱呈 Koszul 对偶关系。该研究通过 THH 与 TC 建立了拓扑 K-理论谱与其 Koszul 对偶之间的对偶性，将动机结构与同伦论联系起来，并揭示了其与拟对称函数及奇数 zeta 值的关联。

ABSTRACT

K. Hess's theory of homotopical descent, applied to the large categories of motives defined recently by Blumberg, Gepner, and Tabuada, suggests that the Koszul dual of Waldhausen's K-theory of the sphere spectrum, regarded as a supplemented algebra via the Dennis trace, plays a very general role as a kind of motivic group. After tensoring with the rationals, the resulting Hopf algebra has close relations to the ring of quasi-symmetric functions and work of Baker and Richter on one hand, and on the other to work of Deligne and others on the motivic group for mixed Tate motives.

研究动机与目标

• 探讨宇宙 Galois 群与 Waldhausen 的 A(*)-理论在动机范畴背景下的关系。
• 在 K-理论与拓扑循环同调（TC）谱之间建立 Koszul 对偶框架。
• 通过 enriched 在 A(*)-理论上的谱范畴，统一代数几何中的动机结构与稳定同伦论。
• 研究代数簇的 Betti 实现如何融入此动机框架。
• 通过有理化 TC 与线性化动机范畴，调和代数簇的动机与其底层拓扑空间的稳定同伦类型。

提出的方法

• 构建一个以 Waldhausen 的 A(*)-理论谱为 enriched 的预动机谱范畴，利用完美 ∞-范畴之间精确函子的 K-理论。
• 通过 Karoubi-Villamayor 风格的局部化，对该范畴进行预三角化完备化，推广 Grothendieck 构造动机的方法。
• 对 K(\$) 的谱应用 Koszul 对偶，将其对偶识别为 $\mathrm{RHom}_{K(\$)}(\$, \$)$，该对象建模宇宙 Galois 群的群代数。
• 利用拓扑循环同调（TC）与 THH，构造一个动机范畴的循环变体，其态射对象属于 $\$_\dagger{\rm TC}$-余模。
• 引入基于 TC 的动机范畴的线性化版本，其中，有理化后的态射对象恢复了有理稳定同伦群。
• 利用循环迹映射将 $K(\$)$ 与 $TC(\$)$ 关联，识别出在奇素数处 $TC(\$)$ 同构于 $\$∨ \Sigma \mathbb{C}P^\infty_{-1}$，从而实现通过 THH 与 TC 的对偶构造。

实验结果

研究问题

• RQ1 宇宙 Galois 群如何被实现为 Waldhausen 的 A(*)-理论谱的 Koszul 对偶？
• RQ2 拓扑循环同调（TC）在实现 K-理论与其对偶之间的动机对偶性中扮演何种角色？
• RQ3 代数簇的 Betti 实现如何与基于 A(*)-理论构建的动机范畴相关联？
• RQ4 从 TC 导出的有理化动机范畴能否恢复有理稳定同伦范畴中的有限谱？
• RQ5 拟对称函数与奇数 zeta 值在此对偶框架中出现的意义为何？

主要发现

• K(\$) 的 Koszul 对偶被识别为 $\$_\dagger{K(\$)} = \mathrm{RHom}_{K(\$)}(\$, \$)$，该对象建模宇宙 Galois 群的群代数。
• K(\$) 的有理化对偶 $\$_\dagger{K(\$)} \otimes \mathbb{Q}$ 同构于 $\mathbb{Q}$ 上的拟对称函数代数，对应于具有自由李代数的仿射无扭群。
• 循环迹映射在正则奇素数处将 $TC(\$)$ 识别为 $\$∨ \Sigma \mathbb{C}P^\infty_{-1}$，从而通过 THH 与 TC 实现对偶框架。
• 线性化动机范畴 $\mathsf{Mot}^{\rm lin}_{{\rm TC}_\dagger}$ 的有理化态射对象同构于 $[Y, X]_{\mathbb{Q}}$，从而恢复了有理稳定同伦范畴。
• 该构造暗示存在一个共组装映射 $\mathrm{TC}(DX) \to [X_+, \mathrm{TC}(\$)]$，通过 $\mathbb{T}$-等变结构将 THH 的同伦固定点与 TC 关联。
• $\mathbb{T}$-作用在奇数阶生成元的李代数上（来自 THH）与 Deligne 的混合 Tate 动机的动机 Galois 群相吻合，从而与算术 zeta 值产生关联。