[论文解读] Azumaya structure on D-branes and resolution of ADE orbifold singularities revisited: Douglas-Moore vs. Polchinski-Grothendieck

Chien‐Hao Liu, Shing‐Tung Yau|ArXiv.org|Jan 3, 2009

Black Holes and Theoretical Physics参考文献 16被引用 8

一句话总结

本文表明，结合Azumaya结构与网状范畴商构造的D-brane结构，可重现此前通过超凯勒商（Kronheimer-Nakajima）和开弦量子场论（Douglas-Moore）导出的ADE轨道奇异点的最小解析——即通过该构造，$[\mathbb{A}^2/\Gamma]$ 上D0-brane 的粗模空间同构于 $\widetilde{\mathbb{A}^2/\Gamma}$，为通过Polchinski-Grothendieck假设实现D-brane诱导几何提供了数学基础。

ABSTRACT

In this continuation of [L-Y1] and [L-L-S-Y], we explain how the Azumaya structure on D-branes together with a netted categorical quotient construction produces the same resolution of ADE orbifold singularities as that arises as the vacuum manifold/variety of the supersymmetric quantum field theory on the D-brane probe world-volume, given by Douglas and Moore [D-M] under the string-theory contents and constructed earlier through hyper-Kähler quotients by Kronheimer and Nakajima. This is consistent with the moral behind this project that Azumaya-type structure on D-branes themselves -- stated as the Polchinski-Grothendieck Ansatz in [L-Y1] -- gives a mathematical reason for many originally-open-string-induced properties of D-branes.

研究动机与目标

• 将弦理论中通过D-brane探测器实现的ADE轨道奇异点解析，与代数几何中的构造方法相协调。
• 证明Polchinski-Grothendieck假设——将D-brane解释为Azumaya对象——可为奇异点的解析提供数学机制。
• 证明对 $[\mathbb{A}^2/\Gamma]$ 上D0-brane 模空间的网状范畴商构造，可得到 $\mathbb{A}^2/\Gamma$ 的最小解析。
• 通过 $\Gamma$-不变子簇，建立几何D-brane构型与 $\mathbb{A}^2$ 上点的希尔伯特纲之间的对应关系。

提出的方法

• 利用Polchinski-Grothendieck假设，将D-brane建模为具有结构层 $\mathcal{O}_{\widetilde{Z}}$ 的Azumaya对象，其定义于长度为 $r$ 的 $W$-族 $\Gamma$-等变 $\mathcal{O}_{\mathbb{A}^2}$-模上。
• 将模堆栈 $\mathfrak{M}^{D0}_1([\mathbb{A}^2/\Gamma])$ 构造为轨道的表示商堆栈。
• 通过与解析 $W$ 的纤维积，在图集 $C_2\Gamma M_r(\mathbb{C})$ 内识别出 $\Gamma$-不变子堆栈 $C_{2}\Gamma M_r(\mathbb{C})^\circ$。
• 应用范畴商 $C_{2}\Gamma M_r(\mathbb{C})^\circ / \mathrm{GL}_r(\mathbb{C})$，得到同构于 $W$ 的几何商。
• 依赖Hilbert-Chow映射及同构 $({\mathbb{A}}^{2})^{[r]}/\Gamma \cong W$，将解析识别为不动点子簇。
• 利用 $\Gamma$ 在 $\mathbb{C}^r$ 上的正则表示，以及存在 $\Gamma$-不动点向量 $v_0$ 使得 $H^0(\mathcal{O}_{\mathrm{pt}_\varphi}) \cdot v_0 = \mathbb{C}^r$，刻画可移动D-brane。

实验结果

研究问题

• RQ1 能否仅通过D-brane模空间与Azumaya结构，推导出ADE轨道奇异点 $\mathbb{A}^2/\Gamma$ 的最小解析？
• RQ2 Polchinski-Grothendieck假设——将D-brane解释为Azumaya对象——如何重现Douglas-Moore开弦量子场论中观察到的解析几何？
• RQ3 在 $[\mathbb{A}^2/\Gamma]$ 上D0-brane 模空间中，$\Gamma$-不变子簇在生成解析中起什么作用？
• RQ4 对应于解析的D-brane是否在几何上可移动？那些被束缚在奇异点的D-brane有何特征？

主要发现

• 范畴商 $C_{2}\Gamma M_r(\mathbb{C})^\circ / \mathrm{GL}_r(\mathbb{C})$ 同构于 $W$，即 $\mathbb{A}^2/\Gamma$ 的最小光滑解析。
• $\mathfrak{M}^{D0}_1([\mathbb{A}^2/\Gamma])$ 上D0-brane 模堆栈的粗模空间包含一个子堆栈，其对应的粗空间为 $W$。
• $C_{2}\Gamma M_r(\mathbb{C})^\circ / \mathrm{GL}_r(\mathbb{C})$ 中的几何点对应于映射 $\varphi: (\mathrm{pt}^{\mathrm{Az}}, \mathbb{C}^r) \to [\mathbb{A}^2/\Gamma]$，其中 $\mathbb{C}^r$ 上带有正则表示，且 $\Gamma$-不动点向量生成 $\mathbb{C}^r$。
• 不动点子簇 $((\mathbb{A}^2)^{[r]})^\Gamma$ 可分解为 $W \amalg (\text{有限个点})$，其中 $W$ 为解析部分。
• 映射 $p^W: W \to \mathfrak{M}^{D0}_1([\mathbb{A}^2/\Gamma])$ 由 $W \times \mathbb{A}^2$ 中的普遍子簇 $\widetilde{Z} \subset W \times \mathbb{A}^2$ 导出。
• 可移动D-brane 对应于图像不位于轨道点的映射；在奇异点处被束缚的D-brane 尚未在弦论意义下被分类。