[論文レビュー] Crepant resolutions and brane tilings II: Tilting bundles

Martin Bender, Sergey Mozgovoy|ArXiv.org|Sep 10, 2009

Algebraic structures and combinatorial models参考文献 14被引用数 19

ひとこと要約

この論文は、ブレーンタイリングから得られる3次元ケララヤウ多様体のクリープント解体におけるティルティングバンドルのトーリック記述を提供する。固定頂点から他のすべての頂点への経路を用いて普遍ベクトルバンドルを構成し、それらをθ安定な完全マッチングと交差させることで、著者らはティルティングバンドルをラインバンドルの直和として明示的に実現し、ハンアニ・ハーツォー・ヴェーグ予想およびアスピンウォールの予想のバージョンを証明する。

ABSTRACT

Given a brane tiling, that is, a bipartite graph on a torus, we can associate with it a singular 3-Calabi-Yau variety. Using the brane tiling, we can also construct all crepant resolutions of the above variety. We give an explicit toric description of tilting bundles on these crepant resolutions. This result proves the conjecture of Hanany, Herzog and Vegh and a version of the conjecture of Aspinwall.

研究の動機と目的

• ブレーンタイリングから構成された特異な3次元ケララヤウ多様体のクリープント解体におけるティルティングバンドルの明示的トーリック記述を提供すること。
• ハンアニ、ハーツォー、ヴェーグのティルティングバンドルの構造に関する予想——完全マッチングによって誘導されるラインバンドルの直和として記述可能であるという予想——を証明すること。
• 任意の一般の安定パラメータθに対して、グローバルに定義されたラインバンドルの集合がティルティングコレクションをなすという、アスピンウォールの予想のバージョンを検証すること。
• 基準頂点からの経路とそれらとθ安定完全マッチングの交差を用いた、ティルティングバンドルを体系的に構成する方法を確立すること。

提案手法

• ブレーンタイリングから、トーラス上のクーヴィーQと面サイクルからなるポテンシャルWを用いて、クーヴィー・ポテンシャル代数$\mathbb{C}Q/(π W)$を構成する。
• 次に、次元α = (1,…,1)のθ半安定表現のモジュライ空間$\mathcal{M}_{\theta}$上に存在する普遍（タウトロジカル）ベクトルバンドル$\mathcal{U}$を、ヴァン・デン・ベルクの理論に従いティルティングバンドルとして用いる。
• 基準頂点$i_0$を固定し、各頂点$i$に対して経路$u_i: i_0 \to i$を選び、それらをθ安定完全マッチングと交差させることで、トーリック・カーティエ除集合を定義する。
• これらの除集合に対応するラインバンドル$\overline{L}_i$が、ティルティングバンドル$\mathcal{U} \cong \bigoplus_{i \in Q_0} \overline{L}_i$の分解をなすことを示す。
• スラドゥスのトーリック商とラインバンドルの降下に関する結果を適用し、構成が$\mathcal{M}_{\theta}$のトーリック構造と整合的かつ適切に定義されていることを保証する。
• 具体的な例（$\mathbb{C}^3/\mathbb{Z}_2 \times \mathbb{Z}_2$やオーロリッド解体）を用いて構成を検証し、安定完全マッチングと異なるθに対するトーリック図を計算する。

実験結果

リサーチクエスチョン

• RQ1 ブレーンタイリングから得られる3次元ケララヤウ多様体のクリープント解体におけるティルティングバンドルを、どのように明示的にトーリックな言葉で記述できるか？
• RQ2 ハンアニ、ハーツォー、ヴェーグの予想——ティルティングバンドルが経路と完全マッチングによって誘導されるラインバンドルの直和に分解可能である——は一般に成り立つか？
• RQ3 アスピンウォールの予想が示唆するように、任意の一般のθに対して、グローバルに定義されたラインバンドルの集合がティルティングコレクションをなすように構成可能か？
• RQ4 $\theta$-安定完全マッチングとクリープント解体$\mathcal{M}_{\theta}$のトーリックデータ（レース、コーン）との間の明確な関係は何か？

主な発見

• モジュライ空間$\mathcal{M}_{\theta}$上のティルティングバンドル$\mathcal{U}$は、頂点集合$Q_0$に添えられたラインバンドル$\overline{L}_i$の直和$\bigoplus_{i \in Q_0} \overline{L}_i$に同型であり、各$\overline{L}_i$は固定頂点$i_0$から$i$への経路$u_i$と$\theta$-安定完全マッチングの交差から誘導されるトーリック・カーティエ除集合から得られる。
• この構成により、ハンアニ・ハーツォー・ヴェーグ予想が証明され、完全マッチングと経路を用いた明示的かつ完全なトーリック記述が得られる。
• 任意の一般のθに対して、グローバルに定義されたティルティングコレクションが得られ、アスピンウォールの予想のバージョンがトーリック設定において確認された。
• オーロリッド$\mathbb{C}^3/(\mathbb{Z}_2 \times \mathbb{Z}_2)$に対して、$\theta_1, \theta_2, \theta_3$に対応する3つの異なるクリープント解体が計算され、それぞれのトーリック図と経路-完全マッチング交差による関連するティルティングバンドルが明示的に特定された。
• $\mathcal{M}_{\theta_i}$のトーリック図は、$\theta_i$-安定完全マッチングの非安定なペairによって一意に決定され、ティルティングバンドルはそのようなペアと経路交差法を用いて再構成可能である。
• この構成は異なる安定パラメータに対して一貫しており、ブレーンタイリングからの組合せ的データを用いたティルティングバンドルの記述の均一なフレームワークを提供する。