[论文解读] Brane Tilings, M2-branes and Chern-Simons Theories

John Davey, Amihay Hanany+2 more|ArXiv.org|Oct 26, 2009

Black Holes and Theoretical Physics被引用 8

一句话总结

本文研究了从M2-brane探测toric Calabi-Yau 4-fold奇点产生的$(2+1)$-维$ abla=2$ quiver Chern-Simons理论，利用brane tiling对它们的模空间进行分类与分析。研究识别出mesonic模空间为光滑toric Fano 3-fold上的锥，并通过brane tiling技术建立了不同toric相之间的等价性。

ABSTRACT

We investigate (2+1)-dimensional quiver Chern-Simons theories that arise from the study of M2-branes probing toric Calabi-Yau 4-folds. These theories can be elegantly described using brane tilings. We present several theories that admit a tiling description and give details of these theories including the toric data of their mesonic moduli space and the structure of both their Master space and baryonic moduli space. Where different toric phases are known, we exhibit the equivalence between the vacua. We identify some of the mesonic moduli spaces as cones over smooth toric Fano 3-folds.

研究动机与目标

• 对从M2-brane探测toric Calabi-Yau 4-fold奇点产生的$(2+1)$-维$ abla=2$ quiver Chern-Simons理论进行分类。
• 利用brane tiling技术描述这些理论及其模空间的结构。
• 将mesonic模空间识别为光滑toric Fano 3-fold上的锥，并分析其全局对称性。
• 通过brane tiling与perfect matching分析，证明同一理论的不同toric相之间的等价性。
• 为这些理论系统性地构建主空间（Master space）、baryonic模空间与mesonic模空间。

提出的方法

• 利用brane tiling表示具有$U(N)^G$规范对称性及双fundamental/伴随物质场的$(2+1)$-维$ abla=2$ quiver Chern-Simons理论。
• 对势能施加toric条件，要求每个chiral超场恰好出现两次（一次正号，一次负号）。
• 通过求解F-term、D-term与$ abla$-term方程，定义主空间、mesonic模空间与baryonic模空间。
• 利用symplectic quotient $//U(1)^{G-2}$与$ abla$-作用$ abla_k$，从阿贝尔理论构造mesonic模空间。
• 利用perfect matchings与Hilbert series计算全局对称性荷，并验证模空间结构。
• 分析mesonic模空间的toric图，以识别其背后的Calabi-Yau 4-fold几何结构，包括Fano 3-fold上的锥。

实验结果

研究问题

• RQ1 哪些$(2+1)$-维$ abla=2$ quiver Chern-Simons理论源自M2-brane探测toric Calabi-Yau 4-fold？
• RQ2 如何利用brane tiling对这些M2-brane理论的模空间进行分类与描述？
• RQ3 mesonic模空间的几何结构是什么？它与光滑toric Fano 3-fold有何关系？
• RQ4 同一理论的不同toric相之间如何关联？perfect matchings在建立其等价性中起什么作用？
• RQ5 模空间的全局对称性结构是什么？它如何通过Hilbert series与perfect matching荷编码？

主要发现

• 在$M^{1,1,1}$理论中，mesonic模空间被识别为光滑toric Fano 3-fold $dP_1 \times \mathbb{P}^1$上的锥，其Hilbert系列为$g^\mathrm{mes}_1(t) = \sum_{n=0}^\infty [2n;2n;2n] t^{6n}$。
• 对于$Q^{1,1,1}/\mathbb{Z}_2$理论，mesonic模空间为$\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$上的锥，其Hilbert系列为$g^\mathrm{mes}_1(t,x_1,x_2,x_3) = \sum_{n=0}^\infty [2n;2n;2n] t^{6n}$。
• 通过brane tiling、quiver图与势能，构建了$n=1,2,3$的$dP_n \times \mathbb{P}^1$理论，其toric图显示出$dP_n$与$\mathbb{P}^1$的结构成分。
• 在$Q^{1,1,1}/\mathbb{Z}_2$理论中，perfect matchings包含仅在Phase II存在的态$s_3$，通过baryonic对称性分析确认了相之间的对偶性。
• 阿贝尔$U(1)^G$理论的mesonic模空间被构造为$\mathcal{M}^\mathrm{mes} = {}^{\mathrm{Irr}}\!\mathcal{F}^\flat // (U(1)^{G-2} \times \mathbb{Z}_k)$，其中$k = \gcd(\{k_a\})$。
• 条件$\sum_a k_a = 0$是模空间包含Calabi-Yau 4-fold分支的必要条件，该分支描述了M2-brane的横向空间。