[论文解读] A note on Integral Satake isomorphisms

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

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

一句话总结

本文为非分歧 p-进群 G 的球面 Hecke 代数构造了一个典范的整数 Satake 同构，将其识别为与 Langlands 对偶群及余特征 ρad 相关的仿射幺半群所导出的 Z-代数。该构造通过 Vinberg 么半群推广至任意权的 Hecke 代数，提供了一个统一的整数描述，该描述退化为经典 Satake 同构与模 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$.

研究动机与目标

• 为非分歧 p-进群 G 的球面 Hecke 代数 HG 在 Z 上构造一个典范的整数 Satake 同构，避免对 q^{1/2} 的依赖。
• 将 Satake 同构推广至 G 的不可约代数表示中格 V 的 Hecke 代数 HG(V)，以最高权 λ 参数化。
• 通过将 Hecke 代数与仿射么半群 V_{Ĝ,ρad} 的表示联系起来，建立与几何 Satake 等价的相容性，特别是在模 p 设置下。
• 通过使用 Vinberg 么半群构造的单一整数框架，统一经典 Satake 同构（在 Z[q±1/2] 上）与模 p Satake 同构。

提出的方法

• 将 C-群 CG = Ĝ ⋊ (Gm × Γ̃F/F) 定义为 Langlands 对偶群的修改，纳入余特征 ρad 与伽罗瓦作用。
• 通过同态 dρad : V_{Ĝ,ρad} → A1，将 Vinberg 么半群的拉回构造仿射么半群 V_{Ĝ,ρad}，推广了对偶群 ĜT。
• 利用 V_{Ĝ,ρad} 的表示理论描述其表示的 Grothendieck 群，通过迹映射将其与整数 Hecke 代数 HG 识别。
• 通过 Frobenius 的迹与几何 Satake 的相容性，建立 CG 的整数表示的 Grothendieck 群与整数 Hecke 代数 HG 之间的典范同构。
• 证明 V_{Ĝ,ρad} 上的不变函数环在所有 G 的不可约表示中格 V 的 HG(V) 上退化。
• 通过证明 CG 的整数表示范畴到仿射 Grassmannian 上的 perverse sheaf 范畴的满忠实映射，并且迹映射诱导出 Satake 同构，验证与几何 Satake 等价的相容性。

实验结果

研究问题

• RQ1 能否在 Z 上以整数形式构造经典 Satake 同构，且不依赖于 q^{1/2}？
• RQ2 Satake 同构如何推广至任意权的 Hecke 代数，而不仅限于球面情形？
• RQ3 Vinberg 么半群 V_{Ĝ,ρad} 在实现整数 Satake 同构中起什么作用？
• RQ4 整数 Satake 同构如何与 Cass 所研究的 Fp 上的几何 Satake 等价相关联？
• RQ5 是否存在一个典范的 Z-代数描述 HG(V)，使其能退化为经典与模 p Satake 同构？

主要发现

• 本文构造了典范的整数 Satake 同构 HG ≃ Z[V_{Ĝ,ρad}|dρad=q]^{cσ(Ĝ)}，其中 V_{Ĝ,ρad} 是与 Langlands 对偶群及余特征 ρad 相关的仿射么半群。
• 该同构不依赖于 q^{1/2}，在对 q^{1/2} 作逆元后退化为经典 Satake 同构，在模 p 约化后退化为模 p Satake 同构。
• 该构造可推广至 G 的不可约表示中格 V 的 Hecke 代数 HG(V)，同构形式为 HG(V) ≃ Z[V_{Ĝ,λad+ρad}|dρad=q]^{cσ(Ĝ)}。
• V_{Ĝ,ρad} 上的不变函数环满射到所有 HG(V)，表明该单一么半群编码了所有权的整数 Hecke 代数。
• 几何 Satake 等价诱导出 CG 的整数表示范畴与仿射 Grassmannian 上具有整数结构的 perverse sheaf 范畴之间的等价，且与迹映射相容。
• 从 CG 的整数表示的 Grothendieck 群到 HG 的迹映射是满射，且包含几何 Satake 与经典 Satake 的图表可交换，从而确认了整数性与相容性。