[논문 리뷰] Combinatorial homotopy theory for operads

Jovana Obradović|arXiv (Cornell University)|2019. 06. 14.

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

한 줄 요약

이 논문은 비대칭 작용소를 표현하는 색상이 있는 작용소 $\mathcal{O}$의 최소 모델 $\mathcal{O}_\infty$에 대해 조합적 특성화를 제공하며, 작용소의 연산을 위한 기초 공간으로 초그래프 다면체를 사용한다. 이는 아소시아헤드론을 통한 $A_\infty$-작용소의 구조를 일반화하고, $W$-구성과 비대칭 순환 작용소 $\mathcal{C}$의 최소 모델로 확장하여, 강한 호모토피 대수에 대해 명시적이고 기하학적으로 의미 있는 해소를 제공한다.

ABSTRACT

We introduce an explicit combinatorial characterization of the minimal model ${\cal O}_{\infty}$ of the coloured operad ${\cal O}$ encoding non-symmetric operads. In our description of ${\cal O}_{\infty}$, the spaces of operations are defined in terms of hypergraph polytopes and the composition structure generalizes the one of the $A_{\infty}$-operad. As further generalizations of this construction, we present a combinatorial description of the $W$-construction applied on ${\cal O}$, as well as of the minimal model of the coloured operad ${\cal C}$ encoding non-symmetric cyclic operads.

연구 동기 및 목표

• 비대칭 작용소를 표현하는 색상이 있는 작용소 $\mathcal{O}$의 최소 모델 $\mathcal{O}_\infty$를 명시적이고 조합적으로 기술하는 것.
• 아소시아헤드론을 일반화하여, 뿌리가 있는 나무에서 유도된 작용소 다면체를 통해 $A_\infty$-작용소의 연산을 초그래프 다면체로 표현함으로써 그 구조를 일반화하는 것.
• 작용소 다면체의 입방체 분할을 통해 $\mathcal{O}$에 대한 조합적 $W$-구성(보드먼-보트 해소)을 구축하는 것.
• 순환 작용소에 대해 이 틀을 확장하여 비대칭 순환 작용소를 표현하는 색상이 있는 작용소 $\mathcal{C}$의 최소 모델 $\mathcal{C}_\infty$를 정의하고, 관계에서 순환 대칭성을 유지하는 것.

제안 방법

• 최소 모델 $\mathcal{O}_\infty$는 뿌리가 있는 나무의 간선 그래프와 관련된 초그래프 다면체를 사용하여 구성되며, 각 다면체는 연산의 공간을 나타낸다.
• 이 $\mathcal{O}_\infty$의 복합 구조는 스태시에프의 아소시아헤드론 구성 방식을 일반화하며, 초그래프 구성과 나무 자료로 인덱싱된 연산을 포함한다.
• $\mathcal{O}$에 대한 $W$-구성은 작용소 다면체의 입방체 분할을 통해 실현되며, 호모토피-일관된 복합을 표현한다.
• 순환 작용소의 경우, 순환 순서 $\tau$를 가진 순환 작용소 나무를 도입하고, 순환 대칭에 대해 동치 클래스를 정의함으로써 구성이 적응된다.
• 미분 $d_{\mathcal{O}_\infty}$는 구성의 정점들을 분할함으로써 정의되며, 기저 나무와 초그래프 구조를 유지한다.
• 최소 모델 $\mathcal{C}_\infty$는 쌍대 $({\cal T}, \sigma, \tau, C)$의 동치 클래스 위의 자유 작용소로서 구성되며, 복합은 나무의 이식과 구성의 융합을 통해 정의된다.

실험 결과

연구 질문

• RQ1 비대칭 작용소를 표현하는 작용소 $\mathcal{O}$의 최소 모델 $\mathcal{O}_\infty$는 조합적이고 기하학적인 자료를 통해 어떻게 명시적으로 기술할 수 있는가?
• RQ2 $\mathcal{O}$에 대한 $W$-구성은 초그래프 다면체의 입방체 분할을 통해 조합적으로 실현될 수 있는가?
• RQ3 최소 모델의 개념은 비대칭 순환 작용소로 어떻게 확장될 수 있으며, 관계에서 순환 대칭성이 유지되는가?
• RQ4 특히 뿌리가 있는 나무에서 유도된 작용소 다면체인 초그래프 다면체는 작용소의 고차 호모토피 구조를 어떻게 표현하는가?
• RQ5 결과로 얻어진 최소 모델이 원래 작용소와 준동형이며, 최소한의 미분 구조를 유지하는가를 어떻게 보일 수 있는가?

주요 결과

• 최소 모델 $\mathcal{O}_\infty$는 뿌리가 있는 나무의 간선 그래프 위의 초그래프 구성으로 인덱싱된 연산을 가지며, 복합이 아소시아헤드론의 구조를 일반화한 dg 작용소로 명시적으로 실현된다.
• $\mathcal{O}$에 대한 $W$-구성은 입방체 분할을 통한 조합적 기술로 실현되며, $\mathcal{O}$의 해소를 제공한다.
• 순환 작용소 $\mathcal{C}$의 최소 모델 $\mathcal{C}_\infty$는 초그래프 구성이 있는 순환 작용소 나무의 동치 클래스 위의 자유 작용소로서 구성되며, 순환 대칭성을 유지한다.
• 미분 $d_{\mathcal{C}_\infty}$는 구성의 정점들을 분할하고 빈 구성은 0으로 보냄으로써 작용하여 최소성을 확보한다.
• $\mathcal{C}_\infty$는 $\mathcal{C}$의 최소 모델임이 증명되었으며, 미분은 분해 가능한 원소들만에 지원된다.
• 이 구성은 $\mathcal{C}_\infty$가 작용소의 엄격한 무한대 작용소임을 확립하며, 초그래프 다면체에 뿌리를 둔 기하학적이고 조합적인 기초를 제공한다.