[論文レビュー] On the geometry of quiver gauge theories (Stacking exceptional collections)

Christopher P. Herzog, Robert L. Karp|ArXiv.org|May 18, 2006

Black Holes and Theoretical Physics参考文献 23被引用数 14

ひとこと要約

この論文は、ホモロジー代数とトーリック幾何を用いて、すべての $Y^{p,q}$ 奇性に対して強い例外的集合を確立し、明示的なコhomology計算と Kawamata-Viehweg の消失定理を用いてその強い例外的性質を証明している。主な貢献は、$p-q > 2$ であるすべての $Y^{p,q}$ に対して、完全な強い例外的集合の構成を達成したことである。これは以前の結果を拡張し、Calabi-Yau 奇性上のクーヴィーゲージ理論における分数 brane としての物理的関連性を裏付けたものである。

ABSTRACT

In this paper we advance the program of using exceptional collections to understand the gauge theory description of a D-brane probing a Calabi-Yau singularity. To this end, we strengthen the connection between strong exceptional collections and fractional branes. To demonstrate our ideas, we derive a strong exceptional collection for every Y^{p,q} singularity, and also prove that this collection is simple.

研究の動機と目的

• すべての $Y^{p,q}$ 奇性における強い例外的集合の分類を完成させ、以前の研究が特殊な場合に限っていたのを拡張すること。
• 強い例外的集合が特異なファノ表面に存在する場合と、D-brane ゲージ理論における物理的分数 brane の間の明確な数学的関係を確立すること。
• 構成された集合が、例外的であるだけでなく、強い性質を持つことを証明し、クーヴィーゲージ理論の構成における有用性を保証すること。
• Kawamata-Viehweg の消失定理とスタック的幾何が、導来カテゴリの文脈における特異なファノ多様体を取り扱う際に有効に適用可能であることを示すこと。
• 完全性の証拠（ただし証明ではない）を提供し、$Y^{p,q}$ においてそれが完全な例外的集合であると予想すること。

提案手法

• トーリックファノ表面 $\mathbb{F}^p_n$ 上に、明示的なラインバンド生成子 $\mathcal{O}(iD_3 + l_iD_4)$ を用いて強い例外的集合を構成し、$l_i = \lceil ni/p \rceil$ または $\lceil ni/p \rceil + 1$ とする。
• 明示的なコhomology計算を用いて、$q < 0$ のとき $\operatorname{Ext}^q$ の消失および、$D$ が集合内の後者-前者要素の差であるとき $\operatorname{H}^0(\mathcal{O}(D)) = 0$ が成り立つことを確認する。
• Kawamata-Viehweg の消失定理を適用し、適切な $E$ に対して $\mathcal{O}(D - D' + E)$ がアンピールであることを示すことで、高次のコhomologyの消失を証明し、強い例外的性質を確立する。
• ファノの射線によって定義される多角形上の格子点の数え上げを用いて、集合内における前者から後者への差 $D$ に対して $\operatorname{H}^0(\mathcal{O}(D)) = 0$ が成り立つことを検証する。
• 導来カテゴリ $\mathbf{D}(KS)$ のスタック的ヴァージョンを用いて、滑らかな多様体からの結果を特異なファノ表面へ一般化する。
• ホモロジー代数的手法を用いて、集合が canonical バンドルの全空間 $K_S$ 上の分数 brane の集合へと持ち上がることを検証し、物理的整合性を確認する。

実験結果

リサーチクエスチョン

• RQ1 すべての $Y^{p,q}$ 奇性、特に $p - q > 2$ の場合に対しても、強い例外的集合を構成できるか？
• RQ2 特異なファノ表面 $S$ 上に完全な例外的集合が存在し、強いヘリックスを生成する場合、その集合は全空間 $K_S$ 上の分数 brane の集合へと持ち上がるか？
• RQ3 Kawamata-Viehweg の消失定理は、特異なトーリック多様体上の強い例外的性質の証明に効果的に適用可能か？
• RQ4 $Y^{p,q}$ 空間上に構成された例外的集合は、クーヴィーゲージ理論における物理的整合性を満たすために必要な単純さを持っているか？
• RQ5 一般の $p$ および $n$ に対して、$\mathbb{F}^p_n$ 上の例外的集合の正確な幾何学的およびコhomology的構造は何か？

主な発見

• すべての $Y^{p,q}$ 奇性（$p - q > 2$）に対して強い例外的集合が構成され、$Y^{p,p}$, $Y^{p,p-1}$, $Y^{p,p-2}$ の場合に既に得られていた結果を超えて、分類が完全化された。
• 明示的なコhomology計算と Kawamata-Viehweg の消失定理の二つの独立した手法を用いて、集合が強い性質を持つことが証明された。
• ファノの射線によって定義される多角形上の格子点の数え上げを用いて、集合内での後者-前者の差 $D = D' - D''$ に対して $\operatorname{H}^0(\mathcal{O}(D)) = 0$ が成立することが確立された。
• $D - D' + E$ と $-K_S$ のアンピール性に基づく基準を用いて、集合の単純性が示され、$q > 0$ のとき $\operatorname{H}^q(\mathcal{O}(D - D' - pK_S)) = 0$ が成り立つことが保証された。
• $i - j = -p$ の場合の強い例外的性質の証明は別途処理され、$s = -1, 0, 1$ のとき、二番目の不等式の消失条件が成り立つように $(s+2)p > n$ の条件が満たされることを確認した。
• 集合の完全性に関する証拠が提供され、$Y^{p,q}$ 上でそれが完全な例外的集合であると予想された。