[論文レビュー] 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$-進多対数的特徴の $\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)$ を用い、スールの特徴の一般化を行う。
• コロンの双対性法則を適用し、単位根における $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)$ が、$p$ と互いに素な単位根におけるコロンの $p$-進多対数関数 $\mathrm{Li}^{\text{adic}}_m(z)$ の値にスケーリングされたコーケッツ＝ワイルズ準同型写像 $\phi^{CW}_m(\epsilon)$ に制限されることを証明する。
• 主公式（定理 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$-進対数関数およびトレース写像と整合することを確認し、単数上のガロア作用の構造が正当化された。