[论文解读] D-branes, surface operators, and ADHM quiver representations

Ugo Bruzzo, Wu-yen Chuang+4 more|arXiv (Cornell University)|Dec 8, 2010

Black Holes and Theoretical Physics被引用 4

一句话总结

本文通过D-brane工程与$(0,2)$ quiver规范线性sigma模型的维度约化，构建了5D $SU(r)$ gauge理论中与表面算符束缚的BPS态的拓扑量子力学模型。关键结果是提出一个精确的猜想，将增强ADHM quiver表示的模空间的K-理论划分函数（已证明同构于具有抛物结构的框架层模空间）与对数镜像和局部$ olinebreak[4]\mathbb{P}^1\times\mathbb{P}^1$几何中的精炼开弦不变量联系起来。

ABSTRACT

A supersymmetric quantum mechanical model is constructed for BPS states bound to surface operators in five dimensional SU(r) gauge theories using D-brane engineering. This model represents the effective action of a certain D2-brane configuration, and is naturally obtained by dimensional reduction of a quiver $(0,2)$ gauged linear sigma model. In a special stability chamber, the resulting moduli space of quiver representations is shown to be virtually smooth and isomorphic to a moduli space of framed quotients on the projective plane. A precise conjecture relating a K-theoretic partition function of this moduli space to refined open string invariants of toric lagrangian branes is formulated for conifold and local P^1 x P^1 geometries.

研究动机与目标

• 通过弦论的D-brane工程方法，构建5D $SU(r)$ gauge理论中与表面算符束缚的BPS态的微观量子力学模型。
• 将有效D2-brane系统平坦方向的模空间与$\mathbb{P}^2$上沿固定超平面具有抛物结构的框架层模空间相联系。
• 提出一个精确猜想，将该模空间的K-理论划分函数与toric拉格朗日子流形几何中的精炼开弦不变量相联系。
• 在特殊稳定性区域中，确立稳定quiver表示模空间的虚拟光滑性与几何同构性。

提出的方法

• 通过$(0,2)$ quiver规范线性sigma模型的维度约化，构造D2-brane系统的有效作用量，将BPS态编码为基态。
• 引入一个增强的ADHM quiver，其关系推广了标准ADHM数据，包含框架与商结构。
• 证明在特殊稳定性区域中，稳定quiver表示的模空间是虚拟光滑的，并与具有在固定超平面上支撑的斯克亚普图尔商的框架无挠层模空间同构。
• 利用等变局部化方法，通过标记为嵌套杨图的T-不动点，计算K-理论划分函数。
• 推导出划分函数关于$q_1, q_2, \rho_{12}$的显式表达式，并对特定配置进行验证。
• 提出一个猜想，将K-理论划分函数等同于对数镜像和局部$\mathbb{P}^1\times\mathbb{P}^1$几何中的精炼开弦不变量，通过八个嵌套杨图配置的显式检查提供支持。

实验结果

研究问题

• RQ1 如何通过D-brane构型与quiver量子力学，对5D $SU(r)$ gauge理论中与表面算符束缚的BPS态进行微观建模？
• RQ2 有效D2-brane系统平坦方向模空间的几何结构是什么？它与$\mathbb{P}^2$上框架层有何关系？
• RQ3 在何种稳定性区域中，增强ADHM quiver的模空间是虚拟光滑的，并与具有抛物结构的框架层模空间同构？
• RQ4 稳定quiver表示模空间的K-理论划分函数如何与toric拉格朗日子流形几何中的精炼开弦不变量相关联？
• RQ5 对小秩与电荷配置的划分函数进行显式计算，能否验证其与精炼开弦不变量的猜想关系？

主要发现

• 在特殊稳定性区域中，稳定quiver表示的模空间同构于数据$(E, \xi, G, g)$的模空间，其中$E$是$\mathbb{P}^2$上的无挠层，$\xi$是沿超平面$D_\infty$的框架结构，$g: E \twoheadrightarrow G$是支撑在固定超平面$D$上的斯克亚普图尔商。
• 在特殊区域中，该模空间被证明是虚拟光滑的，其虚拟切空间在定理3.5中给出了显式表达。
• 通过等变局部化方法计算了模空间的K-理论划分函数，得到关于$q_1, q_2, \rho_{12}$的表达式，并验证了其满足八个嵌套杨图配置的恒等式(5.19)。
• 每个配置的划分函数表示为$q_1, q_2, \rho_{12}$的有理函数，对情况(A)至(H)给出了显式的有理形式，包含$\rho_{12}$、$\rho_{12}^2$及更高次幂的项。
• 在特定情况下，八个$\mathcal{W}_{(\underline{\mu},\underline{\nu}),2}^{(i)}$表达式的和与恒等式(5.19)一致，验证了其与精炼开弦不变量的猜想关系。
• 通过具有抛物结构的框架层实现的几何模型，为表面算符提供了不同于仿射Laumon空间的新实现，为与toric开弦理论的深层联系提供了可能。