[论文解读] 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-模的双曲限制上的新几何证明。关键结果是在 ${\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-模与构造层范畴中双曲限制的布雷登定理提供一个新几何证明。
• 将布雷登原始结果从正规概形推广至特征为零的域上的有限型代数空间。
• 在一般设定下确立吸引子与排斥子局部的表示性，解决该理论中的基础性问题。
• 通过将定理重新表述为 ${\mathbb{G}}_m$-单值D-模范畴上函子之间的伴随关系，厘清代数结构。
• 展示新证明在几何表示论中的实用性，特别是在卢茨蒂格的特征层理论及诱导/限制函子中的应用。

提出的方法

• 构造一个1-参数族的概形 $\mathbb{X}_S$，使其将给定的 ${\mathbb{G}}_m$-空间 $Z$ 退化为吸引子 $Z^+$ 与排斥子 $Z^-$ 局部的乘积。
• 通过包含固定点与投影到吸引子/排斥子局部的图表，利用族 $\mathbb{X}_S$ 的几何结构，定义一个插值函子。
• 使用余范畴理论处理部分定义的函子，特别是仅在 ${\mathbb{G}}_m$-单值对象子范畴上定义的 $\bullet$-拉回函子。
• 通过特化映射与核的构造，建立函子 $(i^+)^\bullet \circ (p^+)^!$ 与 $(i^-)^! \circ (p^-)^\bullet$ 之间的伴随关系。
• 通过比较函子的核并证明核层面的同构，验证伴随关系，依赖于插值族的结构。
• 利用收缩作用情形与仿射表示性结果，将一般情形约化为更易处理的设定。

实验结果

研究问题

• RQ1 如何通过几何退化构造重新证明布雷登定理关于双曲限制的结果？
• RQ2 1-参数族的双曲线在实现 $!$-拉回与 $\bullet$-拉回函子之间的伴随关系中起什么作用？
• RQ3 在代数空间的一般设定下，吸引子与排斥子局部的表示性如何影响布雷登定理的有效性？
• 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$ 上的特化映射。
• 特化映射 $\operatorname{Sp}: (p^-)^! \circ (i^-)^\bullet \to \operatorname{id}$ 在 $\mathcal{T}$ 上被证明是同构，从而确认了伴随关系中的单位性质。