[论文解读] Braid groups and geometric categorical Lie algebra actions

Sabin Cautis, Joel Kamnitzer|arXiv (Cornell University)|Jan 5, 2010

Algebraic structures and combinatorial models被引用 3

一句话总结

本文引入了在凝聚层导出范畴上的几何范畴李代数作用，证明其通过一般性构造诱导出 braid 群作用。该方法适用于几何范畴作用与强范畴作用，关键例子展示了在部分旗流形余切丛上的凝聚层导出范畴上存在 braid 群作用。

ABSTRACT

We introduce the idea of a geometric categorical Lie algebra action on derived categories of coherent sheaves. The main result is that such an action induces an action of the braid group associated to the Lie algebra. The same proof shows that strong categorical actions in the sense of Khovanov-Lauda and Rouquier also lead to braid group actions. As an example, we construct a braid group action on derived categories of coherent sheaves on cotangent bundles to partial flag varieties.

研究动机与目标

• 在凝聚层导出范畴上定义并形式化几何范畴李代数作用。
• 建立一种通用机制，使此类作用能诱导出 braid 群作用。
• 将结果扩展至 Khovanov-Lauda 与 Rouquier 意义下的强范畴作用。
• 通过部分旗流形余切丛上的导出范畴，提供 braid 群作用的显式几何实现。

提出的方法

• 使用代数簇上凝聚层的导出范畴来定义几何范畴李代数作用。
• 利用李代数的结构构造满足范畴作用公理的函子。
• 证明 braid 群关系自然地从范畴作用的定义性质中涌现。
• 将同一框架应用于强范畴作用，通过相同的证明技术表明得到同构的 braid 群作用。
• 在部分旗流形余切丛上的凝聚层导出范畴上构造显式函子。
• 通过范畴的交换性与一致性条件，验证所得函子满足 braid 群关系。

实验结果

研究问题

• RQ1 如何在凝聚层导出范畴上定义几何范畴李代数作用？
• RQ2 何种条件可确保此类作用诱导出 braid 群作用？
• RQ3 在 Khovanov-Lauda-Rouquier 框架下，这些结果在多大程度上适用于强范畴作用？
• RQ4 是否可以在部分旗流形余切丛上的凝聚层导出范畴上显式构造 braid 群作用？
• RQ5 流形的几何结构与所得 braid 群作用之间存在何种关系？

主要发现

• 在凝聚层导出范畴上的几何范畴李代数作用自然诱导出 braid 群作用。
• 相同的证明技术适用于 Khovanov-Lauda 与 Rouquier 意义下的强范畴作用，从而得到同构的 braid 群作用。
• 在部分旗流形余切丛的凝聚层导出范畴上构造了一个具体的 braid 群作用。
• 该构造依赖于作用的范畴结构以及底层面几何的性质。
• braid 群作用源于李代数根系与导出范畴三角结构之间的相互作用。
• 该结果通过范畴作用在几何表示论与 braid 群表示之间建立了新联系。