[論文レビュー] Wall-crossing of D4-branes using flow trees

Jan Manschot|arXiv (Cornell University)|Mar 8, 2010

Black Holes and Theoretical Physics被引用数 4

ひとこと要約

本稿では、Calabi-Yau三foldの大型体積極限において、D4-D2-D0 braneのBPS分配関数が、3端点までのフローツリーに対して収束することを示している。これは、BPS質量を支配する不定な二次形式が安定性条件の下で正定値であることを証明することによって達成される。さらに、S-duality不変性が分配関数が整数不変量ではなく有理数不変量の生成関数でなければならないことを要求することを示し、壁越えメカニズムにおける主要な整合性条件を解消した。

ABSTRACT

The moduli dependence of D4-branes on a Calabi-Yau manifold is studied using attractor flow trees, in the large volume limit of the Kahler cone. One of the moduli dependent existence criteria of flow trees is the positivity of the flow parameters along its edges. It is shown that the sign of the flow parameters can be determined iteratively as function of the initial moduli, without explicit calculation of the flow of the moduli in the tree. Using this result, an indefinite quadratic form, which appears in the expression for the D4-D2-D0 BPS mass in the large volume limit, is proven to be positive definite for flow trees with 3 or less endpoints. The contribution of these flow trees to the BPS partition function is therefore convergent. From non-primitive wall-crossing is deduced that the S-duality invariant partition function must be a generating function of rational, multi-covering invariants instead of integer invariants.

研究の動機と目的

• 吸引子フローツリーを用いた、Calabi-Yau三foldの大型体積極限におけるD4-D2-D0 braneのBPS分配関数の収束を解消すること。
• 全モジュライフローを解かずに、フローパラメータの符号を解析することにより、フローツリー存在のモジュライ依存性を特定すること。
• S-duality不変な分配関数における有理数不変量の役割を明確にし、非原始的壁越えと整合するためには必須であることを示すこと。
• 2端点を超えるフローツリーの枠組みを拡張し、3端点構成の複雑さに対処すること。
• 高次元のツリー構造や非原始的電荷へのフローツリー手法の一般化の基盤を築くこと。

提案手法

• 全モジュライフローを明示的に解かずに、初期モジュライからフローパラメータの符号を反復的に決定する手法を用いる。
• Kontsevich-Soibelmanの壁越え公式を適用し、ネストされたフローツリー構造に基づいたインデックスのジャンプを導出する。
• 大型体積極限におけるBPS質量式を分析し、不定な二次形式 (Q−B)+2−∑(Qi−B)i2 に注目する。
• 安定な3端点フローツリーにおいて、この二次形式が正定値であることを証明し、分配関数寄与の収束を保証する。
• S-duality不変性が、分配関数が有理数不変量 Ω̄(Γ) = ∑_{m|Γ} Ω(Γ/m)/m² の生成関数でなければならないことを導出する。
• 2端点に等しい電荷を持つ場合を含む3端点ツリーの分配関数寄与を構築し、モジュラー形式およびモックSiegelシータ関数と整合することを示す。

実験結果

リサーチクエスチョン

• RQ1 全モジュライフローを解かずに、初期モジュライからフローツリーの各辺におけるフローパラメータの符号を反復的に決定できるか？
• RQ2 大型体積極限において、安定な3端点フローツリーに対してBPS質量式に現れる不定な二次形式が正定値であるか？
• RQ3 分配関数のS-duality不変性が、整数不変量ではなく有理数不変量の使用を要求するか？
• RQ4 非原始的および原始的フローツリーの寄与は分配関数にどのように組み合わされるか？そして、モジュラー対象を生成するか？
• RQ5 S(T(12)3,t) ≠ 0 という条件は、数学的・物理的文脈においてより深い解釈が可能か？

主な発見

• フローツリーの各辺におけるフローパラメータの符号は、全モジュライフローを解かずに初期モジュライから反復的に決定可能であり、ツリー存在の実用的基準を提供する。
• 大型体積極限において、すべての安定な3端点フローツリーに対して、不定な二次形式 (Q−B)+2−∑(Qi−B)i2 が正定値であることが証明され、分配関数寄与の収束が保証される。
• 3端点フローツリーのBPS分配関数への寄与は収束することが示され、これは従来2端点ツリーにのみ知られていた収束結果の拡張である。
• S-duality不変な分配関数は、非原始的壁越えと整合するため、整数不変量 Ω(Γ) ではなく有理数不変量 Ω̄(Γ) = ∑_{m|Γ} Ω(Γ/m)/m² の生成関数でなければならない。
• 2端点に等しい電荷を持つフローツリーの分配関数寄与は、ベクトル値モジュラー形式およびモックSiegelシータ関数と一貫しており、モジュラー不変性を支持する。
• 結果から、二次形式の正定値性および分配関数の収束性が、任意の数の端点を持つフローツリーへと拡張可能である可能性が示唆されるが、これはまだ証明されていない。