[論文レビュー] First Hochschild cohomology group and stable equivalence classification of Morita type of some tame symmetric algebras

Rachel Taillefer|arXiv (Cornell University)|Jun 29, 2017

Algebraic structures and combinatorial models参考文献 17被引用数 6

ひとこと要約

この論文は、第一ホッホシールドコホモロジー群のリー代数構造と次元を用いて、安定的モルティ型同値に関して、二面体型、準二面体型、四元数型のターム対称代数を区別する。コホモロジーのリー代数のカルタン・ケリング形式および下部中心系列を分析することにより、二面体型代数の分類を完了し、四元数型および準二面体型代数の分類を精緻化し、積 $cd \neq 0$ または特定の構造的条件が成り立つ場合、以前は区別できなかった代数が安定的同値ではないことを示している。

ABSTRACT

We use the dimension and the Lie algebra structure of the first Hochschild cohomology group to distinguish some algebras of dihedral, semi-dihedral and quaternion type up to stable equivalence of Morita type. In particular, we complete the classification of algebras of dihedral type that was mostly determined by Zhou and Zimmermann.

研究の動機と目的

• 安定的モルティ型同値に関して、二面体型代数の分類を完了すること。
• ホッホシールドコホモロジーからの不変量を用いて、準二面体型および四元数型代数の分類を精緻化すること。
• 従来の不変量（例：クルシュラーマー不変量、安定ホッホシールドコホモロジー）では区別できなかった代数を区別すること。
• リー代数構造 $\mathrm{HH}^1(A)$ が、安定的モルティ型同値において強力な不変量であることを示すこと。
• カルタン・ケリング形式および $\mathrm{HH}^1(A)$ の下部中心系列を分析することにより、未解決のケースを解消すること。

提案手法

• クイバーと関係式で定義された有限次元代数の最小射影分解を用いたカスタムアルゴリズムにより、第一ホッホシールドコホモロジー群 $\mathrm{HH}^1(A)$ を計算する。
• モノミアル代数に対してストラメッツが提示したリー代数構造を適用し、$\mathrm{HH}^1(A)$ のリー括弧関係を明示的に計算する。
• リー代数 $\mathrm{HH}^1(A)$ のカルタン・ケリング形式を不変量として用いる。そのランクはリー代数同型のもとで不変であり、したがって安定的モルティ型同値のもとでも不変である。
• 同型なコホモロジー次元を持つ代数を区別するために、下部中心系列 $\mathcal{L}^1(\mathrm{HH}^1(A))$ および $\mathcal{L}^2(\mathrm{HH}^1(A))$ を分析する。
• 基底変換および同型不変量を用いて、特に $cd \neq 0$ の場合の異なるパrameter $c, d$ を持つ代数を比較する。
• $\mathrm{HH}^1(A)$ 及びそのリー構造が、コニグ、レ、周によって確立されたように、安定的モルティ型同値のもとで保存されることに依拠する。

実験結果

リサーチクエスチョン

• RQ1 積 $cd \neq 0$ のとき、代数 $Q(1\mathcal{A})_{2}^{k}(0,d)$ と $Q(1\mathcal{A})_{2}^{k}(c,d)$ は安定的モルティ型同値であるか？
• RQ2 二つの単純モジュールを持つ四元数型代数のうち、従来の不変量では区別できなかった代数を、リー代数構造 $\mathrm{HH}^1(A)$ が区別できるか？
• RQ3 両方とも非ゼロのとき、$d \neq d'$ ならば、代数 $Q(1\mathcal{A})_{2}^{k}(0,d)$ と $Q(1\mathcal{A})_{2}^{k}(0,d')$ は安定的同値であるか？
• RQ4 下部中心系列 $\mathrm{HH}^1(A)$ は、次元やカルタン・ケリング形式だけよりも細かい不変量を提供するか？
• RQ5 リー代数構造は、二面体型、準二面体型、四元数型代数の分類における未解決のケースを解消できるか？

主な発見

• $k \geq 2$ かつ $cd \neq 0$ のとき、代数 $Q(1\mathcal{A})_{1}^{k}$、$Q(1\mathcal{A})_{2}^{k}(0,d)$、$Q(1\mathcal{A})_{2}^{k}(c,d)$ は安定的モルティ型同値ではない。
• $\mathrm{HH}^1(Q(1\mathcal{A})_{2}^{k}(c,d))$ のカルタン・ケリング形式のランクは、$cd \neq 0$ のとき 2、$cd = 0$ のとき 0 であり、区別に使える不変量である。
• $k$ が奇数で $cd = 0$ のとき、$\mathcal{L}^1(\mathrm{HH}^1(A))$ の次元は $\frac{k+3}{2}$、$k$ が偶数で $cd = 0$ のとき $\frac{k}{2} + 2$ であり、さらに $\mathcal{L}^2$ においても区別がなされる。
• $k$ が奇数で $c = 0$、$d \neq 0$ のとき、$\mathcal{L}^2(\mathrm{HH}^1(A))$ の次元は $\frac{k-3}{2} + \delta_{k,3}$ であり、$c = d = 0$ のときは $\frac{k-5}{2} + \delta_{k,3}$ である。
• $\mathrm{HH}^1(Q(1\mathcal{A})_{2}^{k}(0,d))$ と $\mathrm{HH}^1(Q(1\mathcal{A})_{2}^{k}(0,d'))$ のリー代数は $d, d' \neq 0$ のとき同型であるが、これは安定的モルティ型同値を意味しない。
• 二面体型代数の分類は現在完了しており、四元数型および準二面体型代数の分類は $\mathrm{HH}^1(A)$ のリー代数構造を用いて改善されている。