p進L関数

テンプレート:要改訳 数学では、p-進ゼータ函数 (p-adic zeta function)、あるいはより一般的に p-進 L-函数 (p-adic L-function) とは、リーマンゼータ函数やより一般的なディリクレの L-函数に類似した函数であるが、函数の定義域と値域が p-進的であるものを言う（ここに p は素数である）。p-進 L-函数の定義域は p-進整数環 Z_p や、射有限 p-群、ガロア表現の p-進族であり、像はp-進数体 Q_p もしくはその代数的閉包である。

ディリクレ L-函数

ディリクレ L-函数は、級数

$L(s,\chi )=\sum _{n=1}^{\mathrm{\infty }}\frac{\chi (n)}{n^s}=\prod _{p\text{ prime number}}\frac{1}{1-\chi (p)p^{-s}}$

の解析接続として与えられる。負の整数でのディリクレ L-函数の値は、

$L(1-n,\chi )=-\frac{B_{n,\chi }}{n}$

である。ここに、B_n,χ は一般化されたベルヌーイ数であり、導手 f を持つディリクレ指標 χ に対し、

$\sum _{n=0}^{\mathrm{\infty }}{B}_{n,\chi }\frac{t^n}{n!}=\sum _{a=1}^f\frac{\chi (a)t{e}^{at}}{e^{ft}-1}$

で定義される。

補完を使った定義

久保田-レオポルドの p-進 L-函数 L_p(s, χ) は、p でのオイラー因子を取り除いたディリクレのL-函数を補完する。さらに詳しくは、L_p(s, χ) は p-進数 s の連続函数であり、p − 1 により割ることのできる正の整数 n に対し

$L_p(1-n,\chi )=(1-\chi (p)p^{n-1})L(1-n,\chi )$

となる唯一のものである。この式の右辺はまさに通常のディリクレの L-函数から、p でのオイラー因子を取り除いたものである。また、 p でのオイラー因子を取り除かない 場合には、右辺は p-進的に連続とはならない。右辺の連続性は密接にテンプレート:仮リンク(Kummer congruence)と関連している。

n が p − 1 により割れない場合は、一般的にこのことは成立しない。代わりに、正の整数 n に対し、

$L_p(1-n,\chi )=(1-\chi {\omega }^{-n}(p)p^{n-1})L(1-n,\chi {\omega }^{-n})$

が成り立つ。ここに χ はテンプレート:仮リンク(Teichmüller character) ω のべきによりツイストされている。

p-進測度と見なすと

p-進L-函数はまた、p-射有限ガロア群上のテンプレート:仮リンク(p-adic measures)（あるいは、テンプレート:仮リンク(p-adic distributions)）とも考えることができる。この観点と久保田・レオポルトの観点との間の変換は（Z_p 上の Q_p-値を持つ函数として）、テンプレート:仮リンク(Mazur–Mellin transform)（と類体論）を経由する。

総実体

テンプレート:Harvtxt では、前に行われている テンプレート:Harvtxt に立脚し、総実体の解析的 p-進L-函数を構成した。テンプレート:Harvtxt と テンプレート:Harvtxtは独立に同じ結果を導き出したが、このアプローチは、新谷卓郎の L-値の研究のアプローチに従っている。

参考文献

• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation