[論文レビュー] Hochschild cohomology of the cluster-tilted algebras of finite representation type

Sefi Ladkani|arXiv (Cornell University)|May 3, 2012

Algebraic structures and combinatorial models参考文献 12被引用数 5

ひとこと要約

この論文は、体上の有限表現型のクラスター・ティルト代数のホッフシュィルドコホモロジー群を計算し、有向3サイクルやカルタン行列の行列式といったインヴァリアントとクイバー構造を用いて形式的べき級数でコホモロジーを表現する。主な結果は、クイバーのパラメータと関連多項式を用いて、ディンキン型A、D、Eにおけるコホモロジーの完全分類を達成することである。

ABSTRACT

We compute the Hochschild cohomology groups of the cluster-tilted algebras of finite representation type.

研究の動機と目的

• 体上の有限表現型クラスター・ティルト代数のホッフシュィルドコホモロジー群を計算すること。
• コホモロジーを有向3サイクルの数やサイクル長さなどのクイバーインヴァリアントで表現すること。
• 形式的べき級数と導来インヴァリアントを用いて、ディンキン型A、D、Eにおけるコホモロジーの完全分類を確立すること。
• 第一ホッフシュィルドコホモロジーとカルタン行列の行列式が、全コホモロジールーピングを完全に決定することを示すこと。
• このような代数が剛性を示し、第二コホモロジー群が消えることの証明

提案手法

• コホモロジー次元を符号化するための形式的べき級数 $ h_{\text{\Lambda}}(z) = \sum_{i=0}^{\infty} \dim_K \operatorname{HH}^i(\Lambda) \cdot z^i - 1 $ を定義する。
• 文献[11, 14, 17]における長完全系列による還元技術を用い、コホモロジー計算をより単純な部分問題に分解する。
• ホッフシュィルドコホモロジーの導来不変性を適用し、非単項式クラスター・ティルト代数を、関係がゼロの単項式代数に置き換える。
• 導来同値な単項式代数におけるサイクルを短縮し、コホモロジーが既知の切り捨てサイクル代数に還元する。
• 文献[2, 12, 16, 20]における切り捨てサイクル代数のホッフシュィルドコホモロジーの既知の結果を活用し、最終的なコホモロジー群を計算する。
• サイクル型クイバーのコホモロジーを符号化する形式的べき級数 $ f_n(z) $ を、$ n $ と体の特徴に依存して定義する。

実験結果

リサーチクエスチョン

• RQ1 有限表現型クラスター・ティルト代数のホッフシュィルドコホモロジーは、どのようにそのクイバー構造から明示的に計算できるか？
• RQ2 有向3サイクルとサイクル長さは、コホモロジー構造を決定する上で果たす役割は何か？
• RQ3 ホッフシュィルドコホモロジー群は、カルタン行列の行列式といった導来インヴァリアントによって、どの程度まで決定されるか？
• RQ4 A、D、E型に関して、クイバーのパラメータと関連多項式を用いたコホモロジーの完全分類は可能か？
• RQ5 有限表現型のクラスター・ティルト代数は剛性を示すのか、すなわち第二コホモロジー群が自明か？

主な発見

• ディンキン型Aのクラスター・ティルト代数では、コホモロジー生成関数は $ h_{\Lambda}(z) = t f_3(z) $ であり、ここで $ t $ は有向3サイクルの数である。
• 型Dでは、クイバーの型とパラメータに依存する：型Iでは $ h_{\Lambda}(z) = t f_3(z) $、型IIでは $ (1 + t_1 + t_2) f_3(z) $、型IIIでは $ f_4(z) + (t_1 + t_2) f_3(z) $、型IVでは $ f_n(z) $ または $ f_n(z) + (t_1 + \cdots + t_r) f_3(z) $ である。
• 型Eでは、カルタン行列の関連多項式によってコホモロジーが完全に決定され、表1に示すように、$ f_n(z) $ またはその線形結合が割り当てられる。
• 第二ホッフシュィルドコホモロジーは消える：$ \operatorname{HH}^2(\Lambda) = 0 $ であり、これによりこのような代数が剛性を示すことが証明された。
• 全コホモロジーは $ \dim \operatorname{HH}^1(\Lambda) $ と $ \det C_\Lambda $ によって完全に決定され、$ h_{\Lambda}(z) = f_n(z) + t f_3(z) $ となる。ここで $ t = \dim \operatorname{HH}^1(\Lambda) - 1 $ かつ $ n = 1 + 2^{-t} \det C_\Lambda $ である。
• 有限表現型のクラスター・ティルト代数が、コホモロジー群が同型であるための必要十分条件は、第一コホモロジー次元とカルタン行列の行列式が等しいことである。