[论文解读] Reciprocity sheaves and motives with modulus

Bruno Kahn, Shuji Saito+1 more|arXiv (Cornell University)|Jul 24, 2017

Algebraic structures and combinatorial models被引用 8

一句话总结

本文建立了动机与模之间的深刻联系，以及递归Nisnevich层之间的联系，在解析奇异性的假设下，证明了有效动机复形的 triangulated 类别 admits 一个 t-structure，其心等价于递归层的范畴。此外，本文将该类别中的 Hom 群与带模的 Suslin 复形的上同调联系起来，从而为带模的 Suslin 同调建立了新的 Mayer-Vietoris 序列。

ABSTRACT

We exhibit an intimate relationship between motives with modulus from arXiv:1511.07124 [math.AG] and sheaves from arXiv:1402.4201 [math.AG]. Assuming resolution of singularities, we prove that the triangulated category of effective motivic complexes $\mathbf{MDM}^{\mathrm{eff}}$ admits a $t$-structure whose heart is equivalent to the category of reciprocity Nisnevich sheaves. We also give an isomorphism between some Hom groups in $\mathbf{MDM}^{\mathrm{eff}}$ and the hypercohomology of some Suslin complexes with modulus. As an application, we prove some Mayer-Vietoris sequences for Suslin homology with modulus.

研究动机与目标

• 建立动机与模和递归 Nisnevich 层之间的结构性联系。
• 在有效动机复形的范畴上证明 t-structure 的存在性，其心等价于递归层的范畴。
• 将动机范畴中的 Hom 群与带模的 Suslin 复形的上同调联系起来。
• 将此框架应用于推导带模的 Suslin 同调的新 Mayer-Vietoris 序列。

提出的方法

• 利用 arXiv:1511.07124 中的带模动机框架，构建有效动机复形的 triangulated 类别。
• 应用 arXiv:1402.4201 中的递归层理论，识别 t-structure 的心。
• 以奇异性的解析作为基础假设，以确保 t-structure 及相关等价性的有效性。
• 建立动机范畴中 Hom 群与带模的 Suslin 复形的上同调群之间的同构。
• 利用所得的 t-structure 和同构关系，推导出带模的 Suslin 同调的新 Mayer-Vietoris 序列。
• 依赖 Nisnevich 下降和对偶技术来分析带模复形的上同调行为。

实验结果

研究问题

• RQ1 有效动机复形的范畴是否 admits 一个 t-structure，其心等价于递归 Nisnevich 层的范畴？
• RQ2 动机范畴中的 Hom 群如何与带模的 Suslin 复形的上同调相关联？
• RQ3 t-structure 和同构结果能否用于推导带模的 Suslin 同调的新 Mayer-Vietoris 序列？
• RQ4 奇异性的解析在确保 t-structure 及相关等价性的有效性中起什么作用？
• RQ5 递归层在多大程度上作为带模动机的自然范畴实现？

主要发现

• 在奇异性的解析假设下，有效动机复形的 triangulated 类别 admits 一个 t-structure，其心等价于递归 Nisnevich 层的范畴。
• 动机范畴中的 Hom 群与带模的 Suslin 复形的上同调之间存在自然同构。
• 该同构使得能够构造带模的 Suslin 同调中的新 Mayer-Vietoris 序列。
• 这些结果通过递归层为带模的动机提供了上同调解释。
• 该框架深化了对带模代数周期同调性质的理解。
• 该工作在动机同伦理论与递归层理论之间建立了桥梁，丰富了两个领域。