[논문 리뷰] Moduli of complexes on a proper morphism

Max Lieblich|arXiv (Cornell University)|2005. 02. 09.

Algebraic structures and combinatorial models참고 문헌 9인용 수 9

한 줄 요약

이 논문은 $X \to S$에 대한 적절한 사상에서의 복합체의 매개공간, 특히 보편적으로 접합 가능한, 일정한 Ext-소멸 조건을 만족하는 완전 복합체들—이들이 $S$ 위에서 국소적으로 유한형이면서 아르틴 스택임을 증명한다. 변형 이론, 그로텐디크의 존재 정리, 아르틴의 대표 가능성 기준을 이용하여 저자는 이전의 층 매개공간 결과들을 일반화하고 통합하는 기초적인 매개공간 스택을 구축한다. 이는 이나바의 단순 복합체에 대한 결과를 포함한다.

ABSTRACT

Given a proper morphism X -> S, we show that a large class of objects in the derived category of X naturally form an Artin stack locally of finite presentation over S. This class includes S-flat coherent sheaves and, more generally, contains the collection of all S-flat objects which can appear in the heart of a reasonable sheaf of t-structures on X. In this sense, this is the Mother of all Moduli Spaces (of sheaves). The proof proceeds by studying the finite presentation properties, deformation theory, and Grothendieck existence theorem for objects in the derived category, and then applying Artin's representability theorem.

연구 동기 및 목표

• 유도 범주에서의 적절한 사상 $X \to S$에 대한 복합체를 위한 일반적인 매개공간 스택을 구축하여, 대수기하학의 다양한 매개공간 문제들을 통합한다.
• 이나바의 단순 복합체에 대한 매개공간 결과를 $t$-구조에서 유래하는 더 넓은 객체의 클래스로 확장한다.
• 특히 브리지드란 안정성 조건과 플롭에 관련된 객체들에 대해, 유도 범주에서의 객체들의 매개공간을 연구하기 위한 기초 프레임워크를 제공한다.
• 유도 대수기하학의 전체 발전 이전에 고전적 기법을 사용하여 매개공간 스택의 대수성(알제브라이시티)을 확립한다.
• 관성 스택과 게르베의 구조를 통해 자동형사상과 브라우어 오염의 역할을 명확히 한다.

제안 방법

• 아르틴의 대표 가능성 기준을 적용하여, $\operatorname{Ext}^i(E_s, E_s) = 0$ ($i < 0$) 조건을 만족하는 보편적으로 접합 가능한 완전 복합체의 스택이 아르틴 스택임을 증명한다.
• 복합체의 변형 이론을 적용하여, 자유 해석을 통해 애초에 아핀 경우로 줄이고, 일반 경우로의 부트스트랩을 수행한다.
• 형식적 변형의 효과성은 비자명한 코호몰로지 층의 수에 대한 귀납법을 통해 증명하며, 이는 코herent 층에 대한 그로텐디크의 존재 정리로 감소된다.
• 매개공간 문제의 유한성 및 분리 조건을 이용하여, 매개공간 스택의 유한형 및 분리된 대각선 성질을 확립한다.
• 고정 기법을 활용하여 단순 복합체의 매개공간 스택의 층화를 표현하는 대수적 공간을 구성한다.
• 관성 스택을 이용하여 단순 복합체의 계열을 열린 부분스택으로 식별하고, $\mathbf{G}_m$에 대한 몫이 대수적 공간 위에 게르베를 이룬다는 것을 보인다.

실험 결과

연구 질문

• RQ1 적절한 사상 $X \to S$의 유도 범주에서의 복합체 매개공간이 고전적 기법을 사용하여 대수적임을 보일 수 있는가?
• RQ2 어떤 조건을 만족하는 복합체들이 그 매개공간이 기저 위에서 국소적으로 유한형인 아르틴 스택이 되게 하는가?
• RQ3 복합체의 변형 이론은 그 매개공간 스택의 대수성과 어떻게 관련되는가?
• RQ4 완전 복합체의 일반 매개공간 스택이 기하학적 매개공간 문제의 보편적 매개공간으로서 얼마나 넓게 활용될 수 있는가?
• RQ5 모든 이러한 복합체의 매개공간 스택과 단순 복합체의 매개공간 사이의 관계는 무엇이며, 브라우어 클래스는 어떻게 유도되는가?

주요 결과

• $\mathscr{D}_{\operatorname{pug}}^{\mathit{b}}(X/S)$는 보편적으로 접합 가능한, 음의 Ext 소멸 조건을 만족하는 완전 복합체를 매개하는 스택으로, $S$ 위에서 국소적으로 유한형인 아르틴 스택이다.
• 매개공간 스택의 대각선은 분리되어 있으며, 현대 용어로는 대수성에 대해 강력한 조건을 만족한다.
• 단순 복합체—즉, 스칼라 자동형사상만을 가지는 복합체—의 계열은 열린 부분스택이며, 관성 스택의 섬유 차원을 통해 식별된다.
• 단순 복합체의 매개공간 스택은 $\mathbf{G}_m$-게르베 구조를 가지며, 그 층화는 국소적으로 유한형인 대수적 공간에 의해 표현된다.
• 이 구성은 이나바의 노에테리안 스킴의 프로젝티브 사상 위에서 단순 복합체의 매개공간에 대한 결과를 복구하고 확장한다.
• 이 프레임워크는 브리지드란의 플롭 구축 및 유도 방법을 통한 가상 기본 클래스의 향후 적용을 위한 자연스러운 설정을 제공한다.