[論文レビュー] Geometric structure and the local Langlands conjecture

Anne‐Marie Aubert, Paul Baum+2 more|arXiv (Cornell University)|Nov 1, 2012

Advanced Algebra and Geometry参考文献 40被引用数 11

ひとこと要約

本稿は、拡張商を介して連結な分岐再帰的 $p$-進代数群の滑らかな双対とラングランズパラメータを統一する幾何的構造の予想を提示する。この予想により、主系列における局所ラングランズ対応が、これらの幾何的対象を含む可換三角形を通じて双対写像として実現されることを証明する。主な貢献は、$L$-パケットとバーナイン成分の計算を簡略化する体系的な幾何的枠組みを提供することであり、$\mathrm{GL}_m(D)$ およびシミプレクティック群において明示的な検証がなされている。

ABSTRACT

We prove that a strengthened form of the local Langlands conjecture is valid throughout the principal series of any connected split reductive $p$-adic group. The method of proof is to establish the presence of a very simple geometric structure, in both the smooth dual and the Langlands parameters. We prove that this geometric structure is present, in the same way, for the general linear group, including all of its inner forms. With these results as evidence, we give a detailed formulation of a general geometric structure conjecture.

研究の動機と目的

• 連結な分岐再帰的 $p$-進代数群の局所ラングランズ対応と $p$-進群の表現理論を統一する強化された幾何的構造予想を定式化すること。
• 連結な分岐再帰的 $p$-進代数群の滑らかな双対とラングランズパラメータが、拡張商を介して共通の幾何的構造を持つことを確立すること。
• この幾何的構造が主系列における $L$-パケットとバーナイン成分の交わりを支配することを証明すること。
• 拡張商が滑らかな双対とラングランズパラメータの両方の計算に実用的であるモデルを提供すること。
• 一般線形群およびその内部形態への枠組みの拡張を行い、主要な例において予想を検証すること。

提案手法

• 第二種の拡張商の概念を導入し、$p$-進群の滑らかな双対の幾何的モデルとして用いる。
• バーナイン分解とヘッケ代数の理論を用い、カジダン＝ルシュティグ基底と漸近的代数 $\mathcal{J}$ を介して表現を幾何的データに結びつける。
• 可換三角形の写像を構成する：拡張商 $\to$ 滑らかな双対 $\to$ $G$-作用を modulo したラングランズパラメータ。左側の写像は双対的であり、右側の写像は有限対一である。
• アフィンスプリンガー対応と一般化されたスプリンガー対応を用い、幾何的データとラングランズパラメータを関連付ける。
• 特に $\phi_q: \mathcal{H}_q(G) \to \mathcal{J}_q$ のような $k$-代数間のスペクトルを保存する準同型を用い、ヘッケ代数とその漸近的極限との幾何的同値性を確立する。
• 主系列における代表的なケースで予想を検証する。その際、拡張商が主系列の表現とそれに対応するラングランズパラメータの両方を、自然な双対写像でパラメトライズすることを示す。

実験結果

リサーチクエスチョン

• RQ1 $p$-進群の滑らかな双対とラングランズパラメータの両方に共通の幾何的構造が存在するか？
• RQ2 主系列における局所ラングランズ対応が、拡張商を介して双対的対応として実現可能か？
• RQ3 $L$-パケットとバーナイン成分の交わりが、拡張商の幾何にどのように関係するか？
• RQ4 拡張商が滑らかな双対とラングランズパラメータの計算的代替としてどの程度有効か？
• RQ5 ヘッケ代数の幾何的同値性を用いて、$\mathrm{GL}_m(D)$ やその他の内部形態について予想を証明できるか？

主な発見

• 拡張商は $\mathrm{GL}_m(D)$ の滑らかな双対と自然な双対写像をもつことが確認され、この場合における予想の検証がなされた。
• $\mathrm{GL}_m(D)$ において、可換三角形の写像が実現され、左側の写像が双対的で、右側の写像が有限対一であることが確認され、幾何的構造が裏付けられた。
• $k$-構造の代数的変動を含む3段階のプロセスにより、$q$ が単位根でない場合、漸近的代数 $\mathcal{J}_q$ はアフィンヘッケ代数 $\mathcal{H}_q(G)$ と幾何的に同値である。
• 第二種の拡張商は、主系列の表現とそれに対応するラングランズパラメータの両方をパラメトライズし、統一的な幾何的枠組みを確立した。
• この構成は、非連結群とねじれ付き拡張商の設定においてスプリンガー対応を一般化し、ボレル部分群の多様体を用いたラングランズパラメータのパラメトライズを可能にした。
• シミプレクティック群および $G_2$ について、Iwahori-球面的状況において幾何的構造が成立することが示され、より広範な予想を支持する。