[論文レビュー] On moduli spaces of quiver representations associated with dimer models

Akira Ishii, Kazushi Ueda|ArXiv.org|Oct 10, 2007

Algebraic structures and combinatorial models参考文献 7被引用数 36

ひとこと要約

本論文は、非退化なデイマー・モデルに対して、特徴的多項式のノイザー多角形によって定義されるトーリック特異点のクレパント解消が、一般の安定パラメータを持つキーバ代表のモジュライ空間として実現されることを確立する。この構成は、完全一致とトーラス固定点を用いて行われ、デイマー・モデルを介して3次元トーリック特異点への McKay 対応の一般化を達成する。

ABSTRACT

We give a sufficient condition for the moduli space of quiver representations associated with a dimer model to be smooth for a general stability parameter. We also show that the moduli space in this case is a crepant resolution of the toric variety determined by the Newton polygon of the characteristic polynomial.

研究の動機と目的

• 3次元トーリック特異点への McKay 対応の一般化を、デイマー・モデルを用いて行う。
• デイマー・モデルに関連するキーバモジュライ空間がクレパント解消をもたらす条件を確立する。
• 特徴的多項式のノイザー多角形を用いて、モジュライ空間をトーリック多様体として特徴付ける。
• 完全一致と安定パラメータが解消の構成において果たす役割を明確にする。

提案手法

• 論文は、2次元トーラス上のデイマー・モデルの二部グラフを用いて、双対化と向きの規則を介してキーバと関係を定義する。
• パス代数を用いてキーバの表現を構成し、安定パラメータ θ を導入してモジュライ空間 Mθ を定義する。
• 完全一致を用いて、モジュライ空間内のトーラス固定点をパrameter化し、基準一致に対する高さの変化が格子点を定義する。
• H¹(T, ℂ×) の作用とノイザー多角形の双対の錐構造を分析することにより、モジュライ空間 Mθ がクレパント解消であることが示される。
• θ = 0 におけるモジュライ空間の正規化は、ノイザー多角形の双対錐の半群環と同型な座標環を持つアフィントーリック多様体として特定される。
• 主な技術的道具は、ノイザー多角形 Δ が完全一致の高さ変化の凸包として特定されることであり、組合せ論と幾何学を結びつける。

実験結果

リサーチクエスチョン

• RQ1 デイマー・モデルに関連するキーバ代表のモジュライ空間が、3次元トーリック特異点のクレパント解消をもたらす条件は何か？
• RQ2 デイマー・モデルの完全一致は、モジュライ空間内のトーラス固定点とどのように関係するか？
• RQ3 デイマー・モデルの文脈において、一般の安定パラメータ θ に対するモジュライ空間 Mθ の幾何学的構造は何か？
• RQ4 特徴的多項式のノイザー多角形は、解消の背後にあるトーリック多様体とどのように関係するか？
• RQ5 非退化条件の下で、解消とキーバ代数の導来圏同型が確立できるか？

主な発見

• 非退化なデイマー・モデルに対して、一般の安定パラメータ θ に対して、モジュライ空間 Mθ はアフィントーリック多様体 Spec ℂ[(Cone(Δ×{1}))°] のクレパント解消である。
• ノイザー多角形 Δ は、基準一致に対する完全一致の高さ変化の凸包であり、これが解消を決定づける。
• モジュライ空間 Mθ はトーラス軌道閉包として2次元であり、その正規化は指定された座標環を持つアフィントーリック多様体である。
• この構成は、3次元トーリック特異点への McKay 対応の一般化を達成し、解消がデイマー・モデルのキーバから生じる。
• 安定パラメータ空間における実コ dimension 1 の壁を越えると、Mθ はフロップを経験し、非自明な双有理幾何を示す。
• 図2の例では、Mθ は ℙ¹ 上の O(−1)⊕O(−1) の全空間と同型であり、コンパクト特異点の標準的で小さな解消である。