[논문 리뷰] Tame stacks in positive characteristic

Dan Abramovich, Martin Olsson외 1명|ArXiv.org|2007. 03. 11.

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

한 줄 요약

이 논문은 특성 0에서의 Deligne–Mumford 스택에 대한 강력한 대안으로, 양의 특성에서의 희생 스택을 도입한다. 이는 스택의 코arse 모듈리 공간으로의 준위층의 pushforward 함자가 정확한 것으로 특징지어진다. 주요 결과는 희생 스택이 국소적으로 에탈레 위상에서 유한한 평탄하고 선형적으로 재조합 가능한 군 스킴에 의한 몫 표현 $[U/G]$를 갖는다는 것을 보여주며, 이는 양의 특성 설정에서 강력한 기하학적 및 코homological 성질을 가능하게 한다.

ABSTRACT

We introduce and study a class of algebraic stacks with finite inertia in positive and mixed characteristic, which we call tame algebraic stacks. They include tame Deligne-Mumford stacks, and are arguably better behaved than general Deligne-Mumford stacks. We also give a complete characterization of finite flat linearly reductive schemes over an arbitrary base. Our main result is that tame algebraic stacks are étale locally quotient by actions of linearly reductive finite group schemes. In a subsequent paper we will show that tame algebraic stacks admit a good theory of stable maps.

연구 동기 및 목표

• 표준적인 Deligne–Mumford 스택 성질이 특성으로 나누어지는 군 작용 때문에 실패하는 양의 특성 및 혼합 특성에서 희생 스택을 정의하고 연구하기 위해.
• 스택의 준위층을 그 코arse 모듈리 공간으로 보낸 pushforward 함수가 정확한 스택의 클래스를 식별하여, 더 나은 코homological 행동을 보장하기 위해.
• 희생 스택이 국소적으로 에탈레 위상에서 유한한 평탄하고 선형적으로 재조합 가능한 군 스킴에 의한 몫 $[U/G]$로 표현 가능하다는 국소 구조 정리 수립.
• 임의의 기저 위에서의 유한한 평탄하고 선형적으로 재조합 가능한 군 스킴을 분류하기, 이는 이론의 기본 도구이다.
• 모듈리 이론에 기반하여, 희생 타깃을 갖는 왜곡된 곡선과 안정적 사상의 구축을 위한 프레임워크 제공.

제안 방법

• 스택이 코arse 모듈리 공간 $M$으로의 준위층의 pushforward 함자 $\operatorname{QCoh}(\mathcal{M}) \to \operatorname{QCoh}(M)$가 정확할 경우, 희생 스택으로 정의한다.
• 스택이 희생일 필요충분조건으로, 에탈레 위상에서 유한한 평탄하고 선형적으로 재조합 가능한 군 $G$에 의한 몫 $[U/G]$로 국소적으로 동형임을 증명한다.
• 유한한 평탄하고 선형적으로 재조합 가능한 군 스킴의 분류를 개발: $1 \to \Delta \to G_x \to Q \to 1$ 형태의 확장으로, $\Delta$는 대각화 가능하고 $Q$는 희생적이고 에탈레이다.
• fppf 및 에탈 위상 기법을 사용하여 게르베와 강화를 분석하고, $\mathcal{X} \mathbin{\!\!\boldsymbol{\fatslash}} G$가 군 스킴 $G$-torsor를 갖는 대수적 스택임을 증명한다.
• 아르틴의 대수화 정리들을 적용하여 몫 구성에서의 Hom-층이 대수적 공간임을 보인다.
• 컨볼루션 호몰로지 대수 $\mathbf{H}_G$와 코행렬을 사용하여 $G$--equivariant 준위층을 정의하고 그 내림성질을 연구한다.

실험 결과

연구 질문

• RQ1 준위층의 pushforward가 양의 특성에서 스택에서 그 코arse 모듈리 공간으로 정확한데 필요한 조건은 무엇인가?
• RQ2 표준 성질이 실패하는 양의 특성에서, Deligne–Mumford 스택과 유사하게 행동하는 대수적 스택을 어떻게 특징지을 수 있는가?
• RQ3 스킴 위에서의 유한한 평탄하고 선형적으로 재조합 가능한 군 스킴의 구조는 무엇인가?
• RQ4 희생 스택은 에탈레 위상에서 국소적으로 몫 $[U/G]$로 표현될 수 있는가? 그리고 이는 fppf 표현보다 왜 더 강력한가?
• RQ5 희생 스택 이론은 양의 특성에서의 왜곡된 안정적 사상과 곡선의 모듈리 구축을 어떻게 지원하는가?

주요 결과

• 유한한 대각선을 갖는 스택은 $\operatorname{QCoh}(\mathcal{M}) \to \operatorname{QCoh}(M)$의 pushforward 함수가 정확할 때이고, 뿐만 아니라 희생 스택이다.
• 희생 스택은 에탈레 위상에서 유한한 평탄하고 선형적으로 재조합 가능한 군 스킴에 의한 몫 $[U/G]$로 국소적으로 동형이다.
• 유한한 평탄하고 선형적으로 재조합 가능한 군 스킴의 기하학적 섬유는 대각화 가능 군에 의해 확장된, 희생적이고 에탈레인 몫 군으로 이루어져 있다.
• 희생 스택의 코arse 모듈리 공간 형성은 임의의 기저 변경과 가환한다.
• 희생 성질은 인발에 의해 유지되며, 원래 스택이 평탄할 경우 희생 스택의 코arse 모듈리 공간은 기저 위에서 평탄하다.
• 강화 구성 $\mathcal{X} \mathbin{\!\!\boldsymbol{\fatslash}} G$는 대수적 스택을 얻으며, 몫 사상은 $\mathcal{B}_T G_\xi$를 섬유로 갖는 fppf 게르베이다.