はじめに
この記事では「よくラングランズ予想(ラングランズ対応,ラングランズ・プログラム)という言葉を耳にするけれど正確な主張をみんな誤魔化してばかりで誰も教えてくれない!」という人のためにラングランズ予想の正確な主張を呈示するための記事になっています.ただ,それだけの記事です.解説などは筆者の力量を完全に超えていますので到底できません(それを期待されて開かれた方にはごめんなさい).元々筆者の調べ物学習のまとめの意味でとりあえず書いているということをご了承の上読み勧めてください.
ちなみにラングランズ予想は類体論の一般化なのですがそれについて知らない方は先日書いたこちらの記事の最後に少し繋がり書いたのでもしよければどうぞ.
https://period-mathematics.hatenablog.com/entry/2023/04/07/210234
以下でよく引用する主な参考文献:
[三枝] GL(n)の局所ラングランズ対応
https://www.ms.u-tokyo.ac.jp/~mieda/pdf/GL_n-LLC.pdf
[吉田1] 保型表現とGalois表現
http://www4.math.sci.osaka-u.ac.jp/~ochiai/ss2009proceeding/Yoshida_SummerSchool-1.pdf
[吉田2] GLn の大域・局所 Langlands対応
http://www.mathsoc.jp/assets/file/sections/algebra/algsympo/algsymp05/YoshidaTeruyoshi.pdf
[伊藤] 局所 Langlands 対応の幾何的構成
https://padicgrprep.files.wordpress.com/2018/10/e4bc8ae897a4-e5b180e68980-langlands-e5afbee5bf9ce381aee5b9bee4bd95e79a84e6a78be68890.pdf
ラングランズ予想
まず通常,モジュラー形式と言ったら(の合同部分群)に対してある種の対称性(保型性とか(弱)モジュラー性などと呼ばれる)を満たす上半平面上の複素正則関数のことを指すのはよく知られたことだろう.
対してラングランズ予想で使われる「保型形式」というものは簡単にはよくをより一般の群(実際には簡約代数群というクラスの群)に一般化したモジュラー形式のことだ,というように説明される.しかし実際にその正確な定義を目の当たりにするとそれはもはやモジュラー形式のそれとは見かけが大きく異なっており初めてみたとき困惑を隠せない人が大半なのではないかと思う.例えば筆者はラングランズ予想に出てくる保型形式というものはモジュラー形式の別名だと最初勘違いしていたので保型形式の定義からこうも壁が立ちはだかるのは大変困ったりしたものである.
ひとまず次に保型形式の定義を設けるが詳細は[三枝, 1.38]に譲ることにする.
大域ラングランズ予想
を大域体とする.
保型形式
のアデールを係数環に持つ次一般線形群上の複素数値関数が上の保型形式であるとは「保型性」,「有限性」,「有限性」,「緩増加性」の4条件を満たすときを言う([三枝, 1.38]).
指標をヘッケ指標とし,が更ににまつわる対称性を満たすときをを中心指標とする保型形式という.
を中心指標とする保型形式全体の集合をとかく.これは(無限次元)ベクトル空間をなす.
上の保型形式が「カスプ条件」を満たすとき上のカスプ形式という.カスプ形式がを中心指標とする保型形式のときを中心指標とするカスプ形式という.
を中心指標とするカスプ形式全体の集合をとかく.これも(無限次元)ベクトル空間をなす.
これが古典的なモジュラー形式としっかり関連していることが期待されるがそれについては([三枝, 1.4.3])を見てもらうことにしよう.
さて,保型形式が定義出来ると保型表現はあっけなく定義できてしまう:
保型表現
(無限次元)ベクトル空間にはのアデール上の一般線形群が右移動で作用する.即ちに対しによって作用が定まる.これは線形な群作用であるから群の表現と見れる.このの部分商を次元の保型表現といい,よく記号またはを使う.
同様にカスプ形式の空間に右作用で定まるの表現の部分商を次元のカスプ表現という.
[次元大域ラングランズ予想[三枝, 予想3.9.]]
を正整数とする.素数と体同型を固定するごとに全単射
が存在する(は同型類の集合であることを表す).
またがカスプ表現のときは既約表現([吉田1, 予想4.7.]でのステートメントではこの場合しか扱っていない).
(ここで「代数的」というのは一般用語っぽく聞こえるがれっきとした専門用語であり,が「代数的」とは,ほとんどすべての素点では不分岐, ある素点では「ド・ラーム(de Rham)」(「潜在的半安定(potentially semistable)」)という二条件を満たすこと,が「代数的」とは「等圧的」, 「代数的」という二条件を満たすこと([三枝])という定義である.とりあえずこの記事では深入りしない方が良い気がする.気になる読者は参考文献を見てもらうことにする.)
とにかく基礎体の情報であるの(良い)表現からの代数拡大体の情報に繋げることが出来るのは類体論のとき同様に凄いところである.
予想の主な進展状況は
・(大域関数体)のときラフォルグが解決(2002, これによりフィールズ賞受賞)
だけで代数体の場合はでは残念ながら未解決とのことである(は大域類体論そのもの).
局所ラングランズ予想
こちらはガロア群をちょっと修正しなければならず複雜である.
以下を局所体としその剰余(体の)標数をとする.
絶対ガロア群の部分群でヴェイユ群([三枝, 定義2.1])という概念をまず定めなければならない.これは稠密部分群であることが知られている.
(もとより局所類体論自体,ヴェイユ群を用いて定式化し直したほうが表現の対応が綺麗になり局所ラングランズ予想に向かうには良いようだ.)
[次元局所ラングランズ予想[吉田1, 定理4.5.],[三枝, 定理3.1.]]
を正整数とする.素数と体同型を固定するごとに全単射
が存在する(は同型類の集合であることを表す).
・「は既約で「スムーズ」」が「は既約で「許容的」」となっているケースもある.しかし「既約で「スムーズ」「許容的」」が知られており(吉田敬之『保型形式論』,定理3.8.),また(定義から)「許容的」「スムーズ」なので両者は同値である.
・はヴェイユ・ドリーニュ表現でないといけないという説明があることがあるがグロタンディークのモノドロミー定理というものによって実はそれはいらないことが知られている.
こちらは今や定理であるがの場合はラングランズ自身によって示されており,非アルキメデスの場合はハリス・テイラーが解決した(2001).
一般化されたラングランズ予想
上では一般線形群という(代数)群の有理点を取ったり有理点を取ったりしました.大抵入門で解説される定式化は上のものなのですが実はラングランズ 対応は(の場合で十分複雜・高度・難解なのにも関わらず)をもっと一般の(代数)群に拡張して有理点を取ったり有理点を取ったりしたバージョンを考えてみようという試みが結構昔からあります.それを本稿では"一般化されたラングランズ予想"と呼んでみましたが専門家の間ではこの場合も含めて単にラングランズ予想と呼んでいるようです.以下これについてまず局所ラングランズ予想から述べてみたいと思います.
以下を局所体,を簡約代数群とする.
(簡約代数群の例としてや代数トーラスがあります)
[([伊藤, p.3])]
に対し双対群と呼ばれる群が定まる.これはヴェイユ群に作用しており従って半直積が定まる.これをの群(,ラングランズ双対群)という.またを局所ラングランズ群([三枝]ではヴェイユ・ドリーニュ群)という.
パラメーター(,ラングランズパラメーター)とは連続群準同型でしかるべき条件を満たすものを言う.でパラメーターの共役類全体の集合を表す.
のパラメーターはヴェイユ・ドリーニュ表現の言い換えになっている([三枝, 命題2.15.])ことが知られており,従って次の主張は上の局所ラングランズ予想をちゃんと含んでいることが確認できる:
[一般化された局所ラングランズ予想([伊藤,予想2.1.])]
をの既約スムーズ表現の同型類全体の集合とする.全射
が存在する.ここでの逆像をのパケットという.ここで各パケットは有限集合であり,直和分解
がある.
ここで注目すべきことは主張が「全単射」ではなく「全射」なことです.のときは各パケットは一点集合になって全単射になるのですが一般の簡約代数群に対してはどうやらそうではないようです.
でもこれで終わりではなく,内視論(endoscopy)というパケットを調べる理論があり,それを使って上の主張をより精密化する動きがあるようです.全単射の綺麗な主張が得られているのかどうかなど,この辺になってくると調査が及んでいません.[伊藤, p.4~]にこのあたりのことが書いてあります.
次に一般化された大域ラングランズ予想についてですがこれについては調べてもちょっと何がどこまでわかっているのかはっきりとわかりませんでした.分かり次第追記します.