保型形式のL-函数

保型 L 関数 (automorphic L-function) とは、複素変数 s の関数 L(s, π, r) であって、大域体上の簡約群 G の保型表現 π と、G のラングランズ双対群 LG の有限次元複素表現に付随するものであり、ディリクレ指標のディリクレ級数やモジュラ形式のメリン変換を一般化する。 Langlands (1967, 1970, 1971) により導入された。 Borel (1979) と Arthur & Gelbart (1991) は保型 L 関数のサーベイを与えた。 保型 L-函数は次の性質を持っていると思われている（この性質は証明されているものもあるが、未だ予想の段階であることもある）。 L-函数 L(s, π, r) はの F の素点 v ごとに定められる局所 L-函数の積である。 L ( s , π , r ) = ∏ L ( s , π v , r v ) {\displaystyle L(s,\pi ,r)=\prod L(s,\pi _{v},r_{v})} ここに、保型表現 π = ⊗πv は局所体 Fv 上の群の表現 πv のテンソル積である。 L-函数は全複素数 s の有理型函数として解析接続され、次の函数等式を満たすことが予想されている。 L ( s , π , r ) = ε ( s , π , r ) L ( 1 − s , π , r ∨ ) {\displaystyle L(s,\pi ,r)=\varepsilon (s,\pi ,r)L(1-s,\pi ,r^{\vee })} ここに、 ε ( s , π , r ) {\displaystyle \varepsilon (s,\pi ,r)} は、有限個の v をのぞいて 1 となるような局所定数の積 ε ( s , π , r ) {\displaystyle \varepsilon (s,\pi ,r)} = ∏ ε ( s , π v , r v , φ v ) {\displaystyle =\prod \varepsilon (s,\pi _{v},r_{v},\varphi _{v})} である。 Godement & Jacquet (1972) は、（いわゆる標準L-函数）標準表現 r にたいする一般線型群 GL(n) の保型 L-函数を構成し、テイト論文の方法の一般化を使って解析接続と函数等式を証明した。ラングランズプログラムによれば、GL(m) と GL(n) の表現のランキン・セルバーグ積から定まるランキン・セルバーグの L-函数が、多くの解析的性質を満たす。函数等式は、最初はラングランズ・シャヒーディの方法を通して最初に証明された。 ラングランズ函手性予想によれば、連結な簡約群の保型 L-函数は一般線型群の保型 L-函数の積となる。ラングランズ函手性の証明は、保型形式のL-函数の解析的性質の更に深い理解をもたらすであろう。 Arthur, James; Gelbart, Stephen (1991), “Lectures on automorphic L-functions”, in Coates, John; Taylor, M. J., L-functions and arithmetic (Durham, 1989), London Math. Soc. Lecture Note Ser., 153, Cambridge University Press, pp. 1–59, doi:10.1017/CBO9780511526053.003, ISBN 978-0-521-38619-7, MR1110389, http://www.claymath.org/cw/arthur/pdf/automorphic-L.pdf  Borel, Armand (1979), “Automorphic L-functions”, in Borel, Armand; Casselman, W., Automorphic forms, representations and L-functions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part 2, Proc. Sympos. Pure Math., XXXIII, Providence, R.I.: American Mathematical Society, pp. 27–61, ISBN 978-0-8218-1437-6, MR546608, http://www.ams.org/publications/online-books/pspum332-index  Cogdell, James W.; Kim, Henry H.; Murty, Maruti Ram (2004), Lectures on automorphic L-functions, Fields Institute Monographs, 20, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-3516-6, MR2071722, https://books.google.co.jp/books?id=jb3ZCp0-MQsC&redir_esc=y&hl=ja  Gelbart, Stephen; Piatetski-Shapiro, Ilya; Rallis, Stephen (1987), Explicit constructions of automorphic L-functions, Lecture Notes in Mathematics, 1254, Berlin, New York: Springer-Verlag, doi:10.1007/BFb0078125, ISBN 978-3-540-17848-4, MR892097  Godement, Roger; Jacquet, Hervé (1972), Zeta functions of simple algebras, Lecture Notes in Mathematics, 260, Berlin, New York: Springer-Verlag, doi:10.1007/BFb0070263, ISBN 978-3-540-05797-0, MR0342495  Jacquet, H.; Piatetski-Shapiro, I. I.; Shalika, J. A. (1983), “Rankin-Selberg Convolutions”, Amer. J. Math. 105: 367–464, doi:10.2307/2374264  Langlands, Robert (1967), Letter to Prof. Weil, http://publications.ias.edu/rpl/section/21  Langlands, R. P. (1970), “Problems in the theory of automorphic forms”, Lectures in modern analysis and applications, III, Lecture Notes in Math, 170, Berlin, New York: Springer-Verlag, pp. 18–61, doi:10.1007/BFb0079065, ISBN 978-3-540-05284-5, MR0302614, http://publications.ias.edu/rpl/section/21  Langlands, Robert P. (1971) [1967], Euler products, Yale University Press, ISBN 978-0-300-01395-5, MR0419366, http://publications.ias.edu/rpl/paper/37  Shahidi, F. (1981), “On certain "L"-functions”, Amer. J. Math. 103: 297–355