[논문 리뷰] Flops and mutations for crepant resolutions of polyhedral singularities

Álvaro Nolla de Celis, Yuhi Sekiya|arXiv (Cornell University)|2011. 08. 11.

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

한 줄 요약

이 논문은 다면체 특이점 $\mathbb{C}^3/G$ 의 캐레nt resolution에서 발생하는 flops와 비자명한 정점에 영향을 주지 않는 매클레이 쿼버의 변형 사이의 일대일 대응을 수립한다. 모든 프로젝티브 캐레nt resolution가 안정 조건 공간의 칸들에서의 모듈리 공간으로 나타나며, 벽을 넘는 것과 쿼버 변형을 통해 플롭의 기하학적 및 대수적 기술을 제공한다. 이는 수축 대수를 통해 일부 곡선의 플롭 불가능성을 확인한다.

ABSTRACT

Let $G$ be a polyhedral group $G\subset SO(3)$ of types $\mathbb{Z}/n\mathbb{Z}$, $D_{2n}$ and $\mathbb{T}$. We prove that there exists a one-to-one correspondence between flops of $G$-Hilb$\mathbb{C}^3$ and mutations of the McKay quiver with potential which do not mutate the trivial vertex. This correspondence provides two equivalent methods to construct every projective crepant resolution for the singularities $\mathbb{C}^3/G$, which are constructed as moduli spaces $\mathcal{M}_C$ of quivers with potential for some chamber $C$ in the space $Θ$ of stability conditions. In addition, we study the relation between the exceptional locus in $\mathcal{M}_C$ with the corresponding quiver $Q_C$, and we describe explicitly the part of the chamber structure in $Θ$ where every such resolution can be found.

연구 동기 및 목표

• 유한부분군 $G \subset SO(3)$ 에 대해 $\mathbb{C}^3/G$ 의 모든 프로젝티브 캐레nt resolution를 완전히 분류하는 것.
• 모든 이러한 해석이 안정 조건 공간 $\Theta$ 의 어떤 칸 $C$ 에 대해 모듈리 공간 $\mathcal{M}_C$ 로 나타날 수 있음을 보이는 것.
• 플롭이 매클레이 쿼버의 잠재력과 함께 비자명한 정점에 영향을 주지 않는 변형과 일대일 대응됨을 증명하는 것.
• 각 해석에서 예외적 국소의 기하학적 구조와 각 해석이 실현되는 $\Theta$ 내의 칸 구조를 기술하는 것.
• 특정 유리 곡선, 예를 들어 테트라헤드럴 경우의 $(-3,1)$-곡선의 플롭 불가능성을 수축 대수를 통해 분석하는 것.

제안 방법

• 안정 조건 $\theta$ 가 칸 $C \subset \Theta$ 에서 일반적인 경우에 대해 매클레이 쿼버의 잠재력과 함께 표현의 모든 프로젝티브 캐레nt 해석을 모듈리 공간 $\mathcal{M}_C$ 로 구성한다.
• 안정 조건 공간 $\Theta$ 내에서의 벽을 넘는 것을 통해 플롭을 인접한 칸 $C$ 와 $C'$ 간의 전이로 실현하며, 벽을 넘는 과정이 플롭을 유도할 때에만 모듈리 공간 $\mathcal{M}_C \cong \mathcal{M}_{C'}$ 이 된다.
• 비자명한 정점을 제외한 매클레이 쿼버의 잠재력에 대해 쿼버 변형을 적용하여 새로운 쿼버를 생성하고, 이에 대응하는 모듈리 공간이 다른 칸에서 동일한 해석을 실현함을 보인다.
• 쿼버의 잠재력과 관련된 유도 범주가 해석의 코herent sheaf의 유도 범주와 동치임을 이용하여 변형이 NCCR의 구조를 유지함을 보장한다.
• 모듈러스 $M = \bigoplus M_i$ 에서 정점(예: $M_3$)을 제거하여 얻는 수축 대수를 사용하여 수축의 작고성과 곡선의 플롭 불가능성을 테스트한다.
• 명시적인 행렬 표현과 고유값 분석을 통해 특정 곡선(예: $(-3,1)$-곡선)이 비작은 수축 행동을 보이므로 플롭이 불가능하다는 것을 보인다.

실험 결과

연구 질문

• RQ1 G-Hilb($\mathbb{C}^3$) 내의 플롭과 비자명한 정점에 영향을 주지 않는 매클레이 쿼버의 잠재력과 함께하는 변형 사이에 일대일 대응이 존재하는가?
• RQ2 모든 프로젝티브 캐레nt 해석이 $\mathbb{C}^3/G$ 에 대해 $\Theta$ 의 어떤 칸 $C \subset \Theta$ 에 대해 모듈리 공간 $\mathcal{M}_C$ 로 실현될 수 있는가?
• RQ3 $\mathcal{M}_C$ 의 예외적 국소는 칸 $C$ 와 관련된 쿼버 $Q_C$ 와 어떻게 관련이 있는가?
• RQ4 $\Theta$ 내의 칸 구조는 이러한 모든 캐레nt 해석을 매개하는가?
• RQ5 테트라헤드럴 케이스에서의 $(-3,1)$-곡선은 플롭 가능한가? 이는 수축 대수를 통해 대수적으로 확인할 수 있는가?

주요 결과

• 플롭과 비자명한 정점에 영향을 주지 않는 매클레이 쿼버의 잠재력과 함께하는 변형 사이에 일대일 대응이 존재하며, 이는 모든 프로젝티브 캐레nt 해석을 두 가지 등가의 방법으로 구성할 수 있음을 보여준다.
• $G$ 가 $SO(3)$ 의 다면체 부분군일 때, $\mathbb{C}^3/G$ 의 모든 프로젝티브 캐레nt 해석은 안정 조건 공간 $\Theta$ 의 칸 $C$ 에 대해 모듈리 공간 $\mathcal{M}_C$ 로 실현된다.
• $\mathcal{M}_C$ 의 예외적 국소는 비자명한 조르당-횔더 인자들을 가지는 $\theta$-안정 표현의 집합과 대응되며, 그 기하학적 구조는 쿼버 $Q_C$ 에 의해 코딩된다.
• $\Theta$ 내의 칸 구조는 유한 개의 볼록 다면체 콘의 합집합이며, 각 칸은 $\mathcal{M}_C$ 를 통해 서로 다른 해석에 대응한다.
• 테트라헤드럴 케이스에서의 $(-3,1)$-곡선은 수축 대수를 구성하고 관련 수축이 작지 않음을 증명함으로써 플롭이 불가능하다. 특이선의 역상은 비단순 구조를 가진 스킴이다.
• 수축 대수 $\Gamma = \mathrm{End}_{S^G}(M/M_3)$ 는 관계를 가진 경로 대수와 동형이며, 그 모듈리 공간 $Y$ 는 특이선을 포함한다. 이는 사상이 작지 않음을 확인하며, 따라서 곡선은 플롭이 불가능하다.