[论文解读] Hypertoric category O

Tom Braden, Anthony Licata+2 more|arXiv (Cornell University)|Oct 11, 2010

Algebraic structures and combinatorial models参考文献 30被引用 6

一句话总结

本文引入了在环面作用下，外代数的不变子代数的超环面类 BGG 范畴 O，称为超环面包络代数。它证明了正则块是最高权且为 Koszul 型，确定了其 Koszul 对偶，计算了中心，并构造了类似于经典范畴 O 中的调和与扭量函子的导出自同构，通过几何表示理论将该范畴与超环面概形联系起来。

ABSTRACT

We study the representation theory of the invariant subalgebra of the Weyl algebra under a torus action, which we call a "hypertoric enveloping algebra." We define an analogue of BGG category O for this algebra, and identify it with a certain category of sheaves on a hypertoric variety. We prove that a regular block of this category is highest weight and Koszul, identify its Koszul dual, compute its center, and study its cell structure. We also consider a collection of derived auto-equivalences analogous to the shuffling and twisting functors for BGG category O.

研究动机与目标

• 为在环面作用下外代数的不变子代数建立一个超环面类 BGG 范畴 O。
• 将该范畴几何实现为超环面概形上的层。
• 证明正则块是最高权且为 Koszul 型，并确定其 Koszul 对偶。
• 计算范畴的中心并研究其细胞结构。
• 构造类似于经典范畴 O 中调和与扭量函子的导出自同构。

提出的方法

• 将超环面包络代数定义为在环面作用下外代数的不变子代数。
• 为该代数引入一个类比于 BGG 范畴 O 的范畴 O，对 Cartan 与 Borel 子代数的半单与局部有限作用施加条件。
• 建立超环面范畴 O 与具有正则奇点的超环面概形上有限生成扭曲 D-模范畴之间的等价关系。
• 使用几何方法，包括 Borel-Moore 同调与 BBD 分解定理，分析该范畴的结构。
• 通过与双模的张量积构造导出自同构，类比于调和与扭量函子。
• 应用 Koszul 对偶，关联分次与非分次的导出范畴，并证明 Koszul 对偶交换了调和与扭量函子的角色。

实验结果

研究问题

• RQ1 如何为在环面作用下外代数的不变子代数定义一个超环面类 BGG 范畴 O？
• RQ2 哪些几何对象实现了该超环面范畴 O，它与超环面概形上的 D-模有何关系？
• RQ3 该范畴的正则块是否为最高权且为 Koszul 型，其 Koszul 对偶是什么？
• RQ4 该超环面范畴 O 中正则块的中心结构如何？
• RQ5 在此设定下，类似于调和与扭量函子的导出自同构如何表现？

主要发现

• 超环面范畴 O 的正则块关于简单对象的偏序关系是最高权型的。
• 正则块为 Koszul 型，其 Koszul 对偶通过反变 Koszul 等价性得以确定。
• 正则块的中心在奇点支持同构下同构于超环面概形的上同调，即 $ H^{2d}_{T}(T^*(G/B);C) $。
• 格罗滕迪克群上的细胞滤过对应于上同调上的 BBD 滤过，建立了几何与结构之间的联系。
• 存在类似于调和与扭量函子的导出自同构，且在可分次模上是满的且忠实的，可生成三角范畴。
• Koszul 对偶在分次与非分次设定中交换了调和与扭量函子的角色，并在对偶函子之间存在自然同构。