[논문 리뷰] Existence of moduli spaces for algebraic stacks

Jarod Alper, Daniel Halpern-Leistner외 1명|arXiv (Cornell University)|2018. 12. 03.

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

한 줄 요약

이 논문은 자동형군이 양의 차원을 가진 대수적 스택에 대해 양호한 모듈리 공간의 존재를 위한 필요하고도 충분한 조건을 확립하며, Keel–Mori 정리의 일반화이다. Θ-재수성과 S-완전성이라는 기하학적 기준을 도입하여 분리되거나 올바른 양호한 모듈리 공간의 존재를 보장하며, Θ-분할을 이용한 준안정 환원 정리를 증명하여 G-_bundle과 애벨리안 범주 내의 대상에 대한 모듈리 문제에 적용 가능하다.

ABSTRACT

We provide necessary and sufficient conditions for when an algebraic stack admits a good moduli space and prove a semistable reduction theorem for points of algebraic stacks equipped with a $Θ$-stratification. These results provide a generalization of the Keel--Mori theorem to moduli problems whose objects have positive dimensional automorphism groups and give criteria on the moduli problem to have a separated or proper good moduli space. To illustrate our method, we apply these results to construct proper moduli spaces parameterizing semistable $\mathcal{G}$-bundles on curves and moduli spaces for objects in abelian categories.

연구 동기 및 목표

• 자기 동형군이 양의 차원을 가진 대수적 스택에 대해 Keel–Mori 정리를 확장하여, 유한한 관계성 조건이 더 이상 성립하지 않는 경우를 다루는 것.
• GIT과 일반 모듈리 공간 구성 방법을 일반화하는 내재적이고 기하학적인 기준을 통해 양호한 모듈리 공간의 존재 조건을 제공하는 것.
• Θ-분할을 갖춘 스택에 대해 준안정 환원 정리를 수립하여 올바른 모듈리 공간을 구성하는 것.
• 이러한 프레임워크를 G-bundle과 애벨리안 범주 내의 대상과 같은 구체적인 모듈리 문제에 적용하는 것.

제안 방법

• 스택 $\Theta = [\mathbb{A}^1 / \mathbb{G}_m]$ 에 대한 사상들을 이용해 Θ-재수성 사상의 개념을 도입하여, 특수화에 따른 분할의 확장을 캡처하는 것.
• S-완전성은 DVR 위의 가족이 일반점에서 동형일 경우에만 기본 수정을 통해 다를 수 있도록 보장하는 기하학적 조건으로 정의한다.
• 끊어지지 않은 관계성의 개념을 사용해 자동형군의 특수화를 제어하며, Keel–Mori 정리에서의 유한한 관계성 가정을 일반화한다.
• 유한형이지만 유한한 관계성을 갖지 않는 스택의 경우, 주로 유한 생성 설정에서의 국소적 검증을 가능하게 하는 DVR에 대한 평가 기준을 적용한다.
• DVR에서의 사상 확장을 블로우업과 아핀 블로우업 대수에서의 정규화를 통해 구성하는 준안정 환원 정리를 적용한다.
• 좋은 모듈리 공간 이론을 활용하여, 준층의 편재가 정확하고, 자연스러운 사상 $\mathcal{O}_X \to q_* \mathcal{O}_\mathcal{X}$ 가 동형임을 보장한다.

실험 결과

연구 질문

• RQ1 자기 동형군이 양의 차원을 가진 대수적 스택이 양호한 모듈리 공간을 갖기 위한 기하학적 조건은 무엇인가?
• RQ2 유한형이 아니며 유한한 관계성을 갖지 않는 스택에 대해 준안정성의 개념을 어떻게 내재적으로 정의할 수 있는가?
• RQ3 특히 자동형군이 유한하지 않을 경우, 양호한 모듈리 공간이 분리되거나 올바른지를 보장하는 조건은 무엇인가?
• RQ4 Θ-분할을 사용하여 자동형군이 유한하지 않은 스택에 대해 준안정 환원 정리를 일반화할 수 있는가?
• RQ5 우수한 기초 위에서 유한형이지만 유한형이 아닌 DVR을 사용하여 올바름의 평가 기준을 어떻게 확인할 수 있는가?

주요 결과

• 특성 0인 노에테르 기저 위의 대수적 스택 $\mathcal{X}$ 는 분리된 양호한 모듈리 공간을 가질 필요가 있고 충분히, $\mathcal{X}$ 가 Θ-재수성이고 S-완전할 때이다.
• S-완전성 조건은 닫힌 점의 자동형군이 재수성임을 의미하며, 자동형군의 연결 성분이 닫힌 점으로 특수화됨을 보장한다.
• 준안정 환원 정리는 DVR에서 $\mathcal{X}$ 로의 사상이 일반점에서 동형일 경우, 유한 확장과 기본 수정을 거쳐 확장됨을 보장한다.
• 곡선 위의 $\mathcal{G}$-터소르에 대해 양호한 모듈리 공간을 구성하면, 준안정 $\mathcal{G}$-bundle을 매개변수화하는 올바른 모듈리 공간이 얻어진다.
• 애벨리안 범주 내의 대상에 대해선 동일한 Θ-재수성과 S-완전성 조건이 성립할 경우, 양호한 모듈리 공간의 존재가 보장되며, 기존의 층과 벡터 번들의 결과를 일반화한다.
• 논문은 스택이 분리되어 있지 않더라도, 올바름의 평가 기준을 검증하는 것으로 충분하여 좋은 모듈리 공간이 올바름을 보임을 증명한다.