[论文解读] On the Morita Reduced Versions of Skew Group Algebras of Path Algebras

Patrick Le Meur|arXiv (Cornell University)|Oct 30, 2018

Advanced Operator Algebra Research参考文献 5被引用 2

一句话总结

本文为在有限群作用下，对奎瓦尔图Q的斜群代数kQ∗G中的特定幂等元e所生成的莫里塔约化代数eRe中的元素，提供了显式分解公式。通过在顶点稳定子群的群代数的有限维双模的张量范畴中解释复合与配对运算，作者推导出路径代数kQG与eRe之间的具体同构，从而实现莫里塔等价下势能的显式计算，尤其适用于卡拉比-丘代数与吉涅斯堡微分分次代数。

ABSTRACT

Let R be the skew group algebra of a finite group acting on the path algebra of a quiver. This article develops both theoretical and practical methods to do computations in the Morita reduced algebra associated to R. Reiten and Riedtmann proved that there exists an idempotent e of R such that the algebra eRe is both Morita equivalent to R and isomorphic to the path algebra of some quiver which was described by Demonet. This article gives explicit formulas for the decomposition of any element of eRe as a linear combination of paths in the quiver described by Demonet. This is done by expressing appropriate compositions and pairings in a suitable monoidal category which takes into account the representation theory of the finite group.

研究动机与目标

• 解决在德莫内特构造的奎瓦尔图QG的路径代数kQG与莫里塔约化代数eRe之间缺乏显式同构的问题。
• 为将eRe中的元素表示为QG中路径的线性组合提供计算框架，这对卡拉比-丘代数与吉涅斯堡微分分次代数的应用至关重要。
• 通过双模范畴中的互化子，利用顶点稳定子群的表示理论解释此类路径分解中的系数。
• 在莫里塔等价下，实现对吉涅斯堡微分分次代数中变换势能WG的算法或手工计算。
• 将此前针对|G|=2或循环群G的结果推广至任意有限群及其任意稳定子结构。

提出的方法

• 通过顶点i的稳定子群Gi的表示理论，利用不可约表示与诱导双模，构造奎瓦尔图QG。
• 定义一个张量范畴(mod(Ae), ⊗A)，其中A为稳定子群群代数的乘积，以建模eRe中路径的复合。
• 使用HomkGi(U, M(i0,…,in;V))中的互化子来表示QG中的箭头，并编码eRe中的路径复合。
• 通过将QG中的路径γ映射到Intw中的特定互化子fγ，建立同构Φ: kQG → eRe，其中显式配对满足(fγ|ϕγ′) = δγ,γ′。
• 通过分次莫里塔等价证明kQG与Intw中n次齐次分量的维数同构，从而确认Φ是分次k-代数的同构。
• 通过定义k-代数同构Ξ: Intw → eRe，其中Ξ(f) = f(εU)，表明QG中路径的像在eRe中为良定义元素。

实验结果

研究问题

• RQ1 在已知kQG ≅ eRe的同构下，如何显式表达eRe中元素为QG中路径的线性组合？
• RQ2 顶点稳定子群Gi的表示理论在确定此类路径分解的系数中起什么作用？
• RQ3 kQG与eRe之间的同构能否实现算法化，以支持计算应用？
• RQ4 双模范畴中的自然运算（如复合与配对）如何转化为QG中的路径运算？
• RQ5 在非阿贝尔或非循环群作用下，能否从Q上的G-不变势能W显式计算QG上的变换势能WG？

主要发现

• 本文通过将QG中的每条路径γ映射到空间Intw中的特定互化子fγ，构造了显式同构Φ: kQG → eRe，其中(fγ|ϕγ′) = δγ,γ′，从而证明了单射性。
• kQG与Intw中n次齐次分量的维数同构，确认Φ是分次k-代数的同构。
• 同构Φ通过k-代数同构Ξ: Intw → eRe实现，定义为Ξ(f) = f(εU)，将互化子映射到eRe中的元素。
• eRe中任一元素的路径分解中的系数被解释为HomkGi(U, M(i0,…,in;V))中互化子的矩阵系数，从而与表示理论建立联系。
• 在特殊情形下（如群作用通过标量乘法置换箭头且稳定子为循环群时），公式可实现组合化简化。
• 本研究为计算WG提供了完整解法，使得A(QG, WG)与A(Q, W)∗G在Morita等价下成立，适用于Q上的任意G-不变势能W。