[논문 리뷰] Canonical reduction of stabilizers for Artin stacks with good moduli spaces

Dan Edidin, David Rydh|arXiv (Cornell University)|2017. 10. 09.

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

한 줄 요약

이 논문은 좋은 모듈리 공간을 가진 아르틴 스택에 대해 키르와노의 부분 분해 정리의 일반화를 제시한다. 이를 위해 안정자기군 차원을 단계적으로 줄이는 균일한 순서의 비라시onal 사상의 시퀀스를 구성한다. 핵심 결과는 좋은 모듈리 공간에 대해 함의적이고, 사영적이며, 비라시onal인 분해 정리 과정을 제공하며, 원래 스택이 매끄럽다면 희생적 몫 특이점의 해소를 이룬다.

ABSTRACT

We present a complete generalization of Kirwan's partial desingularization theorem on quotients of smooth varieties. Precisely, we prove that if $\mathcal{X}$ is an irreducible Artin stack with stable good moduli space $\mathcal{X} o X$, then there is a canonical sequence of birational morphisms of Artin stacks $\mathcal{X}_n o \mathcal{X}_{n-1} o \ldots o \mathcal{X}_0 = \mathcal{X}$ with the following properties: (1) the maximum dimension of a stabilizer of a point of $\mathcal{X}_{k+1}$ is strictly smaller than the maximum dimension of a stabilizer of $\mathcal{X}_k$ and the final stack $\mathcal{X}_n$ has constant stabilizer dimension; (2) the morphisms $\mathcal{X}_{k+1} o \mathcal{X}_k$ induce projective and birational morphisms of good moduli spaces $X_{k+1} o X_{k}$. If in addition the stack $\mathcal{X}$ is smooth, then each of the intermediate stacks $\mathcal{X}_k$ is smooth and the final stack $\mathcal{X}_n$ is a gerbe over a tame stack. In this case the algebraic space $X_n$ has tame quotient singularities and is a partial desingularization of the good moduli space $X$. When $\mathcal{X}$ is smooth our result can be combined with D. Bergh's recent destackification theorem for tame stacks to obtain a full desingularization of the algebraic space $X$.

연구 동기 및 목표

• 기하학적 불변량 이론(기하학적 불변량 이론)의 몫에 대한 키르와노의 부분 분해 정리를 일반적인 아르틴 스택의 좋은 모듈리 공간으로 확장한다.
• 스택의 블로우업 수정을 통해 좋은 모듈리 공간의 특이점을 균일하고 함의적으로, 비라시onal 방식으로 해소한다.
• 좋은 모듈리 공간의 구조를 유지하면서 아르틴 스택의 안정자기군 차원을 체계적으로 감소시키는 방법을 제공한다.
• 베르그의 스택 해체 정리와 호환되는 프레임워크를 구축하여 임의의 특성에서의 완전한 분해 정리를 확보한다.
• 전통적인 기하학적 불변량 이론의 매끄럽고 특성 0인 설정을 넘어서 부분 분해 정의를 일반화한다.

제안 방법

• 최대 안정자기군 차원을 가진 부분 스택에 대해 반복적으로 블로우업을 수행함으로써 아르틴 스택의 균일한 비라시onal 사상의 순서를 구성한다.
• 스택 이론적이고 모듈리에 적합한 방식으로 블로우업을 수행하기 위해 포화 블로우업과 라이히슈타인 변환을 사용한다.
• 최대 차원의 안정자기군을 갖는 점들을 매개하는 닫힌 부분스택으로서 $\mathcal{X}^{\mathrm{max}}$를 정의한다.
• 각 블로우업이 대응하는 좋은 모듈리 공간에 대해 사영적이고 비라시onal인 사상이 유도됨을 증명한다.
• 좋은 모듈리 공간의 국소 구조 정리를 사용하여 문제를 국소 군 작용으로 환원한다.
• 기저와 강화 이론을 사용하여 안정자기군 감소와 희생적 몫 특이점의 분석을 수행한다.

실험 결과

연구 질문

• RQ1 키르와노의 부분 분해 정리는 매끄럽고 복소수 선형 작용을 갖는 대상에서 일반적인 아르틴 스택의 좋은 모듈리 공간으로 확장될 수 있는가?
• RQ2 스택의 안정자기군 차원을 감소시키는 과정이 비라시onal성과 모듈리 공간의 사영성을 유지하면서도 균일하고 함의적인가?
• RQ3 특성 0이 아닌 경우, 특히 선형 재구성 조건이 존재하는 상황에서 안정자기군 차원 감소 과정은 어떻게 행동하는가?
• RQ4 이 과정을 스택 해체 정리와 조합하여 좋은 모듈리 공간의 완전한 특이점 해소를 이룰 수 있는가?
• RQ5 포화 블로우업과 도널드슨-톰슨 이론에서 사용되는 내재적 블로우업 간의 정확한 관계는 무엇인가?

주요 결과

• 모든 기약 아르틴 스택 $\mathcal{X}$와 그 안정적인 좋은 모듈리 공간 $\mathbf{X}$에 대해, 최대 안정자기군 차원이 각 단계에서 엄밀히 감소하는 균일한 비라시onal 사상의 순서 $\mathcal{X}_n \to \cdots \to \mathcal{X}_0 = \mathcal{X}$ 가 존재한다.
• 좋은 모듈리 공간에 유도된 사상 $\mathbf{X}_{k+1} \to \mathbf{X}_k$ 는 사영적이고 비라시onal이다.
• 만약 $\mathcal{X}$ 가 매끄럽다면, 모든 중간 스택 $\mathcal{X}_k$ 도 매끄럽고, 최종 스택 $\mathcal{X}_n$ 은 $\mathbf{X}_n$ 이 희생적 몫 특이점을 갖는 희생적 스택 위의 기저 스택이 된다.
• 만약 $\mathcal{X}$ 가 매끄럽다면, 최종 모듈리 공간 $\mathbf{X}_n$ 은 $\mathbf{X}$ 의 부분 분해 정리로 간주되며, 균일하고 함의적인 과정을 통해 특이점을 해소한다.
• 매끄러운 경우, 이 결과를 베르그의 스택 해체 정리와 결합하면 임의의 특성에서 $\mathbf{X}$ 의 특이점에 대한 완전한 해소를 이룬다.
• 키르와노의 복잡한 블로우업 분석을 피하기 위해 스택 이론적 설정에서 직접 작업하며, 안정자기군의 선형 재구성 조건 덕분에 양의 특성에서도 적용 가능하다.