A note on extensions of $p$-adic representations of $\mathrm{GL}_2(\mathbb{Q}_p)$

技术摘要：GL₂(Qₚ) 的 p-adic 表示的扩张

问题陈述
本文旨在计算 $G = \text{GL}_2(\mathbb{Q}_p)$ 的有限长度容许 p-adic Banach 空间表示的对偶范畴中的扩张群。虽然 p-adic 局部朗兰兹对应（LLC）在特定伽罗瓦表示的同构类与 Banach 空间表示之间建立了双射，但要获得更深层的结构理解，需要分析导出范畴，特别是这些对象之间的扩张群（$\text{Ext}^i$）。这些扩张对于理解伽罗瓦表示的形变理论与 $G$-表示的形变理论之间的相容性至关重要。

在此项工作之前，Emerton、Breuil、Paškunas 和 Colmez 在特征 $p$ 情形（模 $p$ 表示）下已取得显著进展。然而，关于特征 0 情形（特别是针对 p-adic Banach 空间表示）的扩张群文献仍然匮乏。现有结果仅涵盖特定情形，例如单位连续表示与光滑模 $p$ 主级表示之间的扩张（Hauseux），或两个超cuspidal 表示之间的扩张（Paškunas）。在计算涉及 p-adic LLC 产生的非普通表示的对偶表示的扩张方面，存在空白。

方法论
作者采用了由 Colmez 和 Paškunas 发展的 p-adic 局部朗兰兹对应框架，利用“蒙特利尔函子”$V$ 及其对偶变体。

1. 范畴框架：研究聚焦于带有中心特征标 $\zeta$ 的单位容许 $E$-Banach 空间表示范畴 $\text{Ban}^{\text{adm}}_{G,\zeta}(E)$。由于该范畴缺乏足够的内射对象，作者利用 Yoneda 构造来定义扩张群 $\text{Ext}^i_{G,\zeta}$。
2. 对偶性与函子：分析高度依赖于表示 $\Pi$ 与其连续对偶 $\Pi^*$ 之间的关系。作者利用 Schikhof 对偶和庞特里亚金对偶，将 Banach 空间表示与完备群代数上的模联系起来。关键工具是函子 $\check{V}$，它将 Banach 空间表示的对偶映射回伽罗瓦表示，满足 $\check{V}(\Pi^*) \cong V(\Pi)^*(\varepsilon\zeta)$。
3. 块分解：遵循 Paškunas 的方法，根据表示的模 $p$ 约化将范畴分解为块。作者分析了通用伪特征标形变环 $R^{\text{ps},\psi}_{\text{tr}\rho_B}$ 在这些块上的作用。
4. 归约为交换代数：对于特定块内绝对不可约表示，其自同态环被证明是域 $E$。随后，扩张群被归约为在完备局部环 $A$ 的模范畴中计算扩张，该环被识别为伪特征标形变环在极大理想处的完备化。

主要贡献与结果

• 扩张的分类（定理 1.1）：在伽罗瓦表示 $V$ 的约化满足一般性条件的情况下，本文提供了扩张群 $\text{Ext}^i_{G,\zeta}(\pi^*, \Pi(V)^*)$ 的完整分类。

  • 消失情形：若 $\pi$ 是绝对不可约容许单位 Banach 表示，且其关联的伽罗瓦表示 $V(\pi)$ 不与 $V$ 同构，则对于所有 $i \geq 0$，$\text{Ext}^i_{G,\zeta}(\pi^*, \Pi(V)^*) = 0$。
  • 非消失情形：若 $V(\pi) \cong V$，则扩张群仅在 $0 \leq i \leq 3$ 时非零。具体而言，$\text{Ext}^i_{G,\zeta}(\pi^*, \Pi(V)^*) \cong E^{\binom{3}{i}}$。这一结果依赖于相关形变环 $A$ 是维数为 3 的完备正则局部环这一事实，从而允许使用 Koszul 复形来计算 Ext 群。

• 在 Drinfeld 空间上的应用（推论 1.2）：作者将这些消失结果应用于有限层级 Drinfeld 空间的 p-adic 平展上同调的几何背景。

  • 他们考虑上同调 $H^1_{\text{ét}}(M_\infty, E(1))$ 的 $V$-等变分量，其中 $V$ 是一个超cuspidal 伽罗瓦表示。
  • 利用 Colmez、Dospinescu 和 Nizioł 建立的同构（该同构将此上同调与 $\Pi(V)^*$ 的副本联系起来），作者证明了该上同调分量与附着于可约伽罗瓦表示 $\rho_p$ 的表示的对偶之间不存在扩张（前提是 $\rho_p$ 满足特定的霍奇 - 塔特条件和一般性条件）。

意义与主张
本文主张在计算有限长度容许 p-adic Banach 空间表示的对偶范畴中的扩张方面具有新颖性，特别是当其中一个表示是非普通表示的对偶时。作者指出，这些结果被应用于证明附着于可约伽罗瓦表示的对偶 p-adic Banach 空间表示与 Drinfeld 空间 p-adic 平展上同调的超cuspidal 等变分量之间扩张的消失。

该工作被呈现为一篇“简短笔记”，填补了特征 0 文献中的特定空白，补充了在模 $p$ 情形下已完成的广泛工作。作者强调，结果依赖于伽罗瓦表示约化的一般性以及与该范畴块相关的形变环的特定结构。本文并未提出新的实验应用，而是巩固了在局部朗兰兹纲领背景下，伽罗瓦表示的形变理论与 p-adic 群表示理论之间的理论联系。