[논문 리뷰] Enhanced adic formalism and perverse t-structures for higher Artin stacks

Yifeng Liu, Weizhe Zheng|arXiv (Cornell University)|2014. 04. 04.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 11

한 줄 요약

이 논문은 $∞$-카테고리들을 사용하여 고차 아르틴 스택 위에서 에탈 코hom로지에 대한 개선된 아디크 형식론을 개발하며, 기본 변화 정리와 임의의 왜곡성에 대한 펄서브 t-구조를 포함한 여섯 연산을 수립한다. 라스졸로–올슨과 가브르의 결과를 구성성 조건을 제거하고 유한형 스택으로까지 확장함으로써 일반화한다.

ABSTRACT

In this sequel of arXiv:1211.5294 and arXiv:1211.5948, we develop an adic formalism for étale cohomology of Artin stacks and prove several desired properties including the base change theorem. In addition, we define perverse t-structures on Artin stacks for general perversity, extending Gabber's work on schemes. Our results generalize results of Laszlo and Olsson on adic formalism and middle perversity. We continue to work in the world of $\infty$-categories in the sense of Lurie, by enhancing all the derived categories, functors, and natural transformations to the level of $\infty$-categories.

연구 동기 및 목표

• 에탈 코호몰로지의 여섯 연산 형식론을 구성성 조건 없이 고차 아르틴 스택으로 확장하는 것.
• 스킴 위에서 가브르의 펄서브 t-구조와 라스졸로–올슨의 중간 왜곡성 결과를 아르틴 스택 위에서 임의의 왜곡성으로 일반화하는 것.
• 더 높은 코herences와 내림내림 제어를 가능하게 하는 $∞$-카테고리적 프레임워크를 개발하여 유도된 카테고리, 함자, 자연변환을 향상시키는 것.
• 고차 아르틴 스택 위의 릿스-에탈 층의 유도된 카테고리에 대해 스무스, 프로퍼, 플랫 초커빙에 대한 하이퍼내림내림 성질을 수립하는 것.
• 이전에 층이나 제한된 설정에 국한된 결과에 비해, 유도된 $∞$-카테고리적 설정에서 기본 변화 정리를 증명하는 것.

제안 방법

• $∞$-카테고리들을 사용하여 유도된 카테고리, 함자, 자연변환을 향상시켜 고차 카테고리적 기계를 가능하게 하는 것.
• 링드 다이어그램 $\lambda = (\Xi, \Lambda)$ 위에서 $Λ(\xi)$-모듈의 $∞$-카테고리의 극한을 통해 아디크 형식론을 구성하는 것.
• 유도된 $∞$-카테고리 설정에서 쌍대함수 쌍으로서의 향상된 연산: $f^{*\mathrm{a}}$, $f_{*\mathrm{a}}$, $\otimes^\mathrm{a}$, 및 $\mathcal{H}\mathrm{om}^\mathrm{a}$를 정의하는 것.
• 루리의 프레임워크에서 유도된 $∞$-카테고리적 내림내림, 물체의 붙이기, 그리고 쌍대함수 정리의 응용을 통해 코herences를 확보하는 것.
• 스키마로의 환원과 유한 기본 변화를 이용하여 스무스, 프로퍼, 플랫 초커빙에 대한 하이퍼내림내림을 증명하는 것.
• 왜곡성 평가를 통한 펄서브 t-구조 정의와 향상된 형식론을 사용한 아디크 복합체로의 확장

실험 결과

연구 질문

• RQ1 에탈 코호몰로지의 여섯 연산 형식론은 구성성 조건 없이 고차 아르틴 스택으로 확장될 수 있는가?
• RQ2 펄서브 t-구조는 아르틴 스택 위에서 중간 왜곡성에서 임의의 왜곡성으로 일반화될 수 있는가?
• RQ3 $∞$-카테고리들이 스택의 유도된 코호몰로지에서 기본 변화 정리와 내림내림을 가능하게 하는 데 어떤 역할을 하는가?
• RQ4 스무스, 프로퍼, 플랫 초커빙은 유도된 $∞$-카테고리적 설정에서 어느 정도 내림내림 성질을 만족하는가?
• RQ5 향상된 아디크 형식론은 고차 스택의 맥락에서 라스졸로–올슨과 가브르의 고전적 결과와 어떻게 관련되어 있는가?

주요 결과

• 기본 변화 정리는 고차 아르틴 스택의 사상에 대해 유도된 $∞$-카테고리적 설정에서 성립하며, 이는 이전에 층에 국한된 결과를 확장한다.
• 펄서브 t-구조는 임의의 왜곡성에 대해 고차 아르틴 스택 위에서 정의되며, 가브르의 스킴 위에서의 작업과 라스졸로–올슨의 중간 왜곡성 결과를 일반화한다.
• 향상된 아디크 형식론은 제약 조건이 없는 유도된 카테고리에 적용되며, 이는 이전 이론에서 흔히 요구되던 구성성 조건이 필요 없음을 의미한다.
• 스무스, 프로퍼, 플랫 초커빙은 고차 아르틴 스택 위의 릿스-에탈 층의 유도된 카테고리에 대해 $∞$-카테고리적 내림내림 성질을 만족한다.
• $∞$-카테고리적 프레임워크는 붙이기, 수반함수, 내림내림의 체계적인 다루기 가능성을 제공하여 코호몰로지 연산의 견고한 기반을 마련한다.
• 향상된 아디크 연산의 구성은 라스졸로–올슨의 고전적 형식론과 호환되며, 그 결과를 $∞$-카테고리적 수준으로 확장한다.