[論文レビュー] Derived Langlands III: PSH algebras and their numerical invariants

Victor Snaith|arXiv (Cornell University)|Jun 12, 2020

Advanced Algebra and Geometry参考文献 12被引用数 4

ひとこと要約

本稿は、p進局所体または有限体上の一般線型群の超Hecke代数に、Hopf代数に類似した構造を予想的に導入し、PSH代数とその数値的不変量を一般化する。Bruhat分解と二重コセット解析を用いて余積を構成し、テンソル積と整合することを示し、超Hecke代数を通じて導来Langlands対応のより深い代数的枠組みを示唆する。

ABSTRACT

This sequel to Derived Langlands II studies some PSH algebras and their numerical invariants, which generalise the epsilon factors of the local Langlands Programme. It also describes a conjectural Hopf algebra structure on the sum of the hyperHecke algebras of products of the general linear groups over a $p$-adic local field or a finite field.

研究の動機と目的

• p進局所体または有限体上の一般線型群の超Hecke代数の文脈において、PSH代数とその数値的不変量の理論を一般化すること。
• GL_n群の超Hecke代数の直和に、Hopf代数に類似した構造が存在する可能性を調査すること。
• 単項的カテゴリとバー分解を用いて、適切な表現を導来カテゴリに埋め込むことで、導来Langlands理論の枠組みを拡張すること。
• 二重コセット分解と誘導表現を用いて、超Hecke代数に余積を定義すること。これはSegal予想とBrauerの誘導定理に由来する。

提案手法

• パラボリック部分群への作用を用いて、GL_n(F)の超Hecke代数に余積を構成し、二重コセット代表元と共役作用を用いる。
• 同型 P_{a,n-a}/U_{a,n-a} ≅ GL_a(F) × GL_{n-a}(F) を用いて、パラボリック部分群から一般線型群への表現を降下させる。
• 組合せ論的なBruhat分解を適用し、超Hecke代数のテンソル積における乗法と余積写像の整合性を保証する。
• 余積成分の定義が正しくなるように、(zg^{-1})^{-1})^*(φ) が単型部分群上で自明であるという条件を課す。
• a = 0 から n までの和として余積を定義し、その条件を満たす項に制限することで、正値性とPSH代数構造との整合性を保証する。
• ℤ上でのPSH代数の構造、特に区別された基底と自己双対性を用いて、超Hecke代数における正値性と双対性を定義する。

実験結果

リサーチクエスチョン

• RQ1 非アーベル局所体 F に対する GL_n(F) の超Hecke代数に、Hopf代数に類似した構造を導入できるか？
• RQ2 超Hecke代数の余積は、PSH代数のテンソル積構造とどのように関係するか？
• RQ3 Bruhat分解は、超Hecke代数に一貫した余積を構成する上で果たす役割は何か？
• RQ4 Kondo-Gauss和のようなPSH代数の数値的不変量は、超Hecke代数の文脈に一般化可能か？
• RQ5 この代数的枠組みにおいて、パラボリック部分群から全一般線型群への誘導表現を一意に持ち上げる方法は存在するか？

主な発見

• 超Hecke代数の余積は、二重コセット代表元と共役作用を用いて定義され、単型部分群の剰余を介して GL_a(F) × GL_{n-a}(F) へ降下する。
• 写像 m*, m およびテンソルカテゴリにおけるねじれ写像 T の合成を通じて、乗法と余積の整合性が確認された。
• ((zg^{-1})^{-1})^*(φ) が U_{a,n-a} ∩ zg^{-1}Hgz^{-1} 上で自明である項に限定することで、余積の定義が正しくなり、正値性が保証された。
• m* ⊗ m* と T、m × m の合成が、m と m* の合成と等しいことを証明し、コアソシエーション性に類似した性質を確認した。
• GL_n(𝔽_q) におけるKondo-Gauss和の構成を超Hecke代数の文脈に一般化し、局所Langlandsプログラムにおけるepsilons因子との関連を示唆した。
• 整数 n の順序付き分割すべての超Hecke代数の直和に、Bruhat分解と文字条件を用いて定義される余積を伴う完全なHopf代数構造の予想を提示した。