[논문 리뷰] Flops of G-Hilb and equivalences of derived categories by variation of GIT quotient

Alastair Craw, Akira Ishii|arXiv (Cornell University)|2002. 11. 22.

Advanced Algebra and Geometry인용 수 4

한 줄 요약

이 논문은 유한 아벨 부분군 $G \subset \mathrm{SL}(3,\mathbb{C})$에 대해, 몫 특이점 $\mathbb{C}^3/G$의 모든 프로젝티브 크레팬트 해소가 GIT 쿼터런트의 변화를 통한 $\theta$-안정적 $G$-구성의 모듈리 공간 $\mathcal{M}_\theta$로 나타남을 입증한다. 핵심 결과는 매개변수 공간 $\Theta$의 칸 구조를 통해 이러한 해소의 완전한 분류이며, 인접한 칸에 있는 모듈리 공간들 사이의 명시적 유도 동치가 존재한다.

ABSTRACT

For a finite subgroup G in SL(3,C), Bridgeland, King and Reid proved that the moduli space of G-clusters is a crepant resolution of the quotient C^3/G. This paper considers the moduli spaces M_θ, introduced by Kronheimer and further studied by Sardo Infirri, which coincide with G-Hilb for a particular choice of the GIT parameter θ. For G Abelian, we prove that every projective crepant resolution of C^3/G is isomorphic to M_θfor some parameter θ. The key step is the description of GIT chambers in terms of the K-theory of the moduli space via the appropriate Fourier--Mukai transform. We also uncover explicit equivalences between the derived categories of moduli M_θfor parameters lying in adjacent GIT chambers.

연구 동기 및 목표

• 유한 아벨 군 $G \subset \mathrm{SL}(3,\mathbb{C})$에 대해, $\mathbb{C}^3/G$의 모든 프로젝티브 크레팬트 해소가 GIT 쿼터런트의 변화를 통해 어떤 $\theta$에 대해 모듈리 공간 $\mathcal{M}_\theta$로 실현될 수 있는지 규명하는 것.
• K-이론과 푸리에-무카이 변환의 관점에서 매개변수 공간 $\Theta$의 칸 구조를 이해하는 것.
• 인접한 GIT 칸에 있는 매개변수에 대응하는 모듈리 공간 $\mathcal{M}_\theta$의 유도 범주 간에 명시적 유도 동치를 구성하는 것.
• 크레팬트 해소의 기하학과 GIT 구성에서의 안정성 매개변수 $\theta$ 사이의 대응관계를 확립하는 것.

제안 방법

• 기하학적 안정성 이론(GIT)을 사용하여 $\theta$-안정적 및 $\theta$-준안정적 $G$-구성의 모듈리 공간 $\mathcal{M}_\theta$와 $\overline{\mathcal{M}_\theta}$를 구축한다.
• 브리지랜드, 킹, 리드의 유도 동치 $\Phi_C: D(\mathcal{M}_C) \to D^G(\mathbb{C}^3)$를 활용하여 $\mathcal{M}_C$와 $G$-작용이 있는 유도 범주를 연결한다.
• 안정성 매개변수 $\theta$를 앰플 라인 번들의 $\mathcal{O}_{\mathcal{M}_\theta}(1)$로 보내는 사상 $L_C: \Theta \to \mathrm{Pic}(\mathcal{M}_C)_{\mathbb{Q}}$를 정의하여 $\theta$와 앰플 콘 사이의 직접적 연결을 맺는다.
• 쌍대 사상 $\varphi_C^*: \mathrm{Hom}_{\mathbb{Z}}(R(G), \mathbb{Q}) \to K(\mathcal{M}_C)_{\mathbb{Q}}$의 상을 통해 $\Theta$의 칸 분해를 분석하고, $F^1/F^2 \cong \mathrm{Pic}(\mathcal{M}_C)_{\mathbb{Q}}$를 식별한다.
• 메이크 쿼워와 표현 이론을 사용하여 $\mathrm{G\text{-}Ext}^1(Q,S)$를 계산하고, 그 차원이 $\mathrm{Band}(Q,S)$의 연결 성분 수와 같음을 보이며, 이는 강성과 변형을 지배한다.
• $\mathrm{Band}(Q,S)$의 연결 성분 수가 최대 두 개인 것을 증명하고, 연결성은 몫 층 $Q$의 강성으로 이어진다.

실험 결과

연구 질문

• RQ1 유한 아벨 군 $G \subset \mathrm{SL}(3,\mathbb{C})$에 대해, $\mathbb{C}^3/G$의 모든 프로젝티브 크레팬트 해소가 어떤 GIT 매개변수 $\theta$에 대해 모듈리 공간 $\mathcal{M}_\theta$로 실현될 수 있는가?
• RQ2 매개변수 공간 $\Theta$의 칸 구조는 모듈리 공간 $\mathcal{M}_\theta$의 기하학과 어떻게 관련되어 있는가?
• RQ3 인접한 GIT 칸에 있는 매개변수에 대응하는 $\mathcal{M}_\theta$의 유도 범주 간의 관계는 무엇인가?
• RQ4 $\mathrm{Band}(Q,S)$의 위상적 성질은 $G$-구성의 강성과 변형 공간을 어떻게 결정하는가?
• RQ5 푸리에-무카이 변환은 $\mathcal{M}_\theta$의 K-이론과 표현환 $R(G)$를 어떻게 연결하는가?

주요 결과

• 유한 아벨 군 $G \subset \mathrm{SL}(3,\mathbb{C})$에 대해, $\mathbb{C}^3/G$의 모든 프로젝티브 크레팬트 해소는 어떤 GIT 매개변수 $\theta$에 대해 $\mathcal{M}_\theta$와 동형이며, 이는 모든 이러한 해소가 $\theta$-안정적 $G$-구성의 모듈리 공간으로 유도됨을 증명한다.
• $L_C: \Theta \to \mathrm{Pic}(\mathcal{M}_C)_{\mathbb{Q}}$ 사상은 각 칸 $C$를 $\mathcal{M}_C$의 앰플 콘으로 보내며, 안정성 매개변수와 라인 번들 간의 직접적 연결을 확립한다.
• 인접한 GIT 칸에 있는 매개변수에 대해, 유도 범주 $D(\mathcal{M}_C)$와 $D(\mathcal{M}_{C'})$는 벽을 넘는 기하학적 구조에서 명시적으로 구성된 푸리에-무카이 변환을 통해 동치이다.
• $\mathrm{G\text{-}Ext}^1(Q,S)$의 차원은 $\mathrm{Band}(Q,S)$의 연결 성분 수와 같으며, 이 수는 최대 두 개이며, 연결성은 몫 층 $Q$의 강성을 의미한다.
• $\mathrm{Fill}(S)$가 단순 연결이면, $G$-층 $S$는 강성이며, 모든 변형이 자동형사상에 의해 자취가 제거되므로, 밴드의 위상적 성질이 변형 이론을 제어한다.
• 이 구성은 $\Theta$의 칸 분해를 통해 $\mathbb{C}^3/G$의 크레팬트 해소를 완전히 분류하며, 각 칸이 서로 다른 해소에 대응한다.