[논문 리뷰] On the structure of cofree Hopf algebras

Jean-Louis Loday, Marı́a Ronco|ArXiv.org|2004. 05. 17.

Advanced Topics in Algebra참고 문헌 13인용 수 6

한 줄 요약

이 논문은 코프리미티브 호프 대수에 대해 $U2(\mathrm{Prim}\,\mathcal{H})$와 동형인 유일한 포함 대수인 $U2$를 통해 호프 대수의 코코무터티브한 일반화를 제시한다. 여기서 $\mathrm{Prim}\,\mathcal{H}$는 $\mathop{B_{\infty}}$-대수이다. 이 구성은 평면 유도된 트리들을 통한 명시적 실현을 갖는 새로운 함자 $U2$를 $\mathop{B_{\infty}}$-대수에서 2-결합 대수로 정의한다.

ABSTRACT

We prove an analogue of the Poincare'-Birkhoff-Witt theorem and of the Cartier-Milnor-Moore theorem for non-cocommutative Hopf algebras. The primitive part of a cofree Hopf algebra is a B-infini-algebra. We construct a universal enveloping functor U2 from B-infini-algebras to 2-associative algebras, i.e. algebras equipped with two associative operations. We show that any cofree Hopf algebra H is of the form U2(Prim H). We take advantage of the simple description of the free 2as-algebra in terms of planar trees to unravel the structure of the operad B-infini.

연구 동기 및 목표

• 코코무터티브 호프 대수로의 Cartier-Milnor-Moore 및 Poincaré-Birkhoff-Witt 정리의 일반화를 위해.
• 코프리미티브 호프 대수의 원시 부분이 리 대수 대신 $\mathop{B_{\infty}}$-대수임을 규명하기 위해.
• $\mathop{B_{\infty}}$-대수에서 2-결합 대수로의 유일한 포함 함자 $U2$를 구축하기 위해.
• 평면 유도된 트리를 사용한 자유 2-결합 대수의 명시적 조합적 기술을 제공하기 위해.
• $U2$ 함자와 $\mathop{B_{\infty}}$-오페라드를 통한 코프리미티브 호프 대수의 구조 정리 수립하기 위해.

제안 방법

• 2-결합 대수의 이중 대수적 구조를 포함하는 2-결합 대수의 개념을 도입한다.
• $\mathop{B_{\infty}}$-대수에서 2-결합 대수로의 유일한 포함 함자 $U2$를 자유 2-결합 대수의 몫으로 정의한다.
• 자유 2-결합 대수를 평면 유도된 트리의 텐서 대수로 구성하며, 조합적 방법으로 연산과 코프로덕트를 정의한다.
• 자유 2-결합 대수의 기술을 사용하여 임의의 코프리미티브 호프 대수 $\mathcal{H}$에 대해 $U2(\mathrm{Prim}\,\mathcal{H}) \cong \mathcal{H}$임을 보인다.
• $\mathop{B_{\infty}}$ 오페라드가 $K[T\!\!T_n] \otimes K[S_n]$와 동형임을 증명한다. 여기서 $T\!\!T_n$은 $n$개의 잎을 가진 평면 유도된 트리의 집합이다.
• 평면 유도된 트리의 호프 대수가 자가쌍대적이며, Connes-Kreimer 호프 대수와 유사한 구조를 가짐을 보인다.

실험 결과

연구 질문

• RQ1 비코코무터티브 코프리미티브 호프 대수에서 원시 대수의 대체 구조는 무엇인가?
• RQ2 Poincaré-Birkhoff-Witt 및 Cartier-Milnor-Moore 정리는 코코무터티브 경우를 초월해 어떻게 일반화될 수 있는가?
• RQ3 $\mathop{B_{\infty}}$-대수가 코프리미티브 호프 대수의 원시 부분을 어떻게 표현하는가?
• RQ4 $\mathop{B_{\infty}}$-대수의 유일한 포함 대수는 어떻게 구성되고 조합적으로 실현될 수 있는가?
• RQ5 자유 2-결합 대수의 정확한 오페라드적 구조는 무엇이며, 평면 트리와의 관계는 무엇인가?

주요 결과

• 모든 코프리미티브 호프 대수 $\mathcal{H}$는 $U2(\mathrm{Prim}\,\mathcal{H})$와 동형이며, 여기서 $U2$는 $\mathop{B_{\infty}}$-대수에서 2-결합 대수로의 유일한 포함 함자이다.
• 코프리미티브 호프 대수의 원시 부분은 자연스럽게 $\mathop{B_{\infty}}$-대수의 구조를 지닌다.
• 벡터 공간 $V$에 대한 자유 2-결합 대수는 $n$개의 잎을 가진 평면 유도된 트리의 집합 위의 텐서 대수와 동형이다.
• $\mathop{B_{\infty}}$ 오페라드는 $\mathop{B_{\infty}}(n) = K[T\!\!T_n] \otimes K[S_n]$로 기술되며, 여기서 $T\!\!T_n$은 $n$개의 잎을 가진 평면 유도된 트리의 집합이다.
• 평면 유도된 트리의 호프 대수는 자가쌍대적이며 Connes-Kreimer 호프 대수와 유사한 구조적 특성을 가진다.
• $U2$의 구성은 자유 $\mathop{B_{\infty}}$-대수를 자유 2-결합 대수의 원시 부분으로서 새로운 방식으로 실현한다.