[论文解读] The modular curve as the space of stability conditions of a CY3 algebra

Tom Sutherland|arXiv (Cornell University)|Nov 17, 2011

Advanced Algebra and Geometry参考文献 6被引用 19

一句话总结

本文建立了由 $A_2$-型三重球对象族生成的三维 Calabi–Yau 三角范畴上稳定性条件空间的几何实现。利用椭圆曲线上亚纯微分的周期，构造了椭圆曲线模空间上非零全纯微分的 $\mathbb{C}^*$-丛的万有覆叠与稳定性条件的连通分支 $\mathrm{Stab}^0(\mathcal{D})$ 之间的双全纯等价，并表明 braid 群 $\mathrm{Br}_3$ 作为覆叠变换群作用于其上。

ABSTRACT

We prove that a connected component of the space of stability conditions of a CY3 triangulated category generated by an A_2 collection of 3-spherical objects is isomorphic to the universal cover of the C^*-bundle of non-zero holomorphic differentials on the moduli space of elliptic curves.

研究动机与目标

• 确定与 $A_2$ quiver 关联的 $\mathrm{CY}_3$ 三角范畴 $\mathcal{D}$ 上稳定性条件空间的连通分支 $\mathrm{Stab}^0(\mathcal{D})$ 的结构。
• 识别保持该分支的自同构群 $\mathrm{Aut}^0(\mathcal{D})$，并将其与 braid 群 $\mathrm{Br}_3$ 关联起来。
• 利用椭圆曲线上亚纯微分的周期，为 $\mathrm{Stab}^0(\mathcal{D})$ 构造一个几何模型。
• 在 $\widetilde{L^*}$ 与 $\mathrm{Stab}^0(\mathcal{D})$ 之间建立 $\mathrm{Br}_3$-等变双全纯同构，其中 $L^*$ 是 $\mathcal{M}_{1,1}$ 上非零全纯微分的 $\mathbb{C}^*$-丛。

提出的方法

• 作者使用 $A_2$ quiver 的 Ginzburg dg 代数定义了 $\mathrm{CY}_3$ 三角范畴 $\mathcal{D}_{fd}(GA_2)$，其由两个三重球对象 $S$ 和 $T$ 生成。
• 他们分析了球对象扭转 $\Phi_S$ 和 $\Phi_T$ 在范畴上的作用，证明其满足 braid 关系，并生成一个同构于 $\mathrm{Br}_3$ 的子群。
• 通过在全纯微分 $\lambda$ 上取周期，定义了稳定性条件的中心荷 $Z$，其中 $\lambda$ 是在全纯微分的万有族上具有六阶极点和在半周期处具有二重零点的亚纯微分。
• 通过将周期映射 $[\int_\alpha \lambda : \int_\beta \lambda]$ 提升为 $\mathrm{Br}_3$-等变双全纯同构，构造了映射 $f: \widetilde{\mathcal{M}_{1,1}} \to \mathrm{Stab}^0(\mathcal{D})/\mathbb{C}$。
• 通过周期映射的提升 $F$，将 $\mathcal{M}_{1,1}$ 上 $\mathbb{C}^*$-丛 $L^*$ 的万有覆叠 $\widetilde{L^*}$ 与 $\mathrm{Stab}^0(\mathcal{D})$ 识别起来，且该识别与两边的 $\mathrm{Br}_3$ 作用相容。
• 通过匹配同调与 $K$-理论上的单值性作用进行验证：两者均由矩阵 $\begin{pmatrix}0&-1\\1&0\end{pmatrix}$ 和 $\begin{pmatrix}0&1\\-1&1\end{pmatrix}$ 表示，从而确认了 $\mathrm{Br}_3$-等变性。

实验结果

研究问题

• RQ1 与 $A_2$ quiver 关联的 $\mathrm{CY}_3$ 代数的导出范畴上稳定性条件的连通分支 $\mathrm{Stab}^0(\mathcal{D})$ 的几何结构是什么？
• RQ2 braid 群 $\mathrm{Br}_3$ 如何作用于该稳定性条件空间？
• RQ3 $\mathrm{Stab}^0(\mathcal{D})$ 能否被实现为椭圆曲线模空间上 $\mathbb{C}^*$-丛的万有覆叠？
• RQ4 椭圆曲线上亚纯微分的周期与 $\mathrm{Stab}^0(\mathcal{D})$ 中稳定性条件的中心荷之间是否存在自然对应？
• RQ5 周期映射的单值性与自同构群 $\mathrm{Aut}^0(\mathcal{D})$ 之间存在何种关系？

主要发现

• 连通分支 $\mathrm{Stab}^0(\mathcal{D})$ 双全纯同构于椭圆曲线模空间 $\mathcal{M}_{1,1}$ 上非零全纯微分的 $\mathbb{C}^*$-丛 $L^*$ 的万有覆叠。
• $\mathrm{Aut}^0(\mathcal{D})$ 自同构群同构于三根辫子群 $\mathrm{Br}_3$。
• 映射 $f: \widetilde{\mathcal{M}_{1,1}} \to \mathrm{Stab}^0(\mathcal{D})/\mathbb{C}$ 是一个 $\mathrm{Br}_3$-等变双全纯同构，其为具有六阶极点和在半周期处具有二重零点的亚纯微分 $\lambda$ 的周期映射的提升。
• 稳定性条件的中心荷 $Z$ 由周期给出：$Z(S) = \int_\alpha \lambda$，$Z(T) = \int_\beta \lambda$，其中 $\{\alpha, \beta\}$ 是椭圆曲同调的框架。
• $\mathrm{Br}_3$ 通过覆叠变换在 $\widetilde{L^*}$ 上的作用与通过自同构在 $\mathrm{Stab}^0(\mathcal{D})$ 上的作用一致，且两者均由 $K(\mathcal{D}) \cong \mathbb{Z}^2$ 上的同一作用诱导。
• $L^*$ 的基本群同构于 $\mathrm{Br}_3$，因为三次多项式 $z^3 + az + b$ 的判别式分支集是双叶结（trefoil knot），其基本群为 $\mathrm{Br}_3$。