[論文レビュー] Hecke algebras and $p$-adic groups

Xuhua He|arXiv (Cornell University)|Nov 4, 2015

Advanced Algebra and Geometry参考文献 43被引用数 8

ひとこと要約

本稿は、共役類、長さ関数、およびアフィンヘッケ代数の余中心を分析することにより、アフィンワイル群とp進群の間の深い関係を確立する。『ストレート』な共役類と ≈-同値関係の概念を導入し、最小長の元をパラメトライズする。0-ヘッケ代数の剛性ある余中心が、これらの類によってインデックスづけられたZ-基底を形成することを証明する。主な貢献は、余中心と表現の間の精緻な双対性であり、トレース写像が補集合を検出するが、より詳細な共役データを検出しないことから、単純核予想に対する証拠を提供する。

ABSTRACT

This survey article, is written as an extended note and supplement of my lectures in the current developments in mathematics conference in 2015. We discuss some recent developments on the conjugacy classes of affine Weyl groups and $p$-adic groups, and some applications to Shimura varieties and to representations of affine Hecke algebras.

研究の動機と目的

• アフィンワイル群における共役類の構造を理解し、p進群の表現の分類におけるその役割を明らかにすること。
• 弱く長さを減少させる列、∼-および ≈-同値関係、およびストレートな共役類を用いた組合せ的枠組みを構築すること。
• この枠組みをG( ˘F)の幾何に適用し、ブルア・分解、σ-共役類、および閉包関係を含むこと。
• 特に0-ヘッケ極限におけるアフィンヘッケ代数の余中心と、その表現との双対性を調査すること。
• トレース写像と剛性ある余中心内の補集合構造を分析することで、単純核予想に証拠を提供すること。

提案手法

• イワホリ＝ワイル群を用いてG( ˘F)の構造をモデル化し、退化および変形を介してアフィンワイル群と関連付ける。
• 『ストレート』な共役類の概念を導入し、共役類内の最小長の元を分類するために ≈-同値関係を定義する。
• コットヴィッツのσ-共役類の分類およびマズールの不等式を用いて、空でないパターンと次元公式を研究する。
• 標準的四つ組を用い、固定された補集合を持つ ≈-同値類の直和として、0-ヘッケ代数の剛性ある余中心を構成する。
• 余中心から表現環へのトレース写像を用い、補集合を検出し、双対性の失敗を分析する。
• ヴィニャーラスのベルンシュタイン＝ルスティグ基底および超正則モジュールの基準を用い、高長の作用素の消滅を介して表現を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 アフィンワイル群における共役類は、ストレートな要素や ≈-同値関係といった組合せ的不変量を用いてどのようにパラメトライズ可能か？
• RQ2 G( ˘F)におけるブルアセルとσ-共役類の交わりが幾何的にどのような意味を持つのか？
• RQ3 0-ヘッケ代数の余中心と表現環の関係は何か？また、双対性はどのように失敗するのか？
• RQ4 補集合と楕円型共役類は、剛性ある余中心の要素を区別するために果たす役割は何か？
• RQ5 トレース写像は表現の補集合を検出できるが、より詳細な共役データを無視する。これは単純核予想にどのような含意を持つのか？

主な発見

• 集合 {TΣ; Σ ∈ Wmin/≈} は、0-ヘッケ代数の余中心のZ-基底をなす。ここでΣは最小長の元の ≈-同値類を走る。
• 有限な0-ヘッケ代数に対して、トレース写像 ¯H0 → R(H0) は全射であり、その核は同じ補集合を持つ類についての TΣ − TΣ′ の張る空間である。
• アフィンな0-ヘッケ代数において、トレース写像 Tr: ˜H0_rig → R(˜H0)*_rig は全射だが単射ではない。補集合は検出できるが、楕円型共役類は検出できない。
• 表現 M が超正則であるための必要十分条件は、WK および W˜S−K が有限であるような πK,χ の和に属することである。これは超正則モジュールの新たな特徴付けを提供する。
• トレース写像が ˜H0_nrig に消えるための必要十分条件は、その表現が剛性部分 R(˜H0)_rig に属することである。これは超正則性の重要な基準を確認する。
• 単純核予想は、剛性ある余中心上のトレース写像が補集合を検出するが、より詳細な共役データを検出しないことから支持される。双対性の失敗が制御可能であることが示される。