[논문 리뷰] Cofree compositions of coalgebras (extended abstract)

Stefan Forcey, Aaron Lauve외 1명|arXiv (Cornell University)|2010. 11. 18.

Algebraic structures and combinatorial models참고 문헌 15인용 수 4

한 줄 요약

이 논문은 등급을 가진 코알제브라에 대한 함자적 합성 구조를 제안하며, 두 개의 코프리 코알제브라의 합성이 다시 코프리임을 증명한다. 특히 한 요소가 등급을 가진 호프 작도이고 다른 요소가 그 작도로 가는 코알제브라 사상이 존재할 경우, 합성이 한쪽으로만 호프 대수임을 보장하는 충분조건을 설정한다. 이는 다중플리헤드론, 컴포지헤드론, 초입방체와 같은 조합적 구조물에 새로운 호프 대수를 제공하며, 단체의 호프 대수는 코알제브라로서 코프리임을 보여주는 명시적 동형사상이 존재한다.

ABSTRACT

We develop the notion of the composition of two coalgebras, which arises naturally in higher category theory and the theory of species. We prove that the composition of two cofree coalgebras is cofree and give conditions which imply that the composition is a one-sided Hopf algebra. These conditions hold when one coalgebra is a graded Hopf operad D and the other is a connected graded coalgebra with coalgebra map to D. We conclude by discussing these structures for compositions with bases the vertices of multiplihedra, composihedra, and hypercubes.

연구 동기 및 목표

• 등급을 가진 코알제브라에 대한 합성 연산을 정의하여 고차 범주론과 종류 이론에서의 구조를 일반화한다.
• 두 코프리 코알제브라의 합성이 다시 코프리임을 증명하며, 나무와 순열의 호프 대수에 대한 기존 결과를 확장한다.
• 합성이 한쪽으로만 호프 대수임을 보장하는 충분조건을 규명하며, 특히 한 요소가 등급을 가진 호프 작도일 경우를 중심으로 다룬다.
• 이 구조를 다각형적 및 조합적 구조물, 예를 들어 다중플리헤드론, 컴포지헤드론, 초입방체 등에 적용하여 대수적 구조와 다각형 정점 간의 연결 고리를 설정한다.
• Forcey와 Springfield(2010)가 정의한 단체의 한쪽으로만 호프 대수가 코알제브라로서 코프리임을 명시적 동형사상으로 보여준다.

제안 방법

• 논문은 등급을 가진 코알제브라 $\mathcal{C}$와 $\mathcal{D}$에 대해 함자적 합성 $\mathcal{D} \circ \mathcal{C}$를 정의하며, 이는 작도-모듈러스의 구조를 일반화한다.
• 만약 $\mathcal{C}$와 $\mathcal{D}$가 둘 다 코프리이면 $\mathcal{D} \circ \mathcal{C}$도 코프리임을 증명하며, 이는 텐서 대수에서의 분할 코프로덕트를 사용한다.
• 만약 $\mathcal{D}$가 등급을 가진 호프 작도이고 $\mathcal{C}$가 $\mathcal{D}$로 가는 코알제브라 사상이 존재하면 $\mathcal{D} \circ \mathcal{C}$는 한쪽으로만 호프 대수임을 보장하며, 이는 연결된 등급을 가진 이중대수에 대한 Takeuchi 정리를 활용한다.
• 단체의 호프 대수와 $\mathfrak{C}\mathit{Sym} \circ \mathfrak{C}\mathit{Sym}$ 간의 명시적 동형사상을 구성하며, $[n]$의 부분집합과 $n+1$의 분할 간의 일대일 대응을 사용한다.
• 가중치가 부여된 트리 표현과 접목 연산을 사용하여 합성 대수에서 코프로덕트와 곱을 모델링하며, 분할은 분할 분할에 대응한다.
• 동형사상 $\bm{\varphi}$가 코알제브라의 구조를 유지하고 대수의 곱을 반전시키므로, 이는 한쪽으로만 호프 대수의 반동형사상임을 증명한다.

실험 결과

연구 질문

• RQ1 두 코프리 코알제브라의 합성이 언제 다시 코프리가 되는가?
• RQ2 두 등급 코알제브라의 합성 $\mathcal{D} \circ \mathcal{C}$가 언제 한쪽으로만 호프 대수의 구조를 갖는가?
• RQ3 이 합성 구조는 다각형 조합론, 예를 들어 다중플리헤드론과 컴포지헤드론의 정점에 어떻게 적용될 수 있는가?
• RQ4 Forcey와 Springfield(2010)가 정의한 단체의 한쪽으로만 호프 대수는 코알제브라로서 코프리인가?
• RQ5 단체의 호프 대수와 코프리 코알제브라의 합성 간의 정확한 대수적 관계는 무엇인가?

주요 결과

• 두 코프리 코알제브라의 합성 $\mathcal{D} \circ \mathcal{C}$는 코프리이며, 나무와 순열의 호프 대수에 대한 기존 결과를 일반화한다.
• 만약 $\mathcal{D}$가 등급을 가진 호프 작도이고 $\mathcal{C}$가 $\mathcal{D}$로 가는 코알제브라 사상이 존재하면 $\mathcal{D} \circ \mathcal{C}$는 한쪽으로만 호프 대수이다.
• $\mathfrak{C}\mathit{Sym} \circ \mathfrak{C}\mathit{Sym}$는 분할 트리의 기저를 가지며, 단체의 호프 대수와 코알제브라로서 동형이다.
• $\bm{\varphi}$는 단체의 호프 대수에서 $\mathfrak{C}\mathit{Sym} \circ \mathfrak{C}\mathit{Sym}$로 가는 동형사상이며, 코알제브라로서의 동형사상이자 한쪽으로만 호프 대수로서의 반동형사상이다.
• Forcey와 Springfield(2010)가 정의한 단체의 호프 대수는 $\mathfrak{C}\mathit{Sym} \circ \mathfrak{C}\mathit{Sym}$와의 동형사상으로 인해 코알제브라로서 코프리임을 보였다.
• 합성 대수 $\mathfrak{C}\mathit{Sym} \circ \mathfrak{C}\mathit{Sym}$의 코프로덕트는 분할의 분할에 의해 주어지며, $\Delta(F_{1,3}) = F_1 \otimes F_{1,3} + F_{1,1} \otimes F_3 + F_{1,2} \otimes F_2 + F_{1,3} \otimes F_1$이다.