[논문 리뷰] The homotopy theory of equivariant posets

J. P. May, Marc Stephan외 1명|arXiv (Cornell University)|2016. 01. 11.

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

한 줄 요약

이 논문은 $G$-poset의 범주에 Quillen 동치 모델 구조를 수립하여, 등변 poset가 $G$-공간의 호모토플리 이론을 모델링함을 보여준다. 고정점 함자들을 통해 $G$-집합의 궤도 범주에서 $G$-poset로 모델 구조를 이전함으로써, 저자들은 약한 동치와 필라션이 고정점 poset에서 수준별로 감지됨을 증명하며, 이는 $G$-poset에 대해 $G$-공간, $G$-범주, $G$-단체적 집합의 이론과 동치인 호모토플리 이론을 제공한다.

ABSTRACT

Let $G$ be a discrete group. We prove that the category of $G$-posets admits a model structure that is Quillen equivalent to the standard model structure on $G$-spaces. As is already true nonequivariantly, the three classes of maps defining the model structure are not well understood calculationally. To illustrate, we exhibit some examples of cofibrant and fibrant posets and an example of a non-cofibrant finite poset.

연구 동기 및 목표

• 표준적인 $G$-공간, $G$-범주, $G$-단체적 집합의 모델 구조와 Quillen 동치인 $G$-poset의 범주에 모델 구조를 수립하는 것.
• Raptis의 poset에 대한 모델 구조와 Bohmann 등이 $G$-범주에 대해 얻은 결과를 궤도 범주를 사용하여 등변 설정으로 확장하는 것.
• 등변 $G$-공간의 호모토플리 이론이 $G$-poset의 조합론적 프레임워크 내에서 완전히 포괄될 수 있음을 보여주는 것.
• 고정점 자료에 기반해 코프리미티브 및 필라션 객체의 호모토플리 행동을 명확히 하고, 비코프리미티브 예제를 식별하는 것.

제안 방법

• G-집합의 궤도 범주 $\mathcal{O}_G$를 사용하여, 반대함수 $\mathcal{O}_G \to \mathbf{Pos}$의 범주에 수준별 모델 구조를 정의한다.
• 각 $G$-poset $X$에 대해 모든 부분군 $H \leq G$에 대해 고정점 poset $X^H$를 할당하는 고정점 다이어그램 함자 $\Phi: G\mathbf{Pos} \to \mathcal{O}_G\text{-}\mathbf{Pos}$를 정의한다.
• $\Phi$가 $G\mathbf{Pos}$에 컴팩트 생성되고 적절한 모델 구조를 생성함을 증명하며, 이 구조에서 약한 동치와 필라션은 $\Phi$를 통해 감지됨을 보인다.
• 왼쪽 수반 함자 $\Lambda$가 함자 $Y$를 $Y(G/e)$로 보낸다는 사실을 이용하여 $G\mathbf{Pos}$와 $\mathcal{O}_G\text{-}\mathbf{Pos}$ 사이의 Quillen 수반을 수립하고, 이것이 Quillen 동치임을 보인다.
• poset에서의 함자적 분해 및 당김과 병합의 성질을 사용하여 코프리미티브 및 필라션 객체를 분석하며, 특히 연결 성분에서의 행동을 중점적으로 다룬다.
• 부분 모델 구조에 대한 정리의 부분 역을 적용하여, 최대 사상이 포함된 연결 필라션 poset가 수축 가능함을 보였다.

실험 결과

연구 질문

• RQ1 고정점 함자와 궤도 범주를 통해 $G$-공간의 호모토플리 이론이 $G$-poset의 범주 안에서 완전히 포괄될 수 있는가?
• RQ2 코프리미티브 및 필라션 $G$-poset는 어떻게 행동하며, 고정점 자료에 기반해 어떤 특성으로 묘사되는가?
• RQ3 궤도 범주로부터 자연스러운 모델 구조가 $G$-poset에 존재하는가? 이는 기존의 비등변 poset와 $G$-범주 결과를 확장하는가?
• RQ4 특정 성분에서 최대 사상이 존재할 경우, 어떤 조건이 $G$-poset의 수축 가능성을 보장하는가?
• RQ5 코프리미티브가 아닌 유한한 $G$-poset는 존재하는가? 만약 존재한다면, 코프리미티브 조건을 만족하지 못하는 이유는 무엇인가?

주요 결과

• $G\mathbf{Pos}$의 범주인 $G$-poset는 표준적인 $G\mathbf{Top}$, $G\mathbf{Cat}$, $G\mathbf{sSet}$의 모델 구조와 Quillen 동치인 컴팩트 생성되고 적절한 모델 구조를 갖는다.
• $G$-poset의 사상이 약한 동치 또는 필라션임은 고정점 함자 $\Phi$에 의한 이미지가 $\mathcal{O}_G\text{-}\mathbf{Pos}$에서 약한 동치 또는 필라션임과 동치이다.
• $G\mathbf{Pos}$와 $\mathcal{O}_G\text{-}\mathbf{Pos}$ 사이의 수반 $(\Lambda, \Phi)$는 Quillen 동치를 이룬다. 이는 호모토플리 동치성을 확립한다.
• 최대 사상이 포함된 연결 필라션 $G$-poset는 성분 내 당김과 병합의 존재를 통해 수축 가능하다.
• 비코프리미티브인 유한한 $G$-poset의 예를 제시하여, 유한한 등변 poset라도 코프리미티브가 보장되지 않음을 보였다.
• $G\mathbf{Pos}$의 모델 구조는 Bohmann 등이 $G$-범주에 대해 연구한 작업에 암묵적으로 존재하며, 이 구성은 Raptis의 비등변 poset 결과를 일반화한다.