[论文解读] Automorphisms of path coalgebras and applications

Yu Ye|arXiv (Cornell University)|Sep 14, 2011

Algebraic structures and combinatorial models参考文献 13被引用 3

一句话总结

本文引入了奎沃（quivers）的转移数据（trans-data）概念，用于刻画路径余代数及其对偶完全路径代数的自同构。建立了路径余代数自同构群与可逆转移数据群之间的同构，并为无环奎沃发展了一种类伽罗瓦理论，将子余代数与自同构群的子群联系起来。

ABSTRACT

Our main purpose is to introduce the notion of trans-datum for quivers, and apply it to the study of automorphism groups of path coalgebras and algebras. We observe that any homomorphism of path coalgebras is uniquely determined by a trans-datum, which is the basis of our work. Under this correspondence, we show for any quiver $Q$ an isomorphism from $\aut(kQ^c)$ to $Ω^*(Q)$, the group of invertible trans-data from $Q$ to itself. We point out that the coradical filtration gives to a tower of normal subgroups of $\aut(kQ^c)$ with all factor groups determined. Generalizing this fact, we establish a Galois-like theory for acyclic quivers, which gives a bijection between large subcoalgebras of the path coalgebra and their Galois groups, relating large subcoalgebras of a path coalgebra with certain subgroups of its automorphism group. The group $\aut(kQ^c)$ is discussed by studying its certain subgroups, and the corresponding trans-data are given explicitly. By the duality between reflexive coalgebras and algebras, we therefore obtain some structural results of $\aut(\hat{kQ^a})$ for a finite quiver $Q$, where $\hat{kQ^a}$ is the complete path algebra. Moreover, we also apply these results to finite dimensional elementary algebras and recover some classical results.

研究动机与目标

• 开发一个系统框架，用于研究路径余代数及其对偶完全路径代数的自同构群。
• 引入转移数据的概念，作为刻画余代数同态的关键工具。
• 在路径余代数的大子余代数与自同构群的子群之间建立类伽罗瓦对应关系。
• 利用对偶性与转移数据技术，恢复有限维初等代数的经典结果。
• 澄清路径代数与路径余代数自同构之间的关系，特别是在存在定向环的情况下。

提出的方法

• 将转移数据定义为奎沃中路径索引的标量族，其唯一确定余代数同态。
• 证明任意两个路径余代数之间的余代数同态均可唯一由转移数据实现，从而建立双射对应。
• 利用余根基滤过，在路径余代数的自同构群中构造正规子群的塔。
• 通过自同构群作用下的稳定子群，为无环奎沃建立类伽罗瓦对应。
• 利用反射余代数与代数之间的对偶性，将路径余代数的结果转移至完全路径代数。
• 显式计算特定奎沃的自同构群，包括 $A_n$-型、广义克罗内克奎沃以及 $n$-子空间奎沃。

实验结果

研究问题

• RQ1 如何利用奎沃数据完全刻画路径余代数的自同构？
• RQ2 路径代数的自同构与对偶路径余代数的自同构之间存在何种精确关系？
• RQ3 能否在路径余代数的子余代数与自同构群的子群之间建立类伽罗瓦对应？
• RQ4 转移数据如何编码余代数同态与自同构的结构？
• RQ5 完全路径代数的自同构群具有何种结构性质，特别是与内自同构的关系如何？

主要发现

• 存在群同构 $\operatorname{Aut}(kQ^c) \cong \Omega^*(Q)$，即路径余代数自同构群与 $Q$ 上可逆转移数据群之间同构，从而完全刻画了路径余代数的自同构。
• 余根基滤过在 $\operatorname{Aut}(kQ^c)$ 中诱导出正规子群的塔，且所有商群均被显式确定。
• 对于无环奎沃，类伽罗瓦理论成立：$kQ^c$ 的大子余代数与 $\operatorname{Aut}(kQ^c)$ 的子群之间存在双射，推广了经典伽罗瓦对应。
• 对于 $A_n$-型奎沃，有 $\operatorname{Aut}(kQ^c) \cong \mathfrak{S}_n \ltimes \operatorname{Aut}_0(kQ^a)$，其中 $\mathfrak{S}_n$ 通过置换顶点作用，$\operatorname{Aut}_0(kQ^a)$ 由对角元在 $k^\times$ 中且最后一行任意的上三角矩阵构成。
• 在多项式代数 $k[x]$ 与形式幂级数代数 $k[[x]]$ 的情形下，$\operatorname{Aut}(k[[x]])$ 严格大于 $\operatorname{Aut}(k[x])$ 的像，表明当存在定向环时，对偶对应关系不总是满射。
• 对于一个顶点与一个环路的奎沃，$\operatorname{Aut}(k[[x]])$ 包含不保持 $k[x]$ 的自同构，且仅当 $\lambda_n = 0$ 对所有 $n \geq 2$ 成立时，自同构才保持多项式子代数。