[论文解读] 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

一句话总结

本文为路径代数 $\Gamma$ 的第一个Hochschild上同调李代数 $HH^1(\mathbf{k}\Gamma)$ 建立了典范基和半直积分解，将导子与有向图的组合结构联系起来。通过引入顶点、箭头和面导子，以及关联矩阵和边界矩阵，证明了这些空间的维数关系可恢复欧拉多面体公式，从而提供了拓扑不变量的微分代数表述。

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Γ)$.

研究动机与目标

• 刻画路径代数 $\Gamma$ 上的导子并为 $\Delta\dot{\mathcal{E}}(\Gamma)$ 构造一个典范基。
• 将 $HH^1(\Gamma)$ 的李代数结构与有向图 $\Gamma$ 的组合与拓扑性质相关联。
• 从组合导子的维数关系中推导出欧拉多面体公式的微分形式。
• 通过特征值作用，将 $HH^1(\Gamma)$ 分解为一个李理想与一个交换子代数的半直积。

提出的方法

• 通过路径 $r,s$ 定义路径代数上的导子 $D_{r,s}$，并推导其线性性与莱布尼茨法则的必要与充分条件。
• 引入关联矩阵与边界矩阵，以编码顶点、箭头与面导子之间的关系。
• 构造三类组合导子：分别来自有向图的顶点、箭头与面。
• 使用矩阵秩分析计算由顶点、箭头与面导子张成的空间的维数。
• 应用面导子对近似定向环路导子的伴随作用，确定特征值并定义半直积结构。
• 证明当应用于平面无环有向图时，$HH^1(\Gamma)$ 的维数公式通过关系 $|V| - |E| + |F| = 2$ 恢复欧拉多面体公式。

实验结果

研究问题

• RQ1 如何利用有向图的组合结构刻画并分类路径代数 $\Gamma$ 上的导子？
• RQ2 $HH^1(\Gamma)$ 的李代数结构是什么？其分解形式如何？
• RQ3 顶点、箭头与面导子空间的维数如何与欧拉公式相关联？
• RQ4 能否通过特征值作用显式构造 $HH^1(\Gamma)$ 的半直积分解？
• RQ5 关联矩阵与边界矩阵在编码组合导子之间关系中起什么作用？

主要发现

• 在 $\Delta\dot{\mathcal{E}}(\Gamma)$ 中，边导子空间是顶点导子空间与面导子空间的直和，且后者达到最大维数。
• 当应用于平面无环有向图时，维数公式 $\dim_{\Gamma} HH^1(\Gamma) = 1 - |V| + \sum_{\alpha \in E} v(\alpha)$ 恢复欧拉多面体公式。
• 通过近似定向环路与面导子，组合地构造了 $HH^1(\Gamma)$ 的典范基。
• $HH^1(\Gamma)$ 的李代数 admits 半直积分解 $HH^1(\Gamma) = \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}$，从而确定了半直积结构。
• 该结果在特征为零的域上成立；在正特征情况下存在反例，例如当 $\text{char}({\bf k}) = 2$ 时，矩阵秩坍塌，维数公式失效。