[논문 리뷰] Monoidal derivators and additive derivators

Moritz Groth|arXiv (Cornell University)|2012. 03. 22.

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

한 줄 요약

이 논문은 호모토피 이론을 위한 구조화된 프레임워크로 단순곱 및 가산 도자터를 도입하며, 단순곱 도자터가 자연스럽게 단순곱 모델 범주로부터 유도되며, 가산 도자터가 본질적으로 전이구조를 지닌다는 것을 보여준다. 주요 기여는 안정 도자터 위의 선형 및 계차선형 구조를 중심을 통해 형식화하는 것으로, 체인 복합체와 스펙트럼에 응용되어 도자터가 원소들의 호모토피 군이나 DGAs의 호몰로지와 같은 환 위에서 선형 구조를 상속한다는 것을 보여준다.

ABSTRACT

One aim of this paper is to develop some aspects of the theory of monoidal derivators. The passages from categories and model categories to derivators both respect monoidal objects and hence give rise to natural examples. We also introduce additive derivators and show that the values of strong, additive derivators are canonically pretriangulated categories. Moreover, the center of additive derivators allows for a convenient formalization of linear structures and graded variants thereof in the stable situation. As an illustration of these concepts, we discuss some derivators related to chain complexes and symmetric spectra.

연구 동기 및 목표

• 단순곱 도자터 이론을 발전시켜, 단순곱 모델 범주로부터 유도되며 도자터로의 전이 과정에서 단순곱 구조를 유지한다는 것을 보이는 것.
• 지정된 도자터와 안정 도자터 사이의 중간 클래스로 가산 도자터를 도입하여, 그 값들에 자연스러운 전이구조를 부여하는 것.
• 안정 도자터 위의 선형 및 계차선형 구조를 중심 구성법을 통해 범주론적으로 형식화하여 선형 호모토피 이론을 위한 통합적 프레임워크를 제공하는 것.
• 체인 복합체와 대칭 스펙트럼에 관련된 도자터가 각각 기초 환과 안정 호모토피 군을 기반으로 자연스러운 선형 구조를 지닌다는 것을 보여주는 것.

제안 방법

• 도자터의 카르테시안 2범주 내에서 단순곱 대상으로서의 단순곱 전도자터를 정의하며, 단순곱 구조가 각 변수에서 호모토피 쌓음(colimit)을 유지하도록 한다.
• 조합적 단순곱 모델 범주가 모델 범주에서 도자터로의 전이 과정을 통해 단순곱 도자터를 유도함을 보인다.
• 단순곱 도자터와 관련된 분포의 이중범주를 도입하여 가중 호모토피 (코)쌓음을 표현한다.
• 기저 범주가 가군화된다는 조건을 요구함으로써 가산 도자터를 정의하여, 그 값들에 대해 가군 함수와 자연스러운 전이구조를 유도한다.
• 가산 도자터의 중심을 구성하여 선형 및 계차선형 구조를 형식화하며, 기저 범주에 대한 계차 중심으로의 자연스러운 사상이 존재함을 보인다.
• 지정된 위상공간의 도자터의 보편 성질을 이용하여 스터핑 및 투습 맵을 유도함으로써, 자기 사상환의 계차교환 법칙을 확립한다.

실험 결과

연구 질문

• RQ1 모델 범주 위의 단순곱 구조가 도자터로 어떻게 승격될 수 있으며, 이러한 승격이 호모토피 쌓음을 유지하기 위한 조건은 무엇인가?
• RQ2 가산 도자터는 어떤 구조적 성질을 지니며, 전이구조 범주와의 관계는 어떠한가?
• RQ3 안정 도자터 위의 선형 및 계차선형 구조는 중심 구성법을 통해 어떻게 범주론적으로 형식화될 수 있는가?
• RQ4 체인 복합체와 스펙트럼에 관련된 도자터의 자연스러운 선형 구조는 무엇이며, 이는 호모토피 군이나 호몰로지로부터 어떻게 유도되는가?
• RQ5 단순곱 도자터는 그 관련된 분포의 이중범주를 통해 어떻게 가중 호모토피 (코)쌓음을 표현하는가?

주요 결과

• 조합적 단순곱 모델 범주에 관련된 도자터는 각 변수에서 호모토피 쌓음을 유지하는 단순곱 구조를 자연스럽게 상속한다.
• 강한 가용 도자터의 값들은 자연스럽게 전이구조 범주이며, 안정 경우를 일반화한다.
• 가용 도자터의 중심은 선형 구조를 밀도 있게 형식화하며, 단순곱 단위의 자기 사상환의 계차환에서 도자터의 계차 중심으로 가는 자연스러운 사상이 존재한다.
• 환 k 위의 체인 복합체의 도자터의 선형 구조는 기초 환 k에 의해 주어지며, 스펙트럼의 도자터의 선형 구조는 정수 Z에 의해 주어진다.
• 가환 디퍼렌셜 가환대수 C에 대해, C-모듈의 도자터는 C의 호몰로지 H•(C)인 계차환 위에서 계차선형 구조를 지닌다.
• 가환 환 스펙트럼 E에 대해, E-모듈 스펙트럼의 도자터는 E의 호모토피 군 π•(E)인 계차환 위에서 자연스럽게 계차선형 구조를 지닌다.