[論文レビュー] Dimer models and exceptional collections

Akira Ishii, Kazushi Ueda|arXiv (Cornell University)|Nov 24, 2009

Algebraic structures and combinatorial models参考文献 33被引用数 20

ひとこと要約

本稿では、デイマー・モデルと完全マッチングを活用することで、任意の2次元滑らかなトーリック弱ファノスタック上に、完全で強い例外的コレクションであるラインバンドルの族を構成する。このコレクションの全自己準同型代数が、一貫性のあるデイマー・モデルから導かれる関係付きクーヴィーのパス代数と同型であることを確立し、スタック上のコherent層の導来圏と、そのクーヴィー代数上の加群の導来圏との導来同値を提供する。

ABSTRACT

We construct a full strong exceptional collection consisting of line bundles on any two-dimensional smooth toric weak Fano stack. The total endomorphism algebra of the resulting collection is isomorphic to the path algebra of a quiver with relations associated with a dimer model and a perfect matching on it.

研究の動機と目的

• 2次元滑らかなトーリック弱ファノスタック上に、完全で強い例外的コレクションであるラインバンドルの族を構成すること。
• このようなスタック上のコherent層の導来圏と、関係付きクーヴィー代数上の加群の導来圏との導来同値を確立すること。
• 例外的コレクションの自己準同型代数が、デイマー・モデルと完全マッチングから導かれるクーヴィーのパス代数と同型であることを示すこと。
• カノニカルバンドルの解消と導来制限を用いて、Calabi-Yau 3-fold におけるデイマー・モデルのアプローチを弱ファノスタックへ拡張すること。

提案手法

• トーリック弱ファノスタック X のカノニカルバンドル KX の全空間上に、モジュライ空間 Mθ 上のタウトロジカルラインバンドルの直和として、ティルティング対象 V を構成する。
• デイマー・モデル G = (B, W, E) を用いて、そのパス代数が End(V) と同型である関係付きクーヴィーを定義する。
• Calabi-Yau のテクニックを適用して、KX 上で V がティルティング対象であることを示し、したがって導来同値を誘導することを示す。
• KX のゼロ切断に V を制限することで、X 上のティルティング対象 E を得る。この E はラインバンドルの直和である。
• E の自己準同型代数を、中心的元 W によって生成されるイデアルによる End(V) の商として特定する。この W は完全マッチングに対応する。
• 導来制限とデイマー・モデルの構造を用いて、自己準同型代数を完全マッチングを用いて記述する。

実験結果

リサーチクエスチョン

• RQ1 任意の2次元滑らかなトーリック弱ファノスタック上に、完全で強い例外的コレクションのラインバンドルを構成できるか？
• RQ2 そのようなコレクションの全自己準同型代数は、一貫性のあるデイマー・モデルと完全マッチングから導かれる関係付きクーヴィーのパス代数と同型か？
• RQ3 デイマー・モデルを通じて、トーリック弱ファノスタック上のコherent層の導来圏とクーヴィー代数上の加群の導来圏との関係は何か？
• RQ4 完全マッチングは、例外的コレクションの自己準同型代数を記述する上で果たす役割は何か？

主な発見

• 任意の2次元滑らかなトーリック弱ファノスタック上に、完全で強い例外的コレクションのラインバンドルが存在する。
• そのコレクションの全自己準同型代数は、一貫性のあるデイマー・モデルと完全マッチングに関連する関係付きクーヴィーのパス代数と同型である。
• スタック上のコherent層の導来圏は、クーヴィー代数上の加群の導来圏と導来同値である。
• 例外的コレクションの自己準同型代数は、カノニカルバンドル上のティルティング対象の自己準同型代数を、中心的元 W によるイデアルで割った商として実現される。
• KX 上のティルティング対象をゼロ切断に制限することで、X 上のティルティング対象が得られ、これはラインバンドルの直和である。
• ゼロ切断に対応する自己準同型代数上のイデアルは完全マッチングを介して記述され、代数的構造と組合せ的データが結びつけられる。