核心概念
本文證明了p進域上光滑部分proper rigid解析簇的p進幾何pro-étale上同調可以由Fargues-Fontaine曲線上的固態擬凝聚層表示,並且這些層滿足Poincaré對偶性。
本文探討了p進域上光滑部分proper rigid解析簇的p進幾何pro-étale上同調的對偶性問題。作者證明了這些上同調可以由Fargues-Fontaine曲線上的固態擬凝聚層表示,並證明了這些層滿足Poincaré對偶性。
主要內容
引言: 文章首先回顧了先前關於dagger曲線的算術p進pro-étale上同調的Poincaré對偶性的結果,並指出對於任意維度的部分proper rigid解析簇,這種對偶性也應該存在。然而,一維開單位圓盤的例子表明,這種對偶性不能是簡單的對偶性(除非是proper簇的情況)。
Fargues-Fontaine曲線上的擬凝聚層: 文章回顧了Fargues-Fontaine曲線的基本知識,以及其上的擬凝聚層的定義和性質。作者特別關注了固態擬凝聚層的概念,並解釋了如何將它們視為YFF上的ϕ模。
Fargues-Fontaine曲線上的Syntomic復形: 文章定義了Fargues-Fontaine曲線上的Syntomic上同調層,並解釋了它們與Hyodo-Kato上同調和de Rham上同調的關係。
Fargues-Fontaine曲線上的pro-étale復形: 文章定義了Fargues-Fontaine曲線上的pro-étale上同調層,並通過比較定理將它們與Syntomic上同調層聯繫起來。
Fargues-Fontaine曲線上的Poincaré對偶性: 文章證明了Syntomic上同調層滿足Poincaré對偶性,並利用比較定理將其推廣到pro-étale上同調層。
主要結果
定理 1.2 (pro-étale層的Poincaré對偶性): 對於p進域K上的光滑部分proper rigid解析簇X,存在自然的、Galois等變的擬同構:
Epro´et(XC, Qp) ∼→ RHomQCoh(XFF,C♭)(Epro´et,c(XC, Qp(d))[2d], O).
其中,Epro´et(XC, Qp) 和 Epro´et,c(XC, Qp(d)) 分別表示 X 的幾何 pro-étale 上同調層和帶有緊支撐的幾何 pro-étale 上同調層。
定理 1.4 (Künneth公式): 對於p進域K上的兩個光滑部分proper rigid解析簇X和Y,典範映射:
κ: Epro´et(XC, Qp) ⊗L O Epro´et(YC, Qp) → Epro´et((X ×K Y)C, Qp)
是QCoh(XFF,C♭)中的擬同構。
文章貢獻
本文的主要貢獻在於證明了p進域上光滑部分proper rigid解析簇的p進幾何pro-étale上同調層滿足Poincaré對偶性。這一結果是p進霍奇理論的重要進展,為進一步研究p進簇的幾何和算術性質提供了新的工具。