[Paper Review] 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 Physics16 references8 citations

TL;DR

This paper demonstrates that the Azumaya structure on D-branes, combined with a netted categorical quotient construction, reproduces the minimal resolution of ADE orbifold singularities—previously derived via hyper-Kähler quotients (Kronheimer-Nakajima) and open-string quantum field theory (Douglas-Moore). The key result is that the coarse moduli space of D0-branes on the stack $[\mathbb{A}^2/\Gamma]$ via this construction is isomorphic to the minimal resolution $\widetilde{\mathbb{A}^2/\Gamma}$, providing a mathematical foundation for D-brane-induced geometry via the Polchinski-Grothendieck Ansatz.

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.

Motivation & Objective

• To reconcile the resolution of ADE orbifold singularities via D-brane probes in string theory with algebraic geometry constructions.
• To show that the Polchinski-Grothendieck Ansatz—interpreting D-branes as Azumaya objects—provides a mathematical mechanism for the resolution of singularities.
• To demonstrate that a netted categorical quotient of the moduli space of D0-branes on $[\mathbb{A}^2/\Gamma]$ yields the minimal resolution of ${\mathbb{A}}^2/\Gamma$.
• To establish a correspondence between geometric D-brane configurations and the Hilbert scheme of points on $\mathbb{A}^2$ via $\Gamma$-invariant loci.

Proposed method

• Utilizes the Polchinski-Grothendieck Ansatz to model D-branes as Azumaya objects with structure sheaf $\mathcal{O}_{\widetilde{Z}}$ on a $W$-family of $\Gamma$-equivariant $\mathcal{O}_{\mathbb{A}^2}$-modules of length $r$.
• Constructs the moduli stack $\mathfrak{M}^{D0}_1([\mathbb{A}^2/\Gamma])$ as a quotient stack of representations of the orbifold.
• Identifies a $\Gamma$-invariant substack $C_{2}\Gamma M_r(\mathbb{C})^\circ$ inside the atlas $C_2\Gamma M_r(\mathbb{C})$ via fiber product with the resolution $W$.
• Applies the categorical quotient $C_{2}\Gamma M_r(\mathbb{C})^\circ / \mathrm{GL}_r(\mathbb{C})$ to obtain a geometric quotient isomorphic to $W$.
• Relies on the Hilbert-Chow morphism and the isomorphism $({\mathbb{A}}^{2})^{[r]}/\Gamma \cong W$ to identify the resolution as the fixed-point locus.
• Uses the regular representation of $\Gamma$ on $\mathbb{C}^r$ and the existence of a $\Gamma$-fixed vector $v_0$ such that $H^0(\mathcal{O}_{\mathrm{pt}_\varphi}) \cdot v_0 = \mathbb{C}^r$ to characterize movable D-branes.

Experimental results

Research questions

• RQ1 Can the minimal resolution of an ADE orbifold singularity $\mathbb{A}^2/\Gamma$ be derived purely from D-brane moduli using Azumaya structures?
• RQ2 How does the Polchinski-Grothendieck Ansatz—interpreting D-branes as Azumaya objects—reproduce the resolution geometry seen in Douglas-Moore's open-string quantum field theory?
• RQ3 What is the role of $\Gamma$-invariant loci in the moduli space of D0-branes on $[\mathbb{A}^2/\Gamma]$ in producing the resolution?
• RQ4 Are the D-branes corresponding to the resolution geometrically movable, and what characterizes those that are trapped at the singular point?

Key findings

• The categorical quotient $C_{2}\Gamma M_r(\mathbb{C})^\circ / \mathrm{GL}_r(\mathbb{C})$ is isomorphic to $W$, the minimal smooth resolution of $\mathbb{A}^2/\Gamma$.
• The coarse moduli space of the D0-brane moduli stack $\mathfrak{M}^{D0}_1([\mathbb{A}^2/\Gamma])$ contains a substack whose associated coarse space is $W$.
• Geometric points in $C_{2}\Gamma M_r(\mathbb{C})^\circ / \mathrm{GL}_r(\mathbb{C})$ correspond to morphisms $\varphi: (\mathrm{pt}^{\mathrm{Az}}, \mathbb{C}^r) \to [\mathbb{A}^2/\Gamma]$ with the regular representation on $\mathbb{C}^r$ and a $\Gamma$-fixed vector generating $\mathbb{C}^r$.
• The fixed-point locus $((\mathbb{A}^2)^{[r]})^\Gamma$ decomposes as $W \amalg (\text{finite set of points})$, where $W$ is the resolution.
• The morphism $p^W: W \to \mathfrak{M}^{D0}_1([\mathbb{A}^2/\Gamma])$ is induced by the universal subscheme $\widetilde{Z} \subset W \times \mathbb{A}^2$.
• Movable D-branes correspond to morphisms with images not at the orbifold point; trapped D-branes at the singular point remain unclassified in terms of string-theoretic significance.