[論文レビュー] Cluster algebras of type C via cluster tubes

Yu Zhou, Bin Zhu|arXiv (Cornell University)|Aug 20, 2010

Algebraic structures and combinatorial models参考文献 26被引用数 2

ひとこと要約

この論文は、$n > 1$ のランクを持つクラスタチューブ $\chi_n$ を用いて、型 $C_{n-1}$ のクラスタ代数のカテゴリフィケーションを確立する。非分解的剛性対象 $M$ に対してカルデールォ＝チャプトンの公式の幾何的アナログを定義することで、写像 $M \mapsto X_M$ が非分解的剛性対象とクラスタ変数の間、および最大剛性対象とクラスタの間の全単射を定めることを証明し、型 $C$ のクラスタ代数をカテゴリフィケーションする。

ABSTRACT

We study the cluster algebras arising from cluster tubes with rank bigger than $1$. Cluster tubes are $2-$Calabi-Yau triangulated categories which contain no cluster tilting objects, but maximal rigid objects. Fix a certain maximal rigid object $T$ in the cluster tube $\mathcal{C}_n$ of rank $n$. For any indecomposable rigid object $M$ in $\mathcal{C}_n$, we define an analogous $X_M$ of Caldero-Chapton's formula (or Palu's cluster character formula) by using the geometric information of $M$. We show that $X_M, X_{M'}$ satisfy the mutation formula when $M,M'$ form an exchange pair, and that $X_{?}: M\mapsto X_M$ gives a bijection from the set of indecomposable rigid objects in $\mathcal{C}_n$ to the set of cluster variables of cluster algebra of type $C_{n-1}$, which induces a bijection between the set of basic maximal rigid objects in $\mathcal{C}_n$ and the set of clusters. This strengths a surprising result proved recently by Buan-Marsh-Vatne that the combinatorics of maximal rigid objects in the cluster tube $\mathcal{C}_n$ encode the combinatorics of the cluster algebra of type $B_{n-1}$ since the combinatorics of cluster algebras of type $B_{n-1}$ or of type $C_{n-1}$ are the same by a result of Fomin and Zelevinsky. As a consequence, we give a categorification of cluster algebras of type $C$.

研究の動機と目的

• クラスタチューブの幾何的構造を用いて、型 $C_{n-1}$ のクラスタ代数のカテゴリフィケーションを提供すること。
• クラスタチューブ $\mathcal{C}_n$ 内の各非分解的剛性対象 $M$ に対して、幾何的データを用いてクラスタキャラクター $X_M$ を定義すること。
• 写像 $M \mapsto X_M$ が、非分解的剛性対象の集合と型 $C_{n-1}$ のクラスタ代数のクラスタ変数の集合との間の全単射を誘導することを証明すること。
• 基本的かつ最大の剛性対象の集合 $\mathcal{C}_n$ と型 $C_{n-1}$ のクラスタ代数のクラスタの集合との間の全単射を確立し、クラスタ代数をカテゴリフィケーションすること。

提案手法

• カルデールォ＝チャプトンおよびパルの公式にインspiredされ、クラスタチューブ $\mathcal{C}_n$ 内の各非分解的剛性対象 $M$ に対して幾何的クラスタキャラクター $X_M$ を定義する。
• $\mathcal{C}_n$ の $2$-カルビ・ヤウの三角的構造を用いて、剛性対象および交換対を分析する。
• $M$ と $M'$ が交換対をなすとき、$X_M$ と $X_{M'}$ が変異公式を満たすことを示す。
• クラスタキャラクターを定義するための基準フレームとして、$\mathcal{C}_n$ 内の最大剛性対象 $T$ を固定する。
• フォミンとツェレブィンスキーによって確立されたように、型 $B_{n-1}$ と $C_{n-1}$ のクラスタ代数が組合せ的に同値であるという事実を活用する。
• 写像 $M \mapsto X_M$ が、型 $C_{n-1}$ のクラスタ代数のクラスタ変数の集合への非分解的剛性対象の集合からの全単射であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 型 $C_{n-1}$ のクラスタ代数は、ランク $n$ のクラスタチューブを用いてカテゴリカルに実現可能か？
• RQ2 クラスタチューブ $\mathcal{C}_n$ 内の剛性対象の位相的性質に基づいて定義された幾何的クラスタキャラクター $X_M$ は、クラスタ変異則を満たすか？
• RQ3 写像 $M \mapsto X_M$ は、クラスタチューブ $\mathcal{C}_n$ 内の非分解的剛性対象と型 $C_{n-1}$ クラスタ代数のクラスタ変数の間の全単射を定めるか？
• RQ4 写像 $M \mapsto X_M$ は、クラスタチューブ $\mathcal{C}_n$ 内の最大剛性対象と型 $C_{n-1}$ クラスタ代数のクラスタの間の全単射を誘導するか？
• RQ5 型 $C$ クラスタ代数のカテゴリフィケーションは、既知のクラスタチューブによる型 $B$ クラスタ代数のカテゴリフィケーションとどのように関係するか？

主な発見

• 写像 $M \mapsto X_M$ は、クラスタチューブ $\mathcal{C}_n$ 内の非分解的剛性対象の集合から、型 $C_{n-1}$ のクラスタ代数のクラスタ変数の集合への全単射を定める。
• 交換対をなす $M$ と $M'$ に対して、クラスタキャラクター $X_M$ と $X_{M'}$ はクラスタ変異公式を満たす。
• 写像 $M \mapsto X_M$ は、クラスタチューブ $\mathcal{C}_n$ 内の基本的かつ最大の剛性対象の集合と、型 $C_{n-1}$ のクラスタ代数のクラスタの集合との間の全単射を誘導する。
• この構成により、クラスタチューブの幾何的構造を用いて型 $C_{n-1}$ のクラスタ代数の完全なカテゴリフィケーションが得られる。
• この結果は、最近のブアン＝マルシュ＝ヴァトネの結果を強化し、$\mathcal{C}_n$ 内の最大剛性対象の組合せ的性質が型 $C$ クラスタ代数をカテゴリフィケーションすることを示している（型 $B$ に限らない）。
• 幾何的クラスタキャラクター $X_M$ は、$\mathcal{C}_n$ 内の $M$ の内在的な幾何的性質を用いて定義され、カルデールォ＝チャプトンの公式を非自明に一般化している。