[论文解读] Algebraic properties of face algebras

Fabio Calderón, Chelsea Walton|arXiv (Cornell University)|May 25, 2021

Algebraic structures and combinatorial models参考文献 16被引用 1

一句话总结

本论文通过证明H(Q)与克罗内克平方quiver bQ的路径代数同构，确立了有限quiver Q对应的Hayashi面代数H(Q)与路径代数kQ共享关键的代数与同调性质。关键结果是H(Q)继承了kQ的有限维性、有限Gelfand-Kirillov维数、诺特性、（在特定条件下）素性、半素性、整体维数以及Koszul性，且给出了基于Q的邻接矩阵及其幂的维数与Gelfand-Kirillov维数的显式公式。

ABSTRACT

Prompted an inquiry of Manin on whether a coacting Hopf-type structure $H$ and an algebra $A$ that is coacted upon share algebraic properties, we study the particular case of $A$ being a path algebra $\Bbbk Q$ of a finite quiver $Q$ and $H$ being Hayashi's face algebra $\mathfrak{H}(Q)$ attached to $Q$. This is motivated by the work of Huang, Wicks, Won, and the second author, where it was established that the weak bialgebra coacting universally on $\Bbbk Q$ (either from the left, right, or both sides compatibly) is $\mathfrak{H}(Q)$. For our study, we define the Kronecker square $\widehat{Q}$ of $Q$, and show that $\mathfrak{H}(Q) \cong \Bbbk \widehat{Q}$ as unital algebras. Then we obtain ring-theoretic and homological properties of $\mathfrak{H}(Q)$ in terms of graph-theoretic properties of $Q$ by way of $\widehat{Q}$.

研究动机与目标

• 回应Manin关于普遍协作用弱双代数是否与它协作用的代数共享代数性质的开放问题。
• 将面代数H(Q)研究为在有限quiver Q的路径代数kQ上普遍协作用的弱双代数。
• 建立H(Q)与克罗内克平方quiver bQ的路径代数之间的结构同构。
• 通过bQ，以图论不变量表征H(Q)的环论与同调性质。
• 给出H(Q)的维数与Gelfand-Kirillov维数的显式公式，其表达式基于Q的邻接矩阵。

提出的方法

• 将quiver Q的克罗内克平方bQ定义为新quiver，其顶点为Q0 × Q0中的顶点对(i,j)，其边为Q中长度相同的路径对(a,b)。
• 通过将H(Q)中的基元素xa,b ∈ H(Q)映射到k bQ中的路径[a,b]，构造一个k-线性、保持乘法且双射的映射，证明H(Q)作为单位N-graded k-代数同构于路径代数k bQ。
• 利用已知结果，将路径代数的代数性质与它们底层quiver的图论性质之间的联系，从k bQ传递至H(Q)。
• 分析bQ相对于Q的图论性质，特别是连通性、强连通性及路径计数，以推导H(Q)的性质。
• 推导H(Q)的Hilbert级数作为t的幂级数，其系数由Q的邻接矩阵的张量积给出。
• 应用张量代数理论，证明kQ与k bQ（因此H(Q)）均为Koszul代数。

实验结果

研究问题

• RQ1 作为在kQ上普遍协作用的面代数H(Q)，是否继承了kQ的相同环论与同调性质？
• RQ2 H(Q)的维数如何与Q的邻接矩阵及其幂相关？
• RQ3 H(Q)的Gelfand-Kirillov维数如何用kQ的GK维数表示？
• RQ4 在何种条件下H(Q)是素代数，这与kQ的素性有何关联？
• RQ5 H(Q)的代数结构能否通过quiver构造完全描述？如果是，是哪一个quiver？

主要发现

• H(Q)作为单位N-graded k-代数同构于路径代数k bQ，其中bQ是Q的克罗内克平方。
• dimk(H(Q)) = ∑_{i,j∈Q0, k≥0} (c(k)_{i,j})²，其中c(k)_{i,j}是Q的邻接矩阵的k次幂的(i,j)元素。
• 若GKdim(kQ)有限，则GKdim(H(Q)) = 2·GKdim(kQ) − 1。
• 若kQ是素代数且Q至少包含一个环路，则H(Q)也是素代数。
• H(Q)的整体维数等于kQ的整体维数，且两者均为遗传代数。
• H(Q)的Hilbert级数为HH(Q)(t) = I⊗I + (C⊗C)t + (C²⊗C²)t² + ⋯，其中C为Q的邻接矩阵，I为|Q0|阶单位矩阵。