[논문 리뷰] Comparing operadic theories of $n$-category

Eugenia Cheng|ArXiv.org|2008. 09. 11.

Homotopy and Cohomology in Algebraic Topology참고 문헌 15인용 수 8

한 줄 요약

이 논문은 어떤 반복적이고, 운영자적으로 매개화된 이론(트림블 유형)이 항상 단일의 계약 가능 글로부라 운영자로 체계적으로 변환될 수 있음을 보여줌으로써, $n$-categories의 운영자 이론을 비교하는 일반적인 프레임워크를 수립한다. 이 운영자 이론의 대상은 원래 이론의 $n$-categories와 정확히 일치하는 것이다. 핵심 결과는 반복적 구성에서 사용된 모든 매개화 운영자들이 계약 가능할 때에만 결과의 글로부라 운영자가 계약 가능하다는 것이다. 이는 트림블의 반복적 운영자 접근법을 바탄린의 비반복적 글로부라 운영자 프레임워크와 통합한다.

ABSTRACT

We give a framework for comparing on the one hand theories of n-categories that are weakly enriched operadically, and on the other hand n-categories given as algebras for a contractible globular operad. Examples of the former are the definition by Trimble and variants (Cheng-Gurski) and examples of the latter are the definition by Batanin and variants (Leinster). We will show how to take a theory of n-categories of the former kind and produce a globular operad whose algebras are the n-categories we started with. We first provide a generalisation of Trimble's original theory that allows for the use of other parametrising operads in a very general way, via the notion of categories weakly enriched in V where the weakness is parametrised by an operad P in the category V. We define weak n-categories by iterating the weak enrichment construction using a series of parametrising operads P_i. We then show how to construct from such a theory an n-dimensional globular operad for each $n \geq 0$ whose algebras are precisely the n-categories we constructed by iterated weak enrichment, and we show that the resulting globular operad is contractible precisely when the operads P_i are contractible. We then show how the globular operad associated with Trimble's topological definition is related to the globular operad used by Batanin to define fundamental n-groupoids of spaces.

연구 동기 및 목표

• 반복적 운영자 접근법과 글로부라 운영자 방법 사이의 $n$-categories 운영자 이론을 비교할 수 있는 일반적 프레임워크를 개발하는 것.
• 각 반복 단계에서 임의의 매개화 운영자들을 允허함으로써 트림블의 원래 정의를 일반화하여, 스무스하거나 위상적 변형 등 더 넓은 적용 범위를 가능하게 하는 것.
• 운영자들의 수열에서, 반복적 약화 강화를 통해 정의된 약화 $n$-categories와 정확히 일치하는 단일 $n$-차원 글로부라 운영자 $Q^{(n)}$를 구성하는 것.
• 결과로 얻어진 글로부라 운영자가 정확히 모든 매개화 운영자 $P_i$가 계약 가능할 때에만 계약 가능하다는 것을 증명하는 것.
• 고전적 운영자 이론과 고차원 범주론 사이의 다리를 놓기 위해, $n$-categories의 전체적인 합성 및 조율의 구조가 고전적 운영자들의 수열에서 유도된 단일 계약 가능 글로부라 운영자에 의해 정확히 표현될 수 있음을 보여주는 것.

제안 방법

• 약화가 $\mathcal{V}$-운영자 $P$에 의해 매개화되는 일반화된 약화 강화 개념인 $(\mathcal{V}, P)$-범주를 도입하여, 민감한 반복적 구성이 가능하도록 하는 것.
• 각 수준의 합성에 대해 매개화된 운영자 $P_i$를 사용하여 반복적 약화 강화를 통해 약화 $n$-categories를 정의하는 것.
• 수열 $P_0, \dots, P_{n-1}$ 에서 글로부라 운영자 $Q^{(n)}$를 재귀적 공식을 통해 구성하는 것: $Q^{(n)}_{\alpha} = P_{n-1}(k)_{m-1} \times Q^{(n-1)}_{\alpha_1} \times \cdots \times Q^{(n-1)}_{\alpha_k}$, 이는 $n$-차수의 모든 풀기 다이어그램을 코딩한다.
• 스펜션과 디스크의 재매개화를 사용하여, $n$에 대한 귀납법으로 연속적이고 경계를 보존하는 운영자 준동형사상 $\theta: Q^{(n)} \to K^{(n)}$ 를 정의하는 것, 여기서 $K^{(n)}$ 은 바탄린의 글로부라 운영자이다.
• 운영자 준동형사상 $\theta$ 의 귀납적 구성에 기반하여, $Q^{(n)}$ 의 이미지가 $K^{(n)}$ 의 부분운영자임을 보이며, 연속성과 운영자 구조와의 호환성에 의해 $\theta$ 가 운영자 준동형사상임을 증명하는 것.
• 결과로 얻어진 글로부라 운영자 $Q^{(n)}$ 가 정확히 모든 매개화 운영자 $P_i$ 가 계약 가능할 때에만 계약 가능하다는 것을 증명함으로써, 입력의 호모토피적 성질과 출력의 성질 사이의 정확한 연결 고리를 확립하는 것.

실험 결과

연구 질문

• RQ1 트림블의 반복적 운영자 정의를 각 반복 단계에서 임의의 매개화 운영자들을 允허함으로써 일반화할 수 있는가?
• RQ2 고전적 운영자들의 수열에서, 반복적 약화 강화로 정의된 $n$-categories 와 정확히 일치하는 단일 글로부라 운영자를 구성할 수 있는가?
• RQ3 결과로 얻어진 글로부라 운영자가 계약 가능해지는 조건은 무엇이며, 이는 반복적 구성에서의 매개화 운영자들의 계약 가능성과 어떻게 관련되는가?
• RQ4 운영자 준동형사상 $\theta: Q^{(n)} \to K^{(n)}$ 는 트림블 이론의 재매개화를 바탄린의 글로부라 운영자 이론과 어떻게 연결하는가?
• RQ5 트림블 이론의 재매개화는 바탄린의 운영자에서의 부분운영자로 어떻게 대응되는가? 이는 $n$-categories의 호모토피적 구조에 대해 어떤 함의를 갖는가?

주요 결과

• 논문은 수열 $P_0, \dots, P_{n-1}$ 에서 $Q^{(n)}$ 이라는 글로부라 운영자를 구성하였으며, $Q^{(n)}$ 의 대상은 $P_i$ 를 사용한 반복적 약화 강화로 정의된 약화 $n$-categories 와 정확히 일치한다.
• 준동형사상 $\theta: Q^{(n)} \to K^{(n)}$ 는 잘 정의되어 있으며, 연속적이고 경계를 보존하는 운영자 준동형사상임이 입증되었으며, 트림블 유형의 구조를 바탄린의 글로부라 운영자 프레임워크에 통합한다.
• 결과로 얻어진 글로부라 운영자 $Q^{(n)}$ 는 정확히 모든 매개화 운영자 $P_i$ 가 계약 가능할 때에만 계약 가능하다는 것이 입증되었으며, 이는 입력과 출력의 호모토피적 성질 사이의 정확한 대응 관계를 확립한다.
• 이 구성은 레인스터의 주장 10.1.9를 일반화하여, 트림블의 원래 정의를 넘어서 광범위한 운영자적 매개화된 $n$-category 이론의 범주로 확장한다.
• 트림블 이론의 재매개화는 바탄린의 운영자에서의 재매개화의 진부분집합임이 입증되었으며, 이는 1차원 재매개화의 반복적 스펜션에서만 유도되기 때문에 특정한 병리적 사상들을 배제한다.
• 이 프레임워크는 고전적 운영자 이론—특히 위상적 및 호모토피적 기법—을 사용하여 $n$-categories, 특히 cobordism의 $n$-categories와 같은 맥락에서 연구할 수 있는 길을 열어준다.