[论文解读] A combinatorial basis for the free Lie algebra of the labelled rooted trees

Nantel Bergeron, Muriel Livernet|arXiv (Cornell University)|Jul 30, 2007

Advanced Topics in Algebra参考文献 8被引用 7

一句话总结

本文为预李算子的自由李代数分解 $\tau = \mathrm{Lie} \circ \phi$ 中的 $\phi$-模构造了一个显式的组合基。通过标记有根树与最大递减子树结构，作者将 $\phi$ 定义为 $\tau$ 的度数-1过滤分量，证明其构成一个子非对称算子，并通过使用类似Lyndon树的结构，对Chapoton的结果给出了新的显式组合证明。

ABSTRACT

The pre-Lie operad can be realized as a space T of labelled rooted trees. A result of F. Chapoton shows that the pre-Lie operad is a free twisted Lie algebra. That is, the S-module T is obtained as the plethysm of the S-module Lie with an S-module F. In the context of species, we construct an explicit basis of F. This allows us to give a new proof of Chapoton's results. Moreover it permits us to show that F forms a sub nonsymmetric operad of the pre-Lie operad T.

研究动机与目标

• 为预李算子 $\tau$ 的分解 $\tau = \mathrm{Lie} \circ \phi$ 中的 $\phi$-模提供一个显式的组合基。
• 为Chapoton的结果给出一个新的证明，即预李算子是某个物种 $\phi$ 上的自由扭曲李代数。
• 证明 $\phi$ 在预李算子 $\tau$ 内部构成一个子非对称算子。
• 通过识别生成空间 $\phi$，澄清标记有根树的预李代数所依赖的自由李代数结构。

提出的方法

• 将预李算子 $\tau$ 定义为在有限集上由标记有根树自由生成的向量空间族。
• 通过从根出发的最大递减连通子树 $MD(T)$ 的度数对 $\tau[I]$ 施加过滤。
• 将 $\phi[I]$ 定义为 $\tau[I]$ 上过滤的度数-1分量 $F_1\mathcal{T}[I]$，作为候选基。
• 利用树上的复合运算 $\circ_i$ 证明 $\phi$ 在复合下封闭，从而证明其为 $\tau$ 的子非对称算子。
• 证明复合 $T \circ_i S$ 保持度数过滤，满足 $\deg(T \circ_i S) \leq \deg(T) + \deg(S) - 1$，且在特定边映射条件下取等。
• 应用Lyndon词的结构与基于树的括号化方法，通过 $\phi$ 实现自由李代数的分解。

实验结果

研究问题

• RQ1 是否存在一个显式的组合基，使得 $\mathcal{T} = \mathrm{Lie} \circ \phi$ 作为物种成立？
• RQ2 如何通过树结构与过滤，构造性地证明分解 $\mathcal{T} = \mathrm{Lie} \circ \phi$？
• RQ3 度数-1分量 $\mathcal{F}[I] = F_1\mathcal{T}[I]$ 是否在预李算子 $\mathcal{T}$ 内部构成一个子非对称算子？
• RQ4 能否通过最大递减子树 $MD(T)$ 与边映射，显式描述 $\mathcal{F}$ 的结构？

主要发现

• 空间 $\mathcal{F}[I]$ 被定义为 $\mathcal{T}[I]$ 上过滤的度数-1分量，其中度数由从根出发的最大递减子树的大小决定。
• 复合运算 $\circ_i$ 将 $F_d\mathcal{T}[I] \otimes F_e\mathcal{T}[J]$ 映射到 $F_{d+e-1}\mathcal{T}[I \setminus \{i\} + J]$，从而确立了精确的度数界限。
• 当 $d = e = 1$ 时，复合运算保持 $\mathcal{F}$ 不变，证明 $\mathcal{F}$ 在复合下封闭，因此构成 $\mathcal{T}$ 的子非对称算子。
• 最大递减子树 $MD(T)$ 决定了树的度数，且当映射 $f$ 将 $MD(T)$ 的边映射到 $MD(S)$ 的顶点时，有 $MD(T \circ_i^f S) = MD(T) \circ_i^{\tilde{f}} MD(S)$。
• 通过物种结构，$\mathcal{T} = \mathrm{Lie} \circ \mathcal{F}$ 得到了组合实现，从而为Chapoton的结果提供了新的证明。
• 基 $\mathcal{F}$ 通过具有度数-1最大递减子树的标记有根树被显式构造，为自由李代数结构提供了具体的实现。