[論文レビュー] A note on Integral Satake isomorphisms

Xinwen Zhu|arXiv (Cornell University)|May 26, 2020

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

ひとこと要約

本稿は、p進群 G に対する球的ヘッケ代数 HG の canonical 整数的 Satake 同型を、Langlands 対称群とコキャラクター ρad から導かれるアフィンモノイドに関連する Z-代数として定式化する。この構成は Vinberg モノイドを用いて任意の重みのヘッケ代数へ一般化可能であり、古典的および mod p Satake 同型に特殊化される一様な整数的記述を提供し、Fp 上の幾何学的 Satake 同値と整合する。

ABSTRACT

We formulate a Satake isomorphism for the integral spherical Hecke algebra of an unramified $p$-adic group $G$ and generalize the formulation to give a description of the Hecke algebra $H_G(V)$ of weight $V$, where $V$ is a lattice in an irreducible algebraic representation of $G$.

研究の動機と目的

• q^{1/2} に依存しない Z 上の整数的 Satake 同型を、p進群 G の球的ヘッケ代数 HG に対して canonical に定式化すること。
• G の既約代数的表現における格 V に対応する最高重量 λ をパrameter とする、ヘッケ代数 HG(V) への Satake 同型の一般化。
• ヘッケ代数をアフィンモノイド V_{Ĝ,ρad} の表現と関連付けることで、幾何学的 Satake 同値（特に mod p 設定）と整合性を保つこと。
• Vinberg モノイド構成を用いた一様な整数的枠組みにより、古典的 Satake 同型（Z[q±1/2] 上）と mod p Satake 同型を統一すること。

提案手法

• コキャラクター ρad とガロア作用を組み合わせた、Langlands 対称群の修正版である C群 CG = Ĝ ⋊ (Gm × Γ̃F/F) を定義する。
• 写像 dρad : V_{Ĝ,ρad} → A1 を通じた Ĝ の Vinberg モノイドの引き戻しとして、アフィンモノイド V_{Ĝ,ρad} を構成し、双対群 ĜT の一般化とする。
• V_{Ĝ,ρad} の表現論を用いて、その表現のグロタンディーク群を、トレース写像を通じて整数的ヘッケ代数 HG に同定する。
• フロベニウスのトレースと幾何学的 Satake との整合性を用いて、C群のグロタンディーク群と整数的ヘッケ代数 HG 間の canonical 同型を確立する。
• V_{Ĝ,ρad} 上の不変関数の環が、G の既約表現における格 V に対応するすべての HG(V) に特殊化されることを証明する。
• アフィングラスマンジャン上の perverse 契約層の圏への、C群の整数的表現の圏への完全忠実な写像を示し、トレース写像が Satake 同型を誘導することにより、幾何学的 Satake 同値との整合性を検証する。

実験結果

リサーチクエスチョン

• RQ1 古典的 Satake 同型は、q^{1/2} に依存しない Z 上で整数的に定式化可能か？
• RQ2 Satake 同型は、球的の場合に限らず、任意の重みのヘッケ代数へどのように一般化可能か？
• RQ3 Vinberg モノイド V_{Ĝ,ρad} は、整数的 Satake 同型を実現するために果たす役割は何か？
• RQ4 整数的 Satake 同型は、Cass が研究した Fp 上の幾何学的 Satake 同値とどのように関係するか？
• RQ5 古典的および mod p Satake 同型に両方特殊化可能な、HG(V) の canonical Z-代数的記述は存在するか？

主な発見

• 本稿は、Langlands 対称群とコキャラクター ρad に関連するアフィンモノイド V_{Ĝ,ρad} に対して、HG ≃ Z[V_{Ĝ,ρad}|dρad=q]^{cσ(Ĝ)} という canonical 整数的 Satake 同型を構成する。
• この同型は q^{1/2} に依存せず、q^{1/2} を逆元にすると古典的 Satake 同型に特殊化され、p を法として減少すると mod p Satake 同型に特殊化される。
• この構成は、G の既約表現における格 V に対応するヘッケ代数 HG(V) へ一般化可能であり、同型は HG(V) ≃ Z[V_{Ĝ,λad+ρad}|dρad=q]^{cσ(Ĝ)} の形を取る。
• V_{Ĝ,ρad} 上の不変関数の環がすべての HG(V) へ全射であることを示し、この単一のモノイドがすべての重みに対する整数的ヘッケ代数を符号化していることを示す。
• 幾何学的 Satake 同値は、C群の整数的表現の圏と、アフィングラスマンジャン上の perverse 契約層の圏との同値を誘導し、トレース写像と整合する。
• C群の整数的表現のグロタンディーク群から HG へのトレース写像は全射であり、幾何学的 Satake と古典的 Satake を含む図式は可換であり、整数性および整合性が確認される。