2025-11-10T02:32:02.805735

On equivariant vector bundles on the Fargues--Fontaine curve over a finite extension

Steingart
Let $K/E/\mathbb{Q}_p$ be a tower of finite extensions with $E$ Galois. We relate the category of $G_K$-equivariant vector bundles on the Fargues--Fontaine curve with coefficients in $E$ with $E$-$G_K$-$B$-pairs and describe crystalline and de Rham objects in explicit terms. When $E$ is a proper extension, we give a new description of the category in terms of compatible tuples of $\mathbf{B}_e$-modules, which allows us to compute Galois cohomology in terms of an explicit Čech complex which can serve as a replacement of the fundamental exact sequence.
academic

On equivariant vector bundles on the Fargues--Fontaine curve over a finite extension

基本信息

  • 论文ID: 2510.12533
  • 标题: On equivariant vector bundles on the Fargues--Fontaine curve over a finite extension
  • 作者: Rustam Steingart
  • 分类: math.NT (数论), math.AG (代数几何)
  • 发表时间: October 15, 2025 (arXiv预印本)
  • 论文链接: https://arxiv.org/abs/2510.12533

摘要

设 K/E/QpK/E/\mathbb{Q}_p 是有限扩张塔，其中 EE 是伽罗瓦扩张。本文建立了 Fargues-Fontaine 曲线上系数为 EE 的 GKG_K-等变向量丛范畴与 EE-GKG_K-BB-对的关系，并用显式的术语描述了晶体和 de Rham 对象。当 EE 是真扩张时，我们给出了该范畴的新描述，用兼容的 Be\mathbf{B}_e-模元组表示，这允许我们通过显式的 Čech 复形计算伽罗瓦上同调，可以作为基本正合序列的替代。

研究背景与动机

  1. 核心问题: 本文研究 Fargues-Fontaine 曲线上等变向量丛的分类和性质，特别是当基域 EE 不等于 Qp\mathbb{Q}_p 时的情况。
  2. 重要性: Fargues-Fontaine 曲线在 pp-进 Hodge 理论中起着基础性作用。它提供了 pp-进伽罗瓦表示的几何解释，连接了代数数论和代数几何。
  3. 现有方法的局限性:
    • 当 E=QpE = \mathbb{Q}_p 时，理论已经相当完善，等变向量丛范畴等价于 BB-对范畴
    • 但当 E≠QpE \neq \mathbb{Q}_p 时，情况变得更加微妙，现有的"晶体"向量丛概念过于狭窄
  4. 研究动机:
    • 推广 Fargues-Fontaine 理论到更一般的基域 EE
    • 发现当 [E:Qp]>1[E:\mathbb{Q}_p] > 1 时出现的新现象
    • 建立新的计算伽罗瓦上同调的方法

核心贡献

  1. 建立范畴等价: 证明了 GKG_K-EE-BB-对范畴与 GKG_K-等变向量丛范畴的等价性（定理1）
  2. 发现新的几何现象: 当 E≠QpE \neq \mathbb{Q}_p 时，曲线 XEX_E 在 ∞\infty 点上方有 [E:Qp][E:\mathbb{Q}_p] 个点，允许多种"打洞"方式
  3. 引入 BeB_e-元组理论: 提出了用兼容的 BeB_e-模元组描述向量丛的新方法（定理2）
  4. 建立显式上同调计算: 通过 Čech 复形计算伽罗瓦上同调，提供基本正合序列的替代
  5. 精化晶体对象定义: 给出更精细的晶体向量丛定义，使其对应于真正的晶体表示

方法详解

任务定义

研究 Fargues-Fontaine 曲线 XE=XCp♭,EX_E = X_{C_p^{\flat}, E} 上的 GKG_K-等变向量丛，其中：

  • 输入：有限扩张塔 K/E/QpK/E/\mathbb{Q}_p，EE 伽罗瓦
  • 输出：等变向量丛的分类和性质描述
  • 约束：保持与经典 pp-进 Hodge 理论的兼容性

核心构造

1. Fargues-Fontaine 曲线的构造

曲线定义为 XE,F=Proj(PE,F,πE)X_{E,F} = \text{Proj}(P_{E,F,\pi_E})，其中分次环为： PE,F,πE=⨁n≥0(BE+)φE=πEnP_{E,F,\pi_E} = \bigoplus_{n \geq 0} (B_E^+)^{\varphi_E = \pi_E^n}

关键性质：

  • XEX_E 是完备曲线，定义域为 EE
  • 存在标准映射 XE→XQpX_E \to X_{\mathbb{Q}_p}
  • ∞\infty 点上方有 [E:Qp][E:\mathbb{Q}_p] 个点 {∞σ:σ∈ΣE}\{\infty_\sigma : \sigma \in \Sigma_E\}

2. BB-对的推广

对于 EE-BB-对 W=(We,WdR+)W = (W_e, W_{dR}^+)：

  • WeW_e 是连续有限自由 E⊗QpBeE \otimes_{\mathbb{Q}_p} B_e-表示
  • WdR+W_{dR}^+ 是 GKG_K-等变 BdR+B_{dR}^+-格

利用分解： E⊗QpBdR+=∏σ∈ΣEBdR+E \otimes_{\mathbb{Q}_p} B_{dR}^+ = \prod_{\sigma \in \Sigma_E} B_{dR}^+

3. BeB_e-元组理论

定义：设 S={∞σ:σ∈ΣE}S = \{\infty_\sigma : \sigma \in \Sigma_E\}，LL 是 SS 的余覆盖。BeB_e-元组是：

  • 对每个 T∈LT \in L，有自由 Be,TB_{e,T}-模 MTM_T
  • 兼容性同构：Be,T1∪T2⊗Be,T1MT1≅Be,T1∪T2⊗Be,T2MT2B_{e,T_1 \cup T_2} \otimes_{B_{e,T_1}} M_{T_1} \cong B_{e,T_1 \cup T_2} \otimes_{B_{e,T_2}} M_{T_2}

其中 Be,T=(BE+[1/∏x∈Ttx])φE=1B_{e,T} = (B_E^+[1/\prod_{x \in T} t_x])^{\varphi_E = 1}。

技术创新点

  1. 多点分析: 利用 ∞\infty 上方多个点的几何结构，而非传统的单点方法
  2. 严格性结果: 证明了 Čech 复形的微分是严格的，利用了几乎 CpC_p-表示理论
  3. 统一框架: 将晶体、de Rham 和一般情况统一在同一个理论框架下

主要定理

定理1（范畴等价）

以下成立：

  1. GKG_K-EE-BB-对范畴等价于 XEX_E 上 GKG_K-丛范畴
  2. 在上述等价下，晶体、de Rham、0斜率对象相互对应

定理2（BeB_e-元组描述）

设 LL 是 SS 的余覆盖，则函子 BunXE→{Be-元组}\text{Bun}_{X_E} \to \{B_e\text{-元组}\}F↦(F(X∖T))TF \mapsto (F(X \setminus T))_T 是范畴等价。对 GKG_K-等变情况同样成立。

定理3（上同调计算）

对于 GKG_K-EE-BB-对 WW 及其对应向量丛 VV： [We⊕WdR+→WdR]≃C∙(L,V)[W_e \oplus W_{dR}^+ \to W_{dR}] \simeq C^{\bullet}(L,V) 是严格且 GKG_K-等变拟同构的。

应用与例子

晶体向量丛的刻画

向量�束 EE 是晶体的当且仅当存在 φq\varphi_q-模 DD 使得： E(U)=(BE+[1/∏σt∞σ]⊗ED)φq=1E(U) = (B_E^+[1/\prod_\sigma t_{\infty\sigma}] \otimes_E D)^{\varphi_q = 1} 其中 GEG_E 在 DD 上平凡作用。

基本正合序列的推广

对两个嵌入 σ≠τ\sigma \neq \tau，得到"基本正合序列"： 0→V→BE+[1/tσ]φE=1⊗V×BE+[1/tτ]φE=1⊗V→BE+[1/tσtτ]φE=1⊗V→00 \to V \to B_E^+[1/t_\sigma]^{\varphi_E=1} \otimes V \times B_E^+[1/t_\tau]^{\varphi_E=1} \otimes V \to B_E^+[1/t_\sigma t_\tau]^{\varphi_E=1} \otimes V \to 0

相关工作

本文建立在以下重要工作基础上：

  1. Fargues-Fontaine: 建立了基本的曲线理论和 E=QpE = \mathbb{Q}_p 情况
  2. Nakamura: 引入了 BB-对的概念
  3. Berger: 发展了多变量 (φ,Γ)(\varphi,\Gamma)-模理论
  4. Pham: 研究了解析晶体表示，但其"晶体"概念较窄

结论与讨论

主要结论

  1. 成功推广了 Fargues-Fontaine 理论到一般有限扩张 E/QpE/\mathbb{Q}_p
  2. 发现并利用了 E≠QpE \neq \mathbb{Q}_p 时的新几何现象
  3. 建立了计算伽罗瓦上同调的新方法

局限性

  1. 要求 EE 是伽罗瓦扩张（虽然作者指出可以推广）
  2. BeB_e-元组理论需要 [E:Qp]>1[E:\mathbb{Q}_p] > 1
  3. 与多变量 (φ,Γ)(\varphi,\Gamma)-模的关系需要进一步研究

未来方向

  1. 研究多变量 (φ,Γ)(\varphi,\Gamma)-模与 BeB_e-元组的完全对应
  2. 推广到非伽罗瓦扩张
  3. 应用到具体的算术问题

深度评价

优点

  1. 理论深度: 深刻揭示了 pp-进 Hodge 理论中的新现象
  2. 技术创新: BeB_e-元组理论提供了全新的视角
  3. 计算价值: 显式的 Čech 复形为实际计算提供了工具
  4. 严谨性: 证明技术严密，特别是严格性结果的建立

不足

  1. 可读性: 技术性很强，需要深厚的 pp-进 Hodge 理论背景
  2. 应用: 缺乏具体的算术应用例子
  3. 完整性: 某些构造的细节（如与 Berger 理论的关系）需要进一步发展

影响力

  1. 理论贡献: 为 pp-进 Hodge 理论提供了新的几何视角
  2. 方法论: BeB_e-元组方法可能适用于其他相关问题
  3. 计算工具: 为相关领域的研究者提供了新的计算手段

适用场景

本文方法特别适用于：

  1. 研究非平凡基域上的 pp-进表示
  2. 需要显式计算伽罗瓦上同调的问题
  3. 连接代数数论和代数几何的交叉研究

参考文献

论文引用了该领域的重要文献，包括：

  • Fargues-Fontaine 的原创工作 FF19
  • Berger 的多变量理论 Ber13
  • Fontaine 的基础理论 Fon20
  • 相关的技术工具和方法