ラフォルグの定理

数学のラフォルグの定理（ラフォルグの定理、英: Lafforgue's theorem）とは、代数関数体の一般線型群上の保型形式とガロア群の表現とを対応付けるローラン・ラフォルグによって証明された定理であり、この場合におけるラングランズ・プログラムを確立するものである。 ラングランズ予想は、ラングランズによって提唱された代数関数体のヴェイユ群の表現とその関数体上の代数群の表現の間の対応を予想するもので、関数体の類体論をアーベルなガロア群から非アーベルなガロア群へ一般化するものである。 GL1(K) についてのラングランズ予想は類体論から従う（本質的に同値である）。もう少し詳しく言うと、アルティン写像（英語版）がイデール類群からヴェイユ群のアーベル化への写像を与える。 ラングランズ対応に現れる GLn(F) の表現は保型表現である。 F を正標数 p の大域体、ℓ を p と異なる素数とする。 ラフォルグの定理は、次の2つの間に F の全ての素点において L 関数を保つような全単射 σ が存在するという定理である。 GLn(F) の尖点表現の同値類 π 全体 F の絶対ガロア群の n 次元既約 ℓ 進表現の同値類 σ(π) 全体 ラフォルグの定理の証明は、尖点表現 π に対して絶対ガロア群の表現 σ(π) を作ることにある。これを実行するためのアイデアは、階数 n のシトゥーカのモジュライ・スタックの ℓ 進コホモロジーであって、全ての N についてレベル N 構造（英語版）と両立するものの中を探す、というものである。このコホモロジーは次の形の部分商を含んでいる。 π⊗σ(π)⊗σ(π)∨ これを使って π から σ(π) を作ることができる。主要な課題は、このモジュライ・スタックは有限型ではないため、そのコホモロジーを調べるためには膨大な量の技術的な困難が伴うことだ。 ラフォルグの定理からラマヌジャン・ピーターソン予想が導かれる。つまり、GLn(F) の保型形式で有限位数の中心指標を持つもののヘッケ固有値は、任意の不分岐素点において絶対値1である。 ラフォルグの定理からドリーニュの予想が導かれる。つまり、絶対ガロア群の有限次元既約 l 進表現で行列式指標が有限位数であるものは、重さ 0 で純である。 局所ラングランズ予想（英語版） ^ Langlands (1967, 1970) ^ Deligne (1980, 1.2.10) 安田正大「Laurent Lafforgue氏の業績」『数学』第60巻第4号、日本数学会、2008年、415-424頁、doi:10.11429/sugaku.0604415、ISSN 0039-470X、NAID 130004558877。  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, https://www.ams.org/publications/online-books/pspum332-index  Deligne, Pierre (1980), “La conjecture de Weil. II”, Publications Mathématiques de l'IHÉS 52 (52): 137–252, doi:10.1007/BF02684780, ISSN 1618-1913, MR601520, http://www.numdam.org/item?id=PMIHES_1980__52__137_0  Gelfand, I. M.; Graev, M. I.; Pyatetskii-Shapiro, I. I. (1969), Representation theory and automorphic functions, Generalized functions, 6, Philadelphia, Pa.: W. B. Saunders Co., ISBN 978-0-12-279506-0, MR0220673, https://books.google.com/books?id=_p5qAAAAMAAJ  Lafforgue, Laurent (1998), “Chtoucas de Drinfeld et applications” (フランス語), Documenta Mathematica II: 563–570, ISSN 1431-0635, MR1648105, http://www.math.uni-bielefeld.de/documenta/xvol-icm/07/Lafforgue.MAN.html  Lafforgue, Laurent (2002), "Chtoucas de Drinfeld, formule des traces d'Arthur-Selberg et correspondance de Langlands." (Drinfeld shtukas, Arthur-Selberg trace formula and Langlands correspondence) Proceedings of the International Congress of Mathematicians, Vol. I (Beijing, 2002), 383–400, Higher Ed. Press, Beijing, 2002. Jacquet, H.; Langlands, Robert P. (1970), Automorphic forms on GL(2), Lecture Notes in Mathematics, 114, Berlin, New York: Springer-Verlag, doi:10.1007/BFb0058988, ISBN 978-3-540-04903-6, MR0401654, http://www.sunsite.ubc.ca/DigitalMathArchive/Langlands/JL.html#book  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  Gérard Laumon (2002), "The work of Laurent Lafforgue", Proceedings of the ICM, Beijing 2002, vol. 1, 91–97, G. Laumon (2000), "La correspondance de Langlands sur les corps de fonctions (d'après Laurent Lafforgue)" (The Langlands correspondence over function fields (according to Laurent Lafforgue)), Séminaire Bourbaki, 52e année, 1999–2000, no. 873. Lafforgue's publications The work of Robert Langlands Rapoport, The work of Laurent Lafforgue, http://www.math.uni-bonn.de/ag/alggeom/preprints/lafforgue.pdf