[논문 리뷰] Functorial destackification and weak factorization of orbifolds

Daniel Bergh, David Rydh|arXiv (Cornell University)|2019. 05. 02.

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

한 줄 요약

이 논문은 유한한 인ertia를 가진 스무스하고 티어드된 딜리그레-멈포드 스택에 대한 함자적 디스택파이케이션 과정을 제시하며, 임베디드 특이점의 해소가 필요 없이 스무스 중심에서의 스택적 블로우업의 열을 통해 정 stabilizer를 아벨리안화할 수 있음을 보여준다. 주요 기여는 임의의 특성수와 상대적 설정에서도 유효한 일반적인 디스택파이케이션 정리의 수립으로, 이는 이전 결과를 확장하고 티어드된 몰입 특이점의 해소 및 오르비폴드의 약한 인수분해에의 적용을 가능하게 한다.

ABSTRACT

Let X be a smooth and tame stack with finite inertia. We prove that there is a functorial sequence of blow-ups with smooth centers after which the stabilizers of X become abelian. Using this result, we can extend the destackification results of the first author to any smooth tame stack. We give applications to resolution of tame quotient singularities, prime-to-l alterations of singularities and weak factorization of Deligne-Mumford stacks. We also extend the abelianization result to infinite stabilizers in characteristic zero, generalizing earlier work of Reichstein-Youssin.

연구 동기 및 목표

• 임베디드 특이점의 해소에 의존하지 않는, 스무스하고 티어드된 딜리그레-멈포드 스택에 대한 함자적 디스택파이케이션 과정을 개발하는 것.
• 이전 결과의 제한을 극복하기 위해, 정 stabilizer의 아벨리안화를 양의 특성수와 상대적 설정으로 확장하는 것.
• 특성수 0에서 무한 stabilizer를 가진 스택으로 리히스타인-유신의 아벨리안화 결과를 일반화하는 것.
• 디스택파이케이션 기법을 기반으로 특성수 0에서 오르비폴드의 약한 인수분해를 위한 기초를 마련하는 것.
• 대수기하학에서 특이점의 해소와 스택적 수정에 관한 기존 접근법을 통합하고 단순화하는 것.

제안 방법

• 스무스 중심에서의 스택적 블로우업(일반적이고 루트 스택을 포함)의 함자적 열을 구성하여 스무스하고 티어드된 스택의 stabilizer를 아벨리안화하는 것.
• 거시 공간 사상 $X \to X_{\text{cs}}$와 그의 강화 구조 $X' \to X'_{\text{rig}}$의 분석을 통해 게르베와 루트 스택를 제어하는 것.
• 유도된 범주론과 $\operatorname{K}_0$-군 이론을 적용하여, 유한한 티어드된 군 스킴에 대해 $\operatorname{K}_0(\mathrm{B}G)$에서 코탄젠트 복합체의 자명성을 보이는 것.
• 군 스킴 $G = \Delta \rtimes H$의 구조를 활용하여 $\Delta$는 대각선이고 $H$는 상수군임을 이용해 문제를 $p$-주요 성분으로 환원하는 것.
• 짧은 정확열에 대해 $\operatorname{K}_0$-군의 가역성과 원소의 제수의 지수에 대한 귀납법을 적용하여 $\operatorname{K}_0(\mathrm{B}H)$에서 클래스의 소멸을 증명하는 것.
• 결과를 적용하여 $X'_{\text{rig}} \to X'_{\text{cs}}$가 단순 정규교차 분열에서의 반복된 루트 스택임을 보여주며, 거시 공간의 스무스성을 확보하는 것.

실험 결과

연구 질문

• RQ1 임베디드 특이점의 해소가 필요 없이, 스무스하고 티어드된 딜리그레-멈포드 스택의 stabilizer를 스택적 블로우업을 통해 함자적으로 아벨리안화할 수 있는가?
• RQ2 특이점의 해소가 실패하는 양의 특성수와 상대적 설정으로도 디스택파이케이션 과정이 확장될 수 있는가?
• RQ3 스택적 위치가 단순 정규교차 분열에 있을 때, 비아벨리안 또는 무한 stabilizer를 가진 스무스 스택에서 stabilizer의 구조는 어떠한가?
• RQ4 특성수 0에서 함자적 디스택파이케이션을 사용하여 오르비폴드의 약한 인수분해를 확립할 수 있는가?
• RQ5 유한한 티어드된 군 스킴에 대해 $\operatorname{K}_0(\mathrm{B}G)$에서 코탄젠트 복합체의 클래스가 어떤 조건에서 소멸하는가?

주요 결과

• 유한한 인ertia를 가진 임의의 스무스하고 티어드된 딜리그레-멈포드 스택의 stabilizer를 아벨리안화하는 스무스 중심에서의 스택적 블로우업의 함자적 열이 존재한다.
• 디스택파이케이션 과정은 임의의 특성수와 상대적 설정에서도 작동하며, 이전 결과가 특성수 0과 임베디드 해소를 요구했던 것을 일반화한다.
• 결과 스택 $X'$의 거시 공간 $X'_{\text{cs}}$는 스무스하며, 이는 원래 거시 공간 $X_{\text{cs}}$의 특이점 해소를 제공한다.
• $X'_{\text{rig}} \to X'_{\text{cs}}$의 사상은 단순 정규교차 분열에서의 반복된 루트 스택이며, 이는 약한 인수분해 프레임워크와의 호환성을 보장한다.
• 리히스타인-유신의 아벨리안화 정리가 특성수 0에서 무한 stabilizer를 가진 스택으로 일반화되었으며, 이는 그들의 유한군에 대한 작업을 확장한다.
• 대수적으로 닫힌 체 위의 유한한 티어드된 군 스킴에 대해 코탄젠트 복합체 $L_{\mathrm{B}G}$의 클래스는 $\operatorname{K}_0(\mathrm{B}G)$에서 소멸하며, 이는 증명의 핵심 기술적 도구이다.