[Paper Review] Dirichlet branes, homological mirror symmetry, and stability

Michael R. Douglas|arXiv (Cornell University)|Jul 2, 2002

Black Holes and Theoretical PhysicsPhysics and Astronomy41 references147 citations

TL;DR

This paper proposes a physical derivation of stability conditions in derived categories of coherent sheaves on Calabi-Yau threefolds via Dirichlet branes in type II superstring theory. It introduces $Π$-stability as a generalization of $μ$-stability, linking it to the periods of the holomorphic three-form and providing a physical framework that explains mirror symmetry via autoequivalences of derived categories.

ABSTRACT

We discuss some mathematical conjectures which have come out of the Dirichlet branes in superstring theory, focusing on the case of supersymmetric branes in Calabi-Yau compactification. This has led to the formulation of a notion of stability for objects in a derived category, contact with Kontsevich's homological mirror symmetry conjecture, and "physics proofs" for many of the subsequent conjectures based on it, such as the representation of Calabi-Yau monodromy by autoequivalences of the derived category.

Motivation & Objective

• To formulate a physical notion of stability for objects in the derived category of coherent sheaves on Calabi-Yau threefolds using Dirichlet branes.
• To extend the Hermitian Yang-Mills correspondence to a broader framework that includes D-branes beyond vector bundles.
• To connect $Π$-stability with Kontsevich's homological mirror symmetry conjecture via string-theoretic constructions.
• To provide a physical basis for autoequivalences of derived categories, particularly those related to Calabi-Yau monodromy.
• To identify D0-branes as stable objects in the derived category, probing the stringy geometry of Calabi-Yau manifolds.

Proposed method

• Use the B-type topological twist of the nonlinear sigma model on a Calabi-Yau threefold to realize the derived category $D({\rm Coh}~{}M)$ as a category of boundary conditions.
• Introduce a grading on the derived category using R-valued central charges derived from the periods of the holomorphic three-form.
• Define $Π$-stability via a central charge map $Z: K_0(M) \to \mathbb{C}$, where an object is stable if its phase is minimal among subobjects.
• Apply renormalization group flow to boundary states to construct conformal boundary conditions from complexes of physical branes.
• Relate $Π$-stability to the large volume limit, where it reduces to $μ$-stability for holomorphic vector bundles.
• Use vertex operator algebra techniques in Gepner models to rigorously define the SCFT and test the conjecture in specific cases.

Experimental results

Research questions

• RQ1 How can the notion of stability in derived categories be physically derived from D-brane configurations in superstring theory on Calabi-Yau threefolds?
• RQ2 What is the physical origin of the central charge map $Z$ that defines $Π$-stability, and how does it relate to the periods of the holomorphic three-form?
• RQ3 To what extent does $Π$-stability reduce to $μ$-stability in the large volume limit, and how does it generalize it?
• RQ4 Can the autoequivalences of the derived category, particularly those associated with monodromy, be realized as physical symmetries of the string compactification?
• RQ5 How can D0-branes—point-like stable objects—be identified and classified in the derived category using $Π$-stability?

Key findings

• The paper establishes that physical B-type D-branes in Calabi-Yau compactifications correspond precisely to $Π$-stable objects in the derived category of coherent sheaves.
• It provides a physical derivation of the central charge $Z(E) = \int_M \Pi \cdot \operatorname{ch}(E) \cdot \sqrt{\hat A(M)}$, which defines $Π$-stability.
• The conjecture implies that the action of monodromy on the derived category is realized as autoequivalences, consistent with physical expectations.
• In the large volume limit, $Π$-stability reduces to $μ$-stability, recovering the DUY theorems for Hermitian Yang-Mills connections.
• The existence of multiple D0-branes (e.g. $\mathcal{I}_z$ and $\mathcal{O}_z$) at a point indicates that the derived category can have multiple stable objects with the same $K$-theory class.
• The framework suggests that stable objects in any region of the Kähler moduli space can be described as stable in a finite set of abelian categories, even if not in a single one.