[论文解读] 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$ 相关联的代数空间 $\tilde{Z}$，该空间配备有 $G_m$-作用。它构造了一个典范的无分支态射 $\tilde{p} : \tilde{Z} \to A^1 \times Z \times Z$，该态射推广了作用映射图的闭包，并证明了与吸引子和排斥子子空间相关的表示性和光滑性结果。主要贡献在于为自守形式中的几何定理提供了新框架，并利用范畴论与 $D$-模技术对 T. Braden 定理给出了新证明。

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. Braden 的一个基本定理提供新证明。
• 通过拟函子与 $D$-模技术，发展一个范畴框架，以形式化并证明自守形式几何理论中的结果。

提出的方法

• 将 $\tilde{Z}$ 构造为 $A^1$ 上类似双曲型族的极限，推广了仿射光滑情形下作用图的闭包。
• 将吸引子 $Z^+$ 和排斥子 $Z^-$ 定义为参数化在 $G_m$-作用下具有极限的点的子空间，并通过形式邻域构造证明其表示性。
• 利用态射 $\tilde{p} : \tilde{Z} \to A^1 \times Z \times Z$ 将 $Z$ 的几何与 $\tilde{Z}$ 的结构联系起来，特别是在 $0$ 和 $1$ 处的纤维。
• 应用 Moret-Bailly 的下降定理与形式邻域技术，证明 $Z^+$ 与 $Z^-$ 的表示性。
• 采用涉及对应范畴的 2-范畴与拟函子的范畴框架，以建模几何数据并推广至 $D$-模。
• 通过 Lurie 的张量积与函子 $D\text{-mod} : \AlgSt \to DGCat_{\text{cont}}$，将几何设定翻译为 $D$-模语言。

实验结果

研究问题

• RQ1 如何将 $G_m$-作用图的闭包推广至任意代数空间 $Z$ 上的 $G_m$-作用，特别是当 $Z$ 不一定是光滑或仿射时？
• RQ2 在何种条件下，$G_m$-作用于 $Z$ 的吸引子 $Z^+$（或排斥子 $Z^-$）可表示为代数空间？
• RQ3 是否可利用 $\tilde{Z}$ 的构造为 Braden 定理（关于 $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$-模实现，该构造为 Braden 定理提供了新证明，实现了所需的伴随关系。
• 若 $Z$ 光滑，则 $\tilde{Z}$ 光滑，且在适当条件下，$\tilde{p}$ 在 $0$ 处纤维的邻域内是光滑的。
• 该框架允许通过 $D$-模范畴与拟作用实现所需的函子，从而为自守形式几何理论中的一个关键结果提供了新证明。