[论文解读] Logarithmic adic spaces: some foundational results

Hansheng Diao, Kai‐Wen Lan+2 more|arXiv (Cornell University)|Dec 19, 2019

Algebraic Geometry and Number Theory参考文献 20被引用 12

一句话总结

本文通过将 adic 空间与对数几何统一，建立了对数 adic 空间的奠基性理论，引入了 Kummer étale 和 pro-Kummer étale 拓扑，并证明了一个原始比较定理，从而得出上同调有限性与消去结果。该理论通过对数结构将 p-进 Hodge 理论推广至非紧致情形，并为 p-进 Riemann–Hilbert 对应提供了工具。

ABSTRACT

We develop a theory of log adic spaces by combining the theories of adic spaces and log schemes, and study the Kummer étale and pro-Kummer étale topology for such spaces. We also establish the primitive comparison theorem in this context, and deduce from it some related cohomological finiteness or vanishing results.

研究动机与目标

• 将对数几何从概形推广至 adic 空间，通过引入对数结构实现对非紧致 adic 空间上同调性质的研究。
• 为局部诺特的 fs 对数 adic 空间发展 Kummer étale 与 pro-Kummer étale 拓扑。
• 在对数 adic 设置下建立原始比较定理，得出上同调有限性与消去结果。
• 通过拟单值邻近循环为 p-进 Riemann–Hilbert 对应提供基础。
• 将先进的 p-进技术（尤其是来自完美oid几何的技术）适配至对数情境，包括以对数仿射完美oid对象作为 pro-Kummer étale 站的基础。

提出的方法

• 通过单群同态与图表引入对数 adic 空间，将对数概形推广至 adic 设置。
• 定义对数光滑态射，并为对数 Huber 环与凝聚对数 adic 空间构造对数微分形式层。
• 为局部诺特的 fs 对数 adic 空间发展 Kummer étale 站，证明有限 Kummer étale 覆盖的良效下降性与纯性，适用于挠局部系统。
• 利用 Scholze 的框架构造 pro-Kummer étale 站，证明在适当条件下，对数仿射完美oid对象构成其基。
• 在 pro-Kummer étale 站上引入完备结构层及其倾斜变体，证明其上同调的几乎消去结果。
• 在对数 adic 框架下重新表述 Beilinson 关于拟单值邻近循环的思想，证明其与比较定理的相容性。

实验结果

研究问题

• RQ1 如何系统地将对数几何从概形推广至 adic 空间？对数 adic 空间的关键结构特征是什么？
• RQ2 Kummer étale 与 pro-Kummer étale 拓扑在对数 adic 空间上的性质是什么？它们如何支持上同调下降与消去？
• RQ3 在对数 adic 设置下，对数仿射完美oid对象在多大程度上构成 pro-Kummer étale 拓扑的基？
• RQ4 是否可在对数 adic 空间背景下建立原始比较定理？其将导出哪些上同调有限性或消去结果？
• RQ5 如何在对数 adic 框架下定义并研究拟单值邻近循环？它们与比较定理有何关联？

主要发现

• 对于局部诺特的 fs 对数 adic 空间，Kummer étale 站对有限 Kummer étale 覆盖具有良效下降性，从而可定义 Kummer étale 基本群。
• Kummer étale 站上的解析凝聚层在仿射开集上具有消失的高阶上同调，推广了经典的 Kiehl 定理。
• 在 Spa(Qp, Zp) 上的局部诺特的 fs 对数 adic 空间上，对数仿射完美oid对象构成 pro-Kummer étale 拓扑的基。
• 原始比较定理在对数 adic 设置下成立，关联了对数 de Rham 上同调与 pro-Kummer étale 上同调，从而推出上同调有限性与消去结果。
• 在 pro-Kummer étale 站上，完备结构层及其倾斜变体满足几乎消去定理，扩展了完美oid几何中的结果。
• 拟单值邻近循环被构造并证明与比较同构相容，支持了 p-进 Riemann–Hilbert 对应。