[论文解读] D-Branes, Pi-Stability and Theta-Stability

Paul S. Aspinwall|ArXiv.org|Jul 14, 2004

Advanced Topics in Algebra参考文献 20被引用 12

一句话总结

该论文表明，当卡拉比-丘三fold中的 del Pezzo 表面坍缩为一点时，D-膜的 $Π$-稳定性在模空间的某个开邻域内退化为 quiver 表示的 $θ$-稳定性。关键结果是，当 del Pezzo 表面完全坍缩时，实现完全分级对齐，此时所有 $Π$-稳定的 D-膜均可表示为 stalk 复形，从而可使用 quiver gauge 理论描述稳定谱。

ABSTRACT

We investigate some aspects of Pi-stability of D-branes on Calabi-Yau threefolds in cases where there is a point in moduli space where the grades nearly or completely align. We prove that an example of complete alignment is the case of a collapsed del Pezzo surface. It is shown that there is an open neighbourhood of such a point for which Pi-stability reduces to theta-stability of quiver representations. This should be contrasted to the case of the large radius limit where mu-stability of sheaves cannot be extended out over an open neighbourhood.

研究动机与目标

• 理解卡拉比-丘三fold 上 D-膜的 $Π$-稳定性在何种条件下退化为更简单的稳定性条件。
• 研究当稳定对象的等级完全对齐时（特别是 del Pezzo 表面完全坍缩的极限情形）D-膜模空间的结构。
• 在 del Pezzo 表面几何坍缩与 quiver 表示的 $θ$-稳定性之间建立精确的数学联系。
• 阐明 quiver gauge 理论在何时以及为何可成为弦紧化中 D-膜物理的有效描述。

提出的方法

• 使用有界导出范畴 $Δ(X)$ 的凝聚层描述 B-型 D-膜，取代经典的向量丛与联络描述。
• 分析 $Δ(X)$ 中对象上的分级函数 $ξ$，特别是支持在 del Pezzo 表面 $S$ 上的 D-膜。
• 应用 $Π$-稳定性作为 BPS D-膜稳定性的判据，其定义基于中心荷 $Z(E) = \int_X \Omega \wedge \operatorname{ch}(E)$ 的相位。
• 在等级对齐的极限下，将 $Π$-稳定性简化为 quiver 表示的 $θ$-稳定性，其中维数向量由 $S$ 上的例外族导出。
• 构造 $Δ(\bar{Q})$ 中 $Π$-稳定 quiver 表示的模空间 $X_0$，并证明存在一个双有理映射 $X \to X_0$，使得 $S$ 被收缩为一点。
• 对分级函数 $\xi$ 使用通用性假设，以确保仅稳定 quiver 表示的直和存活，从而排除可分解对象。

实验结果

研究问题

• RQ1 在何种条件下，卡拉比-丘三fold 上 D-膜的 $Π$-稳定性会退化为 quiver 表示的 $θ$-稳定性？
• RQ2 当稳定对象的等级完全对齐时，D-膜的模空间会发生什么变化？
• RQ3 del Pezzo 表面坍缩为一点是否可由分级函数 $\xi$ 的完全对齐来刻画？
• RQ4 为何 $θ$-稳定性仅在 del Pezzo 表面完全坍缩的邻域内成为有效的稳定性条件？
• RQ5 当 $S$ 被收缩为一点时，$X$ 上凝聚层的导出范畴与 quiver 表示之间有何关系？

主要发现

• 当 del Pezzo 表面坍缩为一点时，$S$ 上例外族中所有例外对象 $L_i$ 的分级函数 $\xi(L_i)$ 实现完全对齐。
• 在坍缩 del Pezzo 限制的邻域内，所有 $Π$-稳定的 D-膜均可表示为 stalk 复形，且 $Π$-稳定性退化为 quiver 表示的 $θ$-稳定性。
• $S$ 上的 skyscraper sheaf 的模空间为单点，该点对应于 quiver 表示中所有 $L_i^{\text{rank}(\mathcal{E}_i)}$ 的直和。
• 存在一个双有理映射 $X \to X_0$，其中 $X_0$ 是 $\mathbf{D}(\bar{Q})$ 中 $Π$-稳定 quiver 表示的模空间，且在此映射下 $S$ 被收缩为一点。
• 只有当 del Pezzo 表面完全坍缩时，quiver gauge 理论对 D-膜的描述才成立，因为此时 $θ$-稳定性才控制稳定谱。
• 当等级未对齐时（例如 $\xi(L_0) > \xi(L_1) > \cdots > \xi(L_{n-1})$），skyscraper sheaf 的模空间变为空集，表明发生了几何转变或 flop。