[논문 리뷰] A global Torelli theorem for hyperkahler manifolds

Misha Verbitsky|arXiv (Cornell University)|2009. 08. 28.

Algebraic Geometry and Number Theory참고 문헌 42인용 수 86

한 줄 요약

이 논문은 초타원다양체의 매핑 클래스 군을 $SO(3,b_2-3)$ 내의 산술 래티스와 공통체계를 이루는 것으로 계산하여 초타원다양체에 대한 전역 Torelli 정리를 확립한다. 또한 주기 사상이 비라시onal 테이히뮐러 공간의 연결 성분과 주기 공간 $SO(b_2-3,3)/SO(2)\times SO(b_2-3,1)$ 사이에 동형사상을 유도함으로써, 산술 군에 의한 주기 공간의 商공간으로서의 모듈리 공간 기술을 얻는다.

ABSTRACT

A mapping class group of an oriented manifold is a quotient of its diffeomorphism group by the isotopies. We compute a mapping class group of a hypekahler manifold $M$, showing that it is commensurable to an arithmetic subgroup in SO(3, b_2-3). A Teichmuller space of $M$ is a space of complex structures on $M$ up to isotopies. We define a birational Teichmuller space by identifying certain points corresponding to bimeromorphically equivalent manifolds, and show that the period map gives an isomorphism of the birational Teichmuller space and the corresponding period space $SO(b_2-3, 3)/SO(2) imes SO(b_2 -3, 1)$. We use this result to obtain a Torelli theorem identifying any connected component of birational moduli space with a quotient of a period space by an arithmetic subgroup. When $M$ is a Hilbert scheme of $n$ points on a K3 surface, with $n-1$ a prime power, our Torelli theorem implies the usual Hodge-theoretic birational Torelli theorem (for other examples of hyperkahler manifolds the Hodge-theoretic Torelli theorem is known to be false).

연구 동기 및 목표

• 초타원다양체의 매핑 클래스 군을 계산하고, $SO(3,b_2-3)$ 내의 산술 래티스와 공통체계를 이룬다는 것을 보이다.
• 비라시onal 동치인 복소구조를 식별하여 비라시onal 테이히뮐러 공간을 정의하다.
• 주기 사상에 의해 비라시onal 테이히뮐러 공간의 연결 성분과 주기 공간 $SO(b_2-3,3)/SO(2)\times SO(b_2-3,1)$ 사이에 동형사상을 수립하다.
• 비라시onal 모듈리 공간을 산술 군에 의한 주기 공간의 몫으로 표현함으로써 전역 Torelli 유형 정리를 증명하다.
• $K3^{[n]}$에 대해 $n-1$이 소수의 거듭제곱일 경우 히지-이론적 비라시onal Torelli 정리를 복원하며, 이는 일반적인 초타원다양체에서는 성립하지 않음을 보여준다.

제안 방법

• 매핑 클래스 군을 미분구조군의 호모토피류에 대한 몫으로 정의하고, $H^2(M,\mathbb{Z})$ 상의 Beauville-Bogomolov-Fujiki (BBF) 형식을 사용하여 그 구조를 계산하다.
• 복소구조의 테이히뮐러 공간을 호모토피류에 대해 정의하고, 비라시onal 동치인 점들을 식별함으로써 이를 비라시onal 테이히뮐러 공간으로 보완하다.
• 복소구조를 선 $[\Omega] \in \mathbb{P}(H^2(M,\mathbb{C}))$ 로 보내는 주기 사상의 성질을 이용하여, 비라시onal 테이히뮐러 공간의 연결 성분에서 주기 도메인 $SO(b_2-3,3)/SO(2)\times SO(b_2-3,1)$ 로의 동형사상을 유도하다.
• 서브트위스터 노름을 사용하여 주기 공간에 서브트위스터 거리 $d_{tw}$ 를 구성하고, $(\operatorname{\mathbb{P}er}, d_{tw})$ 가 $G/G_x$ 와 위상동형임을 증명하다. 여기서 $G$ 는 $SO(H^2(M,\mathbb{R}),q)$ 의 항등원 성분이다.
• Gleason-Palais 정리를 적용하여, $G$ 가 서브트위스터 거리와 함께 위상다양체임을 보이며, 이로 인해 주기 공간이 다양체의 구조를 상속받음을 보장하다.
• Hilbert 스킴의 $K3$ 표면 위의 점들에 대해 $K3^{[n]}$ 의 단일화군과 GHK 선의 구조를 이용하여 전역 Torelli 성질을 분석하다.

실험 결과

연구 질문

• RQ1 초타원다양체의 매핑 클래스 군의 구조는 무엇이며, 산술 래티스와 어떻게 관련되어 있는가?
• RQ2 복소구조의 테이히뮐러 공간은 어떻게 비라시onal 동치를 고려하여 보완될 수 있으며, 그 결과로 얻어지는 비라시onal 테이히뮐러 공간의 기하학적 성질은 무엇인가?
• RQ3 주기 사상은 비라시onal 테이히뮐러 공간과 형식 $SO(b_2-3,3)/SO(2)\times SO(b_2-3,1)$ 의 대칭 공간 사이에 동형사를 유도하는가?
• RQ4 비라시onal 모듈리 공간을 산술 군에 의한 주기 공간의 몫으로 표현함으로써 초타원다양체에 대해 전역 Torelli 정리를 확립할 수 있는가?
• RQ5 $n-1$ 이 소수의 거듭제곱일 경우 $K3^{[n]}$ 에 대해 히지-이론적 Torelli 정리는 성립하는가? 그리고 이는 전역 Torelli 결과로부터 어떻게 유도되는가?

주요 결과

• 초타원다양체의 매핑 클래스 군은 $SO(3,b_2-3)$ 내의 산술 래티스와 공통체계를 이루며, 그 대칭성에 대한 정확한 대수적 기술을 제공한다.
• 주기 사상은 비라시onal 테이히뮐러 공간의 각 연결 성분과 대칭 공간 $SO(b_2-3,3)/SO(2)\times SO(b_2-3,1)$ 사이에 동형사를 유도하며, 전역 Torelli 유형 대응을 확립한다.
• 초타원다양체의 비라시onal 모듈리 공간은 산술 군에 의한 주기 공간의 몫과 동형이며, 이는 전역 모듈리 기술을 제공한다.
• $n-1$ 이 소수의 거듭제곱일 경우 $K3^{[n]}$ 에 대해 전역 Torelli 정리는 히지-이론적 비라시onal Torelli 정리를 암시하며, 이는 일반적인 초타원다양체에서는 성립하지 않는다.
• 서브트위스터 거리 $d_{tw}$ 를 지닌 주기 공간 $\operatorname{\mathbb{P}er}$ 은 $G/G_x$ 와 위상동형이며, 여기서 $G$ 는 $SO(H^2(M,\mathbb{R}),q)$ 의 항등원 성분이다. Gleason-Palais 정리에 의해 이 공간은 위상다양체이다.
• 서브트위스터 거리의 구성과 주기 공간 위의 다양체 구조 증명은 매핑 클래스 군의 비-리프시츠 작용과 컴acts부분집합의 유한 차원 총합에 기반한다.