[논문 리뷰] Mapping stacks and categorical notions of properness

Daniel Halpern-Leistner, Anatoly Preygel|arXiv (Cornell University)|2014. 02. 13.

Algebraic Geometry and Number Theory인용 수 6

한 줄 요약

이 논문은 전형적인 고 properness를 전형적이지 않은 스택, 예를 들어 전역 몫 스택과 같은 비고 proper 스택으로 일반화한 형식적 고 properness의 개념을 도입한다. 유도된 쿼라이코herent 복합체에 대한 h-내림내림과 형식적 고 properness 하에서 사상 스택과 코herent sheaf 스택의 표현 가능성에 대한 증명을 통해, 특히 유도 대수기하학에서 고전적 고 proper 설정을 넘어서 핵심적인 대수성 결과를 확장한다.

ABSTRACT

One fundamental consequence of a scheme $X$ being proper is that the functor classifying maps from $X$ to any other suitably nice scheme or algebraic stack is representable by an algebraic stack. This result has been generalized by replacing $X$ with a proper algebraic stack. We show, however, that it also holds when $X$ is replaced by many examples of algebraic stacks which are not proper, including many global quotient stacks. This leads us to revisit the definition of properness for stacks. We introduce the notion of a formally proper morphism of stacks and study its properties. We develop methods for establishing formal properness in a large class of examples. Along the way, we prove strong h-descent results which hold in the setting of derived algebraic geometry but not in classical algebraic geometry. Our main applications are algebraicity results for mapping stacks and the stack of coherent sheaves on a flat and formally proper stack.

연구 동기 및 목표

• 고전적 결과인 고 proper 스킴이 사상 스택을 표현 가능하게 한다는 것을 비고 proper algebraic 스택으로 일반화하기 위해.
• 기본적으로 고 proper가 아닐 경우 사상 스택의 표현 가능성에 실패한다는 점을 보여주는 예시인 $\operatorname{Map}(\mathbf{A}^1, \mathbf{A}^1)$의 비표현 가능성에 대응하여, 원천이 고 proper가 아닐 경우 사상 스택의 표현 가능성에 실패한다는 문제를 다루기 위해.
• 유도 및 등변 설정에서 고 properness의 본질적 성질을 포괄하는 새로운 범주론적 개념인 형식적 고 properness를 개발하기 위해.
• 형식적 고 properness가 $\mathscr{X}$가 고 proper가 아니어도 사상 스택 $\operatorname{Map}(\mathscr{X}, \mathscr{Y})$와 $\mathscr{X}$ 위의 코herent sheaf 스택의 대수성을 유도함을 증명하기 위해.
• 유도 대수기하학에서 $\operatorname{APerf}$, $\operatorname{Perf}$, 그리고 쿼어지오메트릭 스택에 대해 강력한 h-내림내림 결과를 확립하여, 고전적 설정에서는 실패하는 결과를 얻기 위해.

제안 방법

• 스택이 코-콪act 닫힌 부분집합에 따라 완비됨을 $\operatorname{APerf}(\mathscr{X}) \to \operatorname{APerf}(\widehat{\mathscr{X}})$의 동치로 정의함으로써 형식적 고 properness를 정의한다.
• 유도된 형식 함수 정리(derived theorem on formal functions)를 사용하여 스택의 코homological 성질과 그 형식적 완비화 사이의 관계를 연결한다.
• 특히 특성 0에서의 유도 대수기하학 기법을 활용하여 $\operatorname{APerf}$, $\operatorname{Perf}$, 그리고 쿼어지오메트릭 스택에 대한 h-내림내림을 확립한다.
• 대각선의 완전한 분해가 존재한다는 사실을 이용하여 코homologically 앰플리 및 코homologically 프로젝티브 사상이 형식적으로 고 proper하다는 것을 증명한다.
• Tannakian 형식론과 코 tangent 복합체 기법을 적용하여 사상 스택과 코herent sheaf 스택의 대수성을 분석한다.
• fppf-국소성과 기본 변경 성질을 사용하여 코homological 차원 조건 (CD) 이 기본 변경과 내림내림에 대해 안정됨을 입증함으로써 내림내림 결과를 확보한다.

실험 결과

연구 질문

• RQ1 비고 proper algebraic 스택으로까지 확장될 수 있는 사상 스택의 표현 가능성은 가능한가?
• RQ2 유도 대수기하학에서 고전적 고 properness를 일반화하면서도 핵심 표현 가능성 성질을 유지하는 새로운 범주론적 고 properness 개념은 무엇인가?
• RQ3 유도 설정에서 유도된 쿼라이코herent 복합체에 대한 h-내림내림은 어떻게 확립할 수 있으며, 왜 고전적 설정에서는 실패하는가?
• RQ4 스택 $\mathscr{X}$가 고 proper가 아니어도 $\mathscr{X}$ 위의 코herent sheaf 스택이 대수적인 조건은 무엇인가?
• RQ5 형식적 고 properness가 사상 스택 $\operatorname{Map}(\mathscr{X}, \mathscr{Y})$와 $\mathscr{X}$ 위의 코herent sheaf 스택의 대수성에 얼마나 강하게 영향을 미치는가?

주요 결과

• 형식적 고 properness는 $\operatorname{APerf}(\mathscr{X}) \to \operatorname{APerf}(\widehat{\mathscr{X}})$의 동치로 정의되며, 이는 $\mathscr{Y}$가 quasi-compact하고 quasi-separated일 경우 사상 스택 $\operatorname{Map}(\mathscr{X}, \mathscr{Y})$의 대수성을 보장하는 충분조건이다.
• 기초 위에서 평탄하고 형식적으로 고 proper한 스택 $\mathscr{X}$ 위의 코herent sheaf 스택은 대수적이며, 이는 고전 결과를 비고 proper 설정으로 확장한다.
• 코homologically 프로젝티브 사상은 형식적으로 고 proper하며, 이는 전역 몫 스택인 $\mathbf{A}^1/\mathbf{G}_m$와 같은 넓은 범주의 예를 제공한다.
• 유도 대수기하학에서 $\operatorname{APerf}$, $\operatorname{Perf}$, 그리고 쿼어지오메트릭 스택에 대해 강력한 h-내림내림이 성립하며, 이는 고전적 설정에서는 실패하는 결과이다.
• 특성 0에서, 대각선이 아핀이고 안정자군이 유한한 유한 유형의 유도 스택는 코homological 차원 조건 (CD)를 만족하며, 이는 형식적 고 properness에 있어 필수적이다.
• 모든 기초에 대해 코homological 차원이 최대 $d$ 이하인 성질은 기초에 대해 fppf-국소적이며, 이는 내림내림과 기본 변경에 대한 안정성을 보장한다.