[論文レビュー] 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$ の分解 $\tau = \mathrm{Lie} \circ \phi$ における $\phi$-加群 $\phi$ の明示的な組み合わせ的基底を構成する。ラベル付き根付き木と最大減少部分木構造を用いて、$\phi$ を $\tau$ の次数1のフィルトレーション成分として定義し、それが部分非対称オペラッドをなすことを証明し、Lyndonに類似た木構造を用いた明示的な組み合わせ的実現を通じて、チャポトンの結果の新しい証明を与える。

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 = \mathrm{Lie} \circ \phi$ における $\phi$-加群の明示的な組み合わせ的基底を提供すること。
• 前リー代数的オペラッド $\tau$ が種 $\phi$ 上の自由ねじれリー代数であるというチャポトンの結果の新しい証明を与えること。
• $\phi$ が前リー代数的オペラッド $\tau$ 内の部分非対称オペラッドをなすことの証明。
• 生成空間 $\phi$ を特定することにより、ラベル付き根付き木のリー代数の基盤構造を明確にすること。

提案手法

• 有限集合上のラベル付き根付き木によって自由に生成されるベクトル空間の系列として前リー代数的オペラッド $\tau$ を定義する。
• 根からの最大減少連結部分木 $MD(T)$ の次数によって $\tau[I]$ のフィルトレーションを導入する。
• $\tau[I]$ のフィルトレーションにおける次数1成分 $F_1\mathcal{T}[I]$ を $\phi[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$ の分解における $\phi$-加群の明示的な組み合わせ的基底は何か？
• RQ2 木構造とフィルトレーションを用いて、$\mathcal{T} = \mathrm{Lie} \circ \phi$ の分解を構成的に証明する方法は何か？
• RQ3 次数1成分 $\mathcal{F}[I] = F_1\mathcal{T}[I]$ は、前リー代数的オペラッド $\mathcal{T}$ 内で部分非対称オペラッドをなすか？
• RQ4 $\mathcal{F}$ の構造は、最大減少部分木 $MD(T)$ と辺写像を用いて明示的に記述可能か？

主な発見

• $\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}$ の部分非対称オペラッドであることが証明される。
• 木 $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}$ の分解は、種の構造を通じて組み合わせ的に実現され、チャポトンの結果の新しい証明が得られる。
• $\mathcal{F}$ は、次数1の最大減少部分木を持つラベル付き根付き木を用いて明示的に構成され、自由リー代数構造の具体的な実現が得られる。