[논문 리뷰] Pre-Lie algebras and the rooted trees operad

Frédéric Chapoton, Muriel Livernet|ArXiv.org|2000. 02. 10.

Advanced Topics in Algebra참고 문헌 9인용 수 75

한 줄 요약

이 논문은 pre-Lie 대수를 규정하는 운반체가 뿌리가 있는 트리의 운반체와 동형임을 증명하여 대수적 구조의 조합론적 실현을 제공한다. 자유 pre-Lie 대수가 그에 관련된 리 대수의 보편 포괄 대수 위의 자유 모듈러임을 보여, pre-Lie 대수와 양자장 이론 및 운반체 호모로지에서의 호프 대수 사이의 연결 고리를 확립한다.

ABSTRACT

A Pre-Lie algebra is a vector space L endowed with a bilinear product * : L imes L to L satisfying the relation (x*y)*z-x*(y*z)= (x*z)*y-x*(z*y), for all x,y,z in L. We give an explicit combinatorial description in terms of rooted trees of the operad associated to this type of algebras and prove that it is a Koszul operad.

연구 동기 및 목표

• 뿌리가 있는 트리를 사용하여 pre-Lie 대수를 정의하는 운반체의 조합론적 기술을 제공한다.
• pre-Lie 운반체가 코스쿨임을 증명한다. 이는 운반체 호모로지 대수학에서 핵심적인 성질이다.
• 자유 pre-Lie 대수와 그에 관련된 리 대수의 보편 포괄 대수 위의 자유 모듈러 사이의 구조적 동형을 확립한다.
• 운반체적 및 호모로지 도구를 통해 pre-Lie 대수, 호흐실트 코homology, 아핀 다양체, 양자장 이론 간의 관계를 명확히 한다.

제안 방법

• S_2의 정규 표현 위의 자유 운반체를 몫으로 하여 pre-Lie 운반체를 구성하고, pre-Lie 항등식을 표현하는 특정 S_3-불변 관계를 제약한다.
• 뿌리가 있는 트리로 생성된 운반체를 뿌리가 있는 트리의 붙임 연산 기반의 복합 규칙으로 정의한다.
• 명시적인 조합론적 동형을 통해 pre-Lie 운반체가 뿌리가 있는 트리 운반체와 동형임을 증명한다.
• 자유 pre-Lie 대수의 보편 성질과 보편 포괄 대수 $ { m U}(L_{{ m Lie}}) $의 구조를 이용하여, 벡터 공간 $ V $ 위의 자유 pre-Lie 대수 $ L $가 오른쪽 $ { m U}(L_{{ m Lie}}) $-모듈러로서 $ V \times { m U}(L_{{ m Lie}}) $와 동형임을 보인다.
• 운반체 호모로지 이론과 $ \mathop{\rm Tor} $ 함자를 적용하여 자유 pre-Lie 대수의 호모로지를 계산하고, 코스쿨성을 유도한다.
• 등식 $ L \simeq V \otimes {\rm U}(L_{{ m Lie}}) $를 활용하여 콘네-크라이머 호프 대수를 pre-Lie 대수와 운반체 대칭성의 관점에서 재해석한다.

실험 결과

연구 질문

• RQ1 pre-Lie 대수의 운반체는 어떻게 뿌리가 있는 트리를 통해 명시적으로 기술할 수 있는가?
• RQ2 pre-Lie 운반체는 코스쿨인가? 이를 뒷받기드는 구조적 성질은 무엇인가?
• RQ3 자유 pre-Lie 대수와 그에 관련된 리 대수의 보편 포괄 대수 사이의 관계는 무엇인가?
• RQ4 뿌리가 있는 트리의 운반체적 구조는 양자장 이론과 호흐실트 코homology에서 알려진 구성과 어떻게 관련이 있는가?
• RQ5 자유 pre-Lie 대수의 운반체 호모로지는 보편 포괄 대수 위의 모듈러 구조를 통해 계산할 수 있는가?

주요 결과

• pre-Lie 대수를 정의하는 운반체는 붙임 연산으로 주어지는 뿌리가 있는 트리의 운반체와 동형이다.
• 벡터 공간 $ V $ 위의 자유 pre-Lie 대수는 오른쪽 $ {\rm U}(L_{{ m Lie}}) $-모듈러로서 $ V \otimes {\rm U}(L_{{ m Lie}}) $와 동형이다.
• 운반체 호모로지를 $ \mathop{\rm Tor} $ 함자를 통해 계산함으로써 pre-Lie 운반체가 코스쿨임을 증명하였다.
• 자유 pre-Lie 대수 $ L $의 호모로지 $ \mathop{\rm HPL}_n(L) $은 $ n=1 $일 때 $ V $이고, 그 외에는 0이며, 이는 코스쿨성을 확인한다.
• 등식 $ L \simeq V \otimes {\rm U}(L_{{ m Lie}}) $는 콘네-크라이머 호프 대수를 pre-Lie 대수의 관점에서 새롭게 해석할 수 있게 한다.
• 자유 pre-Lie 대수 $ V \otimes {\rm U}(L_{{ m Lie}}) $ 위의 pre-Lie 곱은 $ (v,u)*(v',u') = (v, u \otimes (\sigma(v') \star u')) $로 정의되며, 이는 $ V $ 위의 자유 pre-Lie 대수와 동형인 pre-Lie 대수를 이룬다.