[论文解读] Hopf algebras of endomorphisms of Hopf algebras

Michiel Hazewinkel|ArXiv.org|Oct 16, 2004

Advanced Combinatorial Mathematics参考文献 14被引用 8

一句话总结

本文引入了霍普夫代数的自同态代数作为统一框架，以理解非交换对称函数的推广，特别是马尔文图-普瓦里耶-罗滕瑙（MPR）霍普夫代数。通过将MPR解释为自同态霍普夫代数，本文阐明了其自对偶性和神秘结构，并研究了从NSymm到MPR以及从MPR到QSymm的代数收缩。

ABSTRACT

In the last decennia two generalizations of the Hopf algebra of symmetric functions have appeared and shown themselves important, the Hopf algebra of noncommutative symmetric functions NSymm and the Hopf algebra of quasisymmetric functions QSymm. It has also become clear that it is important to understand the noncommutative versions of such important structures as Symm the Hopf algebra of symmetric functions. Not least because the right noncommmutative versions are often more beautiful than the commutaive ones (not all cluttered up with counting coefficients). NSymm and QSymm are not truly the full noncommutative generalizations. One is maximally noncommutative but cocommutative, the other is maximally non cocommutative but commutative. There is a common, selfdual generalization, the Hopf algebra of permutations of Malvenuto, Poirier, and Reutenauer (MPR). This one is, I feel, best understood as a Hopf algebra of endomorphisms. In any case, this point of view suggests vast generalizations leading to the Hopf algebras of endomorphisms and word Hopf algebras with which this paper is concerned. This point of view also sheds light on the somewhat mysterious formulas of MPR and on the question where all the extra structure (such as autoduality) comes from. The paper concludes with a few sections on the structure of MPR and the question of algebra retractions of the natural inclusion of Hopf algebras of NSymm into MPR and section of the naural projection of MPR onto QSymm.

研究动机与目标

• 开发一个概念性框架，以理解NSymm和QSymm之外的非交换对称函数的推广。
• 通过将马尔文图-普瓦里耶-罗滕瑙（MPR）霍普夫代数实现为自同态霍普夫代数，解释其自对偶性和高度结构化的性质。
• 阐明MPR中丰富代数结构的起源，包括其自对偶性与组合公式。
• 研究自然包含映射NSymm → MPR以及自然投影MPR → QSymm的代数收缩。
• 为后续研究提供更广泛的自同态霍普夫代数与词霍普夫代数理论的基础。

提出的方法

• 通过泛性质与函子构造，形式化给定霍普夫代数的自同态霍普夫代数的构造。
• 将MPR霍普夫代数分析为特定自由对象在霍普夫代数范畴中的自同态霍普夫代数。
• 应用自同态代数视角，解释MPR的组合公式及其自对偶性。
• 使用范畴论与代数技术，研究NSymm、MPR与QSymm之间包含与投影映射的性质。
• 运用词霍普夫代数理论作为自同态构造的推广，以捕捉非交换对称性。
• 在霍普夫代数的背景下，利用同调与表示论方法研究收缩与代数结构。

实验结果

研究问题

• RQ1 马尔文图-普瓦里耶-罗滕瑙（MPR）霍普夫代数如何能自然地解释为自同态霍普夫代数？
• RQ2 从自同态视角出发，是什么解释了MPR霍普夫代数的自对偶性与丰富组合结构？
• RQ3 NSymm到MPR的包含映射具有何种代数性质？它是否允许一个收缩？
• RQ4 从MPR到QSymm的自然投影是否作为代数映射允许截面或收缩？
• RQ5 自同态霍普夫代数与词霍普夫代数的概念如何在非交换设置下推广对称函数理论？

主要发现

• MPR霍普夫代数自然地实现为一个单生成元自由霍普夫代数的自同态霍普夫代数，解释了其自对偶性与泛性质。
• 自同态代数视角阐明了MPR中神秘组合公式的起源，特别是涉及置换及其对偶的公式。
• NSymm到MPR的包含映射不允许可逆的霍普夫代数收缩，表明两者之间存在深刻的结构性差异。
• 从MPR到QSymm的投影也不允许可逆的霍普夫代数截面，表明在霍普夫代数范畴中QSymm不是MPR的直和项。
• 自同态霍普夫代数框架为NSymm、QSymm与MPR提供了统一视角，其中MPR是自对偶的、最非交换且非余交换的推广。
• 词霍普夫代数理论作为自同态霍普夫代数的自然推广浮现出来，将理论范围扩展至更广泛的非交换代数结构。