[论文解读] On 2d-4d motivic wall-crossing formulas

Gabriel Kerr, Yan Soibelman|arXiv (Cornell University)|Nov 10, 2017

Advanced Combinatorial Mathematics参考文献 11被引用 4

一句话总结

本文通过将稳定性数据和motivic Hall代数的形式化推广至包含Fukaya-Seidel范畴中的谱网络和拉格朗日子流形，提出了一种2d-4d动机壁穿跃公式的范畴框架。它建立了Landau-Ginzburg模型中的几何结构与动机不变量之间的联系，证明了来自可接受谱网络的拉格朗日子流形定义了一个预切片并支持一个$β$-稳定性条件，从而为2d-4d壁穿跃现象提供了范畴起源。

ABSTRACT

In this paper we propose definitions and examples of categorical enhancements of the data involved in the $2d$-$4d$ wall-crossing formulas which generalize both Cecotti-Vafa and Kontsevich-Soibelman motivic wall-crossing formulas.

研究动机与目标

• 为2d-4d壁穿跃公式提供一个范畴化和动机化的框架，此前该公式缺乏严格的代数或几何基础。
• 通过谱网络和拉格朗日子流形，将motivic Hall代数和稳定性数据的形式化推广至包含2d-4d系统。
• 通过在Fukaya-Seidel范畴中构造一个预切片，建立几何数据（谱曲线、WKB曲线）与动机不变量之间的联系。
• 推测来自可接受谱网络的拉格朗日子流形构成一个$β$-稳定性条件，从而在范畴设定中实现壁穿跃。

提出的方法

• 将稳定性数据推广至广群和分次李代数，扩展[9]的框架以包含2d-4d系统。
• 在曲面$X$上构造一个具有超势能$f$的Landau-Ginzburg模型，利用由亚纯微分定义的谱曲线$Σ_u$。
• 在黎曼曲面$C$上的基点$z$处，定义一个Fukaya-Seidel范畴$φ_z(f)$，并关联一个$β$-族$υ_{σ}$。
• 利用WKB曲线和谱网络，通过消失薄片和匹配圈定义拉格朗日子流形，确保在三价顶点和临界点处满足可接受性条件。
• 将$φ_z(f)$的子范畴$π_{ij}(\theta)$定义为在相位$\theta$下、在$z$处边标记为$ij$的谱网络所生成的拉格朗日子流形的全子范畴。
• 推测集合$\mathcal{P} = \{\mathcal{P}_{ij}(\theta)\}$构成一个预切片，且$(Z, \mathcal{P})$在$β$-族上定义了一个$β$-稳定性条件。

实验结果

研究问题

• RQ1 能否构建一个类似于4d情形下motivic Hall代数方法的范畴框架，用于2d-4d壁穿跃公式？
• RQ2 黎曼曲面上的谱网络和WKB曲线如何生成组织成$β$-族预切片的拉格朗日子流形？
• RQ3 何种条件可确保来自谱网络的拉格朗日子流形是特殊的并支持一个稳定性条件？
• RQ4 能否在来自谱网络的循环上一致地定义中心电荷$Z_\gamma = \frac{1}{\pi} \int_\gamma \lambda$，它与切片的关系如何？
• RQ5 子范畴集合$\mathcal{P}_{ij}(\theta)$是否对扩张封闭且与分次兼容，从而支持一个稳定性结构？

主要发现

• 来自可接受谱网络的拉格朗日子流形的构造，在Fukaya-Seidel范畴$\mathcal{F}_z(f)$中产生了一个明确定义的对象集合。
• 由相位$\theta$的网络生成的拉格朗日子流形所构成的子范畴$\mathcal{P}_{ij}(\theta)$，被证明是$\mathcal{C}_{ij}$的全子范畴。
• 作者推测集合$\mathcal{P} = \{\mathcal{P}_{ij}(\theta)\}$构成标准$\mathbb{V}_{\mathcal{S}}$-族的预切片，并满足稳定性条件的公理。
• 中心电荷$Z_\gamma = \frac{1}{\pi} \int_\gamma \lambda$通过在谱网络的循环上对1-形式$\lambda$进行积分而定义，从而实现了中心电荷的几何实现。
• 谱网络上的可接受性条件(4)和(5)确保了消失圈和匹配圈的一致定义，使得通过三价顶点处的连接可构造拉格朗日子流形。
• 本文通过稳定性数据的形式化，为2d-4d壁穿跃提供了几何和范畴上的实现，将谱网络与动机不变量联系起来。