[论文解读] Natural endomorphisms of quasi-shuffle Hopf algebras

Jean-Christophe Novelli, Frédéric Patras+1 more|arXiv (Cornell University)|Jan 4, 2011

Advanced Combinatorial Mathematics被引用 4

一句话总结

本文引入了词- quasi-对称函数（WQSym）的霍普夫代数上的自然内积，使其成为对 quasi- shuffle 代数上线性自同态的卷积代数。它建立了 quasi- shuffle 代数的 Schur-Weyl 对偶性，并证明了广义欧拉幂等元的存在性，这些幂等元可投影到不可约分部分，从而提供了这些代数（包括多重 zeta 值和自由 Rota-Baxter 代数）的自由多项式生成元的组合构造。

ABSTRACT

The Hopf algebra of word-quasi-symmetric functions ($\WQSym$), a noncommutative generalization of the Hopf algebra of quasi-symmetric functions, can be endowed with an internal product that has several compatibility properties with the other operations on $\WQSym$. This extends constructions familiar and central in the theory of free Lie algebras, noncommutative symmetric functions and their various applications fields, and allows to interpret $\WQSym$ as a convolution algebra of linear endomorphisms of quasi-shuffle algebras. We then use this interpretation to study the fine structure of quasi-shuffle algebras (MZVs, free Rota-Baxter algebras...). In particular, we compute their Adams operations and prove the existence of generalized Eulerian idempotents, that is, of a canonical left-inverse to the natural surjection map to their indecomposables, allowing for the combinatorial construction of free polynomial generators for these algebras.

研究动机与目标

• 理解作用于多重 zeta 值（MZVs）和 quasi- shuffle 代数的自然运算的正式代数结构。
• 将经典李计算概念（如 Solomon 的欧拉幂等元）扩展到非交换、quasi- shuffle 设置中。
• 确立 WQSym 作为 quasi- shuffle 代数背景下 FQSym 的自然类比。
• 通过规范投影，提供 quasi- shuffle 代数的自由多项式生成元的组合构造。
• 证明广义欧拉幂等元 e₁ 是到不可约分部分的满射的规范左逆，从而实现生成元的显式构造。

提出的方法

• 将 WQSym 上的内积定义为 quasi- shuffle 代数上线性自同态复合的提升。
• 利用由恒等映射 I 生成的特征子代数 Car ⊂ WQSym（其为群元素），定义广义欧拉幂等元 e₁ = log(I)。
• 通过 Sweedler 符号建立 Car 中的余积与 quasi- shuffle 代数上作用的相容性：(a⊗b)·σ = (a·σ⁽¹⁾)⊗(b·σ⁽²⁾)。
• 利用 Adams 操作 Ψⁿ 在 QS(A) 上的作用，其中 e₁ 是最低非平凡特征值的谱幂等元这一事实。
• 证明 e₁ 在不可约分部分 Ind = QS(A)⁺/(QS(A)⁺)² 上诱导恒等映射，通过证明 Ψ² = 2·e₁ 和 Ψ² = 2·I 在 Ind 上成立。
• 通过 quasi- shuffle 乘积的最高次项（即 shuffle 乘积）的三角不等式论证，确立 QS(A) 作为交换代数的自由性。

实验结果

研究问题

• RQ1 经典李计算（特别是欧拉幂等元）能否被提升到 quasi- shuffle 代数的设置中？
• RQ2 霍普夫代数 WQSym 在编码 quasi- shuffle 代数的自然自同态方面起什么作用？
• RQ3 广义欧拉幂等元 e₁ 如何作为 quasi- shuffle 代数不可约分部分的规范投影？
• RQ4 是否存在类似于张量代数经典 Schur-Weyl 对偶性的 quasi- shuffle 代数的 Schur-Weyl 对偶性？
• RQ5 能否使用谱幂等元，组合地构造 quasi- shuffle 代数的自由多项式生成元？

主要发现

• WQSym 上的内积是 quasi- shuffle 代数上线性自同态复合的提升，提供了自然的卷积代数结构。
• 广义欧拉幂等元 e₁ = log(I) 是特征子代数 Car ⊂ WQSym 中的原始元素，并作为 Adams 操作的谱幂等元。
• 映射 e₁ 在不可约分部分 Ind = QS(A)⁺/(QS(A)⁺)² 上诱导恒等映射，证明其为到不可约分部分满射的规范左逆。
• e₁ 在 quasi- shuffle 乘积上的作用满足：对正次数的齐次元素 a, b，有 (a⊗b)·e₁ = 0，确认 e₁ 在 (QS(A)⁺)² 上消失。
• Adams 操作 Ψ² 在 Ind 上的作用为 2·e₁，在 QS(A) 上的作用为 2·I，确认 e₁ 在 Ind 上为恒等映射，因此是投影到自由生成元。
• 作为推论，e₁ 的像提供了 QS(A) 的自由多项式生成元的组合构造，包括多重 zeta 值和自由 Rota-Baxter 代数。