[论文解读] Notes on a conjecture of Braverman-Kazhdan

Gérard Laumon, Emmanuel Letellier|arXiv (Cornell University)|Jun 18, 2019

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

一句话总结

本文提供了对有限域上半单代数群的Braverman-Kazhdan猜想关于奇异傅里叶核的简洁、通用证明，无需对表示ρ♭: G♭ → GLN施加任何假设。作者运用Deligne-Lusztig理论、Lusztig诱导以及商叠层上的几何傅里叶变换，推导出核ϕG_ρ关于诱导特征标与γ函数的显式公式，从而在所有连通半单代数群G上统一证明了该猜想。

ABSTRACT

Given a connected reductive algebraic group G over a finite field together with a representation of the dual group of G in GL(n), Braverman and Kazhdan defined an exotic Fourier operator on the space of complex valued functions on the finite group of rational points of G. In these notes we give an explicit formula for the Fourier kernel and a geometrical interpretation of this formula (as conjectured by Braverman and Kazhdan under some assumption).

研究动机与目标

• 解决关于有限域上半单代数群奇异傅里叶核显式形式的Braverman-Kazhdan猜想。
• 消除原始猜想中对ρ♭的限制性假设，实现其在完全一般性下的证明。
• 为通过商叠层与Lusztig系列理解傅里叶核，提供统一的几何与表示论框架。
• 以最大环上的诱导特征标与γ函数为基准，完整描述核ϕG_ρ的结构。

提出的方法

• 利用商叠层[T/N]通过H¹(F, N)参数化G的F-稳定最大环，实现对共轭类的全局控制。
• 应用Lusztig诱导与对偶性，通过映射ρ♭: G♭ → G′♭将G与G′上的特征标关联起来。
• 将奇异傅里叶核ϕG_ρ构造为对所有环H的求和，形式为缩放后的ψ ◦ Tr|T′的前推，其中ρH: T′ → H与H♭ → T′对偶。
• 在叠层[G/G]与[T/N]上应用几何傅里叶变换，利用M([t/N])与M([t/W])之间的同构关系，建立上同调对应。
• 应用 perverse 她aves 理论与Springer对应关系，证明Springer提升的上同调在W作用下携带符号表示。
• 利用傅里叶变换的对合性与与前推的相容性，推导出关于[ S/W]与[ S′/W]上IC层的关键同构。

实验结果

研究问题

• RQ1 在不假设ρ♭的情况下，与映射ρ♭: G♭ → G′♭相关的奇异傅里叶核ϕG_ρ的显式公式是什么？
• RQ2 Lusztig系列参数化如何与ρ♭下的γ函数传递相互作用？
• RQ3 Braverman-Kazhdan猜想能否在所有半单代数群上统一证明，而不仅限于GLn？
• RQ4 从Deligne-Lusztig簇与商叠层的角度，傅里叶核的几何意义是什么？
• RQ5 在Springer对应关系背景下，Weyl群作用于上同调与符号特征之间的关系是什么？

主要发现

• 奇异傅里叶核ϕG_ρ显式给出为ϕG_ρ = ∑_{χ∈dGF} χ(1)γG_ρ(χ)χ∨，其中γG_ρ为γG′沿tρ的拉回。
• 核ϕG_ρ在几何上构造为F-稳定最大环H的求和，形式为cH,T′ ⋅ ρH!(ψ ◦ Tr|T′)，其中ρH与H♭ → T′对偶。
• 映射tρ: LS(G) → LS(G′)通过ρ♭定义良好，并诱导可接受函数的传递，即使对偶映射ρ: G′ → G不存在。
• C(GF)上的傅里叶变换FG_ρ被实现为堆叠[ G/G]F上傅里叶变换的限制，与Deligne-Lusztig诱导相容。
• Springer提升的上同调携带Weyl群的符号表示，这对几何论证中的关键同构证明至关重要。
• 通过上同调对应与傅里叶变换的对合性，建立了堆叠上F[t/W] × 1 ≃ 1 × F[g/G]的主要同构，从而确认了该猜想。