[论文解读] Equivariant cycles and cancellation for motivic cohomology

Jeremiah Heller, Mircea Voineagu+1 more|arXiv (Cornell University)|Apr 22, 2013

Algebraic structures and combinatorial models参考文献 27被引用 10

一句话总结

本文引入了Bredon motivic上同调，这是对具有有限群作用的光滑概形的等变高阶Chow群的改进，通过在等变Nisnevich拓扑中使用等变对应复形的上同调来实现。关键贡献是建立了同伦不变性的取消定理，将经典motivic上同调推广到具有表示分级不变量的等变设置中。

ABSTRACT

We introduce a Bredon motivic cohomology theory for smooth schemes defined over a field and equipped with an action by a finite group. These cohomology groups are defined for finite dimensional representations as the hypercohomology of complexes of equivariant correspondences in the equivariant Nisnevich topology. We generalize the theory of presheaves with transfers to the equivariant setting and prove a Cancellation Theorem.

研究动机与目标

• 将Suslin和Voevodsky的motivic上同调推广到具有有限群作用的概形，将带转移的预层理论扩展到等变设置。
• 构建一个以有限群G的表示为分级的Bredon风格motivic上同调理论，作为等变高阶Chow群的改进。
• 为该上同调理论建立取消定理，确保在等变上下文中保持同伦不变性。
• 提供拓扑Bredon上同调的motivic类比，潜在应用于Hermite K-理论和等变谱序列。
• 将新上同调与拓扑实现联系起来，并提出等变Beilinson-Lichtenbaum猜想。

提出的方法

• 定义具有有限群作用的光滑G-概形的范畴，并赋予其等变Nisnevich拓扑，其中覆盖诱导剩余域和稳定子群的同构。
• 引入具有等变转移的预层，将转移的概念推广到G-概形之间的等变对应。
• 将等变motivic复形 $\mathbb{Z}_G(n)$ 构造为 $\mathbb{Z}_{tr,G}(\mathbb{P}(k[G]^n \oplus 1))/\mathbb{Z}_{tr,G}(\mathbb{P}(k[G]^n))$ 的 $\mathbb{A}^1$-奇异链复形。
• 将Bredon motivic上同调定义为在等变Nisnevich拓扑中 $\mathbb{Z}_G(n)$ 的上同调。
• 将等变Dold-Thom定理作为类比，其中 $\mathbb{Z}_G(n)$ 扮演等变Eilenberg-MacLane谱的角色。
• 通过涉及 $\mathbb{G}_m^\sigma$ 和表示球面的谱序列与拟同构，证明取消定理，利用等变鉴别四边形的结构。

实验结果

研究问题

• RQ1 如何将motivic上同调推广到具有有限群作用的光滑概形上，同时保持同伦不变性和转移性质？
• RQ2 等变motivic复形 $\mathbb{Z}(n)$ 的正确等变类比是什么？它在 $\mathbb{A}^1$-同伦下表现如何？
• RQ3 是否可以在等变设置中建立类似经典motivic上同调中结果的取消定理？
• RQ4 新的Bredon motivic上同调如何与现有理论（如等变高阶Chow群和拓扑Bredon上同调）关联？
• RQ5 符号表示和等变 $\mathbb{G}_m^\sigma$ 在构造取消同构中起什么作用？

主要发现

• 取消定理成立：对任意光滑 $\mathbb{Z}/2$-概形 $X$ 和有限维表示 $V$，存在自然同构 $H^n_{GNis}(X, C_*\mathbb{Z}_{tr,G}(Y)) \cong H^n_{GNis}(X \wedge T^V, C_*\mathbb{Z}_{tr,G}(Y \wedge T^V))$。
• 上同调群按群 $G$ 的表示分级，使其成为整数分级的等变高阶Chow群的改进。
• 构建了从Bredon motivic上同调到等变高阶Chow群的比较映射，确认了该理论与现有构造的一致性。
• 复形 $C_*\mathbb{Z}_{tr,G}(\mathbb{G}_m^\sigma)$ 与 $C_*(\mathbb{Z}_{tr,G}(\mathbb{P}(\sigma \oplus 1))/\mathbb{Z}_{tr,G}(\mathbb{P}(\sigma))) \otimes_{tr} \mathbb{Z}_{top}(S^\sigma)$ 拟同构，将motivic与拓扑模型联系起来。
• 在某些条件下，$\mathbb{Z}_G(n)$ 的上同调可分解为直和，反映出等变层在不可约表示下的分解。
• 该理论支持Dugger谱序列的motivic类比，暗示通过 $K\mathbb{R}^{alg}$ 在Hermite K-理论中的潜在应用。