[논문 리뷰] Wall crossing of the moduli spaces of perverse coherent sheaves on a blow-up

Kōta Yoshioka|arXiv (Cornell University)|2014. 11. 18.

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

한 줄 요약

이 논문은 블로우업 표면 위의 편향된 코herent sheaf의 모듈리 공간에서의 벽 교차 행동을 Bridgeland 안정성 조건을 사용하여 조사한다. Gieseker 유형의 준안정성은 큰 부피 근처에서 Bridgeland 준안정성과 대응됨을 입증하며, 안정성 매개변수 공간 위의 벽과 챔버 구조가 대수적 코homology 군의 양의 원뿔에서 인용됨을 보여주며, Bridgeland 안정성 조건을 통해 Gieseker 안정성과 μ-안정성을 통합한다.

ABSTRACT

We give a remark on the wall crossing behavior of perverse coherent sheaves on a blow-up and stability condition constructed by Toda. We also explain the wall crossing of twisted stability in terms of stability condition.

연구 동기 및 목표

• 블로우업 표면 위의 편향된 코herent sheaf 모듈리 공간의 벽 교차 행동을 이해하는 것.
• 큰 부피 근처에서 편향된 코herent sheaf의 Gieseker 유형 준안정성과 Bridgeland 준안정성 간의 관계를 규명하는 것.
• 벽과 챔버 구조를 사용하여 Bridgeland 안정성 조건을 통해 Gieseker 안정성과 μ-안정성을 통합하는 것.
• 안정성 매개변수 공간에서 Néron-Severi 군으로의 사상 $ \operatorname{NS}(X)_{\mathbb{R}} \times \operatorname{Amp}(X)_{\mathbb{R}} \to \operatorname{NS}(M_H(v))_{\mathbb{R}} $를 구성하여, Gieseker 챔버가 네프 원뿔 내로 매핑됨을 보여주는 것.

제안 방법

• μ-준안정성의 sheaf에 대해 보고몰로프 부등식을 분석하기 위해 $ H^*(X,\mathbb{Q})_{\text{alg}} $ 위의 이차형식을 사용한다.
• 특히 블로우업을 포함한 비호모토피적 사상과 관련된 편향된 코herent sheaf의 카테고리에 대해 기울임을 적용하여 안정성 조건을 구성한다.
• 모듈리 공간의 Néron-Severi 군으로의 사상 $ \xi $를 $ \operatorname{NS}(X)_{\mathbb{R}} \times \operatorname{Amp}(X)_{\mathbb{R}} $ 에서 $ v^\perp $ 안의 양의 원뿔로 구성하며, 벽과 챔버 구조가 이 원뿔에서의 인용임을 보여준다.
• 블로우업 케이스에서의 벽 교차 행동을 연구하기 위해 원점 근처의 해석적 이웃 $ U \subset \mathbb{C}^2 $ 를 도입한다.
• 사상 $ v^\perp \to \operatorname{NS}(M_H(v))_{\mathbb{Q}} $ 와 $ \xi $ 를 복합하여 $ \operatorname{NS}(X)_{\mathbb{Q}} \times \operatorname{Amp}(X)_{\mathbb{Q}} \to \operatorname{NS}(M_H(v))_{\mathbb{Q}} $ 의 사상을 얻는다.
• Bayer와 Macri의 결과를 사용하여 Gieseker 챔버의 이미지가 모듈리 공간의 네프 원뿔 내에 있음을 입증한다.

실험 결과

연구 질문

• RQ1 블로우업 표면 위의 편향된 코herent sheaf 모듈리 공간의 벽 교차 행동은 Bridgeland 안정성 조건과 어떻게 관련이 있는가?
• RQ2 큰 부피 근처에서 Gieseker 준안정성과 Bridgeland 준안정성 간의 관계는 무엇인가?
• RQ3 안정성 매개변수 공간 $ \operatorname{NS}(X)_{\mathbb{R}} \times \operatorname{Amp}(X)_{\mathbb{R}} $ 의 벽과 챔버 구조는 모듈리 공간의 기하학과 어떻게 관련이 있는가?
• RQ4 Gieseker 챔버는 Bridgeland 안정성 조건 공간의 챔버로 특성화될 수 있으며, 네프 원뿔 내로 매핑되는가?
• RQ5 $ H^*(X,\mathbb{Q})_{\text{alg}} $ 위의 이차형식은 벽과 챔버 구조를 어떻게 제어하는가?

주요 결과

• $ \operatorname{NS}(X)_{\mathbb{R}} \times \operatorname{Amp}(X)_{\mathbb{R}} $ 위의 벽과 챔버 구조는 $ v^\perp $ 위의 구조에서의 인용이며, 이는 모든 섬유 위의 준안정성이 동일함을 의미한다.
• Gieseker 챔버는 안정성 조건이 큰 부피 근처에서 Bridgeland 안정성과 동치가 되는 안정성 매개변수 공간의 영역과 대응된다.
• 만일 표면 $ X $ 에 대해 $ \operatorname{Pic}(X) = \mathbb{Z}H $ 라면, $ w = v(\mathcal{O}_X) = (1,0,0) $ 에 의해 정의되는 벽은 $ r $ 에 독립적이며, 영역 $ s \leq 0 $ 에 위치하며, 식 $ t^2 + s(s - \frac{2a}{(H^2)}) = 0 $ 를 만족한다.
• 만일 $ (v^2) > (H^2) $ 라면, $ 0 < s < \frac{1}{2} $ 사이에는 벽이 없으며, $ s = \frac{1}{2} $ 와 벽 $ W_{(1,0,0)} $ 사이의 영역은 Gieseker 챔버이다.
• Gieseker 챔버의 이미지는 Bayer와 Macri에 의해 네프 원뿔 내에 있음이 입증된 바 있다.
• 정수 $ r_i, a_i $ 의 채르니 캐릭터 분해에서의 유한성과 이차형식 및 안정성 조건의 제약 조건을 사용하여 $ r_i a_i $ 와 $ r_i $ 의 유한성으로부터, 벽의 집합이 유한함을 보였다.