[论文解读] Non-linear Fourier transforms and the Braverman-Kazhdan conjecture

Tsao-Hsien Chen|arXiv (Cornell University)|Sep 11, 2016

Advanced Algebra and Geometry参考文献 6被引用 3

一句话总结

本文證明了德拉姆設定下布雷瓦爾曼-卡茲丹猜想關於伽馬層的無調性，確立了與伽馬D-模（視為非線性傅里葉變換）的卷積運算在重群上的適定D-模類別上與誘導函子可交換且保持正合性。證明依賴於哈里什-錢德拉雙模與特徵D-模的德林費爾德中心技術，確認了D-模設定下非線性傅里葉變換的關鍵性質。

ABSTRACT

In this article we prove a conjecture of Braverman-Kazhdan in \cite{BK} on the acyclicity of gamma sheaves in the de Rham setting. The proof relies on the techniques developed in \cite{BFO} on Drinfeld center of Harish-Chandra bimodules and character D-modules. As an application, we show that the functors of convolution with gamma D-modules, which can be viewed as a version of non-linear Fourier transforms, commute with induction functors and are exact on the category of admissible D-modules on a reductive group.

研究动机与目标

• 在德拉姆設定下確立伽馬D-模的無調性，從而確認布雷瓦爾曼與卡茲丹的一項關鍵猜想。
• 驗證與伽馬D-模卷積的函子表現為非線性傅里葉變換，保持t-結構並與誘導函子可交換。
• 將傅里葉-德利涅變換的性質——正合性與與誘導的相容性——推廣至非線性D-模設定。
• 展示卷積函子在適定D-模類別上是正合的，此為表示論應用的核心要求。
• 將伽馬D-模的結構與特徵D-模、哈里什-錢德拉雙模的德林費爾德中心聯繫起來，為結果提供一個范畴論框架。

提出的方法

• 從最大 тор T 的共軛子構造伽馬D-模 ΨG,λ，透過 prλ: Gm^r → T 的上推與 Ga 上指數D-模的拉回。
• 將伽馬D-模 ΨG,λ 定義為透過Borel子群 B 從 T 到 G 的誘導中 Weyl 不變部分。
• 應用哈里什-錢德拉雙模與特徵D-模之間的德林費爾德中心等價，將 ΨG,λ 的結構與單值複形關聯。
• 使用平均函子 AvU = (πU)*，將無調性問題簡化為 AvU(ΨG,λ) 在 T = B/U 上的支集。
• 運用交錯函子與單調D-模的導出類別中的擬對象，分析卷積函子 F_G,λ。
• 建立與 ΨG,λ 卷積的同構，以及在單調類別上與恆等函子的同構，透過相關函子的 t-正合性證明正合性。

实验结果

研究问题

• RQ1 在德拉姆設定下，與伽馬D-模卷積的函子是否與誘導函子可交換？
• RQ2 與伽馬D-模卷積的函子在適定D-模上的 perverse t-結構下是否正合？
• RQ3 布雷瓦爾曼與卡茲丹所猜想的，G → G/U 商映射下伽馬D-模的上推是否支集於最大 тор T ⊂ G/U？
• RQ4 在D-模設定下，非線性傅里葉變換能否透過哈里什-錢德拉雙模的德林費爾德中心來理解？
• RQ5 特徵D-模與單值複形如何與伽馬D-模的結構及其卷積性質相關？

主要发现

• 伽馬D-模 ΨG,λ 沖 G → G/U 的上推支集於最大 тор T = B/U，從而證明了布雷瓦爾曼-卡茲丹猜想在德拉姆設定下的版本。
• 卷積函子 F_G,λ = (−)*ΨG,λ 保持適定D-模類別，且相對於標準t-結構是t-正合的。
• 函子 F_G,λ 與誘導函子可交換，將古典傅里葉-德利涅變換的一項關鍵性質推廣至非線性D-模設定。
• 哈里什-錢德拉雙模的德林費爾德中心與特徵D-模之間的等價性為證明提供了基礎，使問題得以簡化為單值複形。
• 同構 AvU(ΨG,λ) ≃ Ψλ 與恆等性 Ψλ * IX ≃ IX 在擬類別中成立，意味著卷積函子在單調類別上表現為廣義恆等函子。
• 證明確立了 HC(F_G,λ(M)) * IY ≃ HC(M) * IY 對所有 M ∈ A(G) 成立，透過保守且t-正合的交錯函子確認了t-正合性。