[논문 리뷰] Stability conditions and extremal contractions

Yukinobu Toda|arXiv (Cornell University)|2012. 04. 03.

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

한 줄 요약

이 논문은 매끄럽고 프로젝티브한 3차원 다양체와 표면에서의 극한 수축이 코herent sheaf의 유도 범주에서의 Bridgeland (반)안정 대상의 모듈리 공간으로서 실현됨을 확립한다. 일파라미터 안정성 조건의 가 Families 를 통해, 원래 다양체 $X$ 와 극한 수축의 대상 $Y$ 는 안정성 매개변수에 따라 미세 또는 거친 모듈리 공간으로 실현되며, 이 수축은 $Y$ 에서의 앰플 클래스의 pullback에 대응하는 임계 안정성 조건에서의 벽을 넘는 것으로 발생한다. 주요 기여는 안정성 조건을 통한 최소 모델 프로그램의 첫 번째 단계의 카테고리적 실현이다.

ABSTRACT

We show that any extremal contraction from a smooth projective variety with dimension less than or equal to three appears as a moduli space of (semi)stable objects in the derived category of coherent sheaves.

연구 동기 및 목표

• 최소 모델 프로그램(MMP)에서의 극한 수축이 코herent sheaf의 유도 범주에서의 Bridgeland (반)안정 대상의 모듈리 공간으로 실현될 수 있는지 조사한다.
• 차원 ≤3인 다양체에 대해 안정성 조건을 사용하여 MMP의 첫 번째 단계를 카테고리적 해석으로 확립한다.
• 모듈리 공간이 $X$ 에서 $Y$ 로 전이되는 일파라미터 안정성 조건의 가 Families 를 구성한다.
• 극한 수축의 대상 다양체 $Y$ 가 유도 범주에서의 반안정 대상의 모듈리 함자에 의해 코어프레젠테이션됨을 확인한다.

제안 방법

• 모든 $t \in (-1,1)$ 에 대해 $f: X \to Y$ 가 극한 수축이 되는 $\sigma_t = (Z_{f^*\omega + \varepsilon t D}, \mathcal{P}_t)$ 라는 일파라미터 안정성 조건의 가 Families 를 구성한다.
• 중앙 전하 $Z_{f^*\omega}(E) = -\int_X e^{-i f^*\omega} \mathop{\rm ch}\nolimits(E)$ 를 정의하여 안정성 조건을 $Y$ 의 앰플 다발의 pullback와 연결한다.
• 기하적 침묵층 $\mathop{\rm Per}\nolimits(X/Y)$ 의 기울임을 통해 $t=0$ 에서의 심장 $\mathcal{B}_{f^*\omega}$ 를 정의하며, 이는 기하 침묵층의 경계에 해당한다.
• $t < 0$ 에서는 $X$ 가 $\sigma_t$-안정 대상들에 대해 $\mathop{\rm ch}\nolimits(E) = \mathop{\rm ch}\nolimits(\mathcal{O}_x)$ 를 만족하는 미세 모듈리 공간이 되고, $t > 0$ 에서는 $Y$ 가 미세 모듈리 공간이 된다.
• $t = 0$ 에서는 $Y$ 가 반안정 대상들의 $S$-등가류의 거친 모듈리 공간이 된다.
• $\mathop{\rm Hom}(\ast, Z)$ 를 통한 함자의 코어프레젠테이션을 사용하여 $Y$ (또는 $f(D)$ 가 곡선일 경우 $\widetilde{Y}$) 가 반안정 대상의 모듈리 함자에 의해 코어프레젠테이션됨을 보인다.

실험 결과

연구 질문

• RQ1 차원 ≤3인 매끄럽고 프로젝티브 다양체의 모든 극한 수축 $f: X \to Y$ 는 $D^b\mathop{\rm Coh}\nolimits(X)$ 의 Bridgeland-안정 대상의 모듈리 공간으로 실현될 수 있는가?
• RQ2 안정성 조건의 공간에서의 벽-교차는 MMP에서의 기하적 전이 $X$ 에서 $Y$ 로의 전이와 대응되는가?
• RQ3 극한 수축의 대상 다양체 $Y$ 는 유도 범주에서의 반안정 대상의 모듈리 함자에 의해 코어프레젠테이션되는가?
• RQ4 기하 침묵층의 역할은 무엇이며, 그 경계는 $Y$ 의 앰플 콧의 pullback와 어떻게 관련되는가?
• RQ5 안정성 조건이 $t=0$ 에서의 벽을 넘을 때 안정 대상의 모듈리 공간은 어떻게 변화하는가?

주요 결과

• 표면의 경우, $t \in (-1,1)$ 인 일파라미터 가 Families $\sigma_t$ 는 $t < 0$ 에서 $X$ 를 미세 모듈리 공간으로, $t = 0$ 에서 $Y$ 를 거친 모듈리 공간으로, $t > 0$ 에서 $Y$ 를 미세 모듈리 공간으로 실현하며, 전이가 $t=0$ 에서 발생한다.
• $\sigma_0 = (Z_{f^*\omega}, \mathcal{B}_{f^*\omega})$ 는 기하 침묵층의 경계에 위치하며, 이는 $Y$ 의 앰플 콧의 pullback에 대응하며, 비음성 콧과 안정성 조건의 공간을 연결한다.
• $f(D)$ 가 점일 경우, $Y$ 는 모듈리 함자 $\mathcal{M}^{\sigma_{B,f^*\omega}}([\mathcal{O}_x])$ 에 의해 코어프레젠테이션되며, 함자 $Y \to Z$ 는 코어프레젠테이션 성질을 통해 유도된다.
• $f(D)$ 가 곡선일 경우, 모듈리 공간은 $\widetilde{Y} = Y \cup (f(D) \times f(D))$ 로 대각선에 따라 붙인 것으로 실현되며, $\widetilde{Y}$ 는 모듈리 함자에 의해 코어프레젠테이션된다.
• $t > 0$ 의 모듈리 공간은 $Y$ 와 동형일 것으로 예상되지만, $t > 0$ 에 대한 안정성 조건 $\sigma_t$ 의 명시적 기술은 아직 추측에 머물러 있다.
• 이 구성은 전체 MMP 단계가 안정성 조건의 공간에서의 벽-교차로 이해될 수 있으며, 유도 범주가 비라시오널 기하학을 코딩하고 있음을 시사한다.