On the sub-adjacent Hopf algebra of the universal enveloping algebra of a post-Lie algebra

本文建立了关于后李代数通用包络代数的次伴随 Hopf 代数的 Oudom-Guin 同构的组合反极公式和闭形式逆公式，同时导出了有序树 Grossman-Larson Hopf 代数的无消去反极公式。

要点

想象一个由数学积木构成的世界。在本文中，作者李云南探索了一种名为后李代数（Post-Lie algebra）的特定结构。为了理解他的工作，让我们将这些复杂的术语拆解为一个关于建造、扭转和清理杂乱房间的故事。

角色：“后李”与“霍普夫”

将后李代数想象为一套特殊的规则，用于指导如何组合两个事物（我们将它们称为“积木”）。这就像一场游戏：你有一种标准的积木组合方式，但同时还有第二种“后”组合方式，它与第一种方式以非常具体且平衡的方式相互作用。

当你依据这些规则构建一个包含所有可能积木组合的庞大无限图书馆时，你就得到了所谓的泛包络代数（Universal Enveloping Algebra）。在数学世界中，这座图书馆就是一个霍普夫代数（Hopf Algebra）。霍普夫代数就像一个超级有序的仓库，它拥有：

1. 一种乘法方式（组合积木）。
2. 一种拆分方式（将大块积木分解为更小的碎片）。
3. 一个“撤销”按钮（称为反极，Antipode）。

问题：杂乱的“撤销”按钮

在许多这样的数学仓库中，“撤销”按钮极其杂乱。如果你试图逆转一个复杂的积木组合，标准公式会告诉你先加上一大串项，然后再减去一个更庞大的项列表，这些项随后会完美地相互抵消。

这就像试图通过把地板上所有东西都扔在地上来清理房间，然后捡起每一件物品，结果却发现你捡起了一些本不需要移动的东西。最终，你得到了一大堆“抵消”项，使得计算变得缓慢且令人困惑。数学家们讨厌这种情况，因为他们想要一个无抵消的公式——一个干净的步骤列表，能够直接得出结果，没有任何浪费的努力。

解决方案：“子伴随”扭转

作者发现，在这个杂乱的仓库内部，隐藏着一个更干净的结构，称为子伴随霍普夫代数（Sub-adjacent Hopf Algebra）。

以下是作者使用的魔法技巧：

1. 扭转：他利用一种特殊运算（称为后霍普夫积，Post-Hopf product）对原始的积木组合规则进行“扭转”。想象一下，将一团纠缠的绳子恰到好处地扭转，使绳结脱落。
2. 新积：这种扭转创造了一种新的积木组合方式（一种新的乘法规则）。
3. 干净的撤销：由于这种新的扭转规则，这种新结构的“撤销”按钮（反极）变得极其简单。它不再是一串杂乱的加减项，而变成了一个整洁的、逐步的配方，其中每一项都有意义，没有任何项会相互抵消。

“格罗斯曼 - 拉森”树花园

本文聚焦于这些结构的一个著名例子：有序树的格罗斯曼 - 拉森霍普夫代数（Grossman-Larson Hopf Algebra of ordered trees）。

• 类比：想象一个树园，树枝按照特定的从左到右的顺序生长。你可以将一棵树嫁接（粘贴）到另一棵树上。
• 挑战：长期以来，数学家们知道如何“撤销”复杂的树结构，但公式是前面提到的那种杂乱的“加减”版本。
• 突破：通过将树视为后李系统中的“积木”，作者应用了他的“扭转”技巧。他为格罗斯曼 - 拉森代数推导出了一个无抵消公式。

这个公式看起来是什么样子的？
它不再是一个混乱的求和，而是告诉你：

1. 观察这棵树。
2. 将其分解为特定的树枝组。
3. 按照非常精确的顺序执行特定的“嫁接”操作（将树枝粘贴到其他树枝上）。
4. 结果就是这棵树的“撤销”，计算中的每一项都是必要的。没有任何浪费。

"K-映射”联系

本文还将此与所谓的加夫里洛夫 K-映射（Gavrilov's K-map）联系起来。

• 类比：想象你有同一座城市的两张不同地图。一张地图（“后李”地图）以扭曲、复杂的方式显示街道。另一张地图（“李”地图）以笔直、标准的方式显示街道。
• 桥梁：作者发现了一个直接的、闭形式的桥梁（逆公式），可以瞬间在这两张地图之间来回翻译。在此之前，在它们之间翻译需要一个缓慢的递归过程（逐步猜测）。现在，你只需查看公式，就能立即看到全貌。

总结

简单来说，李云南找到了一种重组复杂数学系统的方法，使其最困难的操作（逆转组合）变得干净、高效且没有浪费的步骤。

他通过以下方式做到了这一点：

1. 在复杂结构内部识别出一个隐藏的、更简单的结构。
2. “扭转”组合规则以揭示这一结构。
3. 利用这一新视角，为“撤销”按钮写出一个完美的逐步配方，特别是针对涉及有序树的著名系统。

这不仅解决了一个谜题；它为数学家提供了一种更高效的工具来处理这些结构，消除了不必要计算的“噪音”。

技术摘要

技术摘要：关于后李代数通用包络代数的次邻接 Hopf 代数

问题陈述
本文探讨了后李代数 $\mathfrak{g}$ 的通用包络代数 $U(\mathfrak{g})$ 的结构与组合性质。具体而言，文章聚焦于“次邻接 Hopf 代数”$U(\mathfrak{g})^\triangleright$，该结构由 Ebrahimi-Fard、Lundervold 和 Munthe-Kaas 引入，它利用后李乘积从 $U(\mathfrak{g})$ 组装出一个新的 Hopf 代数结构。尽管 $U(\mathfrak{g})^\triangleright$ 与次邻接李代数的通用包络代数 $U(\mathfrak{g}^\triangleright)$ 之间的同构（即 Oudom-Guin 同构）已知，但 $U(\mathfrak{g})^\triangleright$ 的余单位（antipode）的显式组合公式以及 Oudom-Guin 同构的逆映射公式一直难以获得。

主要动机之一是有序树的 Grossman-Larson Hopf 代数 $H_{GL}$，它同构于单生成元自由后李代数的次邻接 Hopf 代数。现有的计算 $H_{GL}$ 余单位的方法依赖于 Takeuchi 的一般公式，该公式涉及带有大量抵消的交错和，使得推导组合恒等式效率低下。本文旨在为 $H_{GL}$ 以及更一般地，为任意后李代数的次邻接 Hopf 代数提供一种“无抵消”的余单位公式。

方法论
作者采用了后 Hopf 代数的框架，这是由作者、Sheng 和 Tang 最近引入的概念，其中后李代数的通用包络代数作为一个基本示例。方法论按以下步骤进行：

1. 扭曲乘积：文章在张量代数 $T(V)$ 上引入了一种“扭曲”的二元乘积，记为 $\triangleright$（其中 $V$ 是后李代数的底层向量空间）。该乘积通过将后 Hopf 乘积 $\triangleright$ 与余单位 $S$ 及符号因子进行扭曲而定义：$X \triangleright Y \coloneqq (-1)^{|X|} S_\triangleright(X) \triangleright Y$。
2. 递归与组合分析：利用后 Hopf 结构的性质，作者推导出了扭曲乘积 $\triangleright$ 的递归公式。随后，该递归通过排列和特定的括号运算（记为 $[x_1, \dots, x_m; Y]_w$）进行组合求解。
3. 分划求和：余单位 $S_\triangleright$ 被表示为对单词索引的集合分划的求和，利用扭曲乘积 $\triangleright$。这种方法通过利用后李扩张的特定结构，避免了 Takeuchi 公式中的交错和。
4. 同构构造：利用扭曲乘积，通过将其与扭曲乘积的组合结构相关联，构建了 Oudom-Guin 同构（与 Gavrilov 的 K-映射相关）逆映射的闭式表达式。
5. 树的应用：将一般结果特化到有序树的情况，其中 magma 代数由单个根生成。左嫁接算子被识别为后李乘积，从而使得一般余单位公式能够转化为具体的树嫁接表达式。

主要贡献与结果

• 组合余单位公式：文章为次邻接 Hopf 代数 $U(\mathfrak{g})^\triangleright$ 的余单位 $S_\triangleright$ 提供了一个封闭的、无抵消的公式（定理 2.17）。对于单词 $x_1 \cdots x_m$，余单位由下式给出：
  $$S_\triangleright(x_1 \cdots x_m) = (-1)^m \sum_{\pi} (x_{B_1} \triangleright x_{b_1}) \cdots (x_{B_{|\pi|-1}} \triangleright x_{b_{|\pi|-1}})$$
  其中求和遍历特定的集合分划 $\pi$，乘积 $\triangleright$ 通过扭曲后 Hopf 结构定义。

• Oudom-Guin 同构的闭式逆：推导出了 Oudom-Guin 同构 $\phi: U(\mathfrak{g}^\triangleright) \to U(\mathfrak{g})^\triangleright$ 的闭式逆公式（定理 3.5）。该公式表示为对涉及组合元素 $[x_I]$ 的集合分划的求和，这些元素由扭曲乘积构造而成。这解决了先前文献中提到的难以获得逆 K-映射闭式公式的难题。

• Grossman-Larson Hopf 代数的无抵消余单位：作为一个具体应用，文章推导出了有序树的 Grossman-Larson Hopf 代数 $H_{GL}$ 的无抵消余单位公式（定理 4.6）。公式如下：
  $$S_{GL}(\tau) = (-1)^m \sum_{\pi} B_+ \left( (\tau^-_{B_1} \triangleright \tau_{b_1}) \cdots (\tau^-_{B_{|\pi|-1}} \triangleright \tau_{b_{|\pi|-1}}) \right)$$
  其中 $\tau = B_+(\tau_1 \cdots \tau_m)$，且乘积 $\triangleright$ 对应于树的特定左嫁接之和。

• 扭曲乘积的组合解释：文章在有序树的背景下提供了扭曲乘积 $\triangleright$ 的具体解释（命题 4.4），将其描述为具有特定顺序约束的左嫁接之和，这些约束涉及附着在根干上的子树（scions）。

意义与主张
本文主张，所推导的公式具有重要意义，因为它们消除了标准 Takeuchi 余单位公式中固有的抵消。这种“无抵消”性质对于组合 Hopf 代数至关重要，因为它允许直接推导元素间的组合恒等式，而无需承担对大量项进行求和与抵消的计算开销。

作者指出，虽然 Grossman-Larson 余单位公式此前被认为难以显式推导，但通过后 Hopf 代数和扭曲乘积的方法提供了一种高效的计算工具。这些结果还为 Oudom-Guin 同构和 Gavrilov 的 K-映射提供了新视角，将它们直接与集合分划和扭曲乘积的组合结构联系起来。这项工作推广了关于预李代数的现有结果，并为研究出现在几何数值积分、正则性结构和 Lie-Butcher 级数中的组合 Hopf 代数提供了一个统一的框架。