[논문 리뷰] Stability conditions and crepant small resolutions

Yukinobu Toda|ArXiv.org|2005. 12. 29.

Geometry and complex manifolds참고 문헌 15인용 수 6

한 줄 요약

이 논문은 3차원 찰랑스미어 소작해석에 관련된 삼각분할 카테고리의 안정성 조건 공간을 구축하며, 각 챔버가 비라시오널 모델과 특수한 푸리에-무카이 변환에 대응하는 챔버 구조를 갖는다고 보여준다. 이 공간은 유한차원 벡터공간의 열린 부분집합 위의 쌍반사 공간이며, 해소도 그래프에 있는 플롭에 의해 결정되는 덱 변환이 존재한다.

ABSTRACT

In this paper, we describe the spaces of stability conditions on the triangulated categories associated to three dimensional crepant small resolutions. The resulting spaces have chamber structures such that each chamber corresponds to a birational model together with a special Fourier-Mukai transform. We observe these spaces are covering spaces over certain open subsets of finite dimensional vector spaces, and determine their deck transformations.

연구 동기 및 목표

• 세차원 찰랑스미어 소작해석 $f: X \to Y$ 와 관련된 삼각분할 카테고리 $\mathcal{D}_{X/Y}$ 의 안정성 조건 공간을 묘사하는 것.
• 안정성 조건이 플롭과 푸리에-무카이 파트너를 통해 비라시오널 기하학과 어떻게 관련되어 있는지 이해하는 것.
• 공간 $\mathop{\rm Stab}\nolimits(X/Y)$ 가 유한차원 벡터공간의 열린 부분집합 위의 쌍반사 공간임을 보이는 것.
• 이 쌍반사의 덱 변환들을 특정하여, 해소도 그래프에서의 플롭 작용과 일치시킴.
• 브리지갈드 안정성 조건과 초끈이론 모듈리 공간, 최소 모델 프로그램을 연결하는 수학적 프레임워크를 제공하는 것.

제안 방법

• 예외 곡선 $C$ 에 기반을 두는 $\mathcal{D}_{X/Y} \subset D^b(X)$ 의 전체 부분카테고리로 삼각분할 카테고리 $\mathcal{D}_{X/Y}$ 를 정의한다.
• 브리지갈드의 안정성 조건 $(Z, \mathcal{P})$ 를 $\mathcal{D}_{X/Y}$ 에 적용하며, 중심적 질량 $Z: K(\mathcal{D}_{X/Y}) \to \mathbb{C}$ 와 충족되어야 할 공리들을 만족하는 슬라이싱 $\mathcal{P}(\phi)$ 를 요구한다.
• 중앙 질량 $Z_{(\beta,\omega)}(E) = \int_X e^{-(\beta + i\omega)} \cdot \mathop{\rm ch}\nolimits(E)$ 를 사용하여 $\beta + i\omega \in \mathcal{W}_i$ 에 의해 매개화된 안정성 조건을 구성한다.
• 예외적 국소화 내의 유리 곡선 $D_i$ 를 사용하여 $\omega_n = \omega + \frac{1}{n}D_i$ 로서의 안정성 조건의 극한을 분석한다.
• 코homology의 장점 정렬과 $\mathop{\rm {}^0Per}(X/Y_i)$-카테고리의 성질을 이용하여 단계 수렴를 제어한다.
• 레마 6.4 를 적용하여 $n \to \infty$ 일 때 단계 $\phi_n(E)$ 가 $\phi(E)$ 로 균일 수렴함을 보이며, 안정성이 극한에서 유지됨을 보장한다.

실험 결과

연구 질문

• RQ1 안정성 조건 $\mathcal{D}_{X/Y}$ 는 찰랑스미어 해소도 $X \to Y$ 의 비라시오널 기하학과 어떻게 관련되어 있는가?
• RQ2 공간 $\mathop{\rm Stab}\nolimits(X/Y)$ 의 전반적 구조는 무엇이며, 다수의 소작해석 존재를 어떻게 반영하는가?
• RQ3 다른 소작해석 간의 플롭은 안정성 조건 공간에서 어떻게 나타나는가?
• RQ4 $\mathop{\rm Stab}\nolimits(X/Y)$ 가 유한차원 벡터공간 위의 쌍반사 공간으로 기술될 수 있으며, 그 덱 변환은 무엇인가?
• RQ5 푸리에-무카이 변환은 서로 다른 소작해석에서의 안정성 조건을 어떻게 연결하는가?

주요 결과

• 공간 $\mathop{\rm Stab}\nolimits(X/Y)$ 는 챔버 구조를 갖으며, 각 챔버는 $Y$ 의 비라시오널 모델과 특수한 푸리에-무카이 변환에 대응한다.
• 공간 $\mathop{\rm Stab}\nolimits(X/Y)$ 는 유한차원 벡터공간의 열린 부분집합 위의 쌍반사 공간이며, 중심적 질량 $Z$ 에 의해 유도되는 쌍반사 맵을 갖는다.
• 이 쌍반사의 덱 변환들은 해소도 그래프에서의 플롭 작용에 의해 실현되며, 안정성 조건의 변형과 관련된다.
• 모든 $\varepsilon > 0$ 에 대해 $M' > 0$ 이 존재하여 $n > M'$ 일 때, $\sigma$-안정 대상 $E$ 의 단계 $\phi_n(E)$ 가 $\phi(E)$ 로 균일 수렴함을 보장하며, 안정성이 극한에서 유지됨을 보장한다.
• 단계 수렴은 모든 $F \in \mathcal{S}$ 에 대해 $Z_{(\beta,\omega)}(F) \neq 0$ 일 때 $|Z_{(\beta,\omega_n)}(F)/Z_{(\beta,\omega)}(F) - 1| < \varepsilon'$ 를 만족하며, $F$ 에 대해 균일하게 제어된다.
• $\mathcal{S}$ 의 안정 대상들에 대해 중심적 질량 $Z_{(\beta,\omega)}(F)$ 는 0으로부터 거리가 확보되어 있어 단계 수렴에서 비퇴화성을 보장한다.