[论文解读] Les suites spectrales de Hodge-Tate

Ahmed Abbes, M. Gros|arXiv (Cornell University)|Mar 8, 2020

Algebraic Geometry and Number Theory参考文献 38被引用 3

一句话总结

本文通过一种新颖的相对化弗尔廷斯拓扑（Faltings' topos）版本，在 p-进霍奇理论中建立了相对霍奇-霍滕谱序列，基于弗尔廷斯的主要 p-进比较定理。该谱序列通过拓扑特殊纤维上的库默尔理论构建，并证明了其函子性与伽罗瓦等变性，将弗尔廷斯的绝对结果推广至新的相对设定，包含局部与整体形式。

ABSTRACT

This book presents two important results in p-adic Hodge theory following the approach initiated by Faltings, namely (i) his main p-adic comparison theorem, and (ii) the Hodge-Tate spectral sequence. We establish for each of these results two versions, an absolute one and a relative one. While the absolute statements can reasonably be considered as well understood, particularly after their extension to rigid varieties by Scholze, Faltings' initial approach for the relative variants has remained much less studied. Although we follow the same strategy as that used by Faltings to establish his main p-adic comparison theorem, part of our proofs is based on new results. The relative Hodge-Tate spectral sequence is new in this approach.

研究动机与目标

• 将弗尔廷斯的主要 p-进比较定理推广至相对设定，推广绝对情形的结果。
• 构建并研究一个新版本的相对弗尔廷斯拓扑，这是相对霍奇-霍滕谱序列的基础。
• 通过拓扑特殊纤维上的库默尔理论，建立相对霍奇-霍滕谱序列。
• 在相对设定下，证明谱序列的函子性与伽罗瓦等变性。
• 在不依赖完整拓扑形式化理论的前提下，提供相对霍奇-霍滕谱序列的局部与整体形式。

提出的方法

• 通过射影极限与对齐拓扑积，引入弗尔廷斯拓扑的相对变体。
• 利用模的几乎有限性与 α-有限性条件，控制拓扑中的上同调行为。
• 在拓扑的特殊纤维上应用库默尔理论，以构建霍奇-霍滕谱序列。
• 利用 K(π,1) 丛，证明相对设定下伽罗瓦上同调的消影性与纯度结果。
• 建立相对 α-有限性与归一化长度不变量，以比较上同调群。
• 利用近期关于 K(π,1) 丛（Achinger）的结果，简化绝对比较定理的证明。

实验结果

研究问题

• RQ1 弗尔廷斯的主要 p-进比较定理如何被推广至相对设定？
• RQ2 相对弗尔廷斯拓扑的结构是什么？它如何支持上同调比较定理？
• RQ3 如何通过拓扑方法在相对情形下构建霍奇-霍滕谱序列？
• RQ4 相对霍奇-霍滕谱序列的局部与整体形式是什么？它们之间有何关系？
• RQ5 谱序列在伽罗瓦作用与对数概形的态射下如何表现？

主要发现

• 本文构建了一个新的相对弗尔廷斯拓扑版本，这是相对霍奇-霍滕谱序列的基础。
• 通过拓扑特殊纤维上的库默尔理论，建立了相对霍奇-霍滕谱序列，推广了 Scholze 的绝对情形。
• 证明了谱序列在上同调群的自然作用下具有函子性与伽罗瓦等变性。
• 作者通过几乎-étale ϕ-模的精细分析，证明了弗尔廷斯主要 p-进比较定理的相对版本。
• 推导出两个不依赖完整拓扑形式化工具的相对霍奇-霍滕谱序列的局部形式。
• 借助 Achinger 关于对数概形的 K(π,1) 丛结果，显著简化了绝对比较定理的证明。