[논문 리뷰] Higher-dimensional categories with finite derivation type

Yves Guiraud, Philippe Malbos|ArXiv.org|2008. 10. 08.

Homotopy and Cohomology in Algebraic Topology참고 문헌 26인용 수 25

한 줄 요약

이 논문은 다항도(polygraphs)를 사용하여 n-카테고리에서 유한 유도 유형(Finite Derivation Type, FDT)을 도입하고 특성화한다. 이는 워드 리라이팅에서의 Squier의 개념을 일반화한 것으로, 임의의 3-다항도(예: 결합법칙과 브레인드 군을 모델링하는 것들)가 유한 호모토피 기반을 갖지 못함을 증명함으로써, 수렴하는 성질에도 불구하고 FDT를 갖지 못함을 보여준다. 핵심 분기(critical branching)는 FDT를 판단하는 핵심 도구로 기능한다.

ABSTRACT

We study convergent (terminating and confluent) presentations of n-categories. Using the notion of polygraph (or computad), we introduce the homotopical property of finite derivation type for n-categories, generalizing the one introduced by Squier for word rewriting systems. We characterize this property by using the notion of critical branching. In particular, we define sufficient conditions for an n-category to have finite derivation type. Through examples, we present several techniques based on derivations of 2-categories to study convergent presentations by 3-polygraphs.

연구 동기 및 목표

• 다항도를 사용하여 워드 리라이팅 체계에서의 유한 유도 유형(FDT) 개념을 고차원 카테고리로 확장하는 것.
• 수렴하는 표현에서 핵심 분기의 호모토플적 성질을 통해 n-카테고리에서 FDT를 특성화하는 것.
• 2-카테고리에서의 유도 기법을 활용하여 n-카테고리가 FDT를 갖는 데 필요한 충분조건을 제공하는 것.
• FDT가 Tietze 동치 하에 유지됨을 보여, 이는 제시된 n-카테고리의 구조적 성질임을 보장하는 것.
• 수렴하는 3-다항도가 유한 유도 유형을 갖지 못하는 명시적 반례를 구성하는 것. 이는 유한 표현에도 불구하고 성립한다.

제안 방법

• n-카테고리의 표현으로 다항도(또는 컴퓨드)를 사용하며, n-세포는 생성자와 관계를 통해 인덕티브로 정의된다.
• n-카테고리에서의 호모토피 관계를 모델링하기 위해 자유 군oid-강화 구조인 트랙 n-카테고리 Σ^⊤을 도입한다.
• 호모토피 기반은 모든 평행한 n-세포를 동치로 만드는 (n+1)-세포의 가족으로 정의된다.
• 다항도에서의 핵심 분기 개념을 적용하여 감소 수열의 포화성과 정지성을 분석한다.
• 유도와 차수 분석(예: 세포에 값을 할당하는 유도 d를 사용)을 통해 유한 호모토피 기반의 존재하지 않음을 증명한다.
• Tietze 동치를 활용하여 FDT가 표현의 동치 하에서도 유지됨을 보여, 이는 n-카테고리의 성질이지 단지 표현의 성질가 아님을 보장한다.

실험 결과

연구 질문

• RQ1 다항도를 통한 수렴하는 n-카테고리 표현이 언제 유한 유도 유형을 갖는가?
• RQ2 다항도에서의 핵심 분기 개념은 주어진 n-카테고리가 FDT를 갖는지 판단하는 데 어떻게 활용될 수 있는가?
• RQ3 다항도 표현의 Tietze 동치 하에 FDT는 유지되는가?
• RQ4 수렴하는 3-다항도 중 FDT를 갖지 못하는 것이 존재하는가? 만약 그렇다면, 이러한 현상의 구조적 원인은 무엇인가?
• RQ5 호모토피 기반과 유도가 특정 3-다항도에서의 유한 호모토피 기반의 존재하지 않음을 증명하는 데 어떤 역할을 하는가?

주요 결과

• 결합법칙을 제시하는 3-다항도는 유한 호모토피 기반의 존재하지 않음을 증명함으로써, FDT를 갖지 못한다.
• 양-바이저 및 역원 관계를 갖는 브레인드 군(또는 순열 군)을 위한 3-다항도 역시 FDT를 갖지 못한다.
• 3-다항도의 자유 2-카테고리 위에서 정의된 유도 d를 사용하여 세포에 값을 할당할 수 있으며, 특정 값(예: a_{n+1})을 낮은 차수의 항들의 합으로 표현할 수 없음을 보여, 이는 어떤 유한 호모토피 기반도 존재하지 않음을 증명한다.
• n에 따라 인덱싱된 4-세포의 가족은 반례에 대한 최소 호모토피 기반을 이룬다. 그러나 이 가족은 무한하므로, 전체 호모토피 관계를 생성할 수 있는 유한 부분가족은 존재하지 않는다.
• 증명는 임의의 유한 부분가족이 모든 필요한 4-세포 관계를 설명할 수 없음을 바탕으로 모순에 이를 수 있음을 보여, 이는 핵심 분기의 성질에 기반한다.
• 반례는 수렴성(정지성과 포화성)이 유한 유도 유형을 보장하지 않음을 보여주며, 이는 3-다항도와 같은 저차원의 경우에도 성립한다.