[論文レビュー] Notes on a conjecture of Braverman-Kazhdan

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

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

ひとこと要約

この論文は、再帰的群 G♭ → GLN に関する表現 ρ♭ に対するいかなる仮定も要しない、有限体上の再帰的群における異彩フーリエ核に関するBraverman-Kazhdan予想の単純で一般的な証明を提供する。著者らは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_ρ の完全な記述を確立すること。

提案手法

• F-安定な最大トーラスのパラメトライゼーションを H¹(F, N) を通じて行うために、商スタック [T/N] を用いることで、共役類に対するグローバルな制御を可能にする。
• Lusztig誘導と双対性を適用し、写像 ρ♭: G♭ → G′♭ を通じて G と G′ 上のキャラクターを関連付ける。
• 異彩フーリエ核 ϕG_ρ を、各トーラス H に対して、ρH: T′ → H を通じたトレースキャラクターのスケーリング付きプッシュフォワードの和として構成する。
• スタック [G/G] および [T/N] 上の幾何的フーリエ変換を用い、M([t/N]) と M([t/W]) の同型を用いて、コhomologicalな対応関係を確立する。
• perverse シーヴとSpringer対応の理論を適用し、Springer解体の最高コホモロジーが W-作用の下で符号表現を担うことを示す。
• フーリエ変換の対合性とプッシュフォワードとの整合性を用い、[S/W] および [S′/W] 上のICシーヴにかかわる重要な同型を導出する。

実験結果

リサーチクエスチョン

• RQ1 表現 ρ♭: G♭ → G′♭ に対して、ρ♭ に関する仮定なしに、異彩フーリエ核 ϕG_ρ の明示的公式は何か？
• RQ2 Lusztig系列によるパラメトライゼーションは、ρ♭ によるガンマ関数の転送とどのように関係するか？
• RQ3 Braverman-Kazhdan予想は、GLn に限らず、すべての再帰的群に対して一様に証明可能か？
• RQ4 Deligne-Lusztig多様体と商スタックの観点から、フーリエ核の幾何的意味は何か？
• RQ5 Weyl群作用がコホモロジーに与える影響は、Springer対応の文脈で符号表現とどのように関係するか？

主な発見

• 異彩フーリエ核 ϕG_ρ は、ϕG_ρ = ∑_{χ∈dGF} χ(1)γG_ρ(χ)χ∨ として明示的に与えられ、γG_ρ は tρ を通じて γG′ に引き戻されたガンマ関数である。
• 核 ϕ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] は、コホモロジー的対応関係とフーリエ変換の対合性を用いて確立され、予想が確認された。