[论文解读] Equivariant Sheaves on Flag Varieties

Olaf M. Schnürer|arXiv (Cornell University)|Sep 27, 2008

Algebraic structures and combinatorial models参考文献 17被引用 4

一句话总结

该论文在旗簇 $G/P$ 上的 Borel-等变构造层的导出范畴与简单等变 perverse 层的扩张代数上的微分分次模的完美导出范畴之间建立了 t-精确等价。关键结果通过 ABCD-逼近与逆极限方法，证明了等变导出范畴的正式性，从而证实了 Soergel 与 Lunts 的猜想，为旗簇上的等变层理论提供了代数描述。

ABSTRACT

We show that the Borel-equivariant derived category of sheaves on the flag variety of a complex reductive group is equivalent to the perfect derived category of dg modules over the extension algebra of the direct sum of the simple equivariant perverse sheaves. This proves a conjecture of Soergel and Lunts in the case of flag varieties.

研究动机与目标

• 建立旗簇上 Borel-等变层的导出范畴的代数描述。
• 证明 Soergel 与 Lunts 的猜想：等变导出范畴与简单等变 perverse 层的扩张代数上的 dg 模的完美导出范畴等价。
• 将已知的关于 toric 与对称簇的正式性结果推广至旗簇的情形。
• 在等变 perverse 层范畴与 dg 模范畴的一个全子范畴之间建立 t-精确等价。
• 通过遗忘函子与标量扩张函子，阐明等变与非等变导出范畴之间的关系。

提出的方法

• 通过一系列等变向量丛与商空间，构造旗簇 $(G/P, \mathcal{S})$ 的 $B$-分层结构的 ABCD-逼近。
• 应用逆极限，将等变导出范畴实现为逼近空间上层范畴的极限。
• 利用扩张代数 $\operatorname{Ext}(\mathcal{I}\mathcal{C}_B(\mathcal{S}))$ 的正式性（平凡微分）建立其与 dg 模完美导出范畴的等价。
• 通过 dg 模范畴中同调集中在零度的子范畴 $\operatorname{dgFlag}(\mathcal{E})$ 定义 dg 模范畴上的 t-结构。
• 建立包含遗忘函子与标量扩张函子的交换图，连接等变与非等变情形。
• 利用诱导等价性，将 $\mathcal{D}^b_{B,c}(G/P)$ 与 $\mathcal{D}^b_{G,c}(G\times_B G/P)$ 关联，从而归约为 $G$-簇的情形。

实验结果

研究问题

• RQ1 旗簇上 Borel-等变层的导出范畴是否与简单等变 perverse 层的扩张代数上的 dg 模的完美导出范畴等价？
• RQ2 扩张代数 $\operatorname{Ext}(\mathcal{I}\mathcal{C}_B(\mathcal{S}))$ 的正式性（平凡微分）是否意味着其与 $\operatorname{dgPer}(\mathcal{E})$ 之间存在 t-精确等价？
• RQ3 Soergel 与 Lunts 关于具有有限个轨道的射影簇的等变导出范畴的猜想，是否在旗簇情形下成立？
• RQ4 遗忘函子与标量扩张函子如何关联等变与非等变导出范畴？
• RQ5 $\operatorname{dgPer}(\mathcal{E})$ 上 t-结构的中心是否与等变 perverse 层范畴等价？

主要发现

• 存在 t-精确等价 $\mathcal{D}^b_{B,c}(G/P) \cong \operatorname{dgPer}(\operatorname{Ext}(\mathcal{I}\mathcal{C}_B(\mathcal{S})))$，证明了 Soergel 与 Lunts 在旗簇情形下的主要猜想。
• 该等价性限制到中心时也成立：$\operatorname{Perv}_B(G/P) \cong \operatorname{dgFlag}(\operatorname{Ext}(\mathcal{I}\mathcal{C}_B(\mathcal{S})))$。
• 简单等变 perverse 层 $\mathcal{I}\mathcal{C}_B(S)$ 对应于 indecomposable 投射 dg $\mathcal{E}$-模 $e_S \mathcal{E}$。
• 遗忘函子 $\operatorname{For}: \mathcal{D}^b_{B,c}(G/P) \to \mathcal{D}^b(G/P,\mathcal{S})$ 与标量扩张函子 $?-\overset{L}{\otimes}_{\mathcal{E}} \mathcal{F}$ 构成交换图，连接等变与非等变情形。
• 非等变情形也成立：$\mathcal{D}^b(G/P,\mathcal{S}) \cong \operatorname{dgPer}(\operatorname{Ext}(\mathcal{I}\mathcal{C}(\mathcal{S})))$。
• 主等价的复化版本同样成立，如附录 72 中的交换图所示。