[论文解读] Polylogarithmic analogue of the Coleman-Ihara formula, I

Nakamura, Hiroaki, Kenji Sakugawa+1 more|arXiv (Cornell University)|Oct 4, 2014

Advanced Mathematical Identities参考文献 30被引用 4

一句话总结

本文通过证明当 $\ell = p$ 时，$p$-进多对数特征标限制为科茨-威勒斯同态乘以科尔曼的 $p$-进多对数函数在与 $p$ 互素的单位根处的取值，建立了科尔曼-伊哈拉公式的多对数类比。该结果将经典的科尔曼-伊哈拉公式从 $p$-进 $L$-值推广到 $p$-进多对数函数，利用科尔曼的互惠律及伽罗瓦多对数函数的性质。

ABSTRACT

The Coleman-Ihara formula expresses Soule's $p$-adic characters restricted to $p$-local Galois group as the Coates-Wiles homomorphism multiplied by $p$-adic $L$-values at positive integers. In this paper, we show an analogous formula that $\ell$-adic polylogarithmic characters for $\ell=p$ restrict to the Coates-Wiles homomorphism multiplied by Coleman's $p$-adic polylogarithms at any roots of unity of order prime to $p$.

研究动机与目标

• 将科尔曼-伊哈拉公式从 $p$-进 $L$-值推广到伽罗瓦表示背景下的 $p$-进多对数函数。
• 建立 $p$-进多对数特征标与科茨-威勒斯同态之间直接的局部公式关系。
• 通过聚焦于多对数结构而非全局雅可比和插值，提供科尔曼-伊哈拉公式的另一种更内在的证明。
• 利用科尔曼的 $p$-进多对数理论与互惠律，将经典公式推广到更高阶的多对数层次。

提出的方法

• 利用伽罗瓦多对数函数 $\ell i_m(z,\gamma)$ 作为 $\mathbb{P}^1 \setminus \{0,1,\infty\}$ 上路径的伽罗瓦变换的系数，推广苏莱的特征标。
• 应用科尔曼的互惠律，将单位根处 $p$-进多对数函数的取值与科茨-威勒斯同态联系起来。
• 利用科布利茨测度和 $p$-进多对数函数，定义并分析经典多对数函数的 $p$-进类比。
• 利用伽罗瓦群 $\mathrm{Gal}(\Omega_p/\mathbb{Q})$ 的结构以及互惠映射 $\mathrm{rec}: \mathcal{U}_\infty \to \mathrm{Gal}(\Omega_p/\mathbb{Q}(\mu_{p^\infty}))$，将单位与伽罗瓦元素联系起来。
• 应用希尔伯特范数剩余符号与局部类域论，推导涉及 $p$-进对数函数与迹映射的同余式。
• 通过迹与对数导数技术，建立配对 $[a, \epsilon_n]$ 模 $p^n$ 的同余式，借助迹与下降论证导出主公式。

实验结果

研究问题

• RQ1 科尔曼-伊哈拉公式如何从 $p$-进 $L$-值推广到 $p$-进多对数函数？
• RQ2 在与 $p$ 互素的单位根处，$p$-进多对数特征标与科茨-威勒斯同态之间的确切关系是什么？
• RQ3 能否通过多对数结构而非全局雅可比和插值，构造科尔曼-伊哈拉公式的直接局部证明？
• RQ4 科尔曼的 $p$-进多对数函数在 $\mathbb{Q}$ 的绝对伽罗瓦群的伽罗瓦表示中起什么作用？
• RQ5 在 $p$-进设定下，迹与对数导数技术如何产生同余式，从而恢复科茨-威勒斯同态？

主要发现

• 本文证明：当 $\ell = p$ 时，$p$-进多对数特征标 $\chi_m(z,\sigma)$ 限制为科茨-威勒斯同态 $\phi^{CW}_m(\epsilon)$ 乘以科尔曼的 $p$-进多对数函数 $\mathrm{Li}^{\text{adic}}_m(z)$ 在与 $p$ 互素的单位根处的取值。
• 主公式（定理 4.4）通过科尔曼的互惠律，建立了 $p$-进多对数特征标与科茨-威勒斯同态之间的直接联系。
• 该公式不依赖于全局雅可比和插值，为科尔曼-伊哈拉公式提供了更内在且局部的证明。
• 结果被推广至 $1 + (\zeta_p - 1)^2 \mathcal{O}_F$ 中的单位，并通过迹与对数导数技术推广至 $\alpha \in 1 + (\zeta_p - 1)\mathcal{O}_F$。
• 建立了模 $p^n$ 的同余式：$[a, \epsilon_n] \equiv \mathrm{Tr}_{F/\mathbb{Q}_p}\left(\log_p(a) \left(1 - \frac{\sigma_F}{p}\right) \phi^{CW}_{1,F}(\epsilon)\right) \mod p^n$，将希尔伯特符号与科茨-威勒斯同态联系起来。
• 证明确认了 $p$-进多对数特征标与 $p$-进对数函数及迹映射相容，验证了伽罗瓦作用在单位上的结构。