[論文レビュー] On algebraic spaces with an action of G_m

Vladimir Drinfeld|arXiv (Cornell University)|Aug 12, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用数 26

ひとこと要約

この論文は、体上有限型の代数的空間 $Z$ に $G_m$-作用が与えられたとき、それに付随する代数的空間 $\tilde{Z}$ を導入し、その性質を研究する。一般化された作用写像のグラフの閉包を一般化する、自然な非分岐な準同型 $\tilde{p} : \tilde{Z} \to A^1 \times Z \times Z$ を構成し、吸引部分空間および反発部分空間の代表可能性および滑らかさに関する結果を証明する。主な貢献は、自動形式の幾何学的定理を証明するための新しい枠組みを提供し、カテゴリカルおよび $D$-加群の技法を用いてブラデンの定理の新しい証明を与えることにある。

ABSTRACT

Let Z be an algebraic space of finite type over a field, equipped with an action of the multiplicative group $G_m$. In this situation we define and study a certain algebraic space equipped with an unramified morphism to $A^1 imes Z imes Z$, where $A^1$ is the affine line. (If Z is affine and smooth this is just the closure of the graph of the action map $G_m imes Z o Z$.) In articles joint with D.Gaitsgory we use this set-up to prove a new result in the geometric theory of automorphic forms and to give a new proof of a very important theorem of T. Braden.

研究の動機と目的

• 有限型の代数的空間 $Z$ に $G_m$-作用が与えられたとき、$\tilde{Z}$ を定義し、$A^1 \times Z \times Z$ への自然な非分岐な準同型を備えた代数的空間として研究すること。
• $G_m$-作用に関連する吸引部分空間および反発部分空間の代表可能性および滑らかさに関する結果を確立すること。
• 幾何的表現論の文脈において、T. ブラデンの基本定理の新しい証明を提供すること。
• 対応の2-圏および緩いファンクターを用いたカテゴリカル枠組みを構築し、自動形式の幾何的理論における結果を形式化・証明すること。

提案手法

• $A^1$ 上の双曲型に類似した族の極限として $\tilde{Z}$ を構成し、$Z$ がアフィンかつ滑らかである場合の作用写像のグラフの閉包を一般化する。
• 点の $G_m$-作用に関する極限を持つ点をパラメトライズする吸引部分空間 $Z^+$ および反発部分空間 $Z^-$ を定義し、形式的近傍構成を用いてその代表可能性を証明する。
• $\tilde{p} : \tilde{Z} \to A^1 \times Z \times Z$ の準同型を用いて、$Z$ の幾何と $\tilde{Z}$ の構造、特に $0$ および $1$ でのファイバーとの関係を関係づける。
• モレ・ベイユの降下定理および形式的近傍技法を用いて、$Z^+$ および $Z^-$ の代表可能性を証明する。
• 対応の2-圏および緩いファンクターを含むカテゴリカル枠組みを用いて、幾何的データをモデル化し、$D$-加群へと拡張する。
• ルリエのテンソル積および関手 $D\text{-mod} : \AlgSt \to DGCat_{\text{cont}}$ を用いて、幾何的設定を $D$-加群の言語に翻訳する。

実験結果

リサーチクエスチョン

• RQ1 $Z$ が一般の代数的空間（特に滑らかでないかアフィンでない場合）であるとき、$G_m$-作用のグラフの閉包をどのように一般化できるか。
• RQ2 $G_m$-作用に関する吸引部分空間 $Z^+$（または反発部分空間 $Z^-$）が代数的空間として代表可能となる条件は何か。
• RQ3 $\tilde{Z}$ の構成を用いて、$Z$ の有向圏の分解に関するブラデンの定理の新しい証明が可能か。
• RQ4 準同型 $\tilde{p} : \tilde{Z} \to A^1 \times Z \times Z$ は $G_m$-作用の力学的性質をどのように符号化し、固定点および吸引構造と関係づけられるか。
• RQ5 緩いファンクター $\Theta_Z$ 及びその $D$-加群への拡張が、自動形式の幾何的理論を形式化する上で果たす役割は何か。

主な発見

• $\tilde{Z}$ は自然な非分岐な準同型 $\tilde{p} : \tilde{Z} \to A^1 \times Z \times Z$ を備えた代数的空間であり、$Z$ がアフィンかつ滑らかである場合には作用写像のグラフの閉包を回復する。
• 吸引部分空間 $Z^+$ および反発部分空間 $Z^-$ は $Z$ の代数的部分空間として代表可能であり、$p^+ : Z^+ \to Z$ は代表可能かつ非分岐である。
• $\tilde{p}$ の $0 \in A^1$ でのファイバーは $Z^- \times Z^+$ に同型であり、$1 \in A^1$ でのファイバーは $Z \times Z$ に同型であり、$G_m$-作用の力学的性質を反映している。
• 構成により、必要な随伴関手を緩いファンクター $\Theta_Z$ 及び対応の圏の $D$-加群実現を用いて実現することで、ブラデンの定理の新しい証明が得られる。
• $Z$ が滑らかであれば $\tilde{Z}$ も滑らかであり、適切な条件下では $0$ でのファイバーの近傍で $\tilde{p}$ は滑らかである。
• この枠組みにより、$D$-加群の圏および緩い作用を用いて、自動形式の幾何的理論における重要な結果の新しい証明が可能になる。