[논문 리뷰] Comparing composites of left and right derived functors

Michael Shulman|arXiv (Cornell University)|2007. 06. 19.

Homotopy and Cohomology in Algebraic Topology참고 문헌 29인용 수 32

한 줄 요약

이 논문은 모델 범주에서 왼쪽 및 오른쪽 유도 함자 복합체를 체계적으로 비교하기 위해 이중 범주적 프레임워크를 도입한다. 매이트와 결합을 사용하여 비교 사상들을 정규화된 방식으로 식별한다. 이는 유도 함자가 이중 편의함자로 구성됨을 보여주며, 기저 변경과 투영 공식 정리에 대한 통합적 접근을 가능하게 한다. 주요 결과로는 매이트를 통한 투영 공식의 정규화된 유도가 이루어지며, 표준 증명을 강화하여 관련된 정확한 동형사상이 무엇인지 명시한다.

ABSTRACT

We introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double category whose vertical and horizontal arrows are left and right Quillen functors, respectively, and that passage to derived functors is functorial at the level of this double category. The theory of conjunctions and mates in double categories, which generalizes the theory of adjunctions and mates in 2-categories, then gives us canonical ways to compare composites of left and right derived functors. We give a number of sample applications, most of which are improvements of existing proofs in the literature.

연구 동기 및 목표

• 표준 모델 범주 이론이 이러한 비교에 대해 정규화된 프레임워크를 제공하지 못하는 바탕으로, 왼쪽 및 오른쪽 유도 함자 복합체를 비교하기 위한 개념적 프레임워크를 제공하는 것.
• 왼쪽 및 오른쪽 쿼일렌 함자에 대한 처리의 비대칭성을 해결하기 위해, 양쪽 유형의 함자를 대칭적으로 다룰 수 있는 이중 범주를 도입하는 것.
• 2-범주에서의 매이트 이론을 이중 범주로 일반화하여, 유도 함자 복합체 간의 정규화된 비교 사상 생성을 가능하게 하는 것.
• 기존의 기저 변경 및 투영 공식 정리 증명을 강화하기 위해, 존재성만을 주장하는 것이 아니라 특정한 정규화된 사상(매이트)이 동형임을 특정하는 것.
• 왼쪽 및 오른쪽 유도 함자를 동등한 입장에서 다룰 수 있는 형식적 구조를 통해, 왼쪽 및 오른쪽 유도 함자 간의 개념적 차이를 명확히 하는 것.

제안 방법

• 수직 사상이 왼쪽 쿼일렌 함자이고 수평 사상이 오른쪽 쿼일렌 함자인 이중 범주로 모델 범주를 통합한다.
• 쿼일렌 수반 관계의 쌍을 이중 범주 내에서 결합으로 간주함으로써, 수반 함자에 대한 통합적 처리가 가능해진다.
• 쿼일렌 함자에서 유도 함자로의 전이가 이중 편의함자임을 보이며, 이중 범주의 구조를 유지함을 보여준다.
• 이중 범주에서의 매이트를 사용하여, 왼쪽 및 오른쪽 유도 함자 복합체 간의 정규화된 자연변환을 생성한다.
• 유도된 모노이드 구조의 매이트를 식별함으로써, 투영 공식 및 기저 변경 정리를 도출한다.
• 유도 함자와 약한 동형사상이 포함된 다이어그램을 사용하여, 정규화된 매이트 사상이 이sovism임을 검증하며, 특히 매개변수화된 공간과 층 이론에서 중요한 경우를 다룬다.

실험 결과

연구 질문

• RQ1 표준 모델 범주 이론이 이러한 비교를 위한 정규화된 프레임워크를 제공하지 못하는 상황에서, 어떻게 왼쪽 및 오른쪽 유도 함자 복합체를 체계적으로 비교할 수 있는가?
• RQ2 왼쪽 및 오른쪽 유도 함자 간의 개념적 차이의 역할은 무엇이며, 이를 대칭적인 방식으로 어떻게 형식화할 수 있는가?
• RQ3 베이크-셰바레 조건과 기저 변경 정리는 일반 원칙에서 유도될 수 있는가, 아니면 특수한 논증에 의존하는가?
• RQ4 왼쪽 및 오른쪽 유도 함자 복합체 간의 비교를 위한 정규화된 자연변환이 존재하는가, 그리고 언제 이것이 동형이 되는가?
• RQ5 매개변수화된 공간과 층 이론에서 투영 공식은 어떻게 유도된 모노이드 구조의 매이트로 재해석될 수 있는가?

주요 결과

• 쿼일렌 함자의 유도 함자는 모델 범주와 쿼일렌 수반 관계의 이중 범주에서 삼각형 범주로의 이중 편의함자로 구성된다.
• 왼쪽 및 오른쪽 유도 함자 복합체 간의 정규화된 비교 사상은 유도 전환의 매이트이며, 이는 명시적으로 특정화되고 핵심적인 경우에 동형임을 보여준다.
• 매개변수화된 공간 이론에서, 투영 공식은 끌어올림 함자의 유도된 모노이드 구조의 매이트로 도출되며, 이 사상이 약한 동형사상임을 약한 동형사상에 대한 다이어그램 추적을 통해 보여준다.
• 층 이론에서는 투영 공식 및 기저 변경 정리가 강화되며, 동형사상이 단순한 동형사상이 아니라 유도된 모노이드 구조의 특정 매이트임을 보여준다.
• 매이트의 사용을 통해 내부 함자들이 다루기 어려운 경우에도 Ho(Ex_B)에서 투영 공식을 도출할 수 있으며, 닫힌 구조와 매이트 구성의 특성을 활용한다.
• 이 프레임워크는 특정 유도 함자들이 다이어그램에서 교환되는 이유를 개념적으로 설명하며, 문제를 정규화된 사상(매이트)가 약한 동형사상임을 확인하는 것으로 환원한다.