[论文解读] Perverse sheaves and graphs on surfaces

Mikhail Kapranov, Vadim Schechtman|arXiv (Cornell University)|Jan 8, 2016

Advanced Combinatorial Mathematics参考文献 9被引用 13

一句话总结

本文建立了具有奇点的黎曼曲面上的 perverse sheaf 与在带边界的ribbongraph骨架上的一类图范畴之间的组合等价性，推广了经典关于圆盘上 perverse sheaf 的结果。关键贡献是一个函子等价 $ Q_K: \text{Perv}(S,N) \to \mathcal{A}_K $，其中 $ \mathcal{A}_K $ 编码了具有带边界的图上的向量空间与线性映射，通过 $ \mathbb{Z}/n $-作用揭示了 $ \mathcal{A}_n $ 范畴中的“分数自旋”结构。

ABSTRACT

We give an explicit combinatorial description of the category Perv(S,N) of perverse sheaves on an oriented surface S (with boundary) with singularities at a given finite set N. The description is given in terms of any spanning graph K in S with the set of vertices N, so the category is defined entirely in terms of a ribbon graph. This description can be seen as an application, in the theory of perverse sheaves, of the idea of localization on a Lagrangian skeleton.

研究动机与目标

• 为具有有限个奇点 $ N $ 的黎曼曲面 $ S $ 上的 perverse sheaf 范畴 $ \text{Perv}(S,N) $ 提供一个组合描述，允许边界分量存在。
• 推广经典关于单位圆盘 $ D $ 上具有单个奇点 $ 0 $ 的 perverse sheaf 的结果，特别是扩展 $ \mathcal{A}_1 $ 与 $ \mathcal{A}_2 $ 的等价性。
• 引入并形式化 $ \text{Perv}(D,0) $ 的“1/n自旋（任意统计）实现”这一概念，将其作为具有 $ n $ 条边的星形图对应的范畴 $ \mathcal{A}_n $ 来实现。
• 描述 $ \mathbb{Z}/n $ 在 $ \mathcal{A}_n $ 上的作用为严格范畴作用，并通过分数单值化映射证明其为余边界结构。
• 将 $ \mathcal{A}_n $ 的结构与极化 perverse sheaf 及 Euler 型式联系起来，连接到去范畴化的 perverse Schobers 与 Fukaya 范畴。

提出的方法

• 作者为一个嵌入在 $ S $ 中的生成带边图 $ K \subset S $，其中 $ \operatorname{Vert}(K) = N $，构造了一个范畴 $ \mathcal{A}_K $，其对象为有限维 $ \mathbf{k} $-向量空间 $ E_x $、$ E_e $，分别位于顶点 $ x $ 和边 $ e $ 上，以及线性映射 $ \gamma_x^e: E_x \to E_e $、$ \delta_x^e: E_e \to E_x $。
• 映射 $ \gamma $、$ \delta $ 需满足由带边图结构导出的关系，以编码曲面的局部单值化与拓扑约束。
• 主要构造是一个函子 $ Q_K: \text{Perv}(S,N) \to \mathcal{A}_K $，通过包含映射 $ i_K: K \hookrightarrow S $ 拉回 perverse sheaf $ \mathcal{F} $，形成复形 $ \mathcal{R}_K(\mathcal{F}) = R i_K^! (\mathcal{F})[1] $，并证明其在度数 0 处为构造性层。
• 对于具有 $ N = \{0\} $ 的圆盘 $ D $，当 $ K_n $ 为具有 $ n $ 条边的星形图时，定义范畴 $ \mathcal{A}_n $，并显式描述等价 $ Q_n: \text{Perv}(D,0) \to \mathcal{A}_n $。
• $ \mathcal{A}_n $ 上的 $ \mathbb{Z}/n $-作用通过旋转边与映射的标签来定义，该作用被证明是严格且通过由分数单值化映射 $ T_i = \gamma_{i+1} \delta_i $ 导出的自然同构 $ \beta_k $ 构成余边界结构。
• 全局单值化 $ T = \beta_n $ 是一个自然同构 $ \text{id}_{\mathcal{A}_n} \to \text{id}_{\mathcal{A}_n} $，位于 $ \mathcal{A}_n $ 的中心 $ Z(\mathcal{A}_n) $ 中，并在去范畴化的螺旋结构中起到类似 Serre 算子的作用。

实验结果

研究问题

• RQ1 如何利用图骨架对具有奇点的黎曼曲面上的 perverse sheaf 范畴 $ \text{Perv}(S,N) $ 进行组合描述？
• RQ2 范畴 $ \mathcal{A}_n $ 的精确结构是什么，它如何实现单位圆盘上 $ \text{Perv}(D,0) $ 的“1/n自旋”实现？
• RQ3 $ \mathcal{A}_n $ 上的 $ \mathbb{Z}/n $-作用如何从带边图的几何中自然产生？它是否为余边界结构？
• RQ4 分数单值化映射 $ T_i = \gamma_{i+1} \delta_i $ 在构造 $ \mathbb{Z}/n $-作用的余边界结构中起什么作用？
• RQ5 $ \mathcal{A}_n $ 的全局单值化 $ T = \beta_n $ 如何与 $ \mathcal{A}_n $ 的中心及去范畴化的螺旋结构相关联？

主要发现

• 本文建立了范畴间的典范等价 $ Q_K: \text{Perv}(S,N) \xrightarrow{\sim} \mathcal{A}_K $，其中 $ \mathcal{A}_K $ 是带边图 $ K $ 上的图范畴，其顶点与边上带有向量空间，以及满足带边图关系的线性映射。
• 对于具有单个奇点的圆盘 $ D $，有 $ \text{Perv}(D,0) \simeq \mathcal{A}_n $ 对任意 $ n \geq 1 $ 成立，且 $ \mathcal{A}_1 $ 与 $ \mathcal{A}_2 $ 恢复了文献 [GGM] 与 [KS1] 中的经典结果。
• 范畴 $ \mathcal{A}_n $ 被解释为 $ \text{Perv}(D,0) $ 的“1/n自旋（任意统计）实现”，其中 $ \mathcal{A}_2 $ 作为 $ \mathcal{A}_1 $ 的“平方根”，类似于 Dirac 算子是 Schrödinger 算子的平方根。
• $ \mathcal{A}_n $ 上的 $ \mathbb{Z}/n $-作用（通过标签旋转定义）是严格且可通过由分数单值化映射 $ T_i = \gamma_{i+1} \delta_i $ 导出的自然同构 $ \beta_k $ 构成余边界结构。
• 全局单值化 $ T = \beta_n $ 是一个自然同构 $ \text{id}_{\mathcal{A}_n} \to \text{id}_{\mathcal{A}_n} $，位于中心 $ Z(\mathcal{A}_n) $ 中，并使迭代移位 $ k_*x $ 的序列具有螺旋状结构。
• 该构造通过 Euler 型式为极化 perverse sheaf $ \text{PolPerv}(S,N) $ 提供了一个组合模型，并暗示了 Fukaya 范畴与 perversity 之间通过拉格朗日子骨架的局部化存在深层联系。