[논문 리뷰] A combinatorial basis for the free Lie algebra of the labelled rooted trees

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

Advanced Topics in Algebra참고 문헌 8인용 수 7

한 줄 요약

이 논문은 전-아벨 작용소 $\tau$의 분해 $\tau = \mathrm{Lie} \circ \phi$ 속에서 $\phi$-모듈러스 $\phi$에 대한 명시적 조합적 기저를 구성한다. 표본화된 루트 트리와 최대 감소 부분트리 구조를 통해, 저자들은 $\phi$를 $\tau$의 차수 1 필터링 성분으로 정의하고, 이가 부분 비대칭 작용소임을 증명하며, 리-라이크 트리 구조를 이용한 명시적 조합적 실현을 통해 채포톤의 결과에 대한 새로운 증명을 제시한다.

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$-모듈러스에 대한 명시적 조합적 기저를 제공하는 것.
• 전-아벨 작용소가 종속된 리 대수 위의 종속 종류 $\phi$에 대한 자유 리 대수임을 보여주는 채포톤의 결과에 대한 새로운 증명을 제공하는 것.
• $\phi$가 전-아벨 작용소 $\tau$ 내부의 부분 비대칭 작용소임을 보여주는 것.
• 표본화된 루트 트리의 전-아벨 대수의 기초가 되는 자유 리 대수의 구조를 $\phi$의 생성 공간을 식별함으로써 명확히 하는 것.

제안 방법

• 유한 집합 위의 표본화된 루트 트리에 자유롭게 생성된 벡터 공간의 종류로서 전-아벨 작용소 $\tau$를 정의한다.
• 루트에서 시작하는 최대 감소 연결 부분트리 $MD(T)$의 차수에 따라 $\tau[I]$의 필터링을 도입한다.
• $\phi[I]$를 $\tau[I]$의 필터링에서 차수 1 성분 $F_1\mathcal{T}[I]$로 정의하며, 이는 후보 기저가 된다.
• 트리 간의 합성 연산 $\circ_i$를 사용하여 $\phi$가 합성에 대해 닫혀 있음을 보여, 이는 $\tau$의 부분 비대칭 작용소임을 증명한다.
• $\deg(T \circ_i S) \leq \deg(T) + \deg(S) - 1$ 이며, 간선 사상에 특정 조건이 만족될 경우 등호가 성립함을 증명한다. 이는 차수 필터링을 유지함을 의미한다.
• 리-단어의 구조와 트리 기반의 괄호화를 적용하여 $\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 $\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}$ 의 부분 비대칭 작용소임을 증명한다.
• 최대 감소 부분트리 $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 최대 감소 부분트리가 있는 표본화된 루트 트리를 이용하여 명시적으로 구성되며, 자유 리 대수의 구조에 대한 구체적 실현을 제공한다.