2

ラングランズ予想の正確なステートメントを知る

1697
0
$$\newcommand{A}[0]{\mathbb{A}} \newcommand{abs}[1]{\left \lvert #1 \right \rvert} \newcommand{acts}[0]{\curvearrowright} \newcommand{Alt}[0]{Alt} \newcommand{aut}[0]{Aut} \newcommand{B}[0]{\mathbb{B}} \newcommand{bfsubsection}[1]{\subsection*{\textbf{#1}}} \newcommand{bmat}[1]{\begin{bmatrix}#1\end{bmatrix}} \newcommand{C}[0]{\mathbb{C}} \newcommand{card}[1]{\left|#1\right|} \newcommand{ceil}[1]{\left\lceil#1\right\rceil} \newcommand{ch}[0]{ch} \newcommand{cl}[0]{Cl} \newcommand{codim}[0]{codim} \newcommand{coker}[0]{Coker} \newcommand{Cx}[0]{\mathbb{C}^{\times}} \newcommand{defiff}[0]{\mathrel{\overset{\text{def}}{\iff}}} \newcommand{diag}[0]{diag} \newcommand{diff}[2]{\frac{d#1}{d#2}} \newcommand{dint}[0]{\displaystyle\int} \newcommand{dprod}[0]{\displaystyle\prod} \newcommand{dsum}[0]{\displaystyle\sum} \newcommand{End}[0]{End} \newcommand{F}[0]{\mathbb{F}} \newcommand{floor}[1]{\left\lfloor#1\right\rfloor} \newcommand{gal}[0]{\mathrm{Gal}} \newcommand{gl}[0]{\mathrm{GL}} \newcommand{GL}[0]{\mathrm{GL}} \newcommand{H}[0]{\mathbb{H}} \newcommand{Hom}[0]{Hom} \newcommand{I}[0]{\sqrt{-1}} \newcommand{id}[0]{id} \newcommand{im}[0]{\operatorname{Im}} \newcommand{ind}[0]{ind} \newcommand{inprod}[2]{\langle #1 , #2 \rangle} \newcommand{inv}[1]{#1^{-1}} \newcommand{iu}[0]{\sqrt{-1}} \newcommand{K}[0]{\mathbb{K}} \newcommand{ker}[0]{\operatorname{Ker}} \newcommand{leftmapsto}[0]{\leftarrow\!\shortmid} \newcommand{M}[0]{\mathbb{M}} \newcommand{Map}[0]{Map} \newcommand{mapdisplay}[1]{\begin{array}{r@{\,\,}c@{\,\,}c@{\,\,}c}#1\colon&\longrightarrow\\ &\rotatebox{90}{$\in$}&&\rotatebox{90}{$\in$}\\ &\longmapsto \end{array}} \newcommand{mc}[0]{\mathcal} \newcommand{mf}[1]{\mathfrak{#1}} \newcommand{Mp}[0]{Mp} \newcommand{N}[0]{\mathbb{N}} \newcommand{norm}[1]{\left \lVert #1 \right \rVert} \newcommand{O}[0]{\mathcal{O}} \newcommand{ord}[0]{ord} \newcommand{ord}[0]{\mathrm{ord}} \newcommand{P}[0]{\mathbb{P}} \newcommand{pdiff}[2]{\frac{\partial #1}{\partial #2}} \newcommand{pf}[0]{pf} \newcommand{PGL}[0]{\mathrm{PGL}} \newcommand{pmat}[1]{\begin{pmatrix}#1\end{pmatrix}} \newcommand{PSL}[0]{\mathrm{PSL}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{R}[0]{\mathbb{R}} \newcommand{rank}[0]{rank} \newcommand{re}[0]{\operatorname{Re}} \newcommand{relmiddle}[1]{\mathrel{}\middle#1\mathrel{}} \newcommand{res}[0]{res} \newcommand{Res}[0]{Res} \newcommand{restrict}[2]{\left. #1 \right|_{#2}} \newcommand{rk}[0]{rk} \newcommand{set}[2]{\left\{ #1 \mathrel{} \middle| \mathrel{} #2 \right\}} \newcommand{sgn}[0]{sgn} \newcommand{single}[0]{\{ 0 \}} \newcommand{SL}[0]{\mathrm{SL}} \newcommand{sl}[0]{\mathrm{SL}} \newcommand{smat}[1]{\bigl(\begin{smallmatrix}#1\end{smallmatrix}\bigr)} \newcommand{SO}[0]{SO} \newcommand{Sp}[0]{Sp} \newcommand{spec}[0]{Spec} \newcommand{spl}[0]{Spl} \newcommand{stab}[0]{Stab} \newcommand{supp}[0]{supp} \newcommand{Supp}[0]{Supp} \newcommand{Sym}[0]{Sym} \newcommand{T}[0]{\mathbb{T}} \newcommand{textblue}[1]{\textcolor{blue}{\textbf{#1}}} \newcommand{tr}[0]{tr} \newcommand{Tr}[0]{Tr} \newcommand{transpose}[1]{\, {\vphantom{#1}}^t\!{#1}} \newcommand{vmat}[1]{\begin{vmatrix}#1\end{vmatrix}} \newcommand{vol}[0]{vol} \newcommand{Z}[0]{\mathbb{Z}} $$

はじめに

この記事では「よくラングランズ予想(ラングランズ対応,ラングランズ・プログラム)という言葉を耳にするけれど正確な主張をみんな誤魔化してばかりで誰も教えてくれない!」という人のためにラングランズ予想の正確な主張を呈示するための記事になっています.ただ,それだけの記事です.解説などは筆者の力量を完全に超えていますので到底できません(それを期待されて開かれた方にはごめんなさい).元々筆者の調べ物学習のまとめの意味でとりあえず書いているということをご了承の上読み勧めてください.

ちなみにラングランズ予想は類体論の一般化なのですがそれについて知らない方は先日書いたこちらの記事の最後に少し繋がり書いたのでもしよければどうぞ.

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

ラングランズ予想

まず通常,モジュラー形式と言ったら$\Gamma=\sl_2(\Z)$(の合同部分群)に対してある種の対称性(保型性とか(弱)モジュラー性などと呼ばれる)を満たす上半平面$\mf{h}$上の複素正則関数のことを指すのはよく知られたことだろう.

対してラングランズ予想で使われる「保型形式」というものは簡単にはよく$\Gamma$をより一般の群(実際には簡約代数群というクラスの群)に一般化したモジュラー形式のことだ,というように説明される.しかし実際にその正確な定義を目の当たりにするとそれはもはやモジュラー形式のそれとは見かけが大きく異なっており初めてみたとき困惑を隠せない人が大半なのではないかと思う.例えば筆者はラングランズ予想に出てくる保型形式というものはモジュラー形式の別名だと最初勘違いしていたので保型形式の定義からこうも壁が立ちはだかるのは大変困ったりしたものである.

ひとまず次に保型形式の定義を設けるが詳細は[三枝, 1.38]に譲ることにする.

大域ラングランズ予想

$F$を大域体とする.

保型形式

$F$のアデール$\A_{F}$を係数環に持つ$n$次一般線形群上の複素数値関数$\varphi:\gl_n(\A_F)\to\C$$\gl_n(\A_F)$上の保型形式であるとは「保型性」,「$K$有限性」,「$Z$有限性」,「緩増加性」の4条件を満たすときを言う([三枝, 1.38]).

指標$\omega$をヘッケ指標とし,$\varphi$が更に$\omega$にまつわる対称性を満たすとき$\varphi$$\omega$を中心指標とする保型形式という.

$\omega$を中心指標とする保型形式全体の集合を$\mc{A}_{\omega}(\gl_n(\A_F))$とかく.これは(無限次元)$\C$ベクトル空間をなす.

$\gl_n(\A_F)$上の保型形式が「カスプ条件」を満たすとき$\gl_n(\A_F)$上のカスプ形式という.カスプ形式が$\omega$を中心指標とする保型形式のとき$\omega$を中心指標とするカスプ形式という.

$\omega$を中心指標とするカスプ形式全体の集合を$\mc{A}^0_{\omega}(\gl_n(\A_F))$とかく.これも(無限次元)$\C$ベクトル空間をなす.

$L^2$空間による表示$L^2_{\omega}(\gl_n(F)\setminus\gl_n(\A_F))$で定義する場合もある.

これが古典的なモジュラー形式としっかり関連していることが期待されるがそれについては([三枝, 1.4.3])を見てもらうことにしよう.

さて,保型形式が定義出来ると保型表現はあっけなく定義できてしまう:

保型表現

(無限次元)$\C$ベクトル空間$\mc{A}_{\omega}(\gl_n(\A_F))$には$F$のアデール$\A_F$上の一般線形群$\gl_n(\A_F)$が右移動で作用する.即ち$\phi\in\mc{A}_{\omega}(\gl_n(\A_F))$に対し$(\Phi(g)(\phi))(x):=\phi(xg)$によって作用$\Phi$が定まる.これは線形な群作用であるから群の表現$\Phi:\gl_n(\A_F)\to \gl(\mc{A}_{\omega}(\gl_n(\A_F)))$と見れる.この$\Phi$の部分商を$n$次元の保型表現といい,よく記号$\Pi$または$\pi$を使う.

同様にカスプ形式の空間$\mc{A}^0_{\omega}(\gl_n(\A_F))$に右作用で定まる$\gl_n(\A_F)$の表現の部分商を$n$次元のカスプ表現という.

[$n$次元大域ラングランズ予想[三枝, 予想3.9.]]

$n$を正整数とする.素数$\ell$と体同型$\iota:\bar{\Q_{\ell}}\xrightarrow{\cong}\C$を固定するごとに全単射

\begin{align} &\set{\Pi:\gl_n(\A_F)\to\gl(V/W)}{\text{$W\subset V\subset \mc{A}_{\omega}(\gl_n(\A_F))$は部分表現,$\Pi$は「代数的」}}/{\cong}\\ \to &\set{R:\gal(\bar{F}/F)\to \gl_n(\bar{\Q_{\ell}})}{\text{$R$は半単純で「代数的」}}/{\cong};\\ &\Pi\mapsto R_{\ell,\iota}(\Pi) \end{align}

が存在する($/{\cong}$は同型類の集合であることを表す).

また$\Pi$がカスプ表現のとき$R_{\ell,\iota}(\Pi)$は既約表現([吉田1, 予想4.7.]でのステートメントではこの場合しか扱っていない).

(ここで「代数的」というのは一般用語っぽく聞こえるがれっきとした専門用語であり,$\Pi$が「代数的」とは,ほとんどすべての素点で$R$は不分岐, ある素点$\lambda\mid \ell$$R$は「ド・ラーム(de Rham)」($\iff$「潜在的半安定(potentially semistable)」)という二条件を満たすこと,$R$が「代数的」とは「等圧的」, 「$F$代数的」という二条件を満たすこと([三枝])という定義である.とりあえずこの記事では深入りしない方が良い気がする.気になる読者は参考文献を見てもらうことにする.)

とにかく基礎体$F$の情報である$\gl_n(\A_F)$の(良い)表現から$F$の代数拡大体の情報に繋げることが出来るのは類体論のとき同様に凄いところである.

予想の主な進展状況は

$F=$(大域関数体)のときラフォルグが解決(2002, これによりフィールズ賞受賞)

だけで代数体の場合は$n\geq 2$では残念ながら未解決とのことである($n=1$は大域類体論そのもの).

局所ラングランズ予想

こちらはガロア群をちょっと修正しなければならず複雜である.

以下$F$を局所体としその剰余(体の)標数を$p$とする.

絶対ガロア群$\gal(\bar{F}/F)$の部分群でヴェイユ群$W_F$([三枝, 定義2.1])という概念をまず定めなければならない.これは稠密部分群であることが知られている.

(もとより局所類体論自体,ヴェイユ群を用いて定式化し直したほうが表現の対応が綺麗になり局所ラングランズ予想に向かうには良いようだ.)

[$n$次元局所ラングランズ予想[吉田1, 定理4.5.],[三枝, 定理3.1.]]

$n$を正整数とする.素数$\ell\neq p$と体同型$\iota:\bar{\Q_{\ell}}\xrightarrow{\cong}\C$を固定するごとに全単射

\begin{align} &\set{\pi:\gl_n(F)\to\gl(V)}{\text{$V$は$\C$ベクトル空間,$\pi$は既約で「スムーズ」}}/{\cong}\\ \to &\set{r:W_F\to \gl_n(\bar{\Q_{\ell}})}{\text{$r$は「フロベニウス半単純」}}/{\cong};\\ &\pi\mapsto \mathrm{rec}_{F}(\pi) \end{align}

が存在する($/{\cong}$は同型類の集合であることを表す).

・「$\pi$は既約で「スムーズ」」が「$\pi$は既約で「許容的」」となっているケースもある.しかし「既約で「スムーズ」$\implies$「許容的」」が知られており(吉田敬之『保型形式論』,定理3.8.),また(定義から)「許容的」$\implies$「スムーズ」なので両者は同値である.

$r$はヴェイユ・ドリーニュ表現でないといけないという説明があることがあるがグロタンディークのモノドロミー定理というものによって実はそれはいらないことが知られている.

こちらは今や定理であるが$F=\R,\C$の場合はラングランズ自身によって示されており,非アルキメデスの場合はハリス・テイラーが解決した(2001).

一般化されたラングランズ予想

上では一般線形群$G=\gl_n$という(代数)群の$\A_F$有理点を取ったり$F$有理点を取ったりしました.大抵入門で解説される定式化は上のものなのですが実はラングランズ 対応は($G=\gl_n$の場合で十分複雜・高度・難解なのにも関わらず)$G$をもっと一般の(代数)群に拡張して$\A_F$有理点を取ったり$F$有理点を取ったりしたバージョンを考えてみようという試みが結構昔からあります.それを本稿では"一般化されたラングランズ予想"と呼んでみましたが専門家の間ではこの場合も含めて単にラングランズ予想と呼んでいるようです.以下これについてまず局所ラングランズ予想から述べてみたいと思います.

以下$F$を局所体,$G$を簡約代数群とする.

(簡約代数群の例として$\gl_n, \sl_n, \mathrm{O}_n, \mathrm{SO}_n, \mathrm{Sp}_n$や代数トーラス$\mathbb{G}_m$があります)

[([伊藤, p.3])]

$G$に対し双対群$\hat{G}$と呼ばれる群が定まる.これはヴェイユ群$W_F$に作用しており従って半直積$^{L}G:=\hat{G}\rtimes W_F$が定まる.これを$G$$L$(,ラングランズ双対群)という.また$L_F:=W_F\times \sl_2(\C)$局所ラングランズ群([三枝]ではヴェイユ・ドリーニュ群)という.

$L$パラメーター(,ラングランズパラメーター)とは連続群準同型$\phi:L_F\to ^{L}G$でしかるべき条件を満たすものを言う.$\Phi(G)$$L$パラメーターの$\hat{G}$共役類全体の集合を表す.

$\gl_n(F)$$L$パラメーターはヴェイユ・ドリーニュ表現の言い換えになっている([三枝, 命題2.15.])ことが知られており,従って次の主張は上の局所ラングランズ予想をちゃんと含んでいることが確認できる:

[一般化された局所ラングランズ予想([伊藤,予想2.1.])]

$\Pi(G(F))$$G(F)$の既約スムーズ表現の同型類全体の集合とする.全射

$$\mathrm{LLC_G}:\Pi(G(F))\to \Phi(G)$$

が存在する.ここで$\phi\in\Phi(G)$の逆像$\Pi(\phi):=\mathrm{LLC_G}^{-1}(\phi)$$\phi$$L$パケットという.ここで各$L$パケットは有限集合であり,直和分解

$$\Pi(G(F))=\bigsqcup_{\phi\in\Phi(G)} \Pi(\phi)$$

がある.

ここで注目すべきことは主張が「全単射」ではなく「全射」なことです.$G=\gl_n$のときは各$L$パケットは一点集合になって全単射になるのですが一般の簡約代数群に対してはどうやらそうではないようです.

でもこれで終わりではなく,内視論(endoscopy)という$L$パケットを調べる理論があり,それを使って上の主張をより精密化する動きがあるようです.全単射の綺麗な主張が得られているのかどうかなど,この辺になってくると調査が及んでいません.[伊藤, p.4~]にこのあたりのことが書いてあります.

次に一般化された大域ラングランズ予想についてですがこれについては調べてもちょっと何がどこまでわかっているのかはっきりとわかりませんでした.分かり次第追記します.

投稿日:202352
更新日:523
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

Period
Period
44
14332

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中