[논문 리뷰] Theories homotopiques de Quillen combinatoires et derivateurs de Grothendieck

Olivier Renaudin|ArXiv.org|2006. 03. 14.

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

한 줄 요약

이 논문은 콤비나토리컬 퀼렌 모델 범주들의 2-category를 퀄렌 동치에 관해 의사 국소화하고, 이로써 완전 충실하게 그로텐디크 도자이더의 오른쪽 및 왼쪽 수반을 갖는 2-category로의 임베딩을 증명한다. 두글러의 표현 결과와 시신스키의 도자이더 기계를 활용하여, 콤비나토리컬 퀄렌 이론의 호모토피 2-category와 오른쪽/왼쪽 수반 도자이더의 2-category 사이의 국소 동치를 확립한다. 이는 도자이더가 콤비나토리컬 모델 범주의 본질적인 호모토피적 구조를 포괄함을 보여준다.

ABSTRACT

We construct a pseudo-localization of the 2-category of combinatorial Quillen model categories with respect to Quillen equivalences, and then verify that it embeds in a 2-category of Grothendieck derivators.

연구 동기 및 목표

• 콤비나토리컬 퀄렌 모델 범주의 2-category와 그로텐디크 도자이더의 2-category를 비교한다.
• 콤비나토리컬 퀄렌 모델 범주의 2-category를 퀄렌 동치에 관해 의사 국소화한다.
• 이 의사 국소화가 오른쪽 및 왼쪽 수반 도자이더의 2-category로 완전 충실하게 임베딩됨을 증명한다.
• 이러한 최종 2-category가 콤비나토리컬 모델 범주의 본질적인 호모토피 불변량을 포착함을 보여준다.
• 두글러의 결과를 활용하여 포인트된, 안정적, 심플리셜, 스펙트럴 모델 범주로 비교를 확장한다.

제안 방법

• 퀄렌 동치를 동치로 보낸다. 의사-함수를 사용하여 콤비나토리컬 퀄렌 모델 범주의 2-category의 의사 국소화를 구성한다.
• 퀄렌 호모토피를 콤바이언트 객체 위의 약한 동치로 정의하기 위해, 퀄렌 모델 범주의 2-category에 실린더 및 경로 객체를 도입한다.
• 모든 콤비나토리컬 모델 범주는 표현 가능한 것으로 퀄렌 동치임을 보여주기 위해 두글러의 표현 정리를 적용한다.
• 퀄렌 모델 범주에서 도자이더로의 의사-함수를 시신스키의 구성에 따라 유도하여, 의사 국소화에서 오른쪽/왼쪽 수반 도자이더의 2-category로의 사상 유도.
• 시신스키의 도자이더에 대한 표현성 정리에 기반하여, 유도된 의사-함수가 국소 동치임을 증명한다.
• 소형 표현을 갖는 도자이더의 개념을 도입하여, 이 구성의 본질적 상을 특성화한다.

실험 결과

연구 질문

• RQ1 콤비나토리컬 퀄렌 모델 범주의 2-category는 퀄렌 동치에서 국소화되어 잘 정의된 호모토피 이론의 2-category를 형성할 수 있는가?
• RQ2 이 국소화된 2-category는 오른쪽 및 왼쪽 수반을 갖는 그로텐디크 도자이더의 2-category로 완전 충실하게 임베딩될 수 있는가?
• RQ3 도자이더는 콤비나토리컬 모델 범주의 호모토피 불변량을 동치에 대해 포착하는가?
• RQ4 모델 범주의 2-category에서 실린더 및 경로 객체는 국소화에서 호모토피를 동치로 보내는가?
• RQ5 국소화 사상의 본질적 상은 도자이더 이론적 성질로 어떻게 기술되는가?

주요 결과

• 콤비나토리컬 퀄렌 호모토피 이론의 2-category인 $\mathfrak{THQ}^c$ 는 퀄렌 동치에서 콤비나토리컬 퀄렌 모델 범주의 2-category의 의사 국소화로 구성된다.
• 의사 국소화 $\Gamma: \mathfrak{ModQ}^c \to \mathfrak{THQ}^c$ 는 다음과 같은 보편 성질을 만족한다: 퀄렌 동치를 동치로 보낸다. 모든 의사-함수가 $\Gamma$ 를 통해 유일하게 인자화된다.
• 이 구성은 퀄렌 호모토피(코프리미티브 객체 위의 약한 동치)가 $\mathfrak{THQ}^c$ 에서 동치로 보내지도록 보장하여, 호모토피 불변량을 반영한다.
• 국소 동치 $\mathfrak{THQ}^c \to \mathfrak{Der}_{ad}$ 가 존재한다. 여기서 $\mathfrak{Der}_{ad}$ 는 오른쪽 및 왼쪽 수반을 갖는 도자이더의 2-category이다.
• 이 동치의 본질적 상은 소형 표현을 갖는 도자이더로 구성되며, 이는 콤비나토리컬 모델 범주로부터 유래된 도자이더를 특성화한다.
• 두글러의 관찰을 통해 포인트된, 안정적, 심플리셜, 스펙트럴 모델 범주로 결과를 확장하여, 이 틀이 표준 호모토피적 맥락에서 강건함을 보여준다.