[논문 리뷰] Categorification of Hopf algebras of rooted trees

Joachim Kock|arXiv (Cornell University)|2011. 09. 27.

Advanced Topics in Algebra참고 문헌 17인용 수 5

한 줄 요약

이 논문은 유한 다항 자기함수 $P$에 대한 $P$-트리로 색인된 유한 집합의 범주 위에 모나드를 구성하여 뿌리가 있는 트리의 Connes–Kreimer 호프 대수의 분류화를 제시한다. 이는 $P$-트리로 색인된 유한 집합의 범주 위에 모나드를 구성하여, 자유 모나드의 표현 사상과 일치하는 다항 함자를 통해 모나드를 구성함으로써, 대수적 이대수적 대수의 성질을 집합 수준으로 카테고리화하고, 사전 조합을 통한 코승법과의 개념적 이중성을 확립한다.

ABSTRACT

We exhibit a monoidal structure on the category of finite sets indexed by P-trees for a finitary polynomial endofunctor P. This structure categorifies the monoid scheme (over Spec N) whose semiring of functions is (a P-version of) the Connes--Kreimer bialgebra H of rooted trees (a Hopf algebra after base change to Z and collapsing H_0). The monoidal structure is itself given by a polynomial functor, represented by three easily described set maps; we show that these maps are the same as those occurring in the polynomial representation of the free monad on P.

연구 동기 및 목표

• 반세미환에서의 Connes–Kreimer 호프 대수의 이대수적 대수의 성질을 유한 집합의 범주로 올리는 분류화를 제공하기 위해.
• 호프 대수의 대수적 연산을 분류화하는 $P$-트리로 색인된 유한 집합의 범주 위에 모나드적 구조를 정의하기 위해.
• 모나드적 구조가 $P$ 위의 자유 모나드의 다항 표현과 일치하는 표현 사상들을 가지는 다항 함수로부터 유도됨을 보여주어 깊이 있는 구조적 연결을 확립하기 위해.
• 자기 동형사상의 영향을 최소화하기 위해 등급별 구성과 이소모르피즘 클래스를 신중히 다루어, 자동형사상이 존재하는 경우에도 일관성을 유지하면서 추상 트리로의 일반화를 가능하게 하기 위해.
• 미래의 군oids 및 $ty$-군oids로의 일반화를 위해 원소 기반 추론이 아닌 함자적이고 자연 동형 기반의 구성 방법을 채택하여 기초를 마련하기 위해.

제안 방법

• 유한 집합의 범주 $b{A}^{{T}}$를 구성한다. 여기서 ${T}$는 유한 다항 자기함수 $P$에 대한 $P$-트리의 집합이다.
• Free 모나드의 구성에서 유도된 세 개의 집합 사상으로 표현되는 다항 함수를 통해 $b{A}^{{T}} \times \bb{A}^{{T}} \to \bb{A}^{{T}}$로의 모나드적 구조 $M$을 정의한다.
• 모나드적 구조와 코승법 사이의 이중성: 코승법은 모나드적 구조 함수 $M$에 대한 사전 조합을 통해 복원된다.
• 모든 구성이 ${T}$ 위에서 등급별로 이루어지도록 하여, 잘라낸 부분이나 트리의 이소모르피즘 클래스에 의존하지 않아, 기수와 구조를 유지한다.
• 특정 이소모르피즘 클래스의 대표 원소 위에서 등급을 정의하여 대칭성과 자동형사상을 다루며, 인버트와 코인버트에서의 일관성을 확보한다.
• 원소 기반 추론이 아닌 함자적이고 자연 동형 기반의 접근을 채택하여, 향후 군oids 및 $ty$-군oids로의 확장을 보장한다.

실험 결과

연구 질문

• RQ1 뿌리가 있는 트리의 Connes–Kreimer 호프 대수는 어떻게 반세미환 수준에서 집합 수준으로 카테고리화될 수 있는가?
• RQ2 $P$-트리로 색인된 유한 집합의 범주에 대해 어떤 모나드적 구조가 호프 대수의 이대수적 연산을 분류화하는가?
• RQ3 모나드적 구조를 정의하는 집합 사상들이 $P$ 위의 자유 모나드의 다항 표현에서 유도된 것들과 일치하는가?
• RQ4 최종 다항 자기함수의 존재가 없는 상황에서도 이 구성은 추상 트리로 확장될 수 있는가?
• RQ5 군oids는 $P$-트리와 추상 트리의 통합적 다루움에서 어떤 역할을 하는가? 이는 향후 고차원 범주로의 일반화에 어떻게 기여하는가?

주요 결과

• 범주 $b{A}^{{T}}$ 위의 모나드적 구조는 $P$ 위의 자유 모나드의 다항 표현과 동일한 표현 사상들을 가지는 다항 함수에 의해 주어진다.
• 분류화된 호프 대수에서의 코승법은 모나드적 구조 함수 $M$에 대한 사전 조합을 통해 복원된다.
• 모든 $P$-트리에 대해, 분류화는 분배 범주를 이룬다. 이 범주의 버누즈 반세미환은 $P$-버전의 Connes–Kreimer 이대수적 대수 $H$와 동형이다.
• 등급별 구성 방법을 사용할 경우, 자동형사상의 영향을 피할 수 있어 추상 트리에 대해서도 구성이 유효하다.
• 함자적이고 자연 동형 기반의 방법을 사용함으로써, 향후 군oids 및 $ty$-군oids로의 확장에 대한 호환성이 보장된다.
• 이론은 개념적으로 통합되어 있다: 자유 모나드를 정의하는 동일한 사상들이 모나드적 구조를 정의하며, 이는 대수적 구성과 카테고리적 구성 간의 깊은 이중성을 드러낸다.