[論文レビュー] On a theorem of Braden

Vladimir Drinfeld, Dennis Gaitsgory|arXiv (Cornell University)|Aug 17, 2013

Algebraic structures and combinatorial models参考文献 16被引用数 7

ひとこと要約

本稿は、${\mathbb{G}}_m$-作用を持つスキームをその吸引核と排斥核の付着点の積へ退化させる1パラメータ族を用いて、構成可能層およびDモジュールの双曲的制限に関するBradens定理の新しい幾何的証明を提示する。主な結果は、${\mathbb{G}}_m$-モノドロミック対象の部分カテゴリ上で有効である、吸引核と排斥核の包含写像に沿った$!$-引き戻しと$\bullet$-引き戻しの二つの関手の合成の間に自然な同型を確立することである。

ABSTRACT

We give a new proof of Braden's theorem ([Br]) about \emph{hyperbolic restrictions} of constructible sheaves/D-modules. The main geometric ingredient in the proof is a 1-parameter family that degenerates a given scheme Z equipped with a G_m-action to the product of the attractor and repeller loci.

研究の動機と目的

• Dモジュールおよび構成可能層の文脈において、Bradens定理の双曲的制限に関する新しい幾何的証明を提供すること。
• Bradens元来の結果を正規多様体から、標数0の体上の有限型代数的空間へ一般化すること。
• 理論の基礎的問題に対処するため、一般設定における吸引核および排斥核の付着点の代表可能性を確立すること。
• ${\mathbb{G}}_m$-モノドロミックDモジュールのカテゴリ上の関手の間の随伴として再定式化することにより、定理のカテゴリカル構造を明確化すること。
• 幾何的表現論における新証明の有効性を示すこと、特にLusztigのキャラクターシーブ理論および誘導／制限関手の文脈において。

提案手法

• 与えられた${\mathbb{G}}_m$-空間$Z$をその吸引核$Z^+$と排斥核$Z^-$の積へ退化させる1パラメータ族のスキーム$\mathbb{X}_S$を構成する。
• 固定点の包含写像と吸引核／排斥核の付着点への射影を含む図式を用いて、族$\mathbb{X}_S$の幾何的性質を利用して補間関手を定義する。
• 特に${\mathbb{G}}_m$-モノドロミック対象の部分カテゴリでのみ定義される$\bullet$-引き戻し関手を扱うために、プロカテゴリの理論を用いる。
• 特殊化写像とカーネルを用いて、関手$(i^+)^\bullet \circ (p^+)^!$と$(i^-)^! \circ (p^-)^\bullet$の間の随伴を、単位および余単位の構成によって確立する。
• 関手のカーネルを比較し、補間族の構造に依拠して、カーネルレベルでの同型を証明することにより、随伴を検証する。
• 収縮作用のケースとアフィン代表可能性の結果を活用して、一般ケースをより取り扱いやすい設定へ還元する。

実験結果

リサーチクエスチョン

• RQ1 Bradens定理の双曲的制限は、どのように1パラメータ族の退化構成を用いて再証明できるか？
• RQ2 双曲的制限の随伴を実現する1パラメータ族の双曲線族の役割は何か？
• RQ3 代数的空間の一般設定において吸引核および排斥核の付着点の代表可能性が、Bradens定理の有効性にどのように影響するか？
• RQ4 二つの関手の合成の同型は、Dモジュールの導来カテゴリにおける随伴として理解できるか？
• RQ5 ${\mathbb{G}}_m$-モノドロミック部分カテゴリの重要性は、部分的に定義された引き戻し関手の存在および同型を保証するために何であるか？

主な発見

• ${\mathbb{G}}_m$-モノドロミックDモジュールの全部分カテゴリ上で$(i^+)^\bullet \circ (p^+)^!$と$(i^-)^! \circ (p^-)^\bullet$の間に自然な同型が確立される。
• 同型は、$Z$を$Z^+ \times Z^-$へ退化させる1パラメータ族を介して構成され、双曲的制限の幾何的実現を提供する。
• 吸引核$Z^+$および排斥核$Z^-$の付着点が、正規性や分離性の仮定なしに代数的空間として代表可能であることが示される。
• プロカテゴリを用いることで、部分的に定義された$\bullet$-引き戻し関手を扱い、随伴のための適切な単位および余単位の構成が可能になる。
• 鍵となるステップは、合成関手に関連する二つのカーネルの同型を証明することであり、これは$\mathbb{A}^1 \times Z^0 \times Z$上の特殊化写像に帰着される。
• $\mathcal{T}$上で$\operatorname{Sp}: (p^-)^! \circ (i^-)^\bullet \to \operatorname{id}$が同型であることが示され、随伴における単位の性質が確認される。