[논문 리뷰] External triangulation of the homotopy category of exact quasi-category

Hiroyuki Nakaoka, Yann Palu|arXiv (Cornell University)|2020. 04. 06.

Homotopy and Cohomology in Algebraic Topology참고 문헌 11인용 수 13

한 줄 요약

이 논문은 정확한 준-카테고리의 호모토피 카테고리가 자연스럽게 외부 삼중구조를 지닌다는 것을 증명한다. 이는 정확한 카테고리와 삼중구조를 일반화한다. $Ε$ 함수를 구성하고, 그 이가드리성과 외부 삼중구조와의 호환성을 검증함으로써, 저자들은 이러한 호모토피 카테고리가 고차원 확장 이론을 위한 민첩하고 통합된 프레임워크를 상속함을 보여준다.

ABSTRACT

Extriangulated categories axiomatize extension-closed subcategories of triangulated categories. We show that the homotopy category of an exact quasi-category can be equipped with a natural extriangulated structure.

연구 동기 및 목표

• 정확한 카테고리와 삼중구조의 구조를 동일한 프레임워크 내에서 통합하기 위해.
• 정확한 준-카테고리의 호모토피 카테고리가 자연스러운 외부 삼중구조를 상속함을 보여주기 위해.
• 삼중구조 설정을 초월하여 고차원 카테고리에서의 확장 이론을 일반화하기 위해.
• 정확한 $∞$-카테고리에서 상대 호모로지 대수의 기초를 마련하기 위해.
• 안정적인 경우 기존의 삼중구조와의 호환성을 확립하기 위해.

제안 방법

• 섬세한 순서를 섬세한 순서로 정의하기 위해 섬세한 순서와 호모토피 당김을 사용하여 정확한 준-카테고리에서 정확한 순서를 정의한다.
• 준-카테고리 내의 사상 공간을 사용하여 호모토피 카테고리에서 확장의 카테고리로의 함수 $Ε$ 를 도입한다.
• 준-카테고리에서의 호모토피 당김과 합성의 성질을 통해 $Ε$ 의 이가드리성(비가환성)을 증명한다.
• 안정적인 경우 $Ε$ 와 표준 삼중구조 사이의 자연 변환을 구성한다.
• 큐브와 당김 사각형을 사용하여 정확한 순서의 사상과 동치 관계를 정의하고 검증한다.
• 명시적인 다이어그램 추적과 함계성의 성질을 통해 안정적인 경우 외부 삼중구조가 삼중구조와 호환됨을 검증한다.

실험 결과

연구 질문

• RQ1 정확한 준-카테고리의 호모토피 카테고리에 자연스러운 외부 삼중구조를 부여할 수 있는가?
• RQ2 호모토피 카테고리의 외부 삼중구조는 기저가 되는 준-카테고리적 정확성과 어떻게 관련이 있는가?
• RQ3 준-카테고리가 안정적일 경우 외부 삼중구조는 삼중구조와 호환되는가?
• RQ4 호모토피 당김과 큐브는 정확한 순서의 사상을 정의하는 데 어떤 역할을 하는가?
• RQ5 함수 $Ε$ 는 호모토피 카테고리에서 어떻게 확장 자료를 코딩하는가?

주요 결과

• 정확한 준-카테고리 $\mathscr{C}$ 의 호모토피 카테고리 $h\mathscr{C}$ 는 자연스러운 외부 삼중구조를 지닌다.
• 준-카테고리 $\mathscr{C}$ 내 사상 공간을 통해 정의된 함수 $\mathbb{E}$ 는 이가드리적이며 외부 삼중구조를 코딩한다.
• 정확한 순서의 동치는 특정한 당김 조건과 외부 면 조건을 만족하는 큐브의 존재로 특징지어진다.
• 준-카테고리 $\mathscr{C}$ 가 안정적일 경우 외부 삼중구조는 표준 삼중구조로 축소된다.
• 이 구성은 당김과 호환되며, 확장의 동치류에 대해 잘 정의된 작용을 유도한다.
• 삼중구조와의 호환성 증명은 명시적인 다이어그램 조작과 $\mu_A$-당김의 사용에 기반한다.