[논문 리뷰] Derivator Six Functor Formalisms -- Definition and Construction I

Fritz Hörmann|arXiv (Cornell University)|2017. 01. 09.

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 3

한 줄 요약

이 논문은 2-다중범주에서의 (쌍)포장과 피브어드 다중유도자(fibered multiderivators)를 사용하여 여섯 연산 형식론을 통합하는 프레임워크를 제안한다. 이는 모든 여섯 연산과 그 호환성(기저 변경, 투영 공식, 호모토피 칸 확장 등)을 압축하고 일관되게 표현할 수 있게 하며, 핵심 기여는 기저 변경과 투영 공식을 만족하는 임의의 피브어드 다중유도자가 $f_! = f_*$를 갖는 유도자 여섯 연산 형식론으로 자연스럽게 유도됨을 보여주는 일반적 구성이다. 이는 그로텐디크의 여섯 연산 형식론에 대한 유도자 판본을 확립한다.

ABSTRACT

A theory of a derivator version of six-functor-formalisms is developed, using an extension of the notion of fibered multiderivator due to the author. Using the language of (op)fibrations of 2-multicategories this has (like a usual fibered multiderivator) a very neat definition. This definition not only encodes all compatibilities among the six functors but also their interplay with homotopy Kan extensions. One could say: a nine-functor-formalism. This is essential for dealing with (co)descent questions. Finally, it is shown that every fibered multiderivator (for example encoding any kind of derived four-functor formalism $(f_*, f^*, \otimes, \mathcal{HOM})$ occurring in nature) satisfying base-change and projection formula formally gives rise to such derivator six-functor-formalism in which $f_!=f_*$, i.e. a derivator Grothendieck context.

연구 동기 및 목표

• 고차 범주론적 구조를 사용하여 유도자 여섯 연산 범주의 통합적이고 압축된 형식론을 개발하기 위해.
• 기저 변경, 투영 공식 등 표준 호환성과 그들이 호모토피 칸 확장과 상호작용하는 방식을 하나의 프레임워크 안에 표현하기 위해.
• 기저 변경과 투영 공식을 만족하는 임의의 피브어드 다중유도자가 자연스럽게 $f_! = f_*$를 갖는 유도자 여섯 연산 형식론으로 유도됨을 보여주기 위해.
• (코)내림과 이중성 정리의 유도적 및 모티브적 맥락에서의 연구를 위한 체계적 기초를 제공하기 위해.

제안 방법

• 기본적인 피브어드 다중유도자 개념을 2-다중범주에서의 (쌍)포장까지 확장하여 함수적 성질에 대한 정밀한 제어를 가능하게 하였다.
• 유연한 자연 변환과 1-카르티esian 사상들을 사용하여 다이어그램을 가로질러서의 연산자 간 호환성을 형식화하였다.
• 대응관계의 2-다중범주 위의 편의 함수자로써의 유도자 여섯 연산 형식론을 정의하였으며, 조합 법칙을 통해 일관성을 보장하였다.
• 유도자 맥락에서 필요한 수반관계와 동형사상을 구성하기 위해 코카르티esian 프로젝터 이론을 적용하였다.
• 안정된 유도자 형식론에서의 호모토피 극한과 극대에 대한 호환성을 확보하기 위해 (코)지역화 성질과 안정된 다중삼각형($n$-angels)을 활용하였다.
• 일관성과 함수적 성질을 보장하기 위해 표현 가능한 전-2-다중유도자 이론과 2-(코)카르티esian 사상 이론에 의존하였다.

실험 결과

연구 질문

• RQ1 기저 변경과 투영 공식 등 표준 호환성과 그들이 호모토피 칸 확장과 상호작용하는 방식을 균일하게 압축하는 방식으로, 유도자 판본의 여섯 연산 형식론을 어떻게 정의할 수 있는가?
• RQ2 피브어드 다중유도자가 어떤 구조적 조건을 만족하면 $f_! = f_*$를 갖는 유도자 여섯 연산 형식론이 존재하는가?
• RQ3 피브어드 다중유도자에서의 기저 변경과 투영 공식은 어떻게 전체적인 유도자 여섯 연산 형식론을 유도하는가?
• RQ4 2-다중범주와 포장을 사용하여, 이중성과 (코)내림을 포함한 전체 여섯 연산 형식론이 하나의 형식론으로 포괄될 수 있는가?
• RQ5 $n$-angels과 (코)지역화 성질이 형식론의 안정성과 일관성 확보에 어떤 역할을 하는가?

주요 결과

• 유도자 여섯 연산 형식론은 대응관계의 2-다중범주 위의 편의 함수자로 정의되며, 모든 호환성은 2-다중범주의 조합 법칙을 통해 암묵적으로 표현된다.
• 이 구성은 기저 변경과 투영 공식을 만족하는 임의의 피브어드 다중유도자가 $f_! = f_*$를 갖는 유도자 여섯 연산 형식론으로 자연스럽게 기인함을 보여주며, 이는 유도자 그로텐디크 맥락을 실현한다.
• 이 형식론은 기저 변경, 투영 공식 등 모든 표준 동형사상이 2-다중범주의 조합 법칙의 결과로 자연스럽게 암시됨을 보여준다.
• 모든 아홉 개의 연산자 $f_*, f^*, f_!, f^!, igotimes, \text{Hom}$ 및 그 유도적 변형을 포함함으로써 (코)내림 문제를 다룰 수 있는 이론적 기반을 제공한다.
• 1-카르티esian 유연한 자연 변환의 사용은 다이어그램 전반에 걸친 일관성을 보장하며, (코)지역화 성질은 형식론의 안정성을 확보한다.
• 이 프레임워크는 유도적 층의 범주, D-모듈, 모티프 등 모든 표준 예시를 통일적으로 포괄할 수 있을 정도로 일반적이다.