[论文解读] p-adic families of Galois representations and higher rank Selmer groups

Joël Bellaïche, Gaëtan Chenevier|ArXiv.org|Feb 15, 2006

Advanced Algebra and Geometry参考文献 36被引用 27

一句话总结

本文建立了 $p$-进特征簇上某点处切空间维数与伴随伽罗瓦表示的 Selmer 群维数之间的数值关系，为通过 $p$-进表示族研究高阶 Selmer 群提供了框架。关键结果将特征簇的几何性质与算术不变量联系起来，特别是在定 definite 单位群和自守形式的背景下。

ABSTRACT

This is the final version of a book about p-adic families of Galois representations, Selmer groups, eigenvarieties and Arthur's conjectures

研究动机与目标

• 通过 $p$-进表示族理解在何种条件下 Selmer 群中可存在两个或更多线性无关元素。
• 建立特征簇上某点处切空间维数与伴随表示 Selmer 群维数之间的数值关系。
• 在 $p$-进表示族的背景下研究高阶 Selmer 群，特别是针对精化可裂表示和定 definite 单位群上的自守形式。
• 证明符号猜想并计算自守表示的局部根数，特别是在 $U(m)$ 和 Arthur 包的背景下。
• 提供关于特征簇结构及其相关伽罗瓦表示的条件与无条件结果，特别是针对 $U(3)$ 和高阶单位群。

提出的方法

• 利用 $p$-进霍奇理论和 $(\varphi,\Gamma)$-模研究精化可裂表示的三角化形变。
• 应用通过爆破的正式下降结果，将基辛关于可裂周期的定理推广至非平坦模。
• 构造精化 $p$-进表示的刚性解析族，并证明弱精化族中存在可裂周期。
• 运用伪特征标和广义矩阵代数理论分析局部环上的可约化轨迹与 Ext-群。
• 利用局部 Langlands 对应和 Arthur 的重数公式，计算 $U(m)$ 表示的 $L$-参数和局部根数。
• 应用 Arthur 算法通过 Levi 子群计算 $L$-参数和局部配对，特别利用拟分裂 $L^*$ 和紧内形表示计算 $\varepsilon$-因子。

实验结果

研究问题

• RQ1 在何种条件下，$p$-进表示族能够检测到 Selmer 群中两个或更多独立元素？
• RQ2 特征簇上某点处切空间维数与该点处通过特征簇可见的 Selmer 群部分的维数之间有何关系？
• RQ3 三角化形变与精化可裂形变在构造高阶 Selmer 群中起什么作用？
• RQ4 局部根数和 $L$-参数如何决定自守表示在 $U(m)$ 离散谱中的重数？
• RQ5 Arthur 点处的特征簇结构是怎样的？其几何性质如何反映高阶 Selmer 群的结构？

主要发现

• 本文建立了特征簇上某点处切空间维数与 $\mathrm{ad}\rho_x$ 的 Selmer 群中可见部分维数之间的数值关系。
• 对于 $U(m)$ 上的表示 $\pi^n$，若 $\varepsilon(\pi,1/2) = -1$，则重数 $m(\pi^n)$ 为 1；否则为 0，此结果由 Arthur 重数公式得出。
• 与紧致 Levi 子群相关的表示 $\pi_s$ 的局部根数 $\varepsilon(\pi_s, 1/2)$ 计算为 $-1$，从而确认了符号猜想。
• $\pi_s$ 的 $L$-参数 $\phi_s$ 被证明为 $\phi_{\psi_\infty}$，且通过根 $\beta$ 和元素 $s_\psi = \mathrm{diag}(1,\dots,1,-1,-1)$ 计算出配对 $\langle s_\psi, \pi_w \rangle_{L^*}$ 为 $-1$。
• 构造了幂等型特征簇及其相关的伽罗瓦表示，使得能够研究全局精化形变函子和不可约性。
• 对于 $U(3)$，结果是无条件的；对于 $m \geq 4$ 的 $U(m)$，结果是条件性的，依赖于单位群上自守形式所关联的伽罗瓦表示的存在性。