[논문 리뷰] The Coalgebraic Structure of Cell Complexes

Thomas Athorne|arXiv (Cornell University)|2012. 02. 27.

Homotopy and Cohomology in Algebraic Topology참고 문헌 6인용 수 7

한 줄 요약

이 논문은 위상공간의 표준 대수적 모델 구조에서, 대수적 약한 분해 체계(awfs)의 왼쪽 사상이 정확히 상대적 세포 복합체임을 증명한다. 세포 복합체의 구조를 담은 범주를 화살표 범주로 가는 忘각 함자로 구성함으로써, 저자들은 이 범주와 코모나드의 코알제브라 범주 사이의 동치를 확립하여, awfs 가 자유임을 보이고, 왼쪽 사상이 정확히 상대적 세포 복합체임을 증명한다.

ABSTRACT

The relative cell complexes with respect to a generating set of cofibrations are an important class of morphisms in any model structure. In the particular case of the standard (algebraic) model structure on $ extbf{Top}$, we give a new expression of these morphisms by defining a category of relative cell complexes, which has a forgetful functor to the arrow category. This allows us to prove a conjecture of Richard Garner: considering the algebraic weak factorisation system given in that algebraic model structure between cofibrations and trivial fibrations, we show that the category of relative cell complexes is equivalent to the category of coalgebras.

연구 동기 및 목표

• 위상공간의 표준 대수적 모델 구조에서, 대수적 약한 분해 체계(awfs)의 왼쪽 사상이 정확히 상대적 세포 복합체임을 증명하는 것.
• 상대적 세포 복합체를 단지 성질을 갖는 사상이 아니라, 구조화된 사상으로서의 범주론적 프레임워크를 제공하는 것.
• 세포 복합체의 보편 성질을 포착하는 유도함수를 통해, 소형 객체 방법의 구체적이고 함자적인 구성 방법을 확립하는 것.
• 표준 소형 객체 방법을 통해 Top에 정의된 awfs 가 자유임을 보이기 위해, 그 코모나드가 자유 세포 복합체 코모나드와 자연 동형임을 보이는 것.
• 특히 고차 범주론과 관련된 범주, 예를 들어 약한 n-범주와 같은 다른 범주로의 일반화를 위한 기반을 마련하는 것.

제안 방법

• 화살표 범주 $\mathbf{Top}^\mathbf{2}$ 위의 범주 $\mathbf{CellCx}$ 를 세포 복합체의 구조로 정의한다. 여기서 객체는 생성 코프라베이션의 푸시아웃의 순서수 급수적 합성으로 구성된 사상이다.
• 각 세포 복합체의 기본 사상을 할당하는 忘각 함자 $U: \mathbf{CellCx} \to \mathbf{Top}^\mathbf{2}$ 를 구성한다.
• 함수가 우도함수를 갖는다는 것을 증명함으로써, 소형 객체 방법의 보편 성질을 자유 세포 복합체 구성으로서 실현함을 보인다.
• 코모나드성 정리(coinduction theorem)를 사용하여, $\mathbf{CellCx}$ 가 코모나드 $UK$ 의 코알제브라 범주와 동치임을 보인다. 여기서 $K$ 는 awfs 와 관련된 코모나드이다.
• 코모나드 사상의 자연 동형을 통해, 코모나드 $UK$ 가 Top 위의 표준 awfs 의 코모나드 $\mathbb{L}$ 과 동형임을 증명한다.
• 동형인 코모나드는 동치인 코알제브라 범주를 갖는다는 사실을 활용하여, awfs 의 왼쪽 사상의 범주가 $\mathbf{CellCx}$ 와 동치임을 결론짓고, 따라서 모든 왼쪽 사상이 상대적 세포 복합체임을 증명한다.

실험 결과

연구 질문

• RQ1 Top 위의 표준 대수적 약한 분해 체계에서, 왼쪽 사상은 정확히 상대적 세포 복합체인가?
• RQ2 소형 객체 방법은 세포 복합체의 구조를 가진 범주 위에서 보편 자유 구성으로 재구성될 수 있는가?
• RQ3 세포 복합체의 구조에서 사상으로의 忘각 함자는 충분하고 코모나드성인가? 따라서 코알제브라 동치가 성립하는가?
• RQ4 생성 코프라베이션의 푸시아웃의 순서수 급수적 합성으로 구성된 세포 복합체의 구조를 가진 범주가 awfs 의 왼쪽 사상의 전체적인 구조를 포괄하는가?
• RQ5 이 구성은 생성 사상이 단사가 아닐 경우, 특히 비단사적 세포 형태를 포함하는 경우, 다른 범주와 awfs 로 어떻게 일반화될 수 있는가?

주요 결과

• 세포 복합체의 구조를 담은 범주 $\mathbf{CellCx}$ 는 $\mathbf{Top}^\mathbf{2}$ 위에서 코모나드 $UK$ 의 코알제브라 범주와 동치이며, 이는 세포 복합체의 코알제브라 성격을 증명한다.
• 함수 $U: \mathbf{CellCx} \to \mathbf{Top}^\mathbf{2}$ 는 코모나드성임을 보이고, 따라서 세포 복합체의 구조는 그 기본 사상과 코알제브라 데이터로 완전히 기록된다.
• awfs $(UK, E)$ 는 Top 위의 표준 awfs $(\mathbb{L}, \mathbb{R})$ 과 동형임을 증명하여, awfs 가 생성 집합 $\mathcal{J}$ 에 대해 자유임을 보였다.
• Top 위의 표준 awfs 에서 왼쪽 사상의 구조를 갖는 모든 사상은 상대적 세포 복합체이며, 이는 Garner의 추측을 확인한다.
• 이 구성은 소형 객체 방법을 코alescence, 푸시아웃, 합성에 대한 자유 완비화로 일반화하여, Garner의 향상된 소형 객체 방법의 세 단계를 반영한다.
• 생성 사상이 단사가 아닐 경우, 이러한 구성은 실패한다. 이는 忘각 함수가 충분하지 않게 되고, 세포 복합체의 구조가 유일하지 않게 되기 때문이다.