[論文レビュー] 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モジュールの非可約性に関するde Rham版のBraverman-Kazhdan予想を証明し、ガンマDモジュールによる畳み込み—非線形フーリエ変換とみなされる—が誘導関手と可換であり、再帰的代数群上の適切Dモジュールの圏で正確であることを確立する。証明は、Harish-Chandra両側モジュールと特性DモジュールにおけるDrinfeld中心の技法に依拠し、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モジュールのde Rham的非可約性を確立し、BravermanとKazhdanの主要な予想を確認すること。
• ガンマDモジュールによる畳み込み関手が非線形フーリエ変換として機能し、t-構造を保存し、誘導関手と可換であることを検証すること。
• フーリエ＝デリーニュ変換の性質—正確性と誘導関手との整合性—を非線形Dモジュールの文脈へ拡張すること。
• 畳み込み関手が適切Dモジュールの圏で正確であることを示し、表現論的応用における中心的要件を満たすこと。
• ガンマDモジュールの構造と特性Dモジュール、およびHarish-Chandra両側モジュールのDrinfeld中心との関係を結びつけ、結果をカテゴリー的枠組みで提示すること。

提案手法

• 最大トーラスTのコアコアレクトルから、射影prλ: Gm^r → Tを介した押し出しと、Ga上の指数関数的Dモジュールの引き戻しを用いて、ガンマDモジュールΨG,λを構成する。
• Borel部分群Bを介したTからGへの誘導のWeyl不変部分を取ることで、ガンマDモジュールΨG,λを定義する。
• Harish-Chandra両側モジュールと特性Dモジュールの間のDrinfeld中心の同値性を適用し、ΨG,λの構造をモノドロミー的複体と関連付ける。
• 平均化関手AvU = (πU)*を用いて、AvU(ΨG,λ)のT = B/U上の台に帰着させることで、非可約性の問題を簡略化する。
• インターウェーブィング関手とモノドロミー的Dモジュールの導来圏におけるpro対象を用い、畳み込み関手F_G,λを分析する。
• 畳み込みとΨG,λとの間の同型が、モノドロミー的圏上で恒等関手と同値であることを確立し、関連関手のt-正確性により正確性を証明する。

実験結果

リサーチクエスチョン

• RQ1 ガンマDモジュールによる畳み込み関手は、de Rham的文脈において誘導関手と可換か？
• RQ2 ガンマDモジュールによる畳み込み関手は、適切Dモジュールにおける perverse t-構造に関して正確か？
• RQ3 BravermanとKazhdanが予想したように、G → G/Uの商写像に関するガンマDモジュールΨG,λの押し出しは、最大トーラスT ⊂ G/Uに台を持つか？
• RQ4 Dモジュール的文脈における非線形フーリエ変換は、Harish-Chandra両側モジュールのDrinfeld中心を用いて理解可能か？
• RQ5 特性Dモジュールとモノドロミー的複体は、ガンマDモジュールの構造およびその畳み込み性質とどのように関係するか？

主な発見

• G → G/Uの射πU: G → G/Uに関するガンマDモジュールΨG,λの押し出しは、最大トーラスT = B/Uに台を持つ。これは、Braverman-Kazhdan予想のde Rham版の非可約性を証明する。
• 畳み込み関手F_G,λ = (−)*ΨG,λは、適切Dモジュールの圏を保存し、標準的t-構造に関してt-正確である。
• 関手F_G,λは誘導関手と可換であり、古典的フーリエ＝デリーニュ変換の重要な性質が非線形Dモジュールの文脈へ拡張されていることを示す。
• Harish-Chandra両側モジュールのDrinfeld中心と特性Dモジュールの同値性が証明の根幹を成し、モノドロミー的複体への帰着を可能にする。
• AvU(ΨG,λ) ≃ Ψλおよびpro圏における恒等性Ψλ * IX ≃ IXの同型から、畳み込み関手がモノドロミー的圏上で一般化された恒等関手として作用することが示される。
• M ∈ A(G)に対してHC(F_G,λ(M)) * IY ≃ HC(M) * IYが成り立つことから、保守的かつt-正確なインターウェーブィング関手によるt-正確性が確認される。