如果把底数从复数换成 p 进数,问题会变得复杂得多。p 进数的绝对值满足强三角不等式,空间不再是通常意义上的拓扑空间,而需要刚性解析空间这样的框架来描述。p 进空间上的局部系统也不能直接照搬复几何的定义,因为 p 进拓扑缺少复拓扑中那些便于使用开覆盖与解析延拓的性质。为了在 p 进情形中讨论类似 de Rham 上同调的对象,Fontaine 学派引入了周期环。周期环的作用是充当系数,把 p 进几何中的对象与线性代数、微分形式联系起来。
Scholze 在 2013 年左右引入 pro-étale 拓扑和 de Rham 型周期层,为 p 进黎曼–希尔伯特对应打开了道路。随后刘若川与朱歆文对光滑刚性解析簇构造了 p 进黎曼–希尔伯特函子,把 p 进局部系统与带可积联络的向量丛联系起来。DLLZ 将这一工作推广到对数情形,Gao–Min–Wang 进一步建立了算术版本。这些工作主要处理的是 de Rham 型周期环上的局部系统。从几何角度看,这类局部系统可以看作相对 Fargues–Fontaine 曲线无穷远点附近的向量丛。Fargues–Fontaine 曲线是 p 进几何中连接 Galois 表示与向量丛的重要对象,周期环则是这条曲线上的函数环。
这些已有结果说明,p 进黎曼–希尔伯特对应在 de Rham 型系数上已经有一套较完整的理论。但它们也留下了一个自然的问题:能否把对应从 de Rham 型周期环进一步细化到 Robba 环型的周期层?Robba 环是 p 进函数论中讨论半开圆环上收敛级数的代数结构,在 p 进微分方程与刚性几何中反复出现。它比完备化的周期环保留了更多函数层面的信息,也因此更适合讨论过收敛现象。把对应细化到 Robba 环,意味着人们可以在更接近函数层面的精度上比较局部系统与微分方程,而不必每次都回到完备化的周期环上。
为什么要把对应细化到 Robba 环
Robba 环上的对应并不是简单替换系数环。p 进几何中有完备化、过收敛、范数估计等额外结构,换一个系数环会影响对应关系是否还能保持上同调信息。论文把讨论范围放在可提升半稳定形式概形上。半稳定形式概形是一类具有良好局部模型的形式概形,可以局部地用一组坐标描述,并且带有对数结构。可提升意味着这些形式概形可以提升到 p 进周期环上,从而允许人们使用周期环层。论文工作在 v 拓扑上,这是 p 进几何中比 étale 拓扑更细的拓扑,适合讨论 pro-étale 覆盖与周期层。
在这样的框架中,作者构造了两类过收敛周期层,一类对应 Robba 环型系数,另一类对应 de Rham 型系数。构造的关键是给这些周期层配上可积联络,并证明相应的 Poincaré 引理。Poincaré 引理说的是,周期层的 de Rham 复形在正次数上没有上同调,因此可以用它来计算局部系统的上同调。没有这个引理,周期层就只是一个系数层,无法承担黎曼–希尔伯特对应中的微分方程角色。
另一个关键困难是去完备化。局部计算自然发生在完备化的周期环上,但要在 Robba 环层面表述对应,必须把信息从完备化环下降到过收敛环。论文对所谓小表示证明了这个下降步骤不损失上同调信息。小表示是一类在范数意义下足够接近平凡的表示,这个条件避免了 p 进情形中可能出现的病态现象。去完备化定理的技术性很强,却是整篇论文能够从局部计算走向整体对应的关键。没有它,Robba 环上的对应就只能停留在形式陈述,而无法真正与局部系统一侧的上同调对接。
论文还处理了换系数的相容性。当把区间换成更小的子区间时,局部系统与联络两侧的对应仍然交换;当区间包含 1 时,Robba 环型系数可以进一步映到 de Rham 型周期环,而 Robba 版本的对应与 de Rham 版本的对应也彼此相容。这类陈述看似技术性,实际上决定了这套框架能否被后续研究直接调用。
论文的主要对应与 Frobenius 相容性
论文的主要定理可以概括为一个范畴等价:小 Robba 型局部系统,等价于周期环层空间上的小平坦联络;小 de Rham 型局部系统,也等价于相应的小平坦联络。这里的小是一个技术条件,要求局部系统或联络在某种范数意义下足够接近平凡。论文证明,这一等价保持秩、张量积、对偶与上同调。如果对应的局部系统与平坦联络互相对应,那么局部系统的上同调与平坦联络的 de Rham 上同调之间存在拟同构。这使对应不只是在对象层面成立,还在上同调层面成立。
在 p 进几何中,Frobenius 映射扮演着核心角色。它把 p 进对象与自身的 p 次幂版本联系起来,是算术几何中许多结构的基础。一个对应关系如果只在静态层面成立、却不与 Frobenius 交换,它在算术应用中的价值会大打折扣。论文在形式概形具有棱镜提升的条件下,构造了周期层之间的 Frobenius 映射,并证明黎曼–希尔伯特对应与 Frobenius 结构相容。棱镜提升是一类与 p 进周期环相容的提升,它保证 Frobenius 可以在周期层上定义。论文证明,在小局部系统与小平坦联络的对应下,Frobenius 作用在两侧相互匹配。这使得对应与算术结构协调,而不只是几何层面的形式等价。
论文给出了两个应用。第一个是仿射空间的 pro-étale 上同调计算。借助黎曼–希尔伯特对应,问题被化归为仿射空间通常 de Rham 上同调的计算,而后者是经典的、可以直接算出的。论文证明,对于正次数,仿射空间的 pro-étale 上同调与通常 de Rham 上同调的某些部分一致。这个计算本身在已有文献中以不同方法出现过,但本文的证明更直接,展示了 Robba 环对应的计算能力。
第二个应用是把过收敛周期层的上同调与特殊纤维的刚性上同调进行比较。刚性上同调是 p 进几何中替代经典 de Rham 上同调的重要上同调理论,由 Berthelot 等人发展。论文证明了一个典范拟同构,把刚性上同调与周期层上同调联系起来,并且这个拟同构与 Frobenius 交换。作者指出,这在本文的设定下验证了 Le Bras 的一个猜想。此前 Le Bras 与 Colmez–Niziol 用不同方法研究过相关问题,本文的对应为这些比较提供了新的途径。
这项工作的意义不在于解决某个孤立的猜想,而在于提供了一套可用的框架。在 Robba 环层面建立 p 进黎曼–希尔伯特对应,意味着此后研究者可以在过收敛的精度上讨论局部系统与微分方程之间的比较,而不必每次都回到完备化的周期环上。Frobenius 相容性保证了这套比较与算术结构不脱节。与已有的 de Rham 型版本相比,Robba 环版本为处理更一般的系数提供了语言;与 p 进辛普森对应相比,它给出了一个可以平行对照的微分方程侧图景。对于后续研究而言,这种框架性工作的价值往往要在被反复使用之后才会完全显现。