[논문 리뷰] Integral Transforms and Deformations of K3 Surfaces

Eyal Markman, Sukhendu Mehrotra|arXiv (Cornell University)|2015. 07. 11.

Algebraic Geometry and Number Theory참고 문헌 45인용 수 17

한 줄 요약

이 논문은 $K3$ 표면 $X$ 위의 안정층의 모듈리 공간 $M$에 대해, $X \times M$ 위의 보편층 $\mathscr{U}$ 와 관련된 적분 변환 $\Phi_{\mathscr{U}}: D^b(X) \to D^b(M,\theta)$ 가 $\dim M \geq 4$ 일 때 충실하나 전성은 아님을 증명한다. 이미지 카테고리의 구조는 $D^b(X)$ 에서 유도된 카테고리에 머리글자 $v$ 를 기반으로 한 합동 관계를 통해 몫으로 구성되며, 이는 $\mathfrak{M}^0$ 이라고 하는 $X^{[n]}$ 과 변형 동치인 무결성 힐버트-양각 스펙트럼 다양체의 모듈리 공간의 조밀한 아핀 열린 부분집합에서 $D^b(X)$ 의 기하적 변형을 구성한다. 이 변형은 $M$ 이 $X$ 위의 층의 모듈리 공간을 만족하는 조건을 충족할 경우 $D^b(X)$ 를 복원하며, $v$ 의 히지 타입을 유지한다.

ABSTRACT

Let X be a K3 surface and M a smooth and projective moduli space of stable sheaves on X of Mukai vector v. A universal sheaf U over X x M induces an integral transform F from the derived category D(X) of coherent sheaves on X to that on M. (1) We prove that the integral transform F is faithful. F is not full if the dimension of M is greater than 2. (2) We exhibit the full subcategory of D(M), consisting of objects in the image of F, as the quotient of a category, explicitly constructed from D(X), by a natural congruence relation defined in terms of the Mukai vector v. (3) Let C be a component of the moduli space of isomorphism classes of marked irreducible holomorphic symplectic manifolds deformation equivalent to the Hilbert scheme X^[n] of n points on a K3 surface X, n > 1. C is 21-dimensional, while the moduli of Kahler K3 surfaces is 20-dimensional. We construct a geometric deformation of the derived categories of K3 surfaces over a Zariski dense open subset of C, which coincides with D(X) whenever the marked manifold is a moduli space of sheaves on X satisfying a technical condition.

연구 동기 및 목표

• 모듈리 공간 $M$ 이 $K3$ 표면 $X$ 위의 안정층의 집합일 때, $\Phi_{\mathscr{U}}: D^b(X) \to D^b(M,\theta)$ 의 이미지의 구조를 이해하는 것.
• 이미지에 속하는 대상들로 이루어진 $D^b(M,\theta)$ 의 전체 부분카테고리를 $D^b(X)$ 에서 유도된 카테고리의 몫으로 묘사하는 것. 이는 무카이 벡터 $v$ 를 기반으로 한 합동 관계에 의해 정의된다.
• 무결성 힐버트-양각 스펙트럼 다양체의 모듈리 공간 $\mathfrak{M}^0$ 의 조밀한 아핀 열린 부분집합에서 $D^b(X)$ 의 기하적 변형을 구성하는 것. 이는 $D^b(X)$ 를 비가환 및 게르비 변형으로 일반화한다.
• 무카이 라티스의 변형된 히지 호몰로지와 호크시ลด 호몰로지, 수치적 $K$-군 간의 관계를 규명하며, 무카이 벡터 $v$ 의 히지 타입을 유지한다.

제안 방법

• 모듈리 공간 $M$ 위의 $\theta$-왜곡층의 유도 카테고리로의 적분 변환 $\Phi_{\mathscr{U}}(\_):= \pi_{M,*}(\pi_X^*(\_ \otimes \mathscr{U}))$ 를 사용한다. 여기서 $\mathscr{U}$ 는 $X \times M$ 위의 준보편층이다.
• 변환에 의해 유도된 $D^b(X)$ 의 내부함수를 캐릭터화하는 데 사용되는, $\Psi_{\mathscr{U}} \circ \Phi_{\mathscr{U}}$ 의 핵이 되는 $D^b(X \times X)$ 에서의 모나드 $\mathscr{A}$ 를 구성한다.
• 무카이 벡터 $v$ 를 기반으로 한 합동 관계를 $D^b(X)$ 에서 유도된 카테고리에 정의하고, $\Phi_{\mathscr{U}}$ 의 이미지가 이 관계에 대한 몫 카테고리와 동형임을 보인다.
• $D^b(M,\theta)$ 위에 있는 단순하고 강성 있는 코모나드 $\mathbb{L}$ 의 구조를 도입하며, 이의 코모듈러스 카테고리가 $\Phi_{\mathscr{U}}$ 의 이미지를 실현한다. 이 코모나드가 단순하고 강성 있음을 증명한다.
• $\mathfrak{M}^0$ 의 조밀한 아핀 열린 부분집합에서 코모나드 $\mathbb{L}$ 을 변형함으로써 $D^b(X)$ 의 기하적 변형을 구성한다. 이 과정에서 $v$ 의 히지 타입을 유지한다.
• 초점 1.6(반사적 힐버트-양각층의 첫 번째 코homology 가 트위스터 변형 하에 일정함) 에 의존하며, 이는 힐버트-양각 벡터 번들의 경우 알려져 있다.

실험 결과

연구 질문

• RQ1 적분 변환 $\Phi_{\mathscr{U}}: D^b(X) \to D^b(M,\theta)$ 는 충실한가? 그리고 언제 전성인가?
• RQ2 이미지에 속하는 대상들로 이루어진 $D^b(M,\theta)$ 의 전체 부분카테고리는 $D^b(X)$ 에서 유도된 카테고리의 몫으로 묘사될 수 있는가? 이는 무카이 벡터 $v$ 와 연결된 합동 관계에 기반한다.
• RQ3 $\mathfrak{M}^0$ 의 조밀한 아핀 열린 부분집합에서 $D^b(X)$ 의 기하적 변형이 존재하는가? 이는 $M$ 이 $X$ 위의 층의 모듈리 공간을 만족하는 조건을 충족할 경우 $D^b(X)$ 를 복원한다.
• RQ4 무카이 라티스의 히지 구조가 이러한 가닥을 따라 어떻게 변형되는가? 그리고 무카이 벡터 $v$ 는 히지 타입 $(1,1)$ 을 유지하는 데 어떤 역할을 하는가?
• RQ5 변형된 카테고리의 호크시ลด 호몰로지와 변형된 무카이 라티스 사이의 관계는 무엇인가? 그리고 수치적 $K$-군은 $v$ 의 직교 보완부분공간과 어떻게 관련되어 있는가?

주요 결과

• 적분 변환 $\Phi_{\mathscr{U}}: D^b(X) \to D^b(M,\theta)$ 는 충실하나, $\dim M \geq 4 $ 일 때는 전성이 아니며, 이는 정리 2.2 에 의해 입증된다.
• 이미지에 속하는 대상들로 이루어진 $D^b(M,\theta)$ 의 전체 부분카테고리는 무카이 벡터 $v$ 를 기반으로 한 합동 관계에 의해 $D^b(X)$ 에서 유도된 카테고리의 몫과 동형이며, 이는 정리 3.4 에 의해 확인된다.
• 이미지 카테고리는 $\Psi_{\mathscr{U}} \circ \Phi_{\mathscr{U}}$ 의 핵이 되는 $\mathscr{A}$ 로부터 유도된 단순하고 강성 있는 코모나드 $\mathbb{L}$ 의 코모듈러스 카테고리로 실현된다.
• $\mathfrak{M}^0$ 이라고 하는 $X^{[n]}$ 과 변형 동치인 무결성 힐버트-양각 스펙트럼 다양체의 모듈리 공간의 조밀한 아핀 열린 부분집합에서 $D^b(X)$ 의 기하적 변형을 구성하였다. 이 변형은 표준형이 $X$ 위의 층의 모듈리 공간을 만족하는 경우 정확히 $D^b(X)$ 를 복원한다.
• 변형 과정에서 무카이 벡터 $v$ 의 히지 타입 $(1,1)$ 이 유지되며, 무카이 라티스에서 $v$ 의 직교 보완부분공간은 $H^2(M,\mathbb{Z})$ 와 등급을 유지한다. 이는 정리 1.9 와 8 절의 논의에 의해 확인된다.
• 무카이 라티스의 변형된 히지 구조는 코모듈러스 카테고리의 호크시ลด 호몰로지와 관련이 있으며, 타입 $(1,1)$ 부분공간은 변형된 카테고리의 수치적 $K$-군과 일치한다. 이는 토다의 카테고리와의 비교를 통해 유추되며, [Ma4] 의 결과에 의해 뒷받침된다.