保型形式のL-函数

保型 L 関数 (automorphic L-function) とは、複素変数 s の関数 L(s, , r) であって、大域体上の簡約群 G の保型表現  と、G のラングランズ双対群 LG の有限次元複素表現に付随するものであり、ディリクレ指標のディリクレ級数やモジュラ形式のメリン変換を一般化する。 により導入された。 

 と  は保型 L 関数のサーベイを与えた。

性質

保型 L-函数は次の性質を持っていると思われている（この性質は証明されているものもあるが、未だ予想の段階であることもある）。

L-函数 L(s, , r) はの F の素点 v ごとに定められる局所 L-函数の積である。

ここに、保型表現  = ⊗v は局所体 Fv 上の群の表現 v のテンソル積である。

L-函数は全複素数 s の有理型函数として解析接続され、次の函数等式を満たすことが予想されている。

ここに、  は、有限個の v をのぞいて 1 となるような局所定数の積

である。

一般線型群

 は、（いわゆる標準L-函数）標準表現 r にたいする一般線型群 GL(n) の保型 L-函数を構成し、テイト論文の方法の一般化を使って解析接続と函数等式を証明した。ラングランズプログラムによれば、GL(m) と GL(n) の表現のランキン・セルバーグ積から定まるランキン・セルバーグの L-函数が、多くの解析的性質を満たす。函数等式は、最初はラングランズ・シャヒーディの方法を通して最初に証明された。

ラングランズ函手性予想によれば、連結な簡約群の保型 L-函数は一般線型群の保型 L-函数の積となる。ラングランズ函手性の証明は、保型形式のL-函数の解析的性質の更に深い理解をもたらすであろう。

参考文献

保型形式論
ゼータ関数とL関数
ラングランズ・プログラム
数学に関する記事