[논문 리뷰] Quotients of the Multiplihedron as Categorified Associahedra

Stefan Forcey|ArXiv.org|2008. 03. 18.

Homotopy and Cohomology in Algebraic Topology참고 문헌 18인용 수 4

한 줄 요약

이 논문은 다중곱체의 몫으로 유도되는 새로운 다면체 가족인 컴포지헤드론을 소개한다. 이는 위상수학적 모노이드와 $A_{\infty}$ 공간 간의 $A_{\infty}$ 사상에 대한 기하학적 기반을 제공한다. 저자들은 이러한 컴포지헤드론이 아소시아헤드론과 조합적으로 구별됨을 증명하고, 매개수 $q \to 0$으로 수렴하는 다중곱체의 꼭짓점 구성의 극한 과정을 통해 볼록체 실현을 제공함으로써, 이들이 강화된 이항범주와 모노이드 이항범주 내의 의사모노이드에서의 역할을 확립한다.

ABSTRACT

We describe a new sequence of polytopes which characterize A_infinity maps from a topological monoid to an A_infinity space. Therefore each of these polytopes is a quotient of the corresponding multiplihedron. Later term(s) in our sequence of polytopes are demonstrated not to be combinatorially equivalent to the associahedron, as was previously assumed. They are given the new collective name composihedra. We point out how these polytopes are used to parameterize compositions in the formulation of the theories of enriched bicategories and pseudomonoids in a monoidal bicategory. We present a simple algorithm for determining the extremal points in Euclidean space whose convex hull is the nth polytope in the sequence of composihedra, that is, the nth composihedron.

연구 동기 및 목표

• 모노이드 구조 간의 $A_\infty$ 사상을 모델링함으로써 아소시아헤드론을 카테고리화하는 새로운 다면체 수열을 정의하기 위해.
• 이러한 새로운 다면체, 즉 컴포지헤드론이 아소시아헤드론과 조합적으로 동치가 아니며, 위상수학적 및 범주론적 문헌에서 오랫동안 유지된 가정을 수정하기 위해.
• 매개수 $q \to 0$으로 수렴하는 다중곱체의 꼭짓점 구성의 극한을 통해 $n^{\text{번째}}$ 컴포지헤드론 $\mathcal{CK}(n)$의 볼록체 실현을 제공하기 위해.
• 강화된 이항범주와 모노이드 이항범주 내의 의사모노이드에서의 응집성 구조와 컴포지헤드론 간의 연결 고리를 확립하기 위해.

제안 방법

• 컴포지헤드론은 도메인 구조가 엄격하게 결합법칙을 만족하도록 압축함으로써 유도되는 다중곱체의 몫으로 정의된다.
• 각 $n$차원 컴포지헤드론 $\mathcal{CK}(n)$은 트리의 세분화에 대응하는 곱을 통해 낮은 차원의 아소시아헤드론 $\mathcal{K}(t)$와 컴포지헤드론 $\mathcal{CK}(r_i)$로 재귀적으로 구성된다.
• 매개수화된 꼭짓점 함수 $M^{w_0,\dots,w_{n-1}}_q(t)$를 사용하여 볼록체 실현을 구성하고, $q \to 0$의 극한이 컴포지헤드론의 꼭짓점으로 이어진다.
• 조합적 동치성의 증명은 귀납법에 기반하며, 볼록체의 꼭짓점이 정확히 칠해진 이진 트리와 대응되고, 각 면이 상부 또는 하부 트리의 세분화로부터 유도됨을 보여준다.
• 초평면의 경계를 사용하여 볼록체가 유계임을 보이고, 경계 위에만 세분화된 트리가 존재함을 확인함으로써 꼭짓점의 성격을 확인한다.
• 기존의 다중곱체의 볼록체 실현 결과 [13]를 활용하여, $q \to 0$ 극한을 취함으로써 컴포지헤드론의 구조를 분리한다.

실험 결과

연구 질문

• RQ1 모노이드 구조 간의 $A_\infty$ 사상을 매개변수화하는 다면체는 고전적인 아소시아헤드론과 조합적으로 동치인가?
• RQ2 다중곱체의 꼭짓점 함수의 극한 과정을 통해 이러한 새로운 다면체의 볼록체 실현을 구성할 수 있는가?
• RQ3 컴포지헤드론은 강화된 이항범주와 의사모노이드의 응집성 공리에서 어떻게 자연스럽게 유도되는가?
• RQ4 컴포지헤드론의 면 구조와 칠해진 이진 트리의 세분화 간의 정확한 관계는 무엇인가?
• RQ5 매개수 $q$는 꼭짓점 구성에서 어떤 역할을 하며, $q \to 0$ 극한이 어떻게 컴포지헤드론을 유도하는가?

주요 결과

• $n^{\text{번째}}$ 컴포지헤드론 $\mathcal{CK}(n)$은 도메인 모노이드가 엄격하게 결합법칙을 만족할 때 다중곱체 $\mathcal{J}(n)$의 몫으로 유도된다.
• 컴포지헤드론은 아소시아헤드론 $\mathcal{K}(n)$과 조합적으로 구별되며, 문헌에서 오랫동안 유지된 가정을 반박한다.
• $n^{\text{번째}}$ 컴포지헤드론 $\mathcal{CK}(n)$은 $n$개의 잎을 가진 칠해진 이진 트리 $t$에 대해 $M^{w_0,\dots,w_{n-1}}_0(t)$의 볼록체로 실현된다.
• $\mathcal{CK}(n)$의 꼭짓점은 정확히 칠해진 이진 트리에 대응하는 점 $M^{w_0,\dots,w_{n-1}}_0(t)$로 이루어져 있다.
• $\mathcal{CK}(n)$의 각 면은 하부 트리 $l(k,2)$ 또는 상부 트리 $u(t;r_1,\dots,r_t)$의 세분화로부터 유도되며, 해당 면은 대응하는 꼭짓점들의 볼록체이다.
• 증명은 볼록체 실현이 귀납법과 초평면 경계 분석을 통해 재귀적 복합체 정의 $\mathcal{CK}(n)$과 조합적으로 동치임을 입증한다.