[논문 리뷰] Birational symplectic manifolds and their deformations

Daniel Huybrechts|ArXiv.org|1996. 01. 17.

Geometry and complex manifolds참고 문헌 12인용 수 6

한 줄 요약

이 논문은 비라티오널 심플렉틱 다양체와 그 변형 간의 관계를 조사하며, 무역의 초카이러르 다양체들—특히 무카이의 기본 변환 또는 여부차수 2 동형에 의해 연결된 것들—이 표준화된 다양체의 모듈리 공간에서 분리되지 않은 점을 정의함을 증명한다. 또한 K3 표면 위의 랭크 2 층의 모듈리 공간들이 K3 표면 위의 점들에 대한 힐베르트 스킴과 변형 동치임을 규명한다.

ABSTRACT

The known counterexamples to the global Torelli theorem for higher-dimensional hyperkahler manifolds are provided by birational manifolds. We address the question whether two birational hyperkahler manifolds (i.e. irreducible symplectic) manifolds always define non-separated points in the moduli space of marked manifolds. An affirmative answer is given for the cases of Mukai's elementary transformations and birational correspondences which are isomorphic in codimension two. The techniques are applied to show that the moduli spaces of rank two sheaves on a K3 surface are deformation equivalent to appropriate Hilbert schemes.

연구 동기 및 목표

• 비라티오널 기약 심플렉틱(초카이러르) 다양체가 항상 표준화된 다양체의 모듈리 공간에서 분리되지 않은 점을 정의하는가를 판단하는 것.
• 초카이러르 다양체의 변형 이론 맥락에서, 특히 무카이의 기본 변환을 포함한 비라티오널 대응의 역할을 분석하는 것.
• K3 표면 위의 랭크 2 층의 모듈리 공간의 변형 유형을 조사하는 것.
• 그러한 모듈리 공간들과 K3 표면 위의 점들에 대한 힐베르트 스킴 사이의 변형 동치를 확립하는 것.
• 비라티오널 기하학을 통해 고차원에서의 전역 토렐리 정리의 실패를 확장하여 이해하는 것.

제안 방법

• 표준화된 다양체와 그 모듈리 공간 이론을 활용하여 비라티오널 쌍 주변의 국소 구조를 분석한다.
• 변형 이론 기법을 적용하여 비라티오널 초카이러르 다양체의 국소 변형 공간을 비교한다.
• 무카이의 기본 변환을 이용하여 심플렉틱 구조를 유지하는 명시적 비라티오널 사상으로 변형 유형을 비교한다.
• 여부차수 2 동형 조건을 분석하여 비라티오널 사상이 코homology와 변형 공간에 대해 동형을 유도함을 보장한다.
• K3 표면의 기하학과 층의 모듈리에 관한 결과를 적용하여 층의 모듈리 공간의 변형 유형이 힐베르트 스킴의 것과 관련됨을 규명한다.
• 일부 비라티오널 변환 하에서 변형 동치가 유지됨을 이용하여 힐베르트 스킴과의 동치를 도출한다.

실험 결과

연구 질문

• RQ1 비라티오널 기약 심플렉틱 다양체는 항상 표준화된 다양체의 모듈리 공간에서 분리되지 않은 점을 정의하는가?
• RQ2 초카이러르 다양체 사이의 비라티오널 대응이 변형 유형을 유지하는 조건은 무엇인가?
• RQ3 K3 표면 위의 랭크 2 층의 모듈리 공간은 동일한 K3 표면 위의 점들에 대한 힐베르트 스킴과 변형 동치인가?
• RQ4 무카이의 기본 변환은 초카이러르 다양체의 변형 이론에 어떤 영향을 미치는가?
• RQ5 여부차수 2 동형은 비라티오널 심플렉틱 다양체의 변형 유형을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 무카이의 기본 변환에 의해 연결된 비라티오널 초카이러르 다양체는 표준화된 다양체의 모듈리 공간에서 분리되지 않은 점을 정의한다.
• 여부차수 2에서 동형인 비라티오널 대응 역시 모듈리 공간에서 분리되지 않은 점을 유도한다.
• K3 표면 위의 랭크 2 반안정 층의 모듈리 공간은 동일한 K3 표면 위의 해당 힐베르트 스킴과 변형 동치이다.
• 고려된 비라티오널 변환 하에서 층의 모듈리 공간의 변형 유형은 유지된다.
• 결과들은 고차원에서의 전역 토렐리 정리의 반례를 비라티오널 기하학을 통해 기하학적으로 설명한다.
• 분석을 통해 변형 동치가 특정 비라티오널 사상 하에서 심플렉틱 범주 내에서 자연스러운 불변량임을 확인한다.