[논문 리뷰] On the duality between trees and disks

David Oury|arXiv (Cornell University)|2010. 02. 14.

Homotopy and Cohomology in Algebraic Topology참고 문헌 9인용 수 23

한 줄 요약

이 논문은 여러 동치의 범주론적 프레임워크를 통해 디스크의 범주와 Θ의 범주 사이의 이중 동치를 수립하며, 레이블이 붙은 트리들을 새로운 조합론적 모델로 도입한다. 이는 디스크와 Θ를 트리, 순서수, 구간을 통해 재해석함으로써 조건부로 근거를 둔 조건부 증명을 통해 조일의 이중성을 재확인한다. 주요 결과로는 레이블이 붙은 트리의 범주와 인덕티브로 정의된 구조의 범주 간 동치가 입증된다.

ABSTRACT

A combinatorial category Disks was introduced by André Joyal to play a role in his definition of weak omega-category. He defined the category Theta to be dual to Disks. In the ensuing literature, a more concrete description of Theta was provided. In this paper we provide another proof of the dual equivalence and introduce various categories equivalent to Disk or Theta, each providing a helpful viewpoint. In this second version the paper's contents have been reorganized with the goal of a more readable presentation. We define augmented categories and their reduced counterparts (which lack a single trivial object of the augmented category). These augmented categories are more suitable for inductive arguments and their reduced counterparts are equivalent to Disk and Theta. The equivalence between Disk and Theta is demonstrated in Sections 4 and 6 using categories inductively defined (in Section 3) from intervals and ordinals. The last two sections take a more categorical perspective, constructing categories of so-called labeled trees and showing that they are equivalent to their inductively defined counterparts, and so to Disk and Theta. The distinction between augmented and reduced categories corrects an error in the first version where the terminal tree was included in the category Disk.

연구 동기 및 목표

• 조일의 디스크 범주와 Θ의 범주 사이의 이중성을 개념적이고 인덕티브한 방법으로 재증명하는 것.
• 레이블이 붙은 트리와 순서수 그래프와 같은 동치의 범주론적 모델을 도입하고 형식화하여 디스크와 Θ의 구조를 명확히 하는 것.
• 글로부라 카디널의 자유 ω-범주가 그에 대응하는 순서수 그래프의 자유 ω-범주와 동형임을 보여 주어 범주론적 동치를 강화하는 것.
• 인덕티브로 정의된 범주(예: $i\tilde{\nabla}$, $i\tilde{\nabla}$)와 트리 기반 모델($t\tilde{\nabla}$, $t\tilde{\nabla}$) 사이의 동치를 수립하여 조일의 구성에 대한 새로운 통찰을 제공하는 것.
• 레이블이 붙은 트리가 유한한 가족 구성의 자연스럽고 구조적인 대체로 기능할 수 있음을 보여 주어 Θ와 Disk의 기존 기술을 통합하고 일반화하는 것.

제안 방법

• ordinal 사상의 왼쪽 및 오른쪽 수반을 사용하여 Ord에서의 순서수와 구간 사이의 이중성을 정의함으로써 $Ord$ 내의 기본적인 이중성을 수립한다.
• 초기 대상과 인덕티브 극한을 사용하여 $\tilde{\nabla}_{+}$와 $\tilde{\nabla}_{+}$에서 각각 $i\tilde{\nabla}_{+}$와 $i\tilde{\nabla}_{+}$를 인덕티브로 정의한다.
• 정점에 구간 또는 순서수로 레이블이 붙은 레이블이 붙은 트리($t\tilde{\nabla}_{+}$, $t\tilde{\nabla}_{+}$)를 도입하고, 쌍대합과 포함 사상이 보존하는 구조를 갖는 사상들을 정의한다.
• 쌍대합과 포함 사상의 공동 전성( joint surjectivity)을 사용하여 $i\tilde{\nabla}_{+}$와 $t\tilde{\nabla}_{+}$ 사이, 그리고 $i\tilde{\nabla}_{+}$와 $t\tilde{\nabla}_{+}$ 사이의 동형을 수립한다.
• 레이블이 붙은 트리와 순서수 그래프에 대한 제한 및 강하 연산을 사용하여 인덕티브 추론을 가능하게 하고, 범주 간 함자를 구성한다.
• 유한 쌍대합과 곱 완비화 함자($Fam_{\text{Σ}}$, $Fam_{\text{Π}}$)를 활용하여 트리 기반 모델을 조일의 원래 구성과 연결하며, $t\tilde{\nabla}$와 $t\tilde{\nabla}$가 이러한 완비화의 수정된 형태임을 보여 준다.

실험 결과

연구 질문

• RQ1 조일의 디스크 범주와 Θ의 범주 사이의 이중성을 개념적이고 인덕티브한 접근을 통해 어떻게 재증명할 수 있는가?
• RQ2 조일의 $Disk$와 $\Theta$와 동치인 어떤 범주론적 구조들이 있으며, 이는 약한 $\omega$-범주에 대해 어떤 새로운 통찰을 제공하는가?
• RQ3 구간 또는 순서수로 레이블이 붙은 레이블이 붙은 트리가 각각 $Disk$와 $\Theta$의 조합론적 모델로 기능할 수 있는가? 만약 가능하다면, 이들은 어떻게 인덕티브 구성과 관련이 있는가?
• RQ4 제한 및 강하 연산은 글로부라 카디널, 순서수 그래프, 레이블이 붙은 트리 간의 관계를 어떻게 규명하는가?
• RQ5 $i\tilde{\nabla}_{+}$와 $t\tilde{\nabla}_{+}$ 사이, 그리고 $i\tilde{\nabla}_{+}$와 $t\tilde{\nabla}_{+}$ 사이의 동치는 $Disk$와 $\Theta$ 사이의 이중성에 어떻게 기여하는가?

주요 결과

• 정점에 구간 레이블이 붙은 레이블이 붙은 트리의 범주 $t\tilde{\nabla}$는 조일의 디스크 범주 $Disk$와 동치이며, 이는 디스크를 위한 새로운 조합론적 모델을 제공한다.
• 정점에 순서수 레이블이 붙은 레이블이 붙은 트리의 범주 $t\tilde{\nabla}$는 범주 $\Theta$와 동치이며, 이는 조일의 $\Theta$에 대한 트리 기반의 해석을 제공한다.
• 인덕티브로 정의된 범주 $i\tilde{\nabla}_{+}$는 $t\tilde{\nabla}_{+}$와 동치이며, $i\tilde{\nabla}_{+}$는 $t\tilde{\nabla}_{+}$와 동치이다. 이 동치는 쌍대합과 포함 사상의 공동 전성에 의해 증명된다.
• $\Xi_{\Delta}: t\tilde{\nabla}_{+} \to i\tilde{\nabla}_{+}$ 함자는 전사적이고 본질적으로 전성적이므로 범주론적 동치이다.
• 글로부라 카디널의 자유 $\omega$-범주는 그에 대응하는 순서수 그래프의 자유 $\omega$-범주와 동형이며, 이는 다양한 모델 간의 일관성을 확인한다.
• 감소된 범주 $t\tilde{\nabla}$와 $t\tilde{\nabla}$는 각각 $Disk$와 $\Theta$와 동치이며, 이는 그 증강된 형태 간의 동치를 통해 수립된다.