[論文レビュー] Springer correspondence via p-adic analytic methods

Lorenzo Ramero|arXiv (Cornell University)|Oct 8, 2002

advanced mathematical theories被引用数 8

ひとこと要約

本稿は、p進解析的フーリエ変換を用いて、特徴量ゼロの体上の半単純群におけるスプリンガー対応を確立する。古典的なデリーニュ＝フーリエ変換の代わりにp進解析的バージョンを用いる。 perverse ファイバーが双対ファイバーのフーリエ変換として得られることを示し、Weyl群作用を転送することで、解析的エタールコhomologyを用いて特徴量フリーのスプリンガー対応を回復する。

ABSTRACT

We show that the standard proof of the Springer correspondence in positive characteristic (via Deligne-Fourier transform) works verbatim in characteristic zero, up to replacing Deligne-Fourier transform by another etale Fourier transform introduced by the author in a previous work. The construction of this Fourier transform uses methods from p-adic analytic geometry.

研究の動機と目的

• 特徴量ゼロの体へのスプリンガー対応の拡張をp進解析的手法を用いて行う。
• スプリンガー対応の証明において、古典的なデリーニュ＝フーリエ変換をp進解析的フーリエ変換に置き換える。
• 解析的エタールサイトとp進コhomological道具を用いることで、フーリエ変換による標準的証明が特徴量ゼロでも有効であることを示す。
• Weyl群作用をp進フーリエ変換を用いて転送することで、特徴量フリーなスプリンガー対応の構成を確立する。
• p進解析的技法を代数的幾何における表現論的問題に適用するための概念的証明を提供する。

提案手法

• 非アーキメデス体上のベクター束の解析的エタールサイトに、p進解析的フーリエ変換を適用する。
• ℓ-進ファイバーを近似するために、係数が環 Λ_r = Z̄_ℓ / ℓ^{r+1}Z̄_ℓ である逆系のファイバーを扱う。
• 双対解体 G ×^B u^⊥ → g^* にフーリエ変換を適用し、g^* 上の複体 Φ′_r を得る。
• フーリエ変換とプッシュフォワード・プロジェクションの整合性を用いて、Φ′_r の変換とnilpotent cone 上のスプリンガー・ファイバー Ψ_r を関連付ける。
• 解析的サイト上で基底変換およびプロジェクションの公式を用い、F(Φ′_r) ≃ i_N*Ψ_r(−n) の同型を確立する。
• フーリエ変換の同型を用いて、Φ′_r におけるWeyl群作用を Ψ_r に転送し、スプリンガー対応を導出する。

実験結果

リサーチクエスチョン

• RQ1 スプリンガー対応は、特徴量ゼロにおいてp進解析的フーリエ変換を用いて再構成可能か？
• RQ2 p進解析的フーリエ変換は、スプリンガー解体およびその双対とどのように作用するか？
• RQ3 古典的証明が、解析的エタールコhomologyを用いて特徴量ゼロにどの程度適応可能か？
• RQ4 解析的エタールサイトは、 torsion 係数を持つファイバーにp進フーリエ変換を適用可能にする役割を果たすか？
• RQ5 フーリエ変換を介して、Weyl群作用は双対解体からスプリンガー・ファイバーにどのように転送されるか？

主な発見

• p進解析的フーリエ変換は、特徴量ゼロ体上でのスプリンガー対応の文脈において、デリーニュ＝フーリエ変換の有効な代替手段を提供する。
• スプリンガー解体に関連する複体 Ψ_r は、shift と twist を除いて、Φ′_r のフーリエ変換に同型である。具体的には F(Φ′_r) ≃ i_N*Ψ_r(−n) が成り立つ。
• 双対ファイバー Φ′_r におけるWeyl群作用は、フーリエ変換の同型を介してスプリンガー・ファイバー Ψ_r に転送される。
• 得られる G-不変な perverse ファイバー Ψ_r は、Weyl群 W の既約表現によってインデックスづけられた既約成分に分解される。
• W-既約表現と g 内の nilpotent 軌道との間の対応は、単射写像として回復され、特徴量ゼロにおけるスプリンガー対応が確立される。