[论文解读] On higher special elements of $p$-adic representations

David Burns, Takamichi Sano+1 more|Research Portal (King's College London)|Sep 11, 2018

Algebraic Geometry and Number Theory参考文献 12被引用 3

一句话总结

本文引入了 $p$-进伽罗瓦上同调的外幂双对偶中更高特殊元素的新型代数框架，将欧拉系推广至更高秩。通过典范高度配对，建立了整性性质、消去子公式与同余关系，并将该理论应用于改进关于狄利克雷 $L$-函数导数及 Quillen–Lichtenbaum 猜想的猜想，证明了 $K_{2m-1}$-群的精化类数公式。

ABSTRACT

As a natural generalization of the notion of `higher rank Euler system', we develop a theory of `higher special elements' in the exterior power biduals of the Galois cohomology of $p$-adic representations. We show, in particular, that such elements encode detailed information about the structure of Galois cohomology groups and are related by families of congruences involving natural height pairings on cohomology. As a first concrete application of the approach, we use it to refine, and extend, a variety of existing results and conjectures concerning the values of derivatives of Dirichlet $L$-series.

研究动机与目标

• 开发 $p$-进伽罗瓦上同调群的外幂双对偶中更高特殊元素的一般代数理论。
• 在不施加对输入数据的限制性假设下，建立这些元素的整性与消去子性质。
• 通过典范高度配对，制定并证明更高特殊元素之间的同余关系。
• 将该理论应用于改进和扩展关于狄利克雷 $L$-函数导数及 Quillen–Lichtenbaum 猜想的猜想。
• 在分圆元素的背景下，通过更高特殊元素提供 $K_{2m-1}(\mathcal{O}_F)$ 的精化类数公式。

提出的方法

• 通过 $\mathfrak{A}$-模的复形 $C$、同构 $\lambda$ 及行列式模的一个生成元 $\mathcal{L}$，在 $H^1(C)$ 的 $a$-重外幂中定义更高特殊元素 $\eta_{(C,\lambda,\mathcal{L},x_\bullet)}$。
• 证明这些元素即使在不加限制的元组 $x_\bullet$ 条件下，也能计算 $H^2(C)$ 的更高 Fitting 理想并生成子商的消去子。
• 利用 Gorenstein 条件，构造外幂商与 $\mathfrak{A}$ 商之间的典范完美 $\mathfrak{A}$-双线性配对。
• 通过上同调群上的典范代数高度配对，建立更高特殊元素之间的同余关系。
• 将该理论应用于紧支集 $p$-进上同调及算术背景下的 Nekovář–Selmer 复形。
• 验证与分圆数据相关的更高特殊元素与 Deligne–Soulé 的分圆元素一致，从而与 $K$-理论建立联系。

实验结果

研究问题

• RQ1 如何在不施加对输入数据的限制性假设下，系统地定义 $p$-进伽罗瓦上同调的外幂双对偶中的更高特殊元素？
• RQ2 更高特殊元素具有何种整性与消去子性质，它们与伽罗瓦上同调群结构有何关联？
• RQ3 不同数据集之间的更高特殊元素之间存在何种关系，这些关系能否通过典范高度配对来捕捉？
• RQ4 该理论能否改进已知关于狄利克雷 $L$-函数导数及 Quillen–Lichtenbaum 猜想的猜想？
• RQ5 更高特殊元素的构造是否能恢复或改进 $K_{2m-1}(\mathcal{O}_F)$ 的经典类数公式？

主要发现

• 更高特殊元素 $\eta$ 即使在不加限制的元组 $x_\bullet$ 条件下，也能计算 $H^2(C)$ 的更高 Fitting 理想并生成 $H^2(C)$ 子商的消去子，如定理 3.10 所示。
• 在 Gorenstein 条件下，$\bigwedge^a_{\mathfrak{A}}H^1(C)$ 关于由 $\eta$ 生成的子模的商与 $\mathfrak{A}$ 关于由 $\eta$ 确定的理想之商之间存在典范完美 $\mathfrak{A}$-双线性配对，如定理 3.27 所建立。
• 更高特殊元素之间的同余关系由上同调上的典范代数高度配对所控制，如定理 3.36 所证明。
• 与分圆数据相关的更高特殊元素与 Deligne–Soulé 的分圆元素一致，确认其在 $K$-理论中的作用。
• 该理论证明了 $K_{2m-1}(\mathcal{O}_F)$ 的精化类数公式，即 $$\left(\varepsilon_m^- \cdot K_{2m-1}(\mathcal{O}_F)^\prime / \mathbb{Z}'[G] \cdot c_F(m)\right)^\vee \cong \mathbb{Z}'[G]\varepsilon_m^- / \mathrm{Fit}^0_{\mathbb{Z}'[G]}(K_{2m-2}(\mathcal{O}_{F,\Sigma})^\prime)$$，如定理 5.15 所述。
• 该结果纠正了 El Boukhari [15, Th. 6.5] 中的错误，通过提供一个正确定义的因子 $$\prod_{\ell \in \Sigma \setminus \{\infty\}} (1 - \mathrm{Fr}_\ell^{-1} \cdot \ell^{m-1}) e_{I_\ell}$$，解决了此前错误定义的“Q(0)”因子问题。