[论文解读] Reciprocity sheaves and logarithmic motives

Shuji Saito|arXiv (Cornell University)|Jul 1, 2021

Algebraic Geometry and Number Theory参考文献 6被引用 7

一句话总结

本文通过证明任意 reciprocity sheaf 的 Nisnevich 上同调在对数动机的三角范畴 $\mathbf{logDM}^{{\operatorname{eff}}}$ 中可表示，建立了 reciprocity sheaves 与对数动机之间的深刻联系。关键结果是，将每个 reciprocity sheaf 映射到其对数对应物的函子 $\mathcal{L}og: \mathbf{RSC}_{\operatorname{Nis}} \to \mathbf{Shv}^{ltr}_{dNis}$ 是正合且完全忠实的，从而将 reciprocity sheaves 的范畴嵌入到对数动机的框架之中。

ABSTRACT

We connect two developments aiming at extending Voevodsky's theory of motives over a field in such a way to encompass non-$\mathbf{A}^1$-invariant phenomina. One is theory of reciprocity sheaves introduced by Kahn-Saito-Yamazaki. Another is theory of the triangulated category $\operatorname{\mathbf{logDM}}^{\operatorname{eff}}$ of logarithmic motives launched by Binda, Park and Østvær. We prove that the Nisnevich cohomology of reciprocity sheaves is representable in $\operatorname{\mathbf{logDM}}^{\operatorname{eff}}$.

研究动机与目标

• 将 Voevodsky 的动机理论扩展至包含非 $\mathbf{A}^1$-不变现象（如微分形式和 de Rham-Witt sheaves）的范畴。
• 将 Kahn-Saito-Yamazaki 引入的 reciprocity sheaves 理论与 Binda、Park 和 Østvær 开发的对数动机的三角范畴 $\mathbf{logDM}^{{\operatorname{eff}}}$ 联系起来。
• 证明 reciprocity sheaves 的 Nisnevich 上同调在 $\mathbf{logDM}^{{\operatorname{eff}}}$ 中可表示，将 Voevodsky 的基本同构 (0.1.1) 推广至非 $\mathbf{A}^1$-不变层之外。

提出的方法

• 构造一个函子 $\mathcal{L}og: \mathbf{RSC}_{\operatorname{Nis}} \to \mathbf{Shv}^{ltr}_{dNis}$，利用对数有限对应理论和 $\underline{\omega}^{\mathbf{CI}}$-构造，为每个 reciprocity sheaf $F$ 赋予其对数版本 $F^\log$。
• 通过除子站点上的上同调比较以及 $\underline{\omega}^{\mathbf{CI}}F$ 的半纯性，证明 $F^\log$ 是严格 $\overline{\square}$-不变的，这是其在 $\mathbf{logDM}^{{\operatorname{eff}}}$ 中可表示性的关键条件。
• 基于定理 5.1 和文献 [1, Th. 5.1.8] 的结果，建立光滑概形上 $F$ 的 Nisnevich 上同调与对数概形上 $F^\log$ 的上同调之间的比较同构。
• 通过证明 $\mathbf{Shv}^{ltr}_{dNis}$ 中的态射由其在平凡对数结构上的限制唯一决定，证明函子 $\mathcal{L}og$ 是完全忠实的，利用对数态射与有限对应之间的相容性。
• 通过将 $\mathcal{L}og$ 的正合性约化为 $\underline{\omega}^{\mathbf{CI}}F$ 在最大纯化 $\mathfrak{X}^{MP}$ 上的正合性，借助推论 2.6(2) 证明 $\mathcal{L}og$ 的正合性。
• 利用 $F^\log(X,\mathrm{triv}) = F(X)$ 对所有 $X \in \mathbf{Sm}$ 成立，确保函子的忠实性，并实现从其对数版本重构原始层。

实验结果

研究问题

• RQ1 能否在对数动机范畴 $\mathbf{logDM}^{{\operatorname{eff}}}$ 中表示 reciprocity sheaves 的 Nisnevich 上同调？
• RQ2 是否存在一个从 reciprocity sheaves 的范畴 $\mathbf{RSC}_{\operatorname{Nis}}$ 到对数层与转移的范畴 $\mathbf{Shv}^{ltr}_{dNis}$ 的完全忠实且正合的函子？
• RQ3 对数构造 $F \mapsto F^\log$ 是否保持 reciprocity sheaves 的上同调结构，特别是在爆开和除子站点的背景下？
• RQ4 $F^\log$ 的 $\overline{\square}$-不变性如何与 $\mathbf{logDM}^{{\operatorname{eff}}}$ 中上同调的可表示性相关？
• RQ5 函子 $\mathcal{L}og$ 在多大程度上能从其对数对应物中恢复原始的 reciprocity sheaf？

主要发现

• 任意 reciprocity sheaf $F \in \mathbf{RSC}_{\operatorname{Nis}}$ 的 Nisnevich 上同调在 $\mathbf{logDM}^{{\operatorname{eff}}}$ 中可表示，将 Voevodsky 的同构 (0.1.1) 推广至非 $\mathbf{A}^1$-不变层之外。
• 函子 $\mathcal{L}og: \mathbf{RSC}_{\operatorname{Nis}} \to \mathbf{Shv}^{ltr}_{dNis}$，定义为 $F \mapsto F^\log$，是完全忠实的，且满足 $F^\log(X,\mathrm{triv}) = F(X)$ 对所有光滑概形 $X$ 成立，从而确保忠实性。
• 对数层 $F^\log$ 是严格 $\overline{\square}$-不变的，这是其在 $\mathbf{logDM}^{{\operatorname{eff}}}$ 中可表示性的关键条件，该结论通过除子站点上上同调的比较得以确立。
• $\mathcal{L}og$ 的正合性源于 $\underline{\omega}^{\mathbf{CI}}F$ 在最大纯化 $\mathfrak{X}^{MP}$ 上的正合性，由推论 2.6(2) 保证。
• 通过 $\underline{\omega}^{\mathbf{CI}}$ 和 $\mathcal{L}og$-函子构造 $F^\log$ 确保了其与对数有限对应和 Nisnevich 拓扑的相容性。
• 对所有 $F \in \mathbf{RSC}_{\operatorname{Nis}}$，同构 $H^i_{\operatorname{Nis}}(X, F_X) \simeq \operatorname{Hom}_{\mathbf{logDM}^{{\operatorname{eff}}}}(M(X), L^{\mathbf{A}^1}F^\log[i])$ 成立，将 Voevodsky 的可表示性推广至非 $\mathbf{A}^1$-不变层。