[논문 리뷰] From left modules to algebras over an operad: application to combinatorial Hopf algebras

Muriel Livernet|arXiv (Cornell University)|2006. 07. 18.

Algebraic structures and combinatorial models참고 문헌 25인용 수 37

한 줄 요약

이 논문은 애초에 애소시아티브 대칭 대수에 대한 Patras와 Reutenauer의 대칭화 및 코대칭화 구성법을 임의의 오페라드로 일반화하며, S-모듈에서 순서가 매겨진 벡터 공간으로의 忘却 함자(functor)가 특정 조건 하에서 대수적 및 호프 대수적 구조를 유지함을 보여준다. 핵심 기여는 많은 조합적 호프 대수, 특히 페르뮤토헤드라와 아소시아헤드라 위에 존재하는 자유성과 코자유성의 원리를 설명하는 체계적인 오페라드적 프레임워크를 제공하는 것이다. 이는 호프 오페라드 위에서 대칭화 및 코대칭화된 구조를 통해 유도된다.

ABSTRACT

The purpose of this paper is two fold: we study the behaviour of the forgetful functor from S-modules to graded vector spaces in the context of algebras over an operad and derive from this theory the construction of combinatorial Hopf algebras. As a byproduct we obtain freeness and cofreeness results for these Hopf algebras. Let O denote the forgetful functor from S-modules to graded vector spaces. Left modules over an operad P are treated as P-algebras in the category of S-modules. We generalize the results obtained by Patras and Reutenauer in the associative case to any operad P: the functor O sends P-algebras to P-algebras. If P is a Hopf operad then O sends Hopf P-algebras to Hopf P-algebras. If the operad P is regular one gets two different structures of Hopf P-algebras in the category of graded vector spaces. We develop the notion of unital infinitesimal P-bialgebra and prove freeness and cofreeness results for Hopf algebras built from Hopf operads. Finally, we prove that many combinatorial Hopf algebras arise from our theory, as Hopf algebras on the faces of the permutohedra and associahedra.

연구 동기 및 목표

• Patras와 Reutenauer의 대칭화 및 코대칭화 구성법을 애소시아티브 대수에서 임의의 오페라드로 일반화한다.
• 오페라드에 대한 대수의 맥락에서 S-모듈에서 순서가 매겨진 벡터 공간으로의 忘却 함자 O의 행동을 연구한다.
• S-모듈 위의 호프 구조가 순서가 매겨진 벡터 공간 위의 호프 구조로 내림내릴 수 있는 조건을 확립한다.
• 다양한 조합적 호프 대수의 자유성과 코자유성을 통합적인 오페라드적 설명을 제공한다.
• 페르뮤토헤드라와 아소시아헤드라 위의 호프 대수가 이 프레임워크에서 자연스럽게 유도됨을 보여준다.

제안 방법

• 오페라드 P에 대한 왼쪽 모듈을 S-모듈의 범주에서 P-대수로 정의한다.
• S-모듈 M의 기본 순서가 매겨진 벡터 공간 O(M) 위에 P-대수의 구조를 만들기 위해 대칭화 및 코대칭화 함자를 도입한다.
• P가 정규 오페라드이면, O(M) 위에 두 개의 서로 다른 P-대수의 구조가 유도되며, 이는 Patras와 Reutenauer의 대칭화 및 코대칭화된 곱의 일반화이다.
• S-모듈의 범주에서 호프 P-대수를 정의하고, P가 호프 오페라드이면 忘却 함자가 호프 구조를 유지함을 보여준다.
• 단위를 가진 무한소 P-bialgebra를 구성하고, 호프 오페라드에서 유도된 호프 대수의 자유성과 코자유성 결과를 증명한다.
• 이 프레임워크를 As, Dend, TriDend, CTD, Zin 등의 특정 오페라드에 적용하여, 그들의 기본 S-모듈이 조합적 호프 대수를 유도함을 보여준다.

실험 결과

연구 질문

• RQ1 S-모듈에서 순서가 매겨진 벡터 공간으로의 忘却 함자 O가 오페라드 P에 대한 대수적 구조와 어떻게 상호작용하는가?
• RQ2 S-모듈 위의 P-대수가 그 기본 순서가 매겨진 벡터 공간 위에 P-대수의 구조를 유도할 수 있는 조건은 무엇인가?
• RQ3 애소시아티브 대비알리브의 대칭화 및 코대칭화 구성법을 임의의 오페라드로 일반화할 수 있는가?
• RQ4 S-모듈 위의 호프 P-대수가 그 기본 순서가 매겨진 벡터 공간 위에 호프 P-대수의 구조로 내림내릴 수 있는 조건은 무엇인가?
• RQ5 조합적 호프 대수의 자유성과 코자유성 성질은 오페라드적 구조에서 어떻게 기인하는가?

주요 결과

• 정규 오페라드일 경우, S-모듈 위의 P-대수에 대해 忘却 함자 O가 대칭화를 통해 기본 순서가 매겨진 벡터 공간 위의 P-대수의 구조를 유지한다.
• 정규 오페라드일 경우, O(M) 위에 두 개의 서로 다른 P-대수의 구조가 유도되며, 이는 Patras와 Reutenauer의 대칭화 및 코대칭화된 곱의 일반화이다.
• P가 호프 오페라드이면, 忘却 함자가 호프 P-대수의 구조를 유지하여 기본 순서가 매겨진 벡터 공간 위에 호프 P-대수의 구조를 유도한다.
• 이 구성은 TriDend, Dend, CTD, Zin 등의 오페라드에 대해 호프 대수와 단위를 가진 무한소 대비알리브의 다이어그램을 유도하며, 단사 및 전사 사상이 존재한다.
• 페르뮤토헤드라와 아소시아헤드라 위의 조합적 호프 대수, 특히 평면 이진 트리 위의 Loday-Ronco 호프 대수 등이 이 프레임워크에서 자연스럽게 유도된다.
• 다양한 조합적 호프 대수의 자유성과 코자유성은 그 기초가 되는 오페라드적 및 S-모듈의 구조에서 기인함을 설명한다.