[論文レビュー] Generalized cluster complexes via quiver representations

Bin Zhu|ArXiv.org|Jul 6, 2006

Algebraic structures and combinatorial models参考文献 9被引用数 4

ひとこと要約

本稿は、$d$-クラスターティルティング対象を介して、$d$-クラスターカテゴリを用いた一般化クラスターモジュライのクウェーバー表現論的解釈を提供する。彩色されたほぼ正の実Schur根の間の$d$-適合度を導入し、$d$-適合根から構成される単体的複体が、FominとReadingによって定義された一般化クラスターモジュライと同型であることを示す。この結果は、無限次元根系への構成の拡張を実現し、表現論と統合する。

ABSTRACT

We give a quiver representation theoretic interpretation of generalized cluster complexes defined by Fomin and Reading. By using $d-$cluster categories which are defined by Keller as triangulated orbit categories of (bounded) derived categories of representations of valued quivers, we define a $d-$compatibility degree $(-||-)$ on any pair of ``colored'' almost positive real Schur roots which generalizes previous definitions on the non-colored case, and call two such roots compatible provided the $d-$compatibility degree of them is zero. Associated to the root system $Φ$ corresponding to the valued quiver, by using this compatibility relation, we define a simplicial complex which has colored almost positive real Schur roots as vertices and $d-$compatible subsets as simplicies. If the valued quiver is an alternating quiver of a Dynkin diagram, then this complex is the generalized cluster complex defined by Fomin and Reading.

研究の動機と目的

• FominとReadingによって定義された一般化クラスターモジュライのクウェーバー表現論的解釈を提供すること。
• FominとReadingが提起した問いに応じ、一般化クラスターモジュライの定義を無限次元根系へ拡張すること。
• $d$-クラスターカテゴリを用いて、彩色されたほぼ正の実Schur根の間の$d$-適合度を定義すること。
• $d$-適合根からなる単体的複体を構成し、それが$d$-クラスターカテゴリのクラスターモジュライと同型であることを確立すること。
• 表現論を介して、任意の根系に対するクラスターティルティング対象の理論とその組合せ論を一般化すること。

提案手法

• 本稿は、価値付きクウェーバーの表現の導来カテゴリの三角的巡回カテゴリ $\mathcal{D}/\tau^{-1}[d]$ として定義される $d$-クラスターカテゴリを用いる。
• 彩色されたほぼ正の実Schur根の間の $d$-適合度 $(-||-)$ を導入し、彩色なしの場合の一般化を達成する。
• 適合度は、$d$-クラスターカテゴリ内での対応する例外的対象の直和が例外的であるという条件により定義される。
• 彩色されたほぼ正の実Schur根を頂点とし、$d$-適合部分集合を単体とする単体的複体を構成する。
• この複体が $d$-クラスターカテゴリのクラスターモジュライと同型であることを、面と頂点を保存する写像 $\gamma^d_\mathcal{H}$ を用いて証明する。
• BGPの反射関手を $d$-クラスターカテゴリに一般化し、任意の基本的 $d$-クラスターティルティング対象が正確に $n$ 個の非分解和因子を持つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 一般化クラスターモジュライはクウェーバー表現と $d$-クラスターカテゴリを介して解釈可能か？
• RQ2 一般化クラスターモジュライの定義を無限次元根系へ拡張することは可能か？
• RQ3 $d$-クラスターカテゴリ内での彩色されたほぼ正の実Schur根の間の $d$-適合度は何か？
• RQ4 $d$-クラスターカテゴリは一般化クラスターモジュライをどのように組合せ的に実現するか？
• RQ5 異なる向き付けをもつDynkin図形に対応する一般化クラスターモジュライは同型か？

主な発見

• $\gamma^d_\mathcal{H}$ を通じて、一般化クラスターモジュライ $\Delta^{d,\mathcal{H}}(\Phi)$ は $d$-クラスターカテゴリ $\mathcal{C}_d(\mathcal{H})$ のクラスターモジュライと同型であり、頂点と面を保存する。
• 任意の根系 $\Phi$ に対して、複体 $\Delta^{d,\mathcal{H}}(\Phi)$ は次元 $n-1$ の純粋複体である。これは、FominとReadingの結果を無限次元根系へ一般化する。
• $\Phi$ が有限根系であり、$\mathcal{H}_0$ が交代的クウェーバーの表現のカテゴリであるとき、$\Delta^{d,\mathcal{H}_0}(\Phi)$ はFominとReadingが定義した元の一般化クラスターモジュライ $\Delta^d(\Phi)$ と一致する。
• $\mathcal{C}_d(\mathcal{H})$ 内の $d$-クラスターティルティング対象の数は $\prod_{i=1}^n \frac{dh + e_i + 1}{e_i + 1}$ である。ここで $h$ はCoxeter数、$e_i$ は $\Phi$ の指数である。これは $d=1$ の場合に既知の結果を一般化する。
• $\mathcal{C}_d(\mathcal{H})$ 内の任意のほぼ完全な $d$-クラスターティルティング対象の補完数の数は $d+1$ である。これは、単純代数的Dynkin型に対してThomasの結果と整合する。