[论文解读] Crossing the Wall: Branes vs. Bundles

Emanuel Diaconescu, Gregory W. Moore|ArXiv.org|Jun 21, 2007

Black Holes and Theoretical Physics参考文献 39被引用 49

一句话总结

本文通過將物理壁穿隧公式與剛性曲面上全純叢模空間的數學結果進行比較，測試了四維 N=2 超對稱理論中 BPS 態的物理壁穿隧公式。在大 Kähler 限制下，兩者完全一致；但揭示了一個根本區別：D4D2D0 brane 的模空間並非 coherent sheaves 的模空間，而是導出範疇中穩定對象的模空間，從而為導出範疇中的穩定性提出了新的數學預測。

ABSTRACT

We test a recently proposed wall-crossing formula for the change of the Hilbert space of BPS states in d=4,N=2 theories. We study decays of D4D2D0 systems into pairs of D4D2D0 systems and we show how the wall-crossing formula reproduces results of Goettsche and Yoshioka on wall-crossing behavior of the moduli of slope-stable holomorphic bundles over holomorphic surfaces. Our comparison shows very clearly that the moduli space of the D4D2D0 system on a rigid surface in a Calabi-Yau is not the same as the moduli space of torsion free sheaves, even when worldhseet instantons are neglected. Moreover, we argue that the physical formula should make some new mathematical predictions for a future theory of the moduli of stable objects in the derived category.

研究动机与目标

• 測試 d=4, N=2 理論中 BPS 態的物理壁穿隧公式的有效性，超越其原始推導範圍。
• 將物理 BPS 態計數與剛性曲面上斜穩定全純叢模空間的數學結果進行比較。
• 釐清 D4D2D0 brane 模空間的本質及其與 coherent sheaves 和導出範疊的關係。
• 探討對 OSV 猜想的影響，特別是關於 ample D4-brane 衰變成一對 ample D4-brane 的情形。

提出的方法

• 將 [12] 中的壁穿隧公式應用於剛性 Calabi-Yau 三流形上的 D4D2D0 brane 系統。
• 利用中心電荷 Z(Γ;t) 和對稱配對 ⟨Γ₁,Γ₂⟩ 定義模空間中的邊界穩定性壁。
• 將物理 BPS 態簡併度 ΔΩ 與全純叢模空間的 Hodge 多項式之數學壁穿隧公式進行比較。
• 分析大 Kähler 類極限下的漸近行為，以測試與 Göttsche 和 Yoshioka 結果的一致性。
• 將次領先修正中的差異識別為證據，表明 D4D2D0 模空間與 torsion-free coherent sheaf 模空間不構同構，即使在無世界面瞬子修正的情況下亦然。
• 推廣至 D4-brane 衰變成 D6+D̄6 系統的情形，並探討對 OSV 猜想的影響。

实验结果

研究问题

• RQ1 物理壁穿隧公式是否能精確重現剛性曲面上全純叢模空間的已知數學壁穿隧行為？
• RQ2 D4D2D0 brane 在剛性曲面上的模空間的真正本質是什麼——是 coherent sheaves 還是導出範疊中的穩定對象？
• RQ3 儘管在主階項中一致，為何物理與數學壁穿隧公式在大 Kähler 類展開的次領先修正中存在差異？
• RQ4 在大 Kähler 結構下，包覆 ample 除子的 D4-brane 是否能衰變成兩顆包覆 ample 除子的 D4-brane？對 OSV 猜想有何影響？
• RQ5 物理與數學對壁穿隧時 BPS 態躍遷的描述有何差異？這對 D-brane 與代數幾何之間的對應關係有何啟示？

主要发现

• 在大 Kähler 類極限下，物理壁穿隧公式完美重現了斜穩定全純叢模空間 Hodge 多項式的數學壁穿隧公式。
• 大 Kähler 展開中的次領先修正揭示了一個根本區別：即使在無世界面瞬子修正的情況下，D4D2D0 brane 的模空間也與 torsion-free coherent sheaf 模空間不構同構。
• 物理公式暗示，D-brane 模空間的正確數學框架是 coherent sheaves 的導出範疊，而非 coherent sheaves 本身。
• 即使在大 Kähler 結構下，包覆 ample 除子的 D4-brane 也能衰變成一對 D4-brane，挑戰了此類衰變僅在對數點或小 Kähler 锥附近才可能的假設。
• 壁穿隧公式顯示，當 J→∞ 時，包覆 ample 除子的 D4D2D0 系統的指數 Ω(Γ;B+iJ) 的極限並未良好定義，這是因為持續存在躍遷。
• 物理與數學對壁穿隧的描述不同：物理圖像涉及自旋 1/2 多重態的 Coulomb 分支衰變，而數學圖像則涉及射影空間的爆破與反爆破，但兩者在 BPS 態簡併度的淨變化上達成一致。