[论文解读] On Families of Pure Slope $L$-Functions

Elmar Große-Klönne|arXiv (Cornell University)|Aug 14, 2014

Algebraic Geometry and Number Theory参考文献 14被引用 6

一句话总结

本文建立了与 $p$-进解析空间上纯斜率 $\sigma$-模相关的 $L$-函数的亚纯延拓，推广了 Wan 对 Dwork 猜想的证明。通过构造一个 $K$-刚性解析权空间 $\mathcal{W}$，并在核 $\sigma$-模的 Grothendieck 群中证明斜率分解，作者表明 $L$-函数 $L(T,\kappa)$ 在 $\mathbb{A}^1_{\mathbb{C}_p} \times \mathcal{W}$ 上是亚纯的，扩展了关于单位根 $L$-函数的先前结果。

ABSTRACT

Let $R$ be the ring of integers in a finite extension $K$ of $\mathbb{Q}_p$, let $k$ be its residue field and let $χ:π_1(X) o R^{ imes}=GL_{1}(R)$ be a "geometric" rank one representation of the arithmetic fundamental group of a smooth affine $k$-scheme $X$. We show that the locally $K$-analytic characters $κ:R^{ imes} o\mathbb{C}_p^{ imes}$ are the $\mathbb{C}_p$-valued points of a $K$-rigid space ${\cal W}$ and that $$L(κ\circχ,T)=\prod_{\overline{x}\in X}\frac{1}{1-(κ\circχ)(Frob_{\overline{x}})T^{°(\overline{x})}},$$viewed as a two variable function in $T$ and $κ$, is meromorphic on $\mathbb{A}_{\mathbb{C}_p}^1 imes{\cal W}$. On the way we prove, based on a construction of Wan, a slope decomposition for ordinary overconvergent (finite rank) $σ$-modules, in the Grothendieck group of nuclear $σ$-modules.

研究动机与目标

• 将 Wan 对 $p$-进单位根 $L$-函数亚纯延拓的证明推广到更高秩和纯斜率 $L$-函数。
• 构造一个参数化局部 $K$-解析特征 $\kappa: R^\times \to \mathbb{C}_p^\times$ 的 $K$-刚性解析空间 $\mathcal{W}$，其中 $R$ 是 $p$-进域中整数环。
• 在核 $\sigma$-模的 Grothendieck 群中，为普通过收敛 $\sigma$-模建立斜率分解。
• 证明 $L$-函数 $L(T,\kappa) = \prod_{\overline{x} \in X} \frac{1}{1 - (\kappa \circ \chi)(\mathrm{Frob}_{\overline{x}}) T^{\deg(\overline{x})}}$ 在 $\mathbb{A}^1_{\mathbb{C}_p} \times \mathcal{W}$ 上是亚纯的。

提出的方法

• 将 $K$-刚性解析空间 $\mathcal{W}$ 构造为局部 $K$-解析特征 $\kappa: R^\times \to \mathbb{C}_p^\times$ 的参数空间，其中 $R$ 是 $\mathbb{Q}_p$ 的有限扩张 $K$ 中的整数环。
• 将 Wan 的极限模构造应用于 $p$-进完备化 $\widehat{A}$ 上的 $\sigma$-模，其中 $A$ 是光滑仿射 $k$-概形 $X$ 的弱形式 $R$-代数的提升，且 Frobenius 提升为 $\sigma$。
• 通过在 Grothendieck 群 $\Delta(\widehat{A})$ 中将普通过收敛 $\sigma$-模的类表示为斜率索引的核过收敛矩阵 $\mathcal{C}_r$ 的收敛级数，证明其 Hodge-Newton 斜率分解。
• 利用迹公式和 $\sigma$-模对偶性，通过公式 $\underline{H}(T,\iota(y)) = L(\xi^t \mu^s \mu^y, T)$ 将 $L$-函数与纤维上 Frobenius 的特征多项式联系起来。
• 通过滤子层的归纳法，将 $\sigma$-模的分次部分分解为单位根与更高斜率分量，利用 Wan 和 Coleman 在 $\sigma$-模理论中的结果。
• 应用 Coleman 的函子性结果（由 Coleman 提供），在 $\mathcal{W}$ 上刚性解析地变化极限模，确保 $L$-函数具有统一的亚纯行为。

实验结果

研究问题

• RQ1 能否将单位根 $L$-函数的 $p$-进亚纯延拓推广到与纯斜率 $\sigma$-模相关的 $L$-函数？
• RQ2 是否存在一个规范的 $K$-刚性解析空间 $\mathcal{W}$，用于参数化局部 $K$-解析特征 $\kappa$，使得 $L$-函数 $L(T,\kappa)$ 在 $\mathcal{W}$ 上亚纯变化？
• RQ3 在核 $\sigma$-模的 Grothendieck 群中，是否对普通过收敛 $\sigma$-模存在斜率分解？
• RQ4 当 $\kappa$ 在 $\mathcal{W}$ 上变化时，能否证明与秩一表示 $\chi: \pi_1(X) \to R^\times$ 相关的 $L$-函数在 $T$ 和 $\kappa$ 上均为亚纯？

主要发现

• $L$-函数 $L(T,\kappa) = \prod_{\overline{x} \in X} \frac{1}{1 - (\kappa \circ \chi)(\mathrm{Frob}_{\overline{x}}) T^{\deg(\overline{x})}}$ 在 $\mathbb{A}^1_{\mathbb{C}_p} \times \mathcal{W}$ 上是亚纯的，其中 $\mathcal{W}$ 是局部 $K$-解析特征 $\kappa: R^\times \to \mathbb{C}_p^\times$ 的 $K$-刚性解析空间。
• 空间 $\mathcal{W}$ 被构造为 $R^\times$ 上局部 $K$-解析函数环的刚性解析谱，为 $\kappa$ 提供了几何参数空间。
• 在 Grothendieck 群 $\Delta(\widehat{A})$ 中建立了 Hodge-Newton 斜率分解，将普通过收敛 $\sigma$-模的分次部分的类表示为收敛级数 $[\mathcal{M}] = \sum_{r \geq 1} \pm [\mathcal{C}_r]$，其中 $\mathcal{C}_r$ 为核过收敛矩阵。
• 从斜率分解和迹公式可推出 $L(T,\kappa)$ 的亚纯延拓，后者通过公式将 $L$-函数与 $\sigma$-模纤维上 Frobenius 的特征多项式联系起来。
• 将 $\kappa$ 特化为特征 $r \mapsto r^k$ 时，可恢复 Wan 对纯斜率 $p$-进 $L$-函数的亚纯延拓结果。
• 该证明依赖于 Coleman 提供的函子性结果，使得极限模可在 $\mathcal{W}$ 上刚性解析地变化，从而确保 $L$-函数具有统一的亚纯行为。