[논문 리뷰] On some moduli of complexes on K3 surfaces

Jason Lo|arXiv (Cornell University)|2012. 03. 07.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 12

한 줄 요약

이 논문은 K3 표면 $X$ 위의 Bridgeland 반안정 복합체의 모듈리 스택과 그 Fourier-Mukai 쌍대 $\hat{X}$ 위의 $\mu$-반안정 국소 자유 층의 모듈리 스택 사이의 이somorphism을 특정 기울기 조건 하에서 확립한다. 이 결과는 프로젝티브 스킴으로의 사상에 의한 Uhlenbeck 컴acts화의 기하학적 실현을 제공하며, 이는 이전 연구에서의 집합론적 전단사 관계에 대한 대체로, Bruzzo-Maciocia의 Hilbert 스킴 이somorphism을 확장한다.

ABSTRACT

We consider moduli stacks of Bridgeland semistable objects that previously had only set-theoretic identifications with Uhlenbeck compactification spaces. On a K3 surface $X$, we give examples where such a moduli stack is isomorphic to a moduli stack of slope semistable locally free sheaves on the Fourier-Mukai partner $\hat{X}$. This yields a morphism from the stack of Bridgeland semistable objects to a projective scheme, which induces an injection on closed points. It also allows us to extend a theorem of Bruzzo-Maciocia on Hilbert schemes to a statement on moduli of complexes.

연구 동기 및 목표

• K3 표면 위의 Bridgeland 반안정 복합체의 모듈리 스택과 그 Fourier-Mukai 쌍대 위의 $\mu$-반안정 국소 자유 층의 모듈리 스택 사이의 기하학적 이somorphism을 확립하기 위해.
• 특히 비공약수 랭크-디그리 경우에서 [LQ, 정리 5.4]에 제시된 Bridgeland 반안정 대상과 Uhlenbeck 컴acts화 공간 사이의 집합론적 전단사 관계에 대한 대체로 대수기하학적 접근을 제공하기 위해.
• Bruzzo-Maciocia의 Hilbert 스킴과 Gieseker 안정 층의 모듈리 간의 이somorphism을 $\mu$-반안정 층을 포함하는 더 넓은 범주로의 모듈리 스택로 확장하기 위해.
• Bridgeland 반안정 대상의 모듈리 스택이 보편적으로 닫혀 있음을 보여주기 위해, $\hat{X}$ 위의 모든 $\mu_{\hat{\omega}}$-반안정 토퍼로지 자유 층이 Fourier-Mukai 변환에 의해 이러한 대상들로부터 유도됨을 보여주기 위해.

제안 방법

• X와 $\hat{X}$ 사이의 유도 동치를 활용하여, $X$ 위의 Bridgeland 반안정 대상과 $\hat{X}$ 위의 $\mu$-반안정 층 사이의 관계를 Fourier-Mukai 변환 $\Psi: D(X) \to D(\hat{X})$를 통해 설정한다.
• Huybrechts의 파생 동치 K3 표면에 관한 결과를 적용하여, 기울기 $\mu_{\omega} = \beta\omega$를 갖는 $X$ 위의 $\mu_{\omega}$-안정 국소 자유 층을 매개하는 정밀한 모듈리 공간 $\hat{X}$의 존재를 보장한다.
• Bridgeland 반안정 대상의 모듈리 스택에서 $\hat{X}$ 내의 매끄러운 곡선 $C \subset \hat{X}$ 위의 반안정 층의 프로젝티브 스킴으로의 사상 $\gamma\alpha\Psi_{\mathcal{M}}: \mathcal{M}^{\sigma ss}_{X,ch} \to M^{ss}_{C,(r,d)}$를 구성한다.
• 유계성 및 기본 변화 결과(예: [HL, 정리 8.2.12])를 활용하여, 충분히 큰 $m$에 대해, 곡선 $C \in |m\hat{\omega}|$로의 제약 사상이 닫힌 점들 위에 임베딩을 유도함을 보장한다.
• 중앙 전하 공식 $Z(E) = \text{rk}(E)\frac{\omega^2}{2} + i(c_1(E)\omega - \text{rk}(E)\beta\omega) + c(E)$을 사용하여 Bridgeland 안정성을 정의하고, 단계 1 대상이 $\mu_{\omega}(E) = \beta\omega$를 만족하는 대상임을 식별한다.
• 심장 t-구조 $\mathcal{A}(\beta,\omega)$를 적용하여 Bridgeland 안정성 조건을 정의하고, 단계 1의 반안정 대상이 임계 경우에서 다항식 반안정 대상과 일치함을 보장한다.

실험 결과

연구 질문

• RQ1 K3 표면 위의 Bridgeland 반안정 복합체의 모듈리 스택은 그 Fourier-Mukai 쌍대 위의 $\mu$-반안정 국소 자유 층의 모듈리 스택과 이somorphic한가?
• RQ2 Bridgeland 모듈리 스택에서 곡선 위의 반안정 층의 프로젝티브 스킴으로의 사상이 공약수 랭크-디그리 조건 없이도 닫힌 점들 위에 임베딩을 유도하는가?
• RQ3 Bruzzo-Maciocia의 Hilbert 스킴과 Gieseker 안정 층의 모듈리 간의 이somorphism이 Bridgeland 안정성에 의해 $\mu$-반안정 층을 포함하도록 확장될 수 있는가?
• RQ4 주어진 체르니 캐릭터 $\hat{ch}$를 갖는 $\hat{X}$ 위의 모든 $\mu_{\hat{\omega}}$-반안정 토퍼로지 자유 층은 Fourier-Mukai 변환에 의해 $X$ 위의 Bridgeland 반안정 대상의 이미지인가?

주요 결과

• 조건 $\mu_{\omega}(E) = \beta\omega$ 하에, K3 표면 $X$ 위의 Bridgeland 반안정 대상의 모듈리 스택 $\mathcal{M}^{\sigma ss}_{X,ch}$는 그 Fourier-Mukai 쌍대 $\hat{X}$ 위의 $\mu$-반안정 국소 자유 층의 모듈리 스택 $\mathcal{M}^{\mu ss,lf}_{\hat{X},\hat{ch}}$와 이somorphic하다.
• Bridgeland 모듈리 스택에서 곡선 $C \subset \hat{X}$ 위의 반안정 층의 프로젝티브 스킴으로의 사상 $\gamma\alpha\Psi_{\mathcal{M}}: \mathcal{M}^{\sigma ss}_{X,ch} \to M^{ss}_{C,(r,d)}$가 구성되었으며, 이 사상은 닫힌 점들의 집합 위에 임베딩을 유도한다.
• 증명은 $\hat{X}$ 위의 주어진 체르니 캐릭터 $\hat{ch}$를 갖는 모든 $\mu_{\hat{\omega}}$-반안정 토퍼로지 자유 층이 Fourier-Mukai 변환에 의해 $X$ 위의 $\sigma$-반안정 대상의 이미지로 나타남을 보여주며, 이는 이 $\hat{ch}$에 대해 국소 자유가 아닌 $\mu$-반안정 층이 존재하지 않음을 의미한다.
• 모듈리 스택 $\mathcal{M}^{\sigma ss}_{X,ch}$는 보편적으로 닫혀 있으며, 이는 보편적으로 닫힌 스택 위의 올바른 사상의 이미지이기 때문이다.
• 결과는 Bruzzo-Maciocia의 $\text{Hilb}^n(X)$와 $\hat{X}$ 위의 Gieseker 안정 층의 모듈리 간의 이somorphism을, Bridgeland 반안정 복합체의 부분스택으로서 Hilbert 스킴을 실현함으로써, $\mu$-반안정 층을 포함하도록 확장한다.