[论文解读] Branes, Quivers and BPS Algebras

Miroslav Rapčák|arXiv (Cornell University)|Dec 27, 2021

Algebraic structures and combinatorial models被引用 6

一句话总结

该论文通过使用 $χ^3$ 上的 $Ω$-形变 Calabi-Yau 三fold 中的 D-brane，结合凝聚层的导出范畴与 quiver 量子力学，构建了 BPS 代数。它将超对称真空识别为 quiver 模空间的临界等变上同调，通过对应关系实现仿射杨代数与谢雷尼克代数的表示，并提出一个三重性协变的代数族，作用于 D2-brane 模空间。

ABSTRACT

These lecture notes cover a brief introduction into some of the algebro-geometric techniques used in the construction of BPS algebras. The first section introduces the derived category of coherent sheaves as a useful model of branes in toric Calabi-Yau three-folds. This model allows a rather simple derivation of quiver quantum mechanics describing low-energy dynamics of various brane systems. Vacua of such quantum mechanics can be identified with the critical equivariant cohomology of the moduli space of quiver representations. These are often counted by various crystal configurations. Using correspondences in algebraic geometry, one can construct rich families of affine-Yangian representations. We conclude with an exploration of different algebraic structures naturally appearing in our story. The material was covered in a 4-lecture mini-course within the Second PIMS Summer School on Algebraic Geometry in High-Energy Physics. The text contains some new ideas, examples and remarks that are going to be covered in detail in a joint work with Dylan Butson.

研究动机与目标

• 建立基于 toric Calabi-Yau 三fold 上凝聚层导出范畴的 BPS 代数构造的几何框架。
• 从 D-brane 系统推导 quiver 量子力学，并将其超对称真空与 quiver 表示模空间的临界等变上同调相联系。
• 将晶体构型与分拆函数与仿射杨代数及谢雷尼克代数的表示理论相联系。
• 通过 coproduct 构造与三重性对称性，将已知的仿射杨代数表示推广至包含 D2-brane 系统的情形。
• 通过代数几何中的对应关系构造，提出高秩 D-brane 代数的几何实现。

提出的方法

• 使用 $χ^3$ 上的凝聚层导出范畴作为 $Ω$-形变 Calabi-Yau 三fold 中 brane 的模型。
• 从 D-brane 系统（如 D0-D0、D6-D0、D0-D4、D0-D2）构造带势能的框架 quiver，以描述低能动力学。
• 将 quiver 量子力学的真空识别为 quiver 模空间的临界等变上同调，其计数由 1d、2d 和 3d 分拆构成。
• 应用代数几何中的对应关系，从 D2、D4 和 D6-brane 系统生成仿射杨代数表示。
• 利用 $τγ(1)$ 的 1-平移仿射杨代数的 coproduct，构建多 brane 表示，扩展在 $ℝ[z,1/z]$ 上的向量表示。
• 从沿 $χ_{ε_1}$ 的 $k_1$ 个 D2-brane、沿 $χ_{ε_2}$ 的 $k_2$ 个、沿 $χ_{ε_3}$ 的 $k_3$ 个，构造一个三参数的谢雷尼克代数族，该族在三重性下不变。

实验结果

研究问题

• RQ1 如何利用 $χ^3$ 上凝聚层的导出范畴来建模 brane 构型并推导 quiver 量子力学？
• RQ2 quiver 量子力学中超对称真空的精确几何与上同调解释是什么？
• RQ3 在此框架下，晶体构型（1d、2d、3d 分拆）如何作为 quiver 模空间的不变量出现？
• RQ4 对应关系在从 D-brane 系统构造仿射杨代数表示中起什么作用？
• RQ5 如何利用仿射杨代数的 coproduct 将单 brane 表示推广至具有三重性对称性的多 brane 系统？

主要发现

• quiver 量子力学的超对称真空被识别为 quiver 表示模空间的临界等变上同调，其计数为 1d、2d 和 3d 分拆。
• 沿 $χ_{ε_1}$ 的单个 D2-brane 在 $ℝ[z,1/z]$ 上诱导出 1-平移仿射杨代数的表示，通过 $f_1 = -\partial$，$f_2 = -\epsilon_1 z \partial^2$，$e_0 = \frac{1}{\epsilon_1}z$，$e_1 = z^2 \partial$ 实现。
• 通过扩展至 $f_0 = -\frac{1}{\epsilon_1 z}$，得到在 $\mathbb{C}[z,1/z]$ 上的非平移仿射杨代数的向量表示。
• 利用 coproduct，沿 $χ_{ε_1}$ 的两个 D2-brane 的表示被构造为 $\tilde{J}_n \to \frac{1}{\epsilon_1}(z_1^n + z_2^n)$ 与 $[f_0,f_1] \to \epsilon_1 \partial_1^2 + \epsilon_1 \partial_2^2 + \frac{\epsilon_2 \epsilon_3}{\epsilon_1} \frac{2}{(z_1 - z_2)^2}$，与谢雷尼克代数的 Dunkel 表示一致。
• 对于沿三条坐标线的 $k_1, k_2, k_3$ 个 D2-brane，构造出一个三参数谢雷尼克代数族，其生成元为 $\tilde{J}_{0,n} \to \epsilon_1^{-1} \sum_i z_i^n + \epsilon_2^{-1} \sum_j (z'_j)^n + \epsilon_3^{-1} \sum_k (z''_k)^n$，且 $T_{2,0}$ 涉及二阶导数与反平方项。
• 所得代数具有三重性协变性，其几何基础为 $\mathbb{C}^3$ 中坐标线的置换对称性，扩展了先前的两参数版本。