[논문 리뷰] The weight-two Hodge structure of moduli spaces of sheaves on a K3 surface

Kieran G. O’Grady|ArXiv.org|1995. 10. 02.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 62

한 줄 요약

이 논문은 첫 번째 코homology 클래스가 원시일 조건 하에서 K3 표면 위의 비특이성 희소층의 모듈리 공간의 두 번째 가중치 Hodge 구조가 Mukai 라티스 내에서 Mukai 벡터의 직교보완과 동형임을 증명한다. 주요 결과는 이러한 모듈리 공간이 비가역 심플렉틱 다양체이며, 코homology에서 Beauville의 이차형식에 대해 정수 Hodge 구조의 동형사상이 되는 표준 Mukai 사상임을 보여준다.

ABSTRACT

We prove that the weight-two Hodge structure of moduli spaces of torsion-free sheaves on a K3 surface is as described by Mukai (the rank is arbitrary but we assume the first Chern class is primitive). We prove the moduli space is an irreducible symplectic variety (by Mukai's work it was known to be symplectic). By work of Beauville, this implies that its $H^2$ has a canonical integral non-degenrate quadratic form; Mukai's recepee for $H^2$ includes a description of Beauville's quadratic form. As an application we compute higher-rank Donaldson polynomials of $K3$ surfaces.

연구 동기 및 목표

• K3 표면 위의 비특이성 희소층의 모듈리 공간의 두 번째 가중치 Hodge 구조를 규명하는 것.
• 첫 번째 코homology 클래스가 원시일 경우 이러한 모듈리 공간이 비가역 심플렉틱 다양체임을 확립하는 것.
• Mukai 벡터의 직교보완에서 제2 cohomology로의 Mukai 사상이 정수 Hodge 구조의 동형사상임을 증명하는 것.
• 원시성 조건 하에서 Mukai의 Hodge 구조 기술을 랭크 ≤2에서 임의의 랭크로 일반화하는 것.
• 결과를 적용하여 K3 표면 위에서의 고랭크 Donaldson 다항식을 계산하는 것.

제안 방법

• H^*(S;\mathbb{Z})에 있는 Mukai 라티스의 구조를 사용하며, 대칭 이차형식 $ \langle \alpha, \beta \rangle = -\int_S \alpha^* \wedge \beta $ 를 정의한다.
• 희소층 $ F $ 에 대해 Mukai 벡터 $ v(F) = \operatorname{ch}(F)(1 + \omega) $ 를 정의하며, $ \omega $ 는 $ H^4(S) $ 내의 기본 클래스이다.
• 희소층의 준타우토로지컬 가족을 이용해 표준 Mukai 사상 $ \theta_v: v^\perp \to H^2(\mathcal{M}_v(H); \mathbb{C}) $ 를 구성한다.
• 모듈리 공간 위의 벡터 번들의 유도하는 동형사상들을 통해 $ \theta_v $ 가 준타우토로지컬 가족의 선택에 관계없이 독립적임을 증명한다.
• 변형 이론과 Mukai 및 Beauville의 결과를 이용하여 $ \mathcal{M}_v(H) $ 의 비가역성과 심플렉틱 구조를 확립한다.
• 모듈리 공간 $ \mathcal{M}_v(H) $ 가 일반적으로 Hilbert 스킴 $ T^{[n]} $ 과 변형 동치이므로, $ H^2 $ 에서 Beauville의 표준 이차형식을 적용한다.

실험 결과

연구 질문

• RQ1 K3 표면 위의 층의 모듈리 공간의 두 번째 가중치 Hodge 구조는 임의의 랭크에서 Mukai의 구성으로 완전히 기술될 수 있는가?
• RQ2 첫 번째 코homology 클래스가 원시이고 $ \langle v, v \rangle > 0 $ 일 때, 모듈리 공간 $ \mathcal{M}_v(H) $ 는 여전히 비가역 심플렉틱인가?
• RQ3 Mukai 사상 $ \theta_v $ 는 랭크 2 이상의 경우에도 정수 Hodge 구조의 동형사상으로 확장될 수 있는가?
• RQ4 H^2(\mathcal{M}_v(H); \mathbb{Z}) 에 있는 표준 이차형식은 Mukai의 형식 $ v^\perp $ 과 어떻게 관련이 있는가?
• RQ5 이 Hodge 이론적 동형사상은 K3 표면 위에서의 Donaldson 다항식 계산에 어떤 영향을 미치는가?

주요 결과

• v^1 이 원시이고 $ \langle v, v \rangle > 0 $ 일 조건 하에서 모듈리 공간 $ \mathcal{M}_v(H) $ 는 비가역 심플렉틱 다양체이며, 심플렉틱 형식이 $ H^{2,0} $ 을 생성한다.
• 표준 Mukai 사상 $ \theta_v: v^\perp \to H^2(\mathcal{M}_v(H); \mathbb{C}) $ 는 정수 Hodge 구조의 동형사상이다.
• v^\perp 에 Mukai의 이차형식, $ H^2(\mathcal{M}_v(H)) $ 에 Beauville의 표준 이차형식을 부여할 경우, 사상 $ \theta_v $ 는 등급사상이다.
• 결과는 원시성 조건 하에서 Mukai의 이전 랭크 ≤2의 Hodge 구조 기술을 임의의 랭크로 일반화한다.
• 일반적으로 모듈리 공간은 Hilbert 스킴 $ T^{[n]} $ 과 비록 비라시오널이 아니지만, 변형 동치인 다양체이다.
• 이 동형사상은 모듈리 공간의 Hodge 이론적 구조를 통해 K3 표면 위에서의 고랭크 Donaldson 다항식을 계산할 수 있도록 한다.