[논문 리뷰] Automorphisms of hyperkähler manifolds

Giovanni Mongardi|arXiv (Cornell University)|2013. 03. 19.

Algebraic Geometry and Number Theory참고 문헌 2인용 수 7

한 줄 요약

이 논문은 $K3^{[n]}$-유형 초카일레르 다양체의 심플렉틱 자기동형사상에 대해 분류, 고정점 집합, 그리고 변형 가닥을 중심으로 조사한다. 격자 이론적 방법과 Torelli 정리의 활용을 통해, 순서 11인 심플렉틱 자기동형사상이 존재하는 $K3^{[2]}$-유형 다양체에 대해 두 개의 서로 다른 변형 가닥이 존재하며, 이는 그들의 불변 격자에 의해 구분됨을 증명하고, 일부 자연스러운 예시(예: 더블 EPW 세크시틱스)가 이러한 자기동형사상을 유지하면서 그 분할을 유지할 수 없다는 것을 보여준다.

ABSTRACT

The present paper provides several results on automorphisms of hyperkähler (or irreducible holomorphic symplectic) manifolds. In particular it focuses on the symplectic case and contains a classification of prime order symplectic automorphisms on deformations of the Hilbert scheme of two points on a K3 surface and, with additional hypothesis, also on Hilbert schemes of n points on a K3 surface. We also give numerical conditions to establish whether a symplectic automorfism of order 2,3 and 5 on a deformation of the Hilbert scheme of two points on a K3 surface is standard. Moreover we also give various examples.

연구 동기 및 목표

• 심플렉틱 자기동형사상의 $K3^{[n]}$-유형 초카일레르 다양체를 격자 이론적 및 코homological 방법을 사용하여 분류하는 것.
• 소수 차수의 자기동형사상, 특히 순서 11의 자기동형사상이 존재하는 $K3^{[2]}$-유형 다양체의 변형 가닥을 특정하는 것.
• 기존의 프로젝티브 가닥들인 더블 EPW 세크시틱스와 삼차 4차원 다양체의 선들에 대한 Fano 스킴 등에서 분할 조건이 자기동형사상 존재에 미치는 제약을 분석하는 것.
• 일부 자기동형사상이 불변 코homology 격자의 격자 장애로 인해 표준 프로젝티브 가닥에서 실현될 수 없다는 것을 증명하는 것.

제안 방법

• 정수 코homology 격자 $H^2(X,\mathbb{Z})$ 위의 등장사상으로 자기동형사상과 등장사상 사이의 관계를 백유일-보고몰로프-후지키 형식과 Torelli 유형 정리를 통해 연결한다.
• 판별형식과 니메이어 격자 등을 포함한 격자 이론을 적용하여 자기동형사상 하에서의 불변 및 공불변 부분격자를 분류한다.
• 에이히러 전위와 등장사상 분류를 활용하여 소수 차수의 자기동형사상에 대한 불변 격자 $T_\psi(X)$ 의 구조를 분석한다.
• 변형 이론과 트위스터 가닥을 활용하여 고정된 자기동형사상 유형을 갖는 다양체의 최대 차원 가닥을 구성한다.
• 변형 가닥을 구분하기 위해 제곱이 2 또는 6이고 특정 나누어떨어짐 조건을 만족하는 원시적 클래스의 존재를 분석한다.
• Torelli 정리를 적용하여 코homology 격자의 등장사상이 다양체 위의 비라시오널 변환을 유도함을 보이고, 등장사상 유형에 의한 분류를 가능하게 한다.

실험 결과

연구 질문

• RQ1 어느 $K3^{[2]}$-유형 초카일레르 다양체의 변형 가닥이 순서 11의 심플렉틱 자기동형사상을 가질 수 있는가?
• RQ2 더블 EPW 세크시틱스나 삼차 4차원 다양체의 선들에 대한 Fano 스킴과 같은 표준 프로젝티브 가닥에서 순서 3 또는 11의 심플렉틱 자기동형사상이 실현될 수 있는가?
• RQ3 소수 차수의 심플렉틱 자기동형사상 $\psi$ 가 $K3^{[2]}$-유형 다양체에 대해 가능한 불변 격자 $T_\psi(X)$ 의 등장사상 유형은 무엇인가?
• RQ4 분할 조건은 알려진 프로젝티브 가닥에서 초카일레르 다양체의 자기동형사상 존재에 어떤 영향을 미치는가?

주요 결과

• 순서 11인 심플렉틱 자기동형사상이 존재하는 $K3^{[2]}$-유형 다양체에 대해 불변 격자 $T_{\psi}(X)$ 는 정확히 두 개의 등장사상 유형을 가지며, 이는 식 (7.5)와 (7.6)에 주어진 행렬로 표현된다.
• 예제 4.5.2의 더블 EPW 세크시틱스는 식 (7.5)에 해당하는 가닥에 속하며, 제곱이 2인 원시적 클래스를 가진다.
• 예제 4.5.1의 삼차 4차원 다양체의 선들에 대한 Fano 스킴은 식 (7.6)에 해당하는 가닥에 속하며, 나누어떨어짐이 2인 제곱이 6인 클래스를 가진다.
• 순서 3의 자기동형사상은 더블 EPW 세크시틱스, 스킴의 합의 거듭제곱, 또는 그라스만이안 부분공간에서 자연스러운 분할을 유지하면서 존재할 수 없다. 이는 판별군 제약 조건 때문이기 때문이다.
• 순서 11인 심플렉틱 자기동형사상이 존재하는 $K3^{[2]}$-유형 다양체의 트위스터 가닥 $TW_\omega(X)$ 는 최대 차원 가닥이며, $\mathbb{P}(T_\psi(X) \otimes \mathbb{R})$ 로 매개변수화된다.