[논문 리뷰] A rigidity theorem for preLie algebras

Muriel Livernet|ArXiv.org|2005. 04. 14.

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

한 줄 요약

이 논문은 pre-Lie 대수에 대한 강성 정리(freeness)를 증명하기 위해, pre-Lie 곱과 분배 법칙을 만족하는 연결된 비결합적 순열 코프로덕트를 도입함으로써 수립한다. 이는 루트 트리 조합론과 pre-Lie 대수의 카테고리에서 코군 객체의 연결을 통해 이루어지며, 이러한 호프 유사 pre-Lie 대수는 반드시 자유 pre-Lie 대수임을 증명한다.

ABSTRACT

In this paper we prove a ``Leray theorem'' for preLie algebras. We define a notion of ''Hopf'' preLie algebra: it is a preLie algebra together with a non associative permutative coproduct D and a compatibility relation between the preLie product and the coproduct D. A nonassociative permutative algebra is a vector space together with a product satisfying the relation (ab)c=(ac)b. A non associative permutative coalgebra is the dual notion. We prove that any such graded connected "Hopf" preLie algebra is a free preLie algebra. It uses the description of preLie algebras in term of rooted trees developped by Chapoton and the author. We interpret also this theorem by way of cogroups in the category of preLie algebras.

연구 동기 및 목표

• 클래식한 강성 정리(예: Leray의 정리)를 pre-Lie 대수의 맥락으로 확장하기 위해.
• pre-Lie 대수와 비결합적 순열 코알제브라를 조합한 새로운 대수적 구조인 '호프' pre-Lie 대수를 정의하고 연구하기 위해.
• 이러한 대수와 pre-Lie 대수의 카테고리에서 코군 객체 사이의 연결 고리를 설정하기 위해.
• 모든 연결된 호프 pre-Lie 대수가 자유 pre-Lie 대수임을 증명하여, 결합적 및 덴드라이포드 호프 대수의 결과를 일반화하기 위해.
• 특히 Fresse의 작도 이론을 활용한 작도 및 범주론적 프레임워크를 통해 결과를 해석하기 위해.

제안 방법

• Chapoton과 Livernet의 작업을 바탕으로, pre-Lie 대수를 묘사하기 위해 루트 트리 조합론을 사용한다.
• 비결합적 순열 대수 구조(ab)c = (ac)b를 만족하는 구조를 도입하고, 그 코알제브라 쌍대를 정의한다.
• pre-Lie 곱과 코프로덕트 사이의 분배 법칙 Δ(a∘b) = Δ(a)∘b + a⊗b를 정의한다.
• 분해 가능 원소 공간 L²를 제거하는 등급형 자기형사(endomorphism)를 포함하는 기본 보조정리(fundamental lemma)를 활용한다.
• 특히 작도 기반 자유 대수 이론을 활용하여 대수의 구조를 특성화한다.
• pre-Lie 대수의 카테고리에서 코군 구조의 존재성과 대수의 자유성 사이의 동치 관계를 수립한다.

실험 결과

연구 질문

• RQ1 Leray나 Loday-Ronco의 정리와 유사한 강성 정리가 pre-Lie 대수에 대해 수립될 수 있는가?
• RQ2 pre-Lie 대수가 자유 대수로 남기 위해 어떤 구조가 필요한가?
• RQ3 pre-Lie 곱과 비결합적 순열 코프로덕트 사이의 상호작용이 자유성을 어떻게 강제하는가?
• RQ4 이러한 대수의 범주론적 해석은 pre-Lie 대수의 카테고리에서 코군 객체로서 어떻게 이루어지는가?
• RQ5 프리미티브 원소와 환위 대수를 통해 Cartier-Milnor-Moore 정리가 pre-Lie 대수로 얼마나 일반화될 수 있는가?

주요 결과

• 모든 연결된 pre-Lie 대수에서 비결합적 순열 코프로덕트가 존재하고, 분배 법칙 Δ(a∘b) = Δ(a)∘b + a⊗b를 만족하는 경우, 이는 반드시 자유 pre-Lie 대수이다.
• 기본 보조정리는 분해 가능 원소 공간 L²를 제거하는 등급형 자기형사를 특정함으로써 자유성 증명을 가능하게 한다.
• 정리는 다음과 같은 범주론적 동치를 수립한다: 순차적 연결 pre-Lie 대수는, pre-Lie 대수의 카테고리에서 코군 구조를 가질 때이고, 뿐만 아니라 그와 동치이다.
• 결과는 프리미티브 부분이 추가 구조 없이 벡터 공간인 Cartier-Milnor-Moore 유형의 정리로 해석된다.
• 코프로덕트 Δ는 코결합성과 관계식 Δ(a·b) = a⊗b + a·b₁⊗b₂ + a₁⊗a₂·b를 만족하며, 이는 코군 준동형사에서 유도된다.
• Fresse의 작도 이론을 통해, 자유 pre-Lie 대수임과 abelian 코군 구조를 가짐이 pre-Lie 대수의 카테고리에서 동치임을 수립한다.