[論文レビュー] Hochschild cohomology of gentle algebras

Sefi Ladkani|arXiv (Cornell University)|Aug 10, 2012

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

ひとこと要約

この論文は、きつい代数のホッフシュル・コホモロジーを計算し、それが完全にアベラ＝アラミノス＝ゲイスの導来不変量によって決定されることを示している。これは、この不変量がすでに捉えきっている導来同値類を超えて、ホッフシュル・コホモロジーが区別できないことを意味する。モノミアル代数のバードツェルのバイモジュール分解を用いて、体の特徴と不変量に基づいて、コホモロジー群の次元に対する明示的な公式を導出し、きつい代数に関してホッフシュル・コホモロジーが完全な導来不変量でないことを証明している。

ABSTRACT

We compute the Hochschild cohomology groups of gentle algebras and show that they are determined by the derived invariant introduced by Avella-Alaminos and Geiss.

研究の動機と目的

• きつい代数の導来同値類を、アベラ＝アラミノス＝ゲイス不変量がすでに捉えきっている範囲を超えて、ホッフシュル・コホモロジーが区別できるかどうかを特定すること。
• きつい代数の組合せ的構造を用いて、ホッフシュル・コホモロジー群の次元を計算すること。
• ホッフシュル・コホモロジーが、順位付きベクトル空間として、完全にアベラ＝アラミノス＝ゲイス不変量と基底体の特徴によって決定されることを確立すること。
• 表面の三角形分割から生じるきつい代数、特に型$\tilde{A}$のクラスター・ティルト代数にその結果を適用すること。

提案手法

• 著者たちは、きつい代数が二次的モノミアル代数であることを利用し、モノミアル代数のバードツェルの自己代数上での射影的分解を用いて、ホッフシュル・コホモロジーを計算している。
• コホモロジー群の次元を符号化するため、形式的べき級数$ h_{\text{\Lambda}}(z) = \sum_{i=0}^{\infty} \dim_K \operatorname{HH}^i(\Lambda) \cdot z^i - 1 $を定義している。
• クイバー内のサイクルに由来する寄与をモデル化するため、べき級数$ g_n(z) = \frac{z^n(1+z)(\varepsilon_n + z^n)}{1 - z^{2n}} $を導入している。ここで$ \varepsilon_n = 1 $は$ n $が偶数または$ \operatorname{char} K = 2 $のとき、それ以外は0である。
• 主な公式は、$ h_{\Lambda}(z) $を$ \phi_{\Lambda}(1,m) $、$ \phi_{\Lambda}(0,m) $、および$ g_m(z) $の和として表しており、オイラー標数$ \chi(Q_\Lambda) $は$ \phi_{\Lambda} $で表現できる。
• $ \psi_{\Lambda}(n) = \sum_{d|n} \phi_{\Lambda}(0,d) $を定義し、$ n \geq 2 $における$ \dim \operatorname{HH}^n(\Lambda) $の表現を簡略化している。
• この手法は、種数$ g $、境界成分数$ b $、特別な境界セグメントおよび三角形の数といった位相的不変量を用いて、表面の三角形分割から生じるきつい代数に適用されている。

実験結果

リサーチクエスチョン

• RQ1 アベラ＝アラミノス＝ゲイス不変量がすでに分離していない導来同値類を、ホッフシュル・コホモロジーが区別できるか。
• RQ2 きつい代数のクイバーと関係を用いて、ホッフシュル・コホモロジー群の次元を明示的に表す公式は何か。
• RQ3 基底体の特徴が、きつい代数のホッフシュル・コホモロジー構造にどのように影響するか。
• RQ4 マーク付きの境界付き表面の理想三角形分割から生じるきつい代数のホッフシュル・コホモロジーは何か。
• RQ5 型$\tilde{A}$のクラスター・ティルト代数のコホモロジーは、その表面の位相的不変量を用いて完全に記述可能か。

主な発見

• きつい代数のホッフシュル・コホモロジー（順位付きベクトル空間として）は、完全にアベラ＝アラミノス＝ゲイス導来不変量と基底体の特徴によって決定される。
• 形式的べき級数$ h_{\Lambda}(z) $は、$ (1 - \chi(Q_\Lambda))z + \sum_{m \geq 0} \phi_{\Lambda}(1,m)z^m + \sum_{m > 0} \phi_{\Lambda}(0,m)g_m(z) $として与えられ、$ \chi(Q_\Lambda) $は$ \phi_{\Lambda} $で表現可能である。
• $ n \geq 2 $に対して、$ \dim \operatorname{HH}^n(\Lambda) = \phi_{\Lambda}(1,n) + a_n \psi_{\Lambda}(n) + b_n \psi_{\Lambda}(n-1) $が成り立ち、係数$ (a_n, b_n) $は体の特徴と$ n $の偶奇に依存する。
• $ \operatorname{HH}^1(\Lambda) = 0 $であることは、すべての$ i \geq 1 $に対して$ \operatorname{HH}^i(\Lambda) = 0 $であることに同値であり、これは$ \Lambda $がダイニキン型$ A $のピースワイズ・ヘリティアラであるときにかつそのときに限り成り立つ。
• きつい代数が有限グローバル次元を持つとき、$ h_{\Lambda}(z) = (1 - \chi(Q_\Lambda))z + \sum_{n \geq 0} \phi_{\Lambda}(1,n)z^n $であるから、$ n > 1 $に対して$ \dim \operatorname{HH}^n(\Lambda) = \phi_{\Lambda}(1,n) $が成り立つ。
• 表面の三角形分割から生じるきつい代数に対して、$ h_{\Lambda_T}(z) = c_0 + (2g + b - 1 + c_1)z + (4(g-1) + 2b + d)f_3(z) $が成り立ち、ここで$ f_3(z) = z + g_3(z) $であり、$ \operatorname{HH}^2(\Lambda_T) = 0 $である。