[논문 리뷰] Perverse coherent sheaves on blow-up. I. a quiver description

Hiraku Nakajima, Kōta Yoshioka|ArXiv.org|2008. 02. 21.

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

한 줄 요약

이 논문은 프로젝티브 평면의 블로우업에서 편향된 코herent sheaf의 모듈리 공간에 대한 퀘이버 이론적 기술을 제공하며, 특정 안정성 카메라에서 이러한 모듈리 공간이 원래 표면 위의 토르션 없는 sheaf의 모듈리 공간과 동형임을 증명한다. 주요 기여는 브리지드랜드의 편향된 $t$-구조를 $(\zeta_0, \zeta_1)$로 매개변수화된 안정성 조건을 가진 퀘이버 표현을 통해 기하학적으로 실현한 것이다. 여기서 카메라 $\zeta_0 < 0, \zeta_1 < 0$는 편향된 코herent sheaf에 대응하며, 이는 $\mathbb{P}^2$ 위의 모듈리 공간과의 동형을 유도한다. 이는 극도의 변화와 유사한 벽을 넘는 현상임을 드러낸다.

ABSTRACT

This is the first of two papers studying moduli spaces of a certain class of coherent sheaves, which we call {\it stable perverse coherent sheaves}, on the blowup of a projective surface. They are used to relate usual moduli spaces of stable sheaves on a surface and its blowup. In this first part, we give a quiver (or ADHM) description of moduli spaces for framed perverse coherent sheaves on the blowup of the projective plane.

연구 동기 및 목표

• 프로젝티브 평면의 블로우업에서 편향된 코herent sheaf의 모듈리 공간에 대한 퀘이버 이론적 기술을 제공하는 것.
• 안정성 카메라 전환을 통해 $\widehat{\mathbb{P}}^2$ 위의 프레임드 sheaf의 모듈리 공간과 $\mathbb{P}^2$ 위의 것들을 연결하는 것.
• 카메라 $\zeta_0 < 0, \zeta_1 < 0$에서, 프레임드 편향된 코herent sheaf의 모듈리 공간이 $\mathbb{P}^2$ 위의 프레임드 토르션 없는 sheaf의 모듈리 공간과 동형임을 확립하는 것.
• 브리지드랜드의 유도 범주에서의 $t$-구조의 맥락에서 안정성 조건의 역할을 명확히 하는 것.

제안 방법

• 기하학적 안정성 이론(GIT) 족을 사용하여 $\widehat{\mathbb{P}}^2$ 위의 프레임드 sheaf를 관계를 가진 퀘이버의 표현으로 표현하는 것.
• 안정성 공간 내의 다양한 카메라를 매개변수화하기 위해 이중 매개변수 안정성 조건 $\zeta = (\zeta_0, \zeta_1)$를 도입하는 것.
• 카메라 $\zeta_0 < 0, \zeta_1 < 0$가 $\operatorname{Hom}(\mathcal{O}_C, E)$와 $\operatorname{Hom}(E(-C), \mathcal{O}_C)$의 영성에 의해 편향된 코herent sheaf에 대응함을 식별하는 것.
• 퀘이버 표현을 사용하여 이 카메라에서 $d$가 전사임을 보여주며, 이는 프레임 차원에 대해 $k=0$임을 의미하는 것.
• $^{0}\zeta$-안정 표현의 모듈리 공간에서 $\mathbb{P}^2$ 위의 토르션 없는 sheaf의 모듈리 공간으로의 사상 구축; $k=0$일 때 동형임을 증명하는 것.
• $m\zeta_0 + (m+1)\zeta_1 = 0$로 정의된 벽을 넘는 행동 분석; 이는 $\mathcal{O}_C(-m-1)$을 포함하는 확장에 대응한다.

실험 결과

연구 질문

• RQ1 블로우업된 $\mathbb{P}^2$ 위의 편향된 코herent sheaf는 안정성 조건을 가진 퀘이버 표현을 통해 어떻게 기술될 수 있는가?
• RQ2 프레임드 sheaf의 모듈리 공간들 사이의 기하학적 관계는 $\widehat{\mathbb{P}}^2$와 $\mathbb{P}^2$ 사이에서 어떻게 되는가?
• RQ3 안정성 매개변수 공간의 어느 카메라에서 편향된 코herent sheaf의 모듈리 공간이 $\mathbb{P}^2$ 위의 토르션 없는 sheaf의 모듈리 공간과 동형이 되는가?
• RQ4 안정성 매개변수 공간 내의 벽을 넘는 행동은 블로우업의 기하학과 유도 범주와 어떻게 관련이 있는가?
• RQ5 왜 프레임이 편향된 코herent sheaf에 대응하는 안정성 조건을 실현하는 데 중요한 역할을 하는가?

주요 결과

• 프레임 차원 $k=0$일 때, $^{0}\zeta$-안정 표현의 모듈리 공간 $\widehat{M}_{{}^{0}\zeta}(r,0,n)$는 $\mathbb{P}^2$ 위의 토르션 없는 sheaf의 모듈리 공간 $M(r,n)$과 동형이며, 이는 동형 $d$를 통한 역구성의 존재에 의해 입증된다.
• 카메라 $\zeta_0 < 0, \zeta_1 < 0$에서, 사상 $\widehat{M}_{{}^{0}\zeta}(r,k,n) \to M(r,\dim V_0)$는 잘 정의되어 있으며 $d$가 전사임을 의미한다. 이는 $k > 0$이면 $\widehat{M}_{{}^{0}\zeta}(r,k,n) = \emptyset$임을 암시한다.
• 벽 $m\zeta_0 + (m+1)\zeta_1 = 0$는 $\mathcal{O}_C(-m-1)^{\oplus p}$를 포함하는 확장에 대응하며, 이를 넘는 순간 확장 시퀀스에서 커널과 코어널의 역할이 바뀐다.
• 벽 $\zeta_0 + \zeta_1 = 0$에 인접한 카메라는 $\widehat{\mathbb{P}}^2$ 위의 프레임드 국소 자유 sheaf에 대한 킹의 안정성 조건에 해당하며, 그 모듈리 공간은 프레임드 모듈리 공간의 울렌벡 콪팩티피케이션과 동형이다.
• $\operatorname{Hom}(\mathcal{O}_C, E) = 0$ 조건은 블로우업 점에서 $p_*E$가 토르션 없는 것과 동치이며, 이 조건은 $\mathcal{O}(-mC)$에 대한 토글에 의해 유지된다.
• 퀘이버 기반 기술은 매개변수화된 안정성 조건을 가진 GIT 족을 통해 브리지드랜드의 편향된 $t$-구조를 실현하며, 이는 편향된 코herent sheaf가 이 틀 안에서 자연스럽게 나타남을 보여준다.