[논문 리뷰] Perverse sheaves on Artin stacks

Yves Laszlo, Martin Olsson|ArXiv.org|2006. 06. 08.

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

한 줄 요약

이 논문은 아르틴 스택 위의 에탈 층의 유한 또는 아디크 계수를 가진 유도 범주에 대해 비정상적인 t-구조를 수립하며, 스킴 위에서의 빌리노프 이론을 일반화한다. 이는 스택 위의 비정상 층이 부드러운 위상에 관하여 스택임을 증명하며, 아르틴 스택 위에서 일관된 비정상 층의 정의를 가능하게 하고, 그로 인해 유도된 t-구조의 하트가 잘 정의됨을 보이며, 유한체 위의 스택에서 무게 필터링과 혼합 층에의 응용을 가능하게 한다.

ABSTRACT

In this paper we develop the theory of perverse sheaves on Artin stacks continuing the study in "The six operations for sheaves on Artin stacks I: Finite Coefficients" and "The six operations for sheaves on Artin stacks II: Adic Coefficients" (math.AG/0512097 and math.AG/0603680)

연구 동기 및 목표

• 그로텐디크의 여섯 연산의 프레임워크를 사용하여 비정상 층 이론을 스킴에서 아르틴 스택으로 확장하기 위해.
• 유한 또는 아디크 계수를 가진 아르틴 스택 위의 에탈 층의 유도 범주에 비정상 t-구조를 정의하기 위해.
• 이 t-구조의 하트가 아르틴 스택 위의 비정상 층의 범주임을 증명하고, 부드러운 위상에 의한 붙임(gluing)과 일관됨을 보장하기 위해.
• 유한체 위의 스택에서 혼합 비정상 층의 유도 범주가 비정상 t-구조에 의해 유도된 t-구조를 가짐을 증명하기 위해.
• 스택 위의 혼합 복합체의 전체 부분범주가 비정상 절단에 관하여 안정적임을 보이며, 따라서 t-구조를 유산함으로써.

제안 방법

• 부드러운 위상에 의한 t-구조의 붙임 레퍼런스를 사용하여, 스킴에서의 결과를 스택으로 확장하기 위해.
• 문헌 [10, 2.3.3]의 비유계 버전을 적용하여 아르틴 스택 위의 비정상 층을 정의하기 위해.
• 기저 변경과 부드러운 커버를 사용하여 t-구조의 공리를 검증함으로써, 스택 위의 층의 유도 범주에 비정상 t-구조를 구성하기 위해.
• 비정상 t-구조에 관하여 부드러운 사상에 沿한 당김이 (적절한 이동을 제외하고) t-정확하다는 사실을 활용함으로써, [5, 4.2.5]에서 확립된 결과를 활용하기 위해.
• 유한 계수(Λ_n)와 아디크 계수(Λ)를 모두 다루며, 층의 프로젝티브 시스템을 사용하여 유도 범주를 정의하기 위해.
• 붙임 설정에서 필요한 분별 삼각형을 구성하기 위해 쌍대성을 적용함으로써, t-구조 공리들이 만족됨을 보장하기 위해.

실험 결과

연구 질문

• RQ1 에탈 층의 유도 범주에 대한 비정상 t-구조는 스킴에서 아르틴 스택으로 확장될 수 있는가?
• RQ2 아르틴 스택 위의 비정상 층의 범주는 잘 정의되어 있으며, 부드러운 강하와 호환되는가?
• RQ3 유한체 위의 스택에서 혼합 비정상 층의 유도 범주는 비정상 t-구조에 의해 유도된 t-구조를 가질 수 있는가?
• RQ4 스택의 맥락에서 유한체 위의 혼합 비정상 층에 대한 무게 필터링의 구조는 어떠한가?
• RQ5 스택 위의 혼합 복합체의 범주는 비정상 절단에 관하여 안정적인가?

주요 결과

• 유한 또는 아디크 계수를 가진 에탈 층의 유도 범주에 대한 비정상 t-구조는 아르틴 스택 위에서 잘 정의되어 있으며, 그 하트는 비정상 층의 범주이다.
• 아르틴 스택 위의 비정상 층은 부드러운 위상에 관하여 스택이 되며, 국소 붙임을 통한 일관된 전역 정의를 가능하게 한다.
• 비정상 층의 아벨 범주의 유도 범주는 스택 위의 층의 유도 범주와 동치가 아니며, B𝐺𝑚의 예시로 이를 보였다.
• 유한체 위의 스택에서의 혼합 비정상 층은 그 계수들이 증가하는 무게를 가진 순수 층으로 구성된 유일한 무게 필터링을 가진다.
• 스택 위의 층의 유도 범주에서 혼합 복합체의 부분범주는 비정상 절단에 관하여 안정적이며, 따라서 t-구조를 상속한다.
• 스택 위의 혼합 비정상 층에 대한 무게 필터링은 사상과 엄격하게 호환되며, 스킴 이론의 경우를 일반화한다.