[논문 리뷰] Theta-stratifications, Theta-reductive stacks, and applications

Daniel Halpern-Leistner|arXiv (Cornell University)|2016. 08. 16.

Algebraic Geometry and Number Theory참고 문헌 32인용 수 4

한 줄 요약

이 논문은 기하학적 불변 이론을 초월하여 대수기하학에서 모듈리 문제를 분석하기 위한 프레임워크로 $Θ$-분할과 $Θ$-재수성 스택을 도입한다. K-이론에서 비가환성의 가상 국소화 공식을 수립하여 고전 결과를 일반화하고, 이 이론을 활용해 유도된 범주와 보르-무어 homology의 구조 정리, 특히 K3 표면에 대해 벽을 넘는 동안 Poincaré 다항식의 불변성을 도출한다.

ABSTRACT

These are expanded notes on a lecture of the same title at the 2015 AMS summer institute in algebraic geometry. We give an introduction and overview of the "beyond geometric invariant theory" program for analyzing moduli problems in algebraic geometry. We discuss methods for analyzing stability in general moduli problems, focusing on the moduli of coherent sheaves on a smooth projective scheme as a toy example. We describe several applications: a general structure theorem for the derived category of coherent sheaves on an algebraic stack; some results on the topology of moduli stacks; and a "virtual non-abelian localization formula" in K-theory. We also propose a generalization of toric geometry to arbitrary compactifications of homogeneous spaces for algebraic groups, and formulate a conjecture on the Hodge theory of algebraic-symplectic stacks.

연구 동기 및 목표

• 기하학적 불변 이론을 초월하여 대수기하학에서 모듈리 문제를 분석할 수 있는 일반적 프레임워크를 개발하는 것.
• 각 분할이 모듈러 해석을 가지며 양호한 모듈리 공간을 갖기보다 더 가까운 $Θ$-분할을 대수적 스택에 구성하는 것.
• K-이론에서 비가환성의 가상 국소화 공식을 수립하여 원추 대칭에 대한 고전적 정리로 일반화하는 것.
• 분할이 있는 스택에서 코herent sheaf의 유도 범주의 구조 정리 증명하는 것.
• K3 표면 위의 Gieseker 반안정층 모듈리 스택의 보르-무어 homology의 Poincaré 다항식이 일반적 안정 조건의 선택에 관계없이 불변임을 보이는 것.

제안 방법

• $Θ$-재수성 확장 스택을 도입하여 $Θ$-분할의 구성 가능성을 보장하는 것.
• $\mathcal{X}^\prime$에서의 코homology 클래스 $\ell \in H^2(\mathcal{X}^\prime; \mathbb{Q})$와 $b \in H^4(\mathcal{X}^\prime; \mathbb{Q})$를 사용하여 $Θ$-안정 조건을 정의하고, 이를 분할을 유도하는 것.
• 유도 대수기하 기법을 적용하여 Kirwan의 코homology 및 보르-무어 homology에 대한 전사 정리의 분류화를 수행하는 것.
• $Θ$-분할 이론을 활용해 안정 조건의 벽을 넘는 동안의 불변량을 비교하고, 특히 K3 표면 위의 층 모듈리에 대해 적용하는 것.
• 유도된 $Θ$-분할 프레임워크를 활용해 특정 조건 하에서 반안정 부분의 코homology를 전체 스택의 코homology와 동일시하는 것.
• 가상 비가환 국소화 공식을 적용하여 Higgs 스택 모듈리 스택 위의 선다발에 대한 코homology 군의 계수를 계산하는 것.

실험 결과

연구 질문

• RQ1 기하학적 불변 이론을 초월하여 양호한 모듈리 공간이 없는 모듈리 문제를 다룰 수 있는 일반화 방법은 무엇인가?
• RQ2 $Θ$-분할이 존재하는 스택을 구성할 수 있으며, 각 분할이 모듈러 해석을 가지며 양호한 모듈리 공간을 갖기보다 더 가까운가?
• RQ3 분할이 있는 스택에서 코herent sheaf의 유도 범주의 구조는 어떻게 되는가?
• RQ4 K3 표면 위의 반안정층 모듈리 스택의 보르-무어 homology의 Poincaré 다항식은 일반적 안정 조건의 선택에 관계없이 불변인가?
• RQ5 비가환 군 작용으로 일반화된 고전적 원추 대칭 국소화 정리로 확장 가능한 K-이론에서의 가상 비가환 국소화 공식을 수립할 수 있는가?

주요 결과

• K3 표면 위의 Gieseker 반안정층 모듈리 스택의 보르-무어 homology에 대한 Poincaré 다항식은 일반적 안정 조건의 선택에 관계없이 불변이다.
• K-이론에서 비가환성의 가상 국소화 공식이 수립되었으며, 원추 대칭에 대한 고전적 정리로 일반화되고 비아벨 군 작용에 적용 가능하다.
• $\mathcal{L}$가 특정한 양의 선다발일 경우 $H^i(\mathcal{H}iggs_G^{\rm{ss}}, \mathcal{L})$는 $i > 0$일 때 0이 되며, $H^0$의 계수는 명시적 공식으로 주어진다.
• 분할이 있는 스택의 유도 범주는 Kirwan의 전사 정리의 분류화를 가능하게 하는 구조 정리를 갖는다.
• 이 이론은 안정 조건의 변화에 따라 모듈리 스택 위의 타우토로지 클래스의 지수에 대한 벽을 넘는 공식을 가능하게 한다.
• 이 프레임워크는 재수성 군의 구면 빌딩에서 유리 다면체를 사용한 토릭 기하학의 일반화를 제공한다.