[論文レビュー] On the first Hochschild cohomology group of a cluster-tilted algebra

Ibrahim Assem, María Julia Redondo+1 more|arXiv (Cornell University)|Apr 7, 2012

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

ひとこと要約

この論文は、クラスターティルト代数 $ B $ の第一ホッフシュィルドコhomology群に短完全系列を確立し、$ 0 \to k^{n_{B,C}} \to \mathrm{HH}^1(B) \to \mathrm{HH}^1(C) \to 0 $ を示す。ここで $ C $ は関連するティルト代数であり、$ n_{B,C} $ は $ C $ に含まれない矢印の同値類の数を表す。表現有限なクラスターティルト代数に対しては、$ \dim_k \mathrm{HH}^1(B) $ は、クオーバーの鎖なしサイクルの数から内側の矢印の数を引いたものに等しくなり、組合せ論的な計算手法が得られる。

ABSTRACT

Given a cluster-tilted algebra B, we study its first Hochschild cohomology group HH^1(B) with coefficients in the B-B-bimodule B. If C is a tilted algebra such that B is the relation extension of C, then we show that if C is constrained, or else if B is tame, then HH^1(B) is isomorphic, as a k-vector space, to the direct sum of HH^1(C) with k^{n\_{B,C}}, where n\_{B,C} is an invariant linking the bound quivers of B and C. In the representation-finite case, HH^1(B) can be read off simply by looking at the quiver of B.

研究の動機と目的

• クラスターティルト代数 $ B $ の第一ホッフシュィルドコhomology を、関連するティルト代数 $ C $ のそれと関連づけること、特にタームおよび表現有限の場合に焦点を当てる。
• スコウロński の質問、すなわち $ \mathrm{HH}^1(B) $ が消えるとクラスターティルト代数が単純連結であるかという問題を解決すること。
• 表現有限の場合に、クオーバー構造を用いて $ \dim_k \mathrm{HH}^1(B) $ の組合せ論的公式を提供すること。
• $ B $ と $ C $ 間の関係の差を測る不変量 $ n_{B,C} $ を定義し、計算し、表現有限設定においてその不変性を示すこと。

提案手法

• クオーバー $ B $ の矢印で $ C $ のクオーバーに含まれないものに同値関係を定義し、その同値類の数を $ n_{B,C} $ と表す。
• 関係拡張構成を用いて $ B $ と $ C $ を関連づけ、クラスターティルト代数がティルト代数の拡張として得られることを活用する。
• ターム代数に対して証明済みの短完全系列 $ 0 \to k^{n_{B,C}} \to \mathrm{HH}^1(B) \to \mathrm{HH}^1(C) \to 0 $ を適用する。
• 内側の矢印を二つの鎖なしサイクル上にある矢印として特徴づけ、表現有限の場合の組合せ論的不変量 $ n_B $ を定義する。
• 平面的クオーバーにオイラーの公式を適用し、連結クオーバーに対して $ n_B = 1 + \text{外部の矢印} - n $ の公式を導出する。
• $ \mathrm{HH}^1(B) = 0 $ であることは、$ B $ がヘリティアスであり、そのクオーバーが木構造であることに同値であることを証明し、スコウロński の予想をこのクラスで確認する。

実験結果

リサーチクエスチョン

• RQ1 タームクラスターティルト代数に対して、短完全系列 $ 0 \to k^{n_{B,C}} \to \mathrm{HH}^1(B) \to \mathrm{HH}^1(C) \to 0 $ は成り立つか？
• RQ2 $ \mathrm{HH}^1(B) $ が消えることは、$ B $ が単純連結（すなわちヘリティアスでクオーバーが木構造）であることと同値か？
• RQ3 表現有限の場合に、$ \dim_k \mathrm{HH}^1(B) $ はクオーバー構造からのみ計算可能か？
• RQ4 $ n_{B,C} $ の組合せ論的意味は何か？また、$ C $ の異なる選択に対して不変性を保つか？
• RQ5 頂点を削除するとホッフシュィルドコhomologyの次元にどのような影響があり、これは次数関数で捉えられるか？

主な発見

• 任意のタームクラスターティルト代数 $ B $ に対して、短完全系列 $ 0 \to k^{n_{B,C}} \to \mathrm{HH}^1(B) \to \mathrm{HH}^1(C) \to 0 $ が成り立ち、ここで $ n_{B,C} $ は $ C $ のクオーバーに含まれない矢印の同値類の数である。
• 第一ホッフシュィルドコhomology群 $ \mathrm{HH}^1(B) $ が消えることは、$ B $ がヘリティアスであり、そのクオーバーが木構造であることに同値である。これはスコウロński の予想をクラスターティルト代数に対して確認する。
• 表現有限の場合、$ \dim_k \mathrm{HH}^1(B) = n_B = \text{鎖なしサイクルの数} - \text{内側の矢印の数} $ が成り立つ。
• 連結クオーバー $ \tilde{Q} $ に対して、$ n_B = 1 + \text{外部の矢印の数} - n $ が成り立ち、ここで $ n $ は頂点数である。
• 頂点 $ x $ のホッフシュィルド次数 $ \deg_{\mathrm{HH}}(x) = n_B - n_{B/Be_xB} $ は、$ x $ を通る鎖なしサイクルの数から、それらのサイクル上の内側の矢印の数を引いたものに等しい。
• 4つの鎖なしサイクルと2つの内側の矢印を持つ $ \mathbb{E}_8 $ 型クラスターティルト代数の例では、$ \mathrm{HH}^1(B) = k^2 $ であり、鎖なしサイクルから内側の矢印を引く公式と外部の矢印の公式の両方で確認された。