[논문 리뷰] The Minimal Model Program for the Hilbert Scheme of Points on P^2 and Bridgeland Stability

Daniele Arcara, Aaron Bertram외 2명|arXiv (Cornell University)|2012. 03. 01.

Algebraic Geometry and Number Theory참고 문헌 20인용 수 16

한 줄 요약

이 논문은 $\mathbb{P}^{2[n]}$의 Hilbert 스킴에 대한 최소 모델 프로그램(MMP)에서의 플립과 Bridgeland 안정성 조건의 벽을 넘는 현상 사이에 정확한 대응 관계를 설정한다. MMP를 통해 유도되는 $\mathbb{P}^{2[n]}$의 비유리 모델들이 모odular하다는 것을 보이며, 이는 quiver 표현의 GIT 족으로 구성된 Bridgeland 반안정 대상들을 매개한다는 것을 의미한다. 또한 $n \leq 9$에 대해 안정 기저 구역 분해와 벽을 명시적으로 계산한다. 주요 기여는 $n \leq 9$일 때 Bridgeland 안정성의 벽과 Mori 콘의 벽을 넘는 현상 사이에 완전한 사전을 제공하며, 플립과 면 수축의 구체적 기술을 포함한다.

ABSTRACT

In this paper, we study the birational geometry of the Hilbert scheme of n points on P^2. We discuss the stable base locus decomposition of the effective cone and the corresponding birational models. We give modular interpretations to the models in terms of moduli spaces of Bridgeland semi-stable objects. We construct these moduli spaces as moduli spaces of quiver representations using G.I.T. and thus show that they are projective. There is a precise correspondence between wall-crossings in the Bridgeland stability manifold and wall-crossings between Mori cones. For n at most 9, we explicitly determine the walls in both interpretations and describe the corresponding flips and divisorial contractions.

연구 동기 및 목표

• Hilbert 스킴 $\mathbb{P}^{2[n]}$의 비유리 기하학을 최소 모델 프로그램(MMP)을 통해 이해하기.
• Bridgeland 안정성 다양체의 벽을 넘는 현상과 $\mathbb{P}^{2[n]}$의 Mori 콘에서의 벽을 넘는 현상 사이의 대응 관계 수립하기.
• $\mathbb{P}^{2[n]}$의 비유리 모델들이 Bridgeland 반안정 대상의 모듈리 공간으로서의 모듈러 해석을 제공하기.
• 이러한 모듈리 공간들을 quiver 표현의 GIT 족으로 명시적으로 구성하여 그들의 프로젝티브성을 증명하기.
• $n \leq 9$에 대해 안정 기저 구역 분해와 벽을 명시적으로 계산하기, 플립과 면 수축 포함.

제안 방법

• $\mathbb{P}^{2[n]}$에서 최소 모델 프로그램(MMP)을 실행하여, 유한한 안정 기저 구역 분해를 갖는 Mori 꿈 공간임을 보임.
• Steiner bundle $E$의 절단에 독립 조건을 부여하지 못하는 부분 스킴을 매개하는 효과적 교각 $D_E(n)$를 정의하며, 이는 안정 기저 구역 분해에서의 벽을 형성함.
• Bridgeland 안정성 조건을 $D^b(\text{coh} \, \mathbb{P}^2)$에 적용하여, $n=9$일 때 중심이 $x = -\frac{19}{2}, -\frac{17}{2}, \dots, -\frac{9}{2}$인 $(s,t)$-평면 상의 반원으로서의 벽을 식별함. 이는 $\mathcal{O}_{\mathbb{P}^2}(-1)$, $\mathcal{I}_p(-1)$, $\mathcal{O}_{\mathbb{P}^2}(-3)$ 등의 불안정화 대상과 관련됨.
• Bridgeland 반안정 대상의 모듈리 공간을 quiver 표현의 GIT 족으로 구성하여, 이들이 프로젝티브 다양체임을 증명함.
• $n \leq 9$일 때, Bridgeland 안정성 다양체와 Mori 콘 양쪽에서의 벽을 명시적으로 계산하여, 두 벽 집합 사이에 일대일 대응이 있음을 보임.
• 최종 챔버에서 $n=9$의 안정 기저 구역이 삼차 곡선에 대해 독립 조건을 부여하지 못하는 스킴의 집합임을 확인함. 이 집합에는 두 삼차 곡선의 완전 교차가 포함되지 않으며, 이들은 최종 챔버의 안정 기저 구역에 남아 있음.

실험 결과

연구 질문

• RQ1 Bridgeland 안정성 다양체에서의 벽을 넘는 현상이 $\mathbb{P}^{2[n]}$의 최소 모델 프로그램에서의 플립과 면 수축과 어떻게 대응되는가?
• RQ2 $n \leq 9$일 때 $\mathbb{P}^{2[n]}$의 효과적 콘의 안정 기저 구역 분해의 정확한 구조는 무엇인가?
• RQ3 MMP를 통해 유도된 $\mathbb{P}^{2[n]}$의 비유리 모델들이 Bridgeland 반안정 대상의 모듈리 공간으로서의 모듈러 해석을 가질 수 있는가?
• RQ4 이러한 모듈리 공간들을 명시적으로 quiver 표현의 GIT 족으로 구성하여 프로젝티브성을 보장할 수 있는가?
• RQ5 $\mathbb{P}^{2[9]}$의 안정 기저 구역 분해에서 최종 챔버의 안정 기저 구역은 무엇인가?

주요 결과

• $n \leq 9$일 때, $\mathbb{P}^{2[n]}$의 효과적 콘의 안정 기저 구역 분해는 유한한 분해이며, 이는 유리 다면체 콘들로 나뉘며, 저자들이 $n \leq 9$에 대해 모든 벽을 명시적으로 결정함.
• $n = \frac{r(r+1)}{2} + s$일 때, $\mathbb{P}^{2[n]}$의 효과적 콘은 경계 교각 $B$와 $D_E(n)$에 의해 생성되며, 이는 $s/r$ 또는 $1 - \frac{s+1}{r+2}$가 황금률과 피보나치 비율과 관련된 집합에 속할 때 성립함.
• 저자들은 quiver 표현의 GIT 족으로 Bridgeland 반안정 대상의 모듈리 공간을 구성하여, 이들이 프로젝티브 다양체임을 증명함.
• Bridgeland 안정성 다양체에서의 벽을 넘는 현상과 $\mathbb{P}^{2[n]}$의 Mori 콘에서의 벽을 넘는 현상 사이에 정확한 일대일 대응이 있으며, 양쪽 모두 $(s,t)$-평면 상의 반원으로 매개됨.
• $n=9$일 때, 최종 챔버의 안정 기저 구역은 삼차 곡선에 대해 독립 조건을 부여하지 못하는 9차 스킴의 집합이며, 두 삼차 곡선의 완전 교차는 제외됨.
• 두 삼차 곡선의 완전 교차는 최종 챔버의 안정 기저 구역에 속하지 않음. 이는 $E_k$의 절단에 대해 독립 조건을 부여하기 때문이며, 이는 $H - \frac{k}{6k+2}B$ 방향의 반사들에 의해 생성되며, $k \to \infty$일 때 $H - \frac{1}{6}B$로 수렴함.