[論文レビュー] The product in the Hochschild cohomology ring of preprojective algebras of Dynkin quivers

Ching-Hwa Eu|ArXiv.org|Mar 20, 2007

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

ひとこと要約

本稿は、特性0の体上のD型およびE型のダイキン・クイバーに付随する前射影的代数のHochschildコホモロジー環における全カップ積構造を計算する。Schofield分解と次数付きコホモロジーによる基底構成を用いて、大部分の積が次数制約により消えることを示し、非自明な積はGerstenhaber括弧およびBatalin-Vilkovisky構造に由来する特定のペアリングから生じる。主な結果として、D型およびE型のすべてのタイプにおいて一様な環構造の記述が得られる。

ABSTRACT

In this paper, we compute the product structure of the Hochschild cohomology of preprojective algebras of quivers of type D and E over a field of characteristic zero.

研究の動機と目的

• D型およびE型のダイキン・クイバーに対する前射影的代数のHochschildコホモロジー環におけるカップ積構造を完全に特定すること。
• 特徴値0の体上でのA型（[ES2] より）の先行結果を拡張し、ADEクイバーにおける積構造の分類を完成させること。
• 各ダイキン型の個別計算にもかかわらず、環構造の均一な記述を提供すること。
• 次数の議論とBatalin-Vilkovisky構造を用いて、多くの積の消滅を確立すること。
• 特にGerstenhaber括弧と最高次元コホモロジー成分を含む明示的ペアリングにより、非自明な積を同定すること。

提案手法

• 本稿は、前射影的代数の6周期的分解であるSchofield分解を用い、同型 $ HH^i(A) \cong \underline{Hom}(\Omega^i A, A) $ を通じてHochschildコホモロジーを計算する。
• 自然な矢印次数1構造からの次数を活用し、各コホモロジー空間 $ HH^i(A) $ に対して明示的な基底を構成する。
• カップ積は合成を介して計算される：$ [f][g] = [f \circ \Omega^i g] $、ここで $ f \in HH^i(A) $、$ g \in HH^j(A) $。
• 積の消滅は次数制約により確立される：$ \deg HH^i(A) \leq -h $（$ i \geq 4 $）で、$ h $ はコックスター数。
• 非自明な積は、Batalin-Vilkovisky構造、特にGerstenhaber括弧と $ \Delta $ の作用を用いて分析され、特定のペアリングが消えることが導かれる。
• $ HH^5(A) \times HH^5(A) \to HH^{10}(A) $ の積は、歪対称な双線形形式 $ \Omega $ で与えられ、その行列は $ -M_\beta $ である。これは $ HH^1 \times HH^5 \to HH^6 $ の積から導出される。

実験結果

リサーチクエスチョン

• RQ1 D型およびE型のダイキン・クイバーに対する前射影的代数のHochschildコホモロジー環における完全なカップ積構造は何か？
• RQ2 コホモロジー群間のどの積が消え、どの積が非自明であり、それはなぜか？
• RQ3 Batalin-Vilkovisky構造は、特に高次元において積の関係をどのように制約するか？
• RQ4 個別計算を要するにもかかわらず、D型およびE型のすべてのタイプにおいて積構造を一様に記述できるか？
• RQ5 ペアリング $ HH^5(A) \times HH^5(A) \to HH^{10}(A) $ の正確な形は何か？また、Gerstenhaber括弧とどのように関係するか？

主な発見

• 積 $ HH^2(A) \times HH^4(A) \to HH^6(A) $ は、次数制約と $ f_k \zeta_{h-4} $ の消滅により消える。これは、Batalin-Vilkovisky構造におけるGerstenhaber括弧が $ m $ の選択に依存しないことから生じる。
• 積 $ HH^2(A) \times HH^5(A) \to HH^7(A) $ は、$ a \zeta_k \in HH^2(A) \times HH^4(A) = 0 $ であるため、非ゼロであれば矛盾が生じる。
• 積 $ HH^3(A) \times HH^3(A) \to HH^6(A) $ は、次数の不一致により消える：$ \deg HH^6(A) \leq -h-2 < -4 = \deg HH^3(A) + \deg HH^3(A) $。
• 積 $ HH^4(A) \times HH^5(A) \to HH^9(A) $ は、$ Q = D_{n+1} $（$ n $ が偶数）または $ Q = E_6 $ の場合、非退化なペアリング $ HH^2 \times HH^3 \to HH^5 $ を用いた背理法により消える。
• 積 $ HH^5(A) \times HH^5(A) \to HH^{10}(A) $ は、歪対称な双線形形式 $ \Omega $ で与えられ、その行列は $ -M_\beta $ である。これは $ HH^1 \times HH^5 \to HH^6 $ の積から導出される。
• すべての積 $ HH^i(A) \times HH^j(A) \to HH^{i+j}(A) $（$ i,j \leq 5 $）は明示的に計算され、残りの積は周期性と次数交換性から導かれる。