[論文レビュー] Structure of Hochschild cohomology of path algebras and differential formulation of Euler's polyhedron formula

Li Guo, Fang Li|arXiv (Cornell University)|Oct 11, 2010

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

ひとこと要約

本稿は、経路代数 $Γ$ の最初のホッフハルドコhomology リー代数 $HH^1(\mathbf{k}Γ)$ に対して、標準基底と半直積分解を確立し、微分をクイバーの組合せ論に結びつける。頂点、矢印、面の微分と接続行列・境界行列を導入することで、これらの空間の次元関係がオイラーの多面体定理を回復することを示し、位相的不変量の微分代数的定式化を提供する。

ABSTRACT

This article studies the Lie algebra $Diff(KΓ)$ of derivations on the path algebra $KΓ$ of a quiver $Γ$ and the Lie algebra on the first Hochschild cohomology group $H^1(KΓ)$. We relate these Lie algebras to the algebraic and combinatorial properties of the path algebra. Characterizations of derivations on a path algebra are obtained, leading to a canonical basis of $Diff(KΓ)$ and its Lie algebra properties. Special derivations are associated to the vertices, arrows and faces of a quiver, and the concepts of a connected matrix and boundary matrix are introduced to study the relations among these derivations, concluding that the space of edge derivations is the direct sum of the spaces of the vertex derivations and the face derivations, while the dimensions of the latter spaces are the largest possible. By taking dimensions, this relation among spaces of derivations recovers Euler's polyhedron formula. This relation also leads a combinatorial construction of a canonical basis of the Lie algebra $H^1(KΓ)$, together with a semidirect sum decomposition of $H^1(KΓ)$.

研究の動機と目的

• 経路代数 $Γ$ 上の微分を特徴づけ、$ΔΕ̒(Γ)$ の標準基底を構成すること。
• HH^1(Γ) のリー代数構造がクイバー $Γ$ の組合せ論的・位相的性質とどのように関係するかを明らかにすること。
• 組合せ論的微分の次元関係から、オイラーの多面体定理の微分的定式化を導出すること。
• 固有値作用を用いて、$HH^1(Γ)$ をリーイデアルとアーベル部分代数の半直積に分解すること。

提案手法

• 経路 $r,s$ を用いて経路代数上に微分 $D_{r,s}$ を定義し、線形性およびライブニッツ則を満たす必要十分条件を導出する。
• 接続行列と境界行列を導入し、頂点・矢印・面の微分の間の関係を符号化する。
• クイバーの頂点、矢印、面から生じる3種類の組合せ論的微分を構成する。
• 行列のランク解析を用いて、頂点・矢印・面の微分が張る空間の次元を計算する。
• 面微分の随伴作用をほぼ向き付きサイクル微分に適用し、固有値を特定し、半直積構造を定義する。
• 平面的でサイクルのないクイバーに適用した際、$HH^1(Γ)$ の次元公式が $|V| - |E| + |F| = 2$ の関係を通じてオイラーの多面体定理を回復することを証明する。

実験結果

リサーチクエスチョン

• RQ1 クイバーの組合せ論を用いて、経路代数 $Γ$ 上の微分をどのように特徴づけ・分類できるか。
• RQ2 $HH^1(Γ)$ のリー代数構造は何か。また、どのように分解されるか。
• RQ3 頂点・矢印・面の微分の空間の次元は、オイラーの公式とどのように関係するか。
• RQ4 固有値作用を用いて、$HH^1(Γ)$ の半直積分解を明示的に構成できるか。
• RQ5 接続行列と境界行列は、組合せ論的微分の間の関係をどのように符号化するか。

主な発見

• ΔΕ̒(Γ) 内の辺微分の空間は、頂点微分の空間と面微分の空間の直和であり、後者は最大次元に達する。
• 次元公式 $\dim_{Γ} HH^1(Γ) = 1 - |V| + \sum_{\alpha \in E} v(\alpha)$ は、平面的でサイクルのないクイバーに適用すると、オイラーの多面体定理を回復する。
• ほぼ向き付きサイクルと面微分から、$HH^1(Γ)$ の組合せ論的標準基底が構成される。
• リー代数 $HH^1(Γ)$ は、半直積分解 $HH^1(Γ) = \mathfrak{D}_{AL} \rtimes_{\varphi} \mathfrak{D}_F$ を持ち、ここで $\mathfrak{D}_{AL}$ はリーイデアル、$\mathfrak{D}_F$ はアーベル部分代数である。
• 面微分 $D_{\mathfrak{c}}$ の随伴作用がほぼ向き付きサイクル微分 $D_{r,s}$ に作用するとき、固有値は $-a_{i_0} + a_{i_1} + \cdots + a_{i_t}$ に等しく、これが半直積構造を決定する。
• 結果は特性が0の体上でのみ成り立つ。例として、$\text{char}({\bf k}) = 2$ のとき、行列のランクが崩壊し、次元公式が成立しないため反例が存在する。