[논문 리뷰] Monomial bases for free pre-Lie algebras

Mahdi Jasim Hasan Al-Kaabi|arXiv (Cornell University)|2013. 09. 17.

Advanced Topics in Algebra참고 문헌 11인용 수 15

한 줄 요약

이 논문은 루트를 가진 트리들을 사용하여 자유 pre-Lie 대수에서 단항기저를 구성하고, 비평면적 루트를 가진 트리들의 평면적 대표원과의 일대일 대응을 수립한다. 또한 단항기저와 루트를 가진 트리 기저 사이의 전이 행렬이 unipotent임을 증명하고, 평면적 트리 위의 자유 마그마 대수 간의 동형사상에 의해 그 계수에 대한 명시적 공식을 제공한다.

ABSTRACT

In this paper, we study the concept of free pre-Lie algebra generated by a (non-empty) set. We review the construction of A. Agrachev and R. Gamkrelidze of monomial bases in free pre-Lie algebras. We describe the matrix of the monomial basis vectors in terms of the rooted trees basis exhibited by F. Chapoton and M. Livernet. We also show that this matrix is unipotent and we find an explicit expression for its coefficients.

연구 동기 및 목표

• 비어 있지 않은 집합에 의해 생성된 자유 pre-Lie 대수에서 단항기저의 명시적 구성 제공
• 하위 에너지 항들이 Chapoton-Livernet 루트를 가진 트리 기저를 복원하는 단항기저를 트리 기반으로 특성화
• 트리 기반 단항기저와 비평면적 루트를 가진 트리의 평면적 대표원 선택 간의 일대일 대응 수립
• 단항기저의 계수에 대한 명시적 공식 유도, 평면적 트리 위의 자유 마그마 대수 간의 동형사상에 기반하여

제안 방법

• 반복적인 pre-Lie 접목을 기반으로 한 Agrachev-Gamkrelidze 방법을 이용한 단항기저 구성
• 기본 평면성 제거 사상 $\pi$의 선택된 단면 $S$에 따라 평면적 루트 트리에서 비평면적 루트 트리로의 전단사 선형 사상 $\widetilde{\Psi}_S$ 정의
• 왼쪽 Butcher 곱과 왼쪽 접목 곱에 의해 정의된, 평면적 루트 트리 위의 자유 마그마 대수 간의 비공개 동형사상 $\Psi$ 적용
• 계획적 트리 기저에서 $\Psi$의 계수 $c(\sigma,\tau)$를 표현한 후, $\widetilde{\Psi}_S$를 통해 비계획적 기저로 올림
• 단항기저에서 루트 트리 기저로의 전이 계수 행렬 $[\![\beta_S(s,t)]\!]_{s,t \in \mathcal{T}_n}$ 유도
• 전이 행렬의 unipotency 증명 및 트리의 재귀적 구조를 이용한 행렬 원소의 명시적 표현 도출

실험 결과

연구 질문

• RQ1 어떻게 비어 있지 않은 집합에 의해 생성된 자유 pre-Lie 대수에서 단항기저를 체계적으로 구성할 수 있는가?
• RQ2 단항기저와 Chapoton 및 Livernet의 루트를 가진 트리 기저 사이의 정확한 관계는 무엇인가?
• RQ3 트리 기반 단항기저는 비평면적 루트 트리의 평면적 대표원 선택과 어떻게 대응되는가?
• RQ4 차수 $n$에서 단항기저와 루트 트리 기저 사이의 전이 행렬의 명시적 형태는 무엇인가?
• RQ5 단항기저와 루트 트리 기저 사이의 전이 행렬은 unipotent인가, 그리고 그 계수는 명시적으로 계산할 수 있는가?

주요 결과

• 트리 기반 단항기저는 평면적 루트 트리에서 비평면적 루트 트리로의 평면성 제거 사상 $\pi$의 단면 $S$와 일대일 대응된다.
• 어느 트리 기반 단항기저에서 루트 트리 기저로의 전이 행렬 $[\![\beta_S(s,t)]\!]_{s,t \in \mathcal{T}_n}$은 unipotent이다.
• 계수 $\beta_S(s,t)$는 Butcher 곱과 접목 곱에 의해 정의된, 평면적 트리 위의 자유 마그마 대수 간의 동형사상 $\Psi$를 통해 명시적으로 계산된다.
• Agrachev-Gamkrelidze 단항기저가 트리 기반임을 보여주며, 이는 하위 에너지 항들이 Chapoton-Livernet 트리 기저를 복원함을 의미한다.
• 모든 차수 $n > 0$에 대해 행렬 $[\![\beta_S(s,t)]\!]_{s,t \in \mathcal{T}_n}$은 단항기저에서 루트 트리 기저로의 기저 변환을 제공하며, 계수들은 계획적 대표원을 통해 계산 가능하다.
• 이 구성은 단항기저와 루트 트리 기저 사이의 관계를 unipotent 전이 행렬을 통해 완전한 대수적 프레임워크로 제공한다.