ラフォルグの定理

数学のラフォルグの定理（ラフォルグの定理、Lafforgue's theorem）とは、代数関数体の一般線型群上の保型形式とガロア群の表現とを対応付けるローラン・ラフォルグによって証明された定理であり、この場合におけるラングランズ・プログラムを確立するものである。
ラングランズ予想は、ラングランズによって提唱された代数関数体のヴェイユ群の表現とその関数体上の代数群の表現の間の対応を予想するもので、関数体の類体論をアーベルなガロア群から非アーベルなガロア群へ一般化するものである。

**GL1 についてのラングランズ予想**
GL1(K) についてのラングランズ予想は類体論から従う（本質的に同値である）。もう少し詳しく言うと、Artin mapがイデール類群からヴェイユ群のアーベル化への写像を与える。

**GLn(F) の保型表現**
ラングランズ対応に現れる GLn(F) の表現は保型表現である。

**GLn(F) についてのラフォルグの定理**
F を正標数 p の大域体、ℓ を p と異なる素数とする。
ラフォルグの定理は、次の2つの間に F の全ての素点において L 関数を保つような全単射 σ が存在するという定理である。-  GLn(F) の尖点表現の同値類 π 全体- F の絶対ガロア群の n 次元既約 ℓ 進表現の同値類 σ(π) 全体
ラフォルグの定理の証明は、尖点表現 π に対して絶対ガロア群の表現 σ(π) を作ることにある。これを実行するためのアイデアは、階数 n のシトゥーカのモジュライ・スタックの ℓ 進コホモロジーであって、全ての N についてlevel structure (algebraic geometry)と両立するものの中を探す、というものである。このコホモロジーは次の形の部分商を含んでいる。
 π⊗σ(π)⊗σ(π)∨
これを使って π から σ(π) を作ることができる。主要な課題は、このモジュライ・スタックは有限型ではないため、そのコホモロジーを調べるためには膨大な量の技術的な困難が伴うことだ。

**応用**
ラフォルグの定理からラマヌジャン・ピーターソン予想が導かれる。つまり、GLn(F) の保型形式で有限位数の中心指標を持つもののヘッケ固有値は、任意の不分岐素点において絶対値1である。
ラフォルグの定理からドリーニュの予想が導かれる。つまり、絶対ガロア群の有限次元既約 l 進表現で行列式指標が有限位数であるものは、重さ 0 で純である。

**関連項目**
Local Langlands conjectures

**脚注**

**参考文献**
 ref=harv
*Citation | last1=Borel | first1=Armand | author1-link=Armand Borel | editor1-last=Borel | editor1-first=Armand | editor1-link=Armand Borel | editor2-last=Casselman | editor2-first=W. | title=Automorphic forms, representations and L-functions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part 2 | chapter-url=https://www.ams.org/publications/online-books/pspum332-index | publisher=American Mathematical Society | location=Providence, R.I. | series=Proc. Sympos. Pure Math. | isbn=978-0-8218-1437-6  
pages=27–61
*Citation | last1=Deligne | first1=Pierre | author1-link=Pierre Deligne | title=La conjecture de Weil. II | url=http://www.numdam.org/item?id=PMIHES_1980__52__137_0 | mr=601520 | year=1980 | journal=Publications Mathématiques de l'IHÉS | volume=52 | issn=1618-1913 | issue=52 | pages=137–252| doi=10.1007/BF02684780 | s2cid=189769469 - volume=6- pages=563–570- 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.
*Citation | author2-link=Robert Langlands | last1=Jacquet | first1=H. | last2=Langlands | first2=Robert P. | title=Automorphic forms on GL(2) | url=http://www.sunsite.ubc.ca/DigitalMathArchive/Langlands/JL.html#book | publisher=Springer-Verlag | location=Berlin, New York | series=Lecture Notes in Mathematics | doi=10.1007/BFb0058988 | mr=0401654 | year=1970 | volume=114| isbn=978-3-540-04903-6 
*url=http://publications.ias.edu/rpl/section/21
*Citation | last1=Langlands | first1=R. P. | title=Lectures in modern analysis and applications, III | chapter-url=http://publications.ias.edu/rpl/section/21 | publisher=Springer-Verlag | location=Berlin, New York | series= Lecture Notes in Math | isbn=978-3-540-05284-5 | doi=10.1007/BFb0079065 | mr=0302614 | year=1970 | volume=170 | chapter=Problems in the theory of automorphic forms | pages=18–61
*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 
*url=http://www.math.uni-bonn.de/ag/alggeom/preprints/lafforgue.pdf