[논문 리뷰] Existence of quotients by finite groups and coarse moduli spaces

David Rydh|arXiv (Cornell University)|2007. 08. 24.

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

한 줄 요약

이 논문은 유한한 관계를 갖는 대수적 스택에 대해 일반적인 대수기하 기법을 사용하여 노에테리안 가정에 의존하지 않고, 군의 작용에 의한 몫의 일반화를 비노에테리안 설정으로 확장하고, 유한한 관계를 갖는 대수적 스택에 대해 코arse 모듈리 공간의 존재를 증명하며, 유한한 대각선을 갖는 스택에 대해 국소적으로 준유한 평탄한 커버의 존재를 증명한다. 주요 기여는 유한군에 의한 몫에 대한 키틀과 모리의 결과를 일반적인 대수적 스택과 유한한 안정자기를 갖는 공간으로 광범위하게 일반화한 것이다.

ABSTRACT

Abstract. In this paper we prove the existence of several quotients in a very general setting. We consider finite group actions and more generally groupoid actions with finite stabilizers generalizing the results of Keel and Mori. In particular we show that any algebraic stack with finite inertia stack has a coarse moduli space. We also show that any algebraic stack with quasi-finite diagonal has a locally quasi-finite flat cover. The proofs do not use noetherian methods and are valid for general algebraic spaces and algebraic stacks.

연구 동기 및 목표

• 유한군 작용에 의한 몫의 존재를 더 넓은 범주인 대수적 스택과 공간으로 일반화하기 위해.
• 유한한 관계를 갖는 대수적 스택에 대해 코arse 모듈리 공간의 존재를 확립하기 위해.
• 유한한 대각선을 갖는 대수적 스택에 대해 국소적으로 준유한 평탄한 커버의 존재를 증명하기 위해.
• 노에테리안 설정을 초월하여 키틀과 모리의 결과를 일반적인 대수적 공간과 스택으로 확장하기 위해.
• 노에테리안 가정에 의존하지 않는 몫 구성의 프레임워크를 개발하기 위해.

제안 방법

• 유한한 안정자를 갖는 군의 작용을 사용하여 대수적 공간 위에서의 유한군 작용을 일반화하기 위해.
• 노에테리안 가정이 필요 없는 대수기하 기법을 적용하기 위해.
• 관성 스택의 구조를 활용하여 몫의 성질를 유도하기 위해.
• 유한한 관계를 갖는 스택에 대해 코arse 모듈리 공간을 보편 성질을 통해 구성하기 위해.
• 준유한 대각선 조건을 사용하여 국소적으로 준유한 평탄한 커버의 존재를 증명하기 위해.
• 대수적 스택과 공간의 맥락에서 내림내림과 표현 가능성의 논증을 활용하기 위해.

실험 결과

연구 질문

• RQ1 어떤 일반적인 조건 하에서 대수적 스택이 코arse 모듈리 공간을 갖는가?
• RQ2 노에테리안 케이스를 초월하여 유한군 작용에 의한 몫의 존재를 확장할 수 있는가?
• RQ3 어떤 조건이 대수적 스택에 대해 국소적으로 준유한 평탄한 커버의 존재를 보장하는가?
• RQ4 유한한 안정자와 준유한 대각선은 모듈리 공간의 존재와 어떻게 관련되는가?
• RQ5 키틀과 모리의 몫에 대한 결과는 비노에테리안 설정으로 얼마나 광범위하게 일반화될 수 있는가?

주요 결과

• 유한한 관성 스택을 갖는 모든 대수적 스택은 코arse 모듈리 공간을 갖는다.
• 준유한 대각선을 갖는 모든 대수적 스택은 국소적으로 준유한 평탄한 커버를 갖는다.
• 결과는 노에테리안 가정 없이 일반적인 대수적 공간과 대수적 스택에 대해 성립한다.
• 몫의 구성은 고전적인 키틀과 모리의 결과를 더 넓은 기하적 맥락으로 일반화한다.
• 사용된 방법은 대수기하학에 내재되어 있으며, 유한성 또는 노에테리안 조건에 의존하지 않는다.
• 스택의 관성에 대한 최소한의 구조적 가정 하에서 코arse 모듈리 공간의 존재가 확립된다.