[논문 리뷰] On Hopf algebra structures over operads

Ralf Holtkamp|arXiv (Cornell University)|2004. 07. 06.

Algebraic structures and combinatorial models참고 문헌 60인용 수 13

한 줄 요약

이 논문은 $π$-호프 대수—오페라드 위에서 구조화된 호프 대수—에 대한 일반적인 프레임워크를 제안하며, 덴드리포르믹, 마그마, 무한소 호프 대수와 같은 비고전적 유형으로 고전적 호프 대수 이론을 확장한다. 호크시ลด 코homology와 유사한 미분 복합체를 사용하여 코homological 장애 이론을 수립하였으며, 잘라낸 군 법칙의 확장을 $H^{3}_{r+1}$ 및 $H^{2}_{r+1}$ 코homology 군이 차단함을 보였다. 주요 결과로는 원시 원소의 특성과 피카르-비르코프-윌러의 정리의 비결합적 일반화가 포함된다.

ABSTRACT

We study P-Hopf algebras with one coassociative cooperation over different operads P. For example, we consider the Loday-Ronco dendriform Hopf algebra and its isomorphisms with the noncommutative planar Connes-Kreimer Hopf algebra and with a Hopf algebra of Brouder and Frabetti. We focus on Hopf algebra structures over free operads, like the operad Mag freely generated by a non-commutative non-associative binary operation, and the operad of Stasheff polytopes. In order to describe the operads of primitive elements we prove an analogon of the Poincare-Birkhoff-Witt theorem. We determine the generating series for these operads and show that the dimension of PrimMag(n) is related to the log-Catalan numbers. By a recursive method we show how, for small n, these spaces can be described as modules over the symmetric groups.

연구 동기 및 목표

• 고전적 결합성 또는 리 유형을 초월하여 오페라드 $π$ 위에서 $π$-호프 대수를 정의함으로써 호프 대수 이론을 비고전적 유형으로 일반화한다. 이는 비결합적 및 비코무터티브 구조를 수용한다.
• 오페라드 설정에서 잘라낸 군 법칙(r-chunks)의 확장 가능성과 유일성 문제를 다루기 위한 코homological 프레임워크를 개발한다.
• 마그마, 코무터티브 마그마, 아스키미트 오페라드와 같은 오페라드 $π = \mathcal{M}ag$, $π = \mathcal{C}mg$, $π = \mathcal{A}s$에 대해 $π$-호프 대수의 원시 원소를 특성화하고, 이를 비결합적 리 이론적 구성과 연결한다.
• 특히 마그마 오페라드에 대해 $π$-호프 대수에 대한 비결합적 피카르-비르코프-윌러 정리의 일반화를 수립한다.

제안 방법

• 오페라드 $π$ 위에서 정의된 대수에 호환되는 코액션을 갖춘 $π$-호프 대수를 정의하며, 이 경우 오페라드가 텐서곱의 구조를 지원해야 한다.
• 자유 $π$-대수의 텐서곱 위에 미분 복합체 $\delta_n = \sum_{i=1}^n (-1)^i \partial_i$ 를 구성하며, 여기서 $\partial_i$ 는 축소된 코加법 $\Delta_a'$ 를 포함한다.
• 확장 가능성 장애를 측정하기 위해 $H^n_r = \ker(\delta_{n,r}) / \operatorname{im}(\delta_{n-1,r})$ 를 정의한다. 이는 $r$-체인에서 $(r+1)$-체인으로의 군 법칙 확장을 측정한다.
• Lazard-Lie 이론을 $π$-호프 대수에 적용하여 원시 원소를 비결합적 리 대수와 연결하고, 마그마 경우의 하우스도르프 급수를 분석한다.
• 오페라드 프레임워크를 적용하여 $π$-호프 대수에서 일반화된 테일러 전개와 셔플 곱셈 규칙을 유도한다.
• 오페라드 $π$-대수와 그 쌍대체 간의 대칭성을 활용하여, $\mathcal{M}ag$ 에서의 원시 원소가 $\mathcal{C}mg$ 와 $\mathcal{A}s$ (즉, 리 대수) 에서의 원시 원소와 연결됨을 보인다.

실험 결과

연구 질문

• RQ1 호프 대수의 구조는 고전적 결합성 또는 리 유형을 초월하여 오페라드로 어떻게 일반화될 수 있는가?
• RQ2 잘라낸 군 법칙(r-chunks)이 고차 군 법칙으로 확장될 수 있는지 제어하는 코homological 불변량은 무엇인가?
• RQ3 비결합적 오페라드인 $π = \mathcal{M}ag$ 에 대해 $π$-호프 대수의 원시 원소의 구조는 어떠한가?
• RQ4 비결합적 피카르-비르코프-윌러 정리를 $π$-호프 대수에 대해 어떻게 기술할 수 있으며, 하우스도르프 급수와의 관계는 어떠한가?
• RQ5 코homology 군 $H^n_r$ 은 오페라드 설정에서 $r$-체인의 군 법칙 확장을 위한 장애를 어떻게 분류하는가?

주요 결과

• $H^3_{r+1}$ 는 군 법칙의 $r$-체인을 $(r+1)$-체인으로 확장할 수 있는지에 대한 장애를 분류하며, 2-체인이 리 브라켓을 정의하는 경우에만 3-체인 확장이 존재한다.
• $H^2_{r+1}$ 는 이러한 확장의 유일성에 대한 장애를 분류하며, 이는 서로 동형이 아닌 여러 개의 확장이 존재할 수 있음을 시사한다.
• 마그마 오페라드 $\mathcal{M}ag$ 에서 원시 원소의 공간은 비결합적 하우스도르프 급수 $H(x,y) = \log(\vee^2(\exp(x), \exp(y)))$ 와 동형이며, 고전적 베이커-캠프벨-하우스도르프 공식을 일반화한다.
• 코homology 복합체 $\delta_n$ 는 $\delta_n \circ \delta_{n-1} = 0$ 을 만족하여 잘 정의된 코homology 군 $H^n_r$ 을 보장하며, $n > r$ 일 때 $H^n_r = 0$ 이다.
• 기저 체의 특성가 0일 경우, $H^r_r$ 은 $\mathcal{A}_\pi^{\otimes r}(x_1,\ldots,x_m)^{(r)}$ 에서의 반대칭 텐서와 일대일 대응된다.
• $\operatorname{Prim} \mathcal{M}ag$ 에서 $\operatorname{Prim} \mathcal{C}mg$ 와 $\operatorname{Prim} \mathcal{A}s = \mathcal{L}ie$ 로의 프로젝터가 존재함을 보여, 비결합적 리 유사 구조의 계층을 나타낸다.