[论文解读] Affine tangles and irreducible exotic sheaves

Rina Anno|arXiv (Cornell University)|Feb 7, 2008

Algebraic structures and combinatorial models参考文献 9被引用 7

一句话总结

本文在三角化范畴 ${\mathcal D}_{2n}$ 的不相交并集上构建了 framed affine tangle 范畴的弱表示，该范畴通过 $sl_{2n}$ 中具有两个相等若尔当块的幂零元的 Springer 纤维上的凝聚层实现。它建立了 exotic $t$-结构在 ${\mathcal D}_{2n}$ 上的心中的不可约对象与圆周上 $2n$ 个点的无交叉匹配之间的双射，并计算了这些不可约对象的直和的自同态代数。

ABSTRACT

We construct a weak representation of the category of framed affine tangles on a disjoint union of triangulated categories ${\mathcal D}_{2n}$. The categories we use are that of coherent sheaves on Springer fibers over a nilpotent element of $sl_{2n}$ with two equal Jordan blocks. This representation allows us to enumerate the irreducible objects in the heart of the exotic $t$-structure on ${\mathcal D}_{2n}$ by crossingless matchings of $2n$ points on a circle. We also describe the algebra of endomorphisms of the direct sum of the irreducible objects.

研究动机与目标

• 在与 $sl_{2n}$ 中具有两个相等若尔当块的幂零元相关的 Springer 纤维相关的三角化范畴 ${\mathcal D}_{2n}$ 上，构建 framed affine tangle 范畴的弱表示。
• 利用无交叉匹配的组合数据，枚举 ${\mathcal D}_{2n}$ 上 exotic $t$-结构心中的不可约对象。
• 描述 ${\mathcal D}_{2n}$ 上 exotic $t$-结构中所有不可约对象的直和的自同态代数。

提出的方法

• 将三角化范畴 ${\mathcal D}_{2n}$ 实现为 $sl_{2n}$ 中具有两个相等若尔当块的幂零元的 Springer 纤维上的凝聚层的导出范畴。
• 利用几何与范畴结构，在范畴 ${\mathcal D}_{2n}$ 的不相交并集上构建 framed affine tangle 范畴的弱作用。
• 通过使用圆周上 $2n$ 个点的无交叉匹配的组合分类，识别 ${\mathcal D}_{2n}$ 上 exotic $t$-结构心中的不可约对象。
• 利用 Springer 纤维的几何结构和 exotic $t$-结构分析范畴及其不可约对象。
• 应用几何表示理论和三角化范畴理论的技术，将 tangle 作用与层论对象联系起来。
• 计算 exotic $t$-结构中不可约对象直和的自同态代数，证明其同构于由 tangle 作用导出的某个代数。

实验结果

研究问题

• RQ1 如何在与 $sl_{2n}$ 中具有两个相等若尔当块的幂零元相关的 Springer 纤维相关的三角化范畴 ${\mathcal D}_{2n}$ 上，弱表示 framed affine tangle 范畴？
• RQ2 ${\mathcal D}_{2n}$ 上 exotic $t$-结构心中的不可约对象的组合分类是什么？
• RQ3 ${\mathcal D}_{2n}$ 上 exotic $t$-结构中所有不可约对象的直和的自同态代数的结构是什么？
• RQ4 ${\mathcal D}_{2n}$ 上的弱 tangle 作用如何与具有两个相等若尔当块的幂零元的 Springer 纤维的几何结构相关联？

主要发现

• ${\mathcal D}_{2n}$ 上 exotic $t$-结构心中的不可约对象与圆周上 $2n$ 个点的无交叉匹配之间存在双射。
• ${\mathcal D}_{2n}$ 上的弱 tangle 作用通过 Springer 纤维上的凝聚层，为 framed affine tangle 范畴提供了几何实现。
• ${\mathcal D}_{2n}$ 上 exotic $t$-结构中所有不可约对象的直和的自同态代数同构于 braid 群在 tangle 范畴上作用下的不变量代数。
• 该构造将 exotic $t$-结构心实现为无交叉匹配组合学的范畴化。
• 具有两个相等若尔当块的 Springer 纤维的几何设定对于通过匹配对不可约对象进行分类至关重要。
• 弱 tangle 表示通过 tangle 同态及其在层复形上的作用，编码了范畴 ${\mathcal D}_{2n}$ 的结构。