[論文レビュー] Probing Geometry with Stability Conditions

Paul S. Aspinwall|ArXiv.org|May 19, 2009

Polynomial and algebraic computation参考文献 50被引用数 6

ひとこと要約

本稿は、特に0-braneを用いたD-braneプローブが、フロップ、オルビフォールド、エクスオフロップ、ハイブリッドLandau–Ginzburgファイブレーションを含むさまざまな相転移の下で、Calabi–Yau三つ組の幾何的特徴を検出できるかを調査する。エクスオフロップ遷移における外部の${\mathbb{P}}^1$幾何構造を0-braneは検出できないが、不連続な振るまいを示す一方、他のD-brane（例えばハイブリッドモデルにおける非0-braneプローブ）は、それらの幾何構造をそのモジュライ空間として正しく再現でき、したがって、出現する時空幾何を完全に捉えるには複数のプローブタイプが必要であることが明らかになった。

ABSTRACT

The notion that the geometry of spacetime is given by the moduli space of 0-branes is examined in four examples of Calabi-Yau threefolds. An important consideration when determining the moduli space of D-branes is the stability condition and this is key in our analysis. In the first two examples, the flop and the orbifold blowup, no surprises are found. Next, an exoflop is considered where the linear sigma model implies a CP1 external to the Calabi-Yau threefold is part of the geometry. The 0-brane probe sees no such external CP1 and furthermore exhibits a surprising discontinuity when following an extremal transition associated to the exoflop. Finally we consider a hybrid model of a Landau--Ginzburg fibration over a CP1. Using the technology of matrix factorizations we find a D-brane probe whose moduli space is this CP1 but it is not a 0-brane and is not stable at the large radius limit of the Calabi-Yau manifold.

研究の動機と目的

• Calabi–Yau三つ組における相転移の下で、0-brane D-braneプローブが出現する時空幾何を検出できるかを検証すること。
• 物理的時空に対応するモジュライ空間を形成するD-braneを特定するための安定性条件の役割を調査すること。
• 非0-brane D-braneが、非幾何的相における目立たない外部${\mathbb{P}}^1$ベース（特に）を0-braneとは異なり検出できるかを調査すること。
• D-braneモジュライ空間と安定性の観点から、特にエクスオフロップを含む極端な遷移の幾何的解釈を明確にすること。

提案手法

• 物理的D-braneを分類するために、一様なベクトル束の導来圏$\mathbf{D}(X)$と、複素化されたケーラー形式$B+iJ$によって定義される安定性条件を用いる。
• ここでは「安定」と呼ばれる$\Pi$-安定性の概念を適用し、導来圏から物理的でないD-braneを除外する。
• ハイブリッド相におけるD-braneスペクトルとモジュライ空間を分析するため、Landau–Ginzburgモデルにおける行列因子分解を用いる。
• 特に$\Omega_X^2(3)[2]\oplus \mathcal{O}_X[3]$のような対象の安定性を特定するため、中心的電荷と位相差の解析を行う。
• 安定性条件における三角形に関するD-brane構成の安定性を評価するために、位相差$\Delta$の数値計算を実施する。
• フロップ、オルビフォールドの吹き上げ、エクスオフロップ、$\mathbb{P}^1$上のハイブリッドLandau–Ginzburgファイブレーションの4つの例について、結果を比較する。

実験結果

リサーチクエスチョン

• RQ1 Calabi–Yau三つ組のエクスオフロップ相において、外部の${\mathbb{P}}^1$が出現する場合、0-braneプローブはそれを検出できるか？
• RQ2 エクスオフロップ極端遷移の過程で、0-braneのモジュライ空間に不連続性が生じる理由は何か？（極限において幾何は滑らかであるにもかかわらず。）
• RQ3 ハイブリッドLandau–Ginzburgファイブレーションの${\mathbb{P}}^1$ベースをモジュライ空間として持つ安定なD-braneプローブは存在するか？
• RQ4 安定性条件は、ハイブリッド相における3次元Calabi–Yau幾何と1次元${\mathbb{P}}^1$幾何の間にある見かけ上の矛盾をどのように解消するか？
• RQ5 Calabi–Yau三つ組の体積が、特異的除法をゼロサイズにまで縮小できる能力に果たす役割は何か？

主な発見

• エクスオフロップ相において、0-braneプローブは外部の${\mathbb{P}}^1$を検出できず、その幾何に対応するモジュライ空間を示さない。
• エクスオフロップ遷移の過程で0-braneのモジュライ空間に不連続な変化が生じ、これが、段階の境界を越えて幾何を正しく探査できないことを示している。
• ハイブリッド相において、非0-brane D-braneプローブ${\Scr P}_p = \Omega_X^2(3)[2]\oplus \mathcal{O}_X[3]$のモジュライ空間は${\mathbb{P}}^1$と同型であり、基底幾何を正しく検出している。
• ${\Scr P}_p$の安定性は位相差$\Delta$によって決まり、$\Delta < 1$のときモジュライ空間は${\mathbb{P}}^1$となり、$\Delta = 1$のとき点に収縮する。
• 解析により、特異的除法がゼロサイズにまで縮小可能であるのは、Calabi–Yau三つ組の体積が無限大である場合に限られることを確認した。これは、極端な遷移における有限体積効果を支持する。
• 結果から、非幾何的相における出現する時空幾何を完全に再構成するには、0-braneや他の分数 brane といった複数のD-braneプローブが必要であると示唆された。