[논문 리뷰] A mathematical theory of D-string world-sheet instantons, I: Compactness of the stack of $Z$-semistable Fourier-Mukai transforms from a compact family of nodal curves to a projective Calabi-Yau 3-fold

Chien‐Hao Liu, Shing‐Tung Yau|arXiv (Cornell University)|2013. 02. 08.

Black Holes and Theoretical Physics참고 문헌 48인용 수 3

한 줄 요약

이 논문은 차원 1, 폭 [0]인 변환에 대해, 노드 곡선의 컴acts한 가중치 가중치 가중치를 갖는 $Z$-반안정 푸리에-무카이 변환의 모듈리 스택의 컴팩트성을 증명한다. 이는 차원 1, 폭 [0]인 변환에 대해, 노드 곡선에서 프로젝티브 칼라비-유우 3-다양체로의 변환에 대해, 휘어진 중심 임계치 $Z$ 를 사용한다. 주요 결과는 고정된 휘어진 중심 임계치 $c$ 에 대해 스택 $\mathcal{FM}^{1,[0];Z\text{-}ss}_{C_{\mathcal{M}}/\mathcal{M}}(Y,c)$ 가 컴팩트하다는 것을 증명하며, 이는 D-스트링 월드시트 인스턴턴 이론에서 안정성 기반의 구조를 가능하게 한다.

ABSTRACT

In a suitable regime of superstring theory, D-branes in a Calabi-Yau space and their most fundamental behaviors can be nicely described mathematically through morphisms from Azumaya spaces with a fundamental module to that Calabi-Yau space. In the earlier work [L-L-S-Y] (D(2): arXiv:0809.2121 [math.AG], with Si Li and Ruifang Song) from the project, we explored this notion for the case of D1-branes (i.e. D-strings) and laid down some basic ingredients toward understanding the notion of D-string world-sheet instantons in this context. In this continuation, D(10), of D(2), we move on to construct a moduli stack of semistable morphisms from Azumaya nodal curves with a fundamental module to a projective Calabi-Yau 3-fold $Y$. In this Part I of the note, D(10.1), we define the notion of twisted central charge $Z$ for Fourier-Mukai transforms of dimension 1 and width [0] from nodal curves and the associated stability condition on such transforms and prove that for a given compact stack of nodal curves $C_{\cal M}/{\cal M}$, the stack $FM^{1,[0];Zss}_{C_{\cal M}/{\cal M}}(Y,c)$ of $Z$-semistable Fourier-Mukai transforms of dimension 1 and width [0] from nodal curves in the family $C_{\cal M}/{\cal M}$ to $Y$ of fixed twisted central charge $c$ is compact. For the application in the sequel D(10.2), $C_{\cal M}/{\cal M}$ will contain $C_{\bar{\cal M}_g}/\bar{\cal M}_g$ as a substack and $FM^{1,[0];Zss}_{C_{\cal M}/{\cal M}}(Y,c)$ in this case will play a key role in defining stability condition for morphisms from arbitrary Azumaya nodal curves (with the underlying nodal curves not necessary in the family $C_{\cal M}/{\cal M}$) to $Y$.

연구 동기 및 목표

• 기본 모듈러를 갖는 아즈마야 노드 곡선에서 프로젝티브 칼라비-유우 3-다양체 $Y$ 로의 반안정 사상의 모듈리 스택을 구성하는 것.
• 노드 곡선에서의 차원 1, 폭 $[0]$인 푸리에-무카이 변환에 대해 휘어진 중심 임계치 $Z$ 를 정의하는 것.
• 해당 변환에 대해 $Z$-반안정성 기반의 안정성 조건을 수립하는 것.
• 고정된 휘어진 중심 임계치 $c$ 에 대해 스택 $\mathcal{FM}^{1,[0];Z\text{-}ss}_{C_{\mathcal{M}}/\mathcal{M}}(Y,c)$ 의 컴팩트성을 증명하는 것.
• 향후 연구에서 임의의 아즈마야 노드 곡선에서 $Y$ 로의 사상에 대해 안정성을 정의하는 데 필요한 기초 프레임워크를 마련하는 것.

제안 방법

• 노드 곡선 $C_k$ 를 고려할 때, $C_k \times Y$ 의 코herent sheaf의 도파드 카테고리에 휘어진 중심 임계치 $Z^{B+\sqrt{-1}J,L}$ 를 도입한다.
• 중앙 임계치 $Z$ 와 기울기 함수 $\mu^Z$ 를 통해 차원 1, 폭 $[0]$인 푸리에-무카이 변환에 대해 $Z$-반안정성을 정의한다.
• 코herent sheaves $\tilde{\mathcal{F}}^i_k$ 에 대한 필터링 추론을 통해 불안정성 시퀀스를 분석하고, 중심 임계치와 사이클 클래스의 불변성을 도출한다.
• 국소 평탄성 기준을 적용하여 Quot 스킴 사상 $\pi_R$ 가 전사임을 보이고, 이는 체 확장 위에서 불안정성 몫의 존재를 의미한다.
• 체 확장 $K'$ 가 불안정성 몫을 유도함으로써, 초기 반안정성 가정을 위반함을 보여, $Z$-반안정성에 모순을 유도한다.
• 주어진 안정성 조건 하에서 모듈리 스택의 완비성에 기반해 컴팩트성을 결론짓는다.

실험 결과

연구 질문

• RQ1 고정된 휘어진 중심 임계치 $c$ 에 대해, 노드 곡선의 컴팩트한 가중치 가중치 가중치를 갖는 $Z$-반안정 푸리에-무카이 변환의 모듈리 스택이 칼라비-유우 3-다양체로 컴팩트한가?
• RQ2 노드 곡선에서 $Y$ 로의 차원 1, 폭 $[0]$인 푸리에-무카이 변환에 대해 휘어진 중심 임계치 $Z$ 는 어떻게 정의할 수 있는가?
• RQ3 해당 $Z$-반안정 변환의 스택이 완비적이고 컴팩트한 데 필요한 조건은 무엇인가?
• RQ4 코herent sheaves 포함 시퀀스에서 사이클 클래스와 중심 임계치의 불변성은 컴팩트성 증명에 어떻게 기여하는가?
• RQ5 Quot 스킴에서 체 확장을 통해 반안정성의 실패를 감지할 수 있으며, 이는 모순을 유도하는가?

주요 결과

• 고정된 휘어진 중심 임계치 $c$ 에 대해, 노드 곡선의 컴팩트한 가중치 가중치 가중치를 갖는 프로젝티브 칼라비-유우 3-다양체 $Y$ 로의 $Z$-반안정 푸리에-무카이 변환의 모듈리 스택 $\mathcal{FM}^{1,[0];Z\text{-}ss}_{C_{\mathcal{M}}/\mathcal{M}}(Y,c)$ 는 컴팩트하다.
• 휘어진 중심 임계치 $Z^{B+\sqrt{-1}J,L}$ 는 $C_k \times Y$ 의 도파드 카테고리에 정의되며, 차원 1, 폭 $[0]$인 변환에 대한 안정성 조건을 가능하게 한다.
• 중심 임계치는 코herent sheaves $\tilde{\mathcal{G}}^i$ 의 포함 시퀀스 동안 일정하게 유지되며, 사이클 클래스 $\tilde{\beta}(\tilde{\mathcal{G}}^i)$ 는 큰 $i$ 에서 안정화되어, 반사 Hull의 동형을 의미한다.
• 체 확장 $K'$ 위에서 불안정성 몫의 존재는 초기 $Z$-반안정성인 $\tilde{\mathcal{F}}_K$ 와의 모순을 유도하며, 스택의 완비성을 증명한다.
• 주어진 안정성 조건 하에서 스택 $\mathcal{FM}^{1,[0];Z\text{-}ss}_{C_{\mathcal{M}}/\mathcal{M}}(Y,c)$ 는 완비적이며, 따라서 컴팩트하다.
• 결과는 향후 연구에서 임의의 아즈마야 노드 곡선에서 $Y$ 로의 사상에 대해 안정성을 정의하는 데 필요한 기초 컴팩트성 결과를 확립한다.