[논문 리뷰] Enhanced six operations and base change theorem for higher Artin stacks

Yifeng Liu, Weizhe Zheng|arXiv (Cornell University)|2012. 11. 26.

Homotopy and Cohomology in Algebraic Topology참고 문헌 14인용 수 46

한 줄 요약

이 논문은 높은 아르틴 스택에서 에탈 코homology의 유도된 범주에 대해 안정적 ∞-범주를 사용하여 개선된 여섯 연산 형식을 개발하며, 기존 이론의 제약을 극복하기 위해 ∞-범주적 강화를 통해 호모토피-일관된 강하를 가능하게 하고, 기본 스킴에 대한 제한 없는 가정 하에 비-준비분리성 및 고차 스택으로 이론을 확장한다. 이는 유도된 범주에서 기본 변화 정리를 증명하는 데서 기존의 코homology 층에서의 증명을 넘어서는 것이다.

ABSTRACT

In this article, we develop a theory of Grothendieck's six operations for derived categories in étale cohomology of Artin stacks, for both torsion and adic coefficients. We prove several desired properties of the operations, including the base change theorem in derived categories. This extends many previous theories on this subject, including the one developed by Laszlo and Olsson, in which the operations are subject to more assumptions and the base change isomorphism is only constructed on the level of sheaves. Moreover, our theory works for higher Artin stacks as well. In addition, we define perverse t-structures on higher Artin stacks for general perversity, extending Gabber's work on schemes. Our method differs from previous approaches, as we exploit the theory of stable $\infty$-categories developed by Lurie. We enhance derived categories, functors, and natural isomorphisms to the level of $\infty$-categories and introduce $\infty$-categorical (co)homological descent. To handle the issue of ``homotopy coherence'', we develop a general technique for gluing subcategories of $\infty$-categories and several other $\infty$-categorical techniques. We obtain categorical equivalences between simplicial sets associated to certain multisimplicial sets. Such equivalences can be used to construct functors in different contexts. One of our category-theoretical results generalizes Deligne's gluing theory developed in the construction of the extraordinary pushforward operation in étale cohomology of schemes.

연구 동기 및 목표

• 기존 이론의 제약을 넘어서, 고차 아르틴 스택으로의 그로텐디크의 여섯 연산 형식을 에탈 코homology에 대해 확장하는 것.
• 기존에 코homology 층에서만 이루어지던 기본 변화 동형사상이 아니라, 유도된 범주 전체에서 이루어지도록 기본 변화 동형사상을 구성함으로써 기하학적 랑글랜드 이론의 적용에 필수적인 요건을 충족시키는 것.
• 기존 연구에서의 기술적 제약(기본 스킴에 대한 가정 또는 구조적 복소체에 국한된 연구 등)을 ∞-범주적 강화를 통해 극복하는 것.
• 고차 아르틴 스택의 릿스-에탈 층에 대한 이론을 비-준비분리성 및 고차 델리뉴-무미포드 스택까지 확장하는 것.
• 안정적 ∞-범주를 통한 호모토피-일관된 프레임워크를 제공하여, 유도된 설정에서 함자와 자연 동형사상의 일관성을 보장하는 것.

제안 방법

• 저자들은 아르틴 스택의 릿스-에탈 층의 유도된 범주를 루리의 ∞-범주 이론을 활용하여 안정적 ∞-범주로 강화한다.
• 이 ∞-범주들 사이에서 여섯 연산(f^*, f_*, f_!, f^!, ⊗, Hom)을 함자로 구성하며, ∞-범주적 기법을 통해 일관성을 확보한다.
• 이론은 ∞-범주적 (코)호모로지적 강하에 기반하며, 이는 스킴에서의 여섯 연산을 대수적 공간과 스택으로 이행하는 데 기여한다.
• 단순체의 범주와 다중단순체의 집합을 사용하여 ∞-범주 설정에서 함자와 수반 관계를 구성하고 검증한다.
• 기본 변화 정리는 ∞-범주적 프레임워크에서 호모토피 일관성과 강하와의 호환성을 증명함으로써 확립된다.
• 기본에서의 잠재적 딜로이징 복소체의 당김을 통해 Ω_X를 정의하고, ∞-범주 설정에서 이중성 및 파oincaré 이중성 정리를 증명한다.

실험 결과

연구 질문

• RQ1 기존 이론의 제약을 넘어서, 여섯 연산 형식이 고차 아르틴 스택으로 확장되어, 기본 변화 동형사상이 코homology 층이 아닌 유도된 범주 전체에서 유지되는가?
• RQ2 기본 스킴이 비-준비콤팩트 또는 비-준비분리성일 경우, 스택의 릿스-에탈 층의 유도된 범주에서 호모토피 일관성과 함자성 보존이 어떻게 확보될 수 있는가?
• RQ3 ∞-범주적 방법을 사용하여 고차 아르틴 스택에 대한 딜로이징 복소체를 구성할 수 있으며, 이가 이중성 및 파oincaré 이중성 정리를 만족하는가?
• RQ4 구조적 복소체를 초월하여, 국소적으로 유한형 사상에 대한 일반적인 릿스-에탈 층으로 이론을 확장할 수 있는가?
• RQ5 기존의 유도된 범주와 비교할 때, ∞-범주적 강화는 여섯 연산의 일관성과 자연성에 어떻게 기여하는가?

주요 결과

• 기본 변화 동형사상은 코homology 층이 아닌 유도된 ∞-범주 전체에서 구성되었으며, 이는 이전 연구의 핵심적 제약을 해결한다.
• 여섯 연산(f^*, f_*, f_!, f^!, ⊗, Hom)은 고차 아르틴 스택의 릿스-에탈 층에 대한 안정적 ∞-범주들 사이의 함자로 완전히 강화되었다.
• 이론은 기본 스킴에 대한 준비분리성 또는 유한형 가정 없이도 고차 아르틴 스택 및 고차 델리뉴-무미포드 스택에 대해 유효하다.
• 딜로이징 복소체 Ω_X는 기본에서의 잠재적 딜로이징 복소체의 당김을 통해 구성되었으며, 이는 구조적 복소체의 전체 부분범주에서 이중성 D_X ∘ D_X ≅ id 를 만족한다.
• 파oincaré 이중성은 ∞-범주 설정에서 성립한다: 상대 차원 d인 매끄러운 사상 u: U → X에 대해, u^*Ω_X ≅ Ω_U⟨−d⟩ 이다.
• ∞-범주적 강하를 통해 자연 변환 h f^! ≃ R f^! 가 확립되었으며, 이는 강화된 f^! 가 구조적 복소체에서 고전적 R f^! 와 일致함을 보여준다.