[논문 리뷰] Non-Fine Moduli Spaces of Sheaves on K3 Surfaces

Andrei Căldăraru|ArXiv.org|2001. 08. 27.

Geometric and Algebraic Topology참고 문헌 9인용 수 10

한 줄 요약

이 논문은 K3 표면 $X$ 위의 코herent sheaf의 유도 범주와 $X$ 위의 안정성 sheaf의 모듈리 공간 $M$ 위의 $\alpha$-twisted sheaf의 유도 범주 사이의 등가성을 규명한다. 이는 $M$이 비정밀(non-fine)일 경우에도 성립한다. 논문은 Mukai의 호지 등조사와 함께 브라우어 클래스 $\alpha$를 특정하고, 유도 등가성 정리의 일반화를 제안하며, 전이성 래티스의 호지 등조사를 통한 휘어진 K3 표면에 대한 Orlov의 유도 등가성 정리의 일반화를 제안한다.

ABSTRACT

In general, if M is a moduli space of stable sheaves on X, there is a unique alpha in the Brauer group of M such that a pi_M^* alpha^{-1}-twisted universal sheaf exists on X times M. In this paper we study the situation when X and M are K3 surfaces, and we identify alpha in terms of Mukai's map between the cohomology of X and of M (defined by means of a quasi-universal sheaf). We prove that the derived category of sheaves on X and the derived category of alpha-twisted sheaves on M are equivalent. This suggests a conjecture which describes, in terms of Hodge isometries of lattices, when derived categories of twisted sheaves on two K3 surfaces are equivalent. If proven true, this conjecture would generalize a theorem of Orlov and a recent result of Donagi-Pantev.

연구 동기 및 목표

• K3 표면 위의 비정밀 모듈리 공간에 대한 Orlov의 유도 등가성 정리의 일반화를 위해 노력한다.
• 유니버설 sheaf의 존재에 대한 장애를 분류하는 모듈리 공간 $M$ 위의 브라우어 클래스 $\alpha$를 특정한다.
• 편의 유니버설 sheaf를 사용하여 $\pi_M^*\alpha^{-1}$-twisted sheaf를 $X \times M$ 위에 구성하고, 이를 통해 등가성 $\mathbf{D}_{\mathrm{coh}}^{b}(X) \cong \mathbf{D}_{\mathrm{coh}}^{b}(M,\alpha)$를 수립한다.
• 유도 범주 간의 등가성과 그들의 전이성 래티스의 호지 등조사를 연결하는 추측을 제안한다.
• 안정성의 정의를 $\alpha$-twisted sheaf에 대해 제시하고 향후 연구를 위한 계획을 제안함으로써, 휘어진 모듈리 이론의 기초를 다진다.

제안 방법

• 모듈리 공간 $M$의 코homology와 $X$의 코homology 사이의 Mukai 사상으로 브라우어 클래스 $\alpha$를 $\mathrm{Br}(M)$ 내에서 특정한다.
• 편의 유니버설 sheaf를 통해 $X \times M$ 위에 $\pi_M^*\alpha^{-1}$-twisted universal sheaf를 구성한다.
• 정리 2.1을 적용하여 적분 함수 $\Phi_{M \to X}^\mathscr{P}$ 가 유도 범주의 등가임을 증명한다.
• Mukai 곱과 Mukai 래티스 위의 호지 구조를 사용하여 $X$와 $M$의 코homological 자료 간의 관계를 규명한다.
• 고정된 $\alpha^{-1}$-twisted locally free sheaf $\mathscr{E}$를 사용하여 $\alpha$-twisted sheaf에 대한 기울기 안정성의 정의를 제시한다.
• Mukai와 Orlov의 결과를 휘어진 모듈리 공간으로 일반화하기 위해 안정된 휘어진 sheaf 이론을 개발하는 계획을 제안한다.

실험 결과

연구 질문

• RQ1 비정밀 모듈리 공간에 대해 K3 표면 위의 sheaf에 대한 유도 등가성을 어떻게 확립할 수 있는가?
• RQ2 모듈리 공간 $M$ 위의 정확한 브라우어 클래스 $\alpha$는 무엇인가? 이는 유니버설 sheaf의 존재에 대한 장애를 분류한다.
• RQ3 비정밀 케이스에서 $X$의 유도 범주가 $M$ 위의 $\alpha$-twisted sheaf의 유도 범주와 등가가 될 수 있는가?
• RQ4 두 K3 표면의 코homology와 호지 구조에 어떤 조건이 성립할 경우, 그들의 휘어진 sheaf의 유도 범주가 등가가 되는가?
• RQ5 왜곡된 설정에서 모듈리 공간을 구성할 수 있도록, 휘어진 sheaf에 대해 안정성을 어떻게 정의할 수 있는가?

주요 결과

• 모듈리 공간 $M$ 위의 $\alpha$-twisted sheaf의 유도 범주와 $X$ 위의 코herent sheaf의 유도 범주 사이에 등가성이 존재한다. 여기서 $\alpha$는 모듈리 문제에 의해 결정된 브라우어 클래스이다.
• 편의 유니버설 sheaf를 사용하여 Mukai의 호지 등조사를 통해 $X$와 $M$의 코homology 간의 관계를 이용해 브라우어 클래스 $\alpha$를 특정한다.
• 편의 유니버설 sheaf를 사용한 푸리에-무카이 변환을 통해 등가성 $\mathbf{D}_{\mathrm{coh}}^{b}(X) \cong \mathbf{D}_{\mathrm{coh}}^{b}(M,\alpha)$를 수립한다.
• 논문은 두 K3 표면의 휘어진 sheaf의 유도 범주가 등가임과 동시에 그들의 전이성 래티스가 호지 등조사임을 추측한다.
• 고정된 $\alpha^{-1}$-twisted locally free sheaf $\mathscr{E}$를 사용하여 $\alpha$-twisted sheaf에 대한 기울기 안정성의 정의를 제안하며, 이는 비왜곡된 경우의 일반화이다.
• Orlov의 정리가 완전히 왜곡된 설정으로 일반화되기 위해서는 안정된 왜곡된 sheaf의 모듈리 이론을 개발할 필요가 있음을 논문이 제안한다.