[논문 리뷰] Irreducibility of moduli spaces of vector bundles on K3 surfaces

Kōta Yoshioka|ArXiv.org|1999. 07. 01.

Algebraic Geometry and Number Theory참고 문헌 20인용 수 60

한 줄 요약

이 논문은 무역벡터가 원시적이고 분할이 일반적인 경우, K3 표면 위의 안정 벡터 번들의 모듈리 공간이 비가역 심플렉틱 다양체임을 증명한다. 변형 이론과 무다이 레이어를 사용하여, 무다이 벡터의 직교보완공간과 모듈리 공간의 두 번째 코homology 사이에 등장을 증명하며, 이러한 모듈리 공간들이 K3 표면 위의 점들의 Hilbert 스킴과 변형 동치임을 보인다.

ABSTRACT

In this paper, we show the moduli spaces of stable sheaves on K3 surfaces are irreducible symplectic manifolds, if the associated Mukai vectors are primitive. More precisely, we show that they are related to the Hilbert scheme of points. We also compute the period of these spaces. As an application of our result, we discuss Montonen-Olive duality in Physics. In particular our computations of Euler characteristics of moduli spaces are compatible with Physical computations by Minahan et al.

연구 동기 및 목표

• 원시적 무다이 벡터를 가진 K3 표면 위의 안정 층의 모듈리 공간의 비가역성과 심플렉틱 구조를 확립하기 위해.
• 이러한 모듈리 공간들이 K3 표면 위의 점들의 Hilbert 스킴과 변형 동치임을 보여주기 위해.
• 무다이 레이어를 사용하여 모듈리 공간의 주기를 계산하고, 그 호지 이론적 불변량을 확립하기 위해.
• 유진 수치 계산을 통해 물리적 이중성 현상, 특히 몬텐텐-올리드 이중성과 연결하기 위해.

제안 방법

• K3 표면의 코homology에 무다이 레이어의 구조를 사용하여 표준 쌍선을 정의하고, 오일러 형식을 통한 리만-로흐 정리의 해석을 제공한다.
• K3 표면의 복소 구조의 변형 이론을 적용하여 모듈리 공간 $M_H(v)$의 변형을 유도한다.
• 표준 호모로지즘 $\theta_v: v^\perp \to H^2(M_H(v), \mathbb{Z})$를 사용하여 빈스-보고몰로프 형식과의 등장을 구성한다.
• 준-일반 가족의 존재에 기반하여 표준 사상 $\theta_v$를 정의하고, 그가 호지 구조를 유지함을 증명한다.
• 비슷한 변형이 호지 수와 오일러 특성을 유지하므로, $M_H(v)$를 Hilbert 스킴 $\mathrm{Hilb}_X^{\langle v^2\rangle/2 + 1}$과 연결한다.
• 원시적 무다이 벡터에 대해 $\langle v^2 \rangle \geq 2$인 경우, [Y5]의 결과를 적용하여 비가역성과 주기 계산을 수행한다.

실험 결과

연구 질문

• RQ1 K3 표면 위의 안정 층의 모듈리 공간 $M_H(v)$가 비가역적이고 심플렉틱적일 조건은 무엇인가?
• RQ2 원시적 $v$에 대해 $M_H(v)$의 주기가 무다이 레이어의 구조와 어떻게 관련이 있는가?
• RQ3 K3 표면 위의 안정 층의 모듈리 공간들이 점들의 Hilbert 스킴과 얼마나 깊이 변형 동치인가?
• RQ4 K3 표면 위의 $N=4$ 양-밀스 이론에서 물리적 분할 함수와 일치하는 방식으로 $M_H(v)$의 오일러 특성을 계산할 수 있는가?
• RQ5 $M_H(v)$의 호지 구조와 Hilbert 스킴 $\mathrm{Hilb}_X^{\langle v^2\rangle/2 + 1}$의 호지 구조 사이의 정확한 관계는 무엇인가?

주요 결과

• 원시적 무다이 벡터 $v$에 대해 $\operatorname{rk}v > 0$ 이고 $c_1(v) \in \mathrm{NS}(X)$ 이면, 모듈리 공간 $M_H(v)$는 $\langle v^2 \rangle \geq -2$ 이면 비어 있지 않다.
• 일반적인 앰플리터 $H$에 대해 $M_H(v)$는 비가역 심플렉틱 다양체이며, 변형과 비슷한 변형의 조합을 통해 Hilbert 스킴 $\mathrm{Hilb}_X^{\langle v^2\rangle/2 + 1}$과 변형 동치이다.
• 표준 사상 $\theta_v: v^\perp \to H^2(M_H(v), \mathbb{Z})$는 $\langle v^2 \rangle \geq 2$ 일 때 등장이며, 호지 구조를 유지한다.
• 모듈리 공간의 호지 수는 Hilbert 스킴과 일치한다: $h^{p,q}(M_H(v)) = h^{p,q}(\mathrm{Hilb}_X^{\langle v^2\rangle/2 + 1})$.
• 모듈리 공간의 오일러 특성은 해당 Hilbert 스킴과 같다: $\chi(M_H(v)) = \chi(\mathrm{Hilb}_X^{\langle v^2\rangle/2 + 1})$.
• 이러한 결과들은 민한 등이 계산한 $N=4$ 초대칭 양-밀스 이론에서 K3 표면 위의 분할 함수의 물리적 계산과 일치한다.