[논문 리뷰] Automorphism groups of Calabi-Yau manifolds of Picard number two

Keiji Oguiso|arXiv (Cornell University)|2012. 06. 08.

Algebraic Geometry and Number Theory참고 문헌 27인용 수 17

한 줄 요약

이 논문은 피카르 수가 2인 홀수 차원 칼라비-ยอ우 다양체의 자기동형군이 항상 유한함을 증명한다. 이는 K3 표면과 하이퍼카일러 다양체의 행동과 뚜렷하게 대비된다. 이 결과는 네프 콘의 분석과 네론-세버리 그룹 위에서 특정 이차형식 관계의 부재에 기반하며, 피카르 수가 2인 칼라비-ยอ우 3차원 다양체에 대한 비라시onal 자기동형군과 콘 추측에 대한 추가 결과를 포함한다.

ABSTRACT

We prove that the automorphism group of an odd dimensional Calabi-Yau manifold of Picard number two is always a finite group. This makes a sharp contrast to the automorphism groups of K3 surfaces and hyperkähler manifolds and birational automorphism groups, as we shall see. We also clarify the relation between finiteness of the automorphism group (resp. birational automorphism group) and the rationality of the nef cone (resp. movable cone) for a hyperkähler manifold of Picard number two. We will also discuss a similar conjectual relation together with exsistence of rational curve, expected by the cone conjecture, for a Calabi-Yau threefold of Picard number two,

연구 동기 및 목표

• 피카르 수가 2인 칼라비-ยอ우 다양체의 자기동형군의 구조를 규명하는 것.
• 피카르 수가 2인 하이퍼카일러 다양체에서 네프 콘과 이동 가능한 콘의 유리성과 자기동형군 또는 비라시온럴 자기동형군의 유한성 간의 관계를 명확히 하는 것.
• 피카르 수가 2인 칼라비-ยอ우 3차원 다양체에서 유리 곡선과 콘 추측 간의 기대되는 관계를 조사하는 것.
• 피카르 수가 2인 칼라비-ยอ우 3차원 다양체에서, 특정 형식의 이차형식 관계 $(x^n)_X = c(q_X(x))^{n/2}$ 가 존재하지 않는다는 것을 바탕으로 자기동형군의 유한성을 보장할 수 있는지 확인하는 것.

제안 방법

• 네프 콘의 기하학을 분석하기 위해 네론-세버리 그룹과 피카르 라티스 위의 교차 형식을 사용하는 것.
• 특정 이차형식의 구조가 부재함을 감지하기 위해 푸지키 관계와 빈스키-보고몰로프 형식을 적용하는 것.
• 마크만의 약한 이동 가능한 콘 추측에 대한 해법과 히브레흐스-버비츠키 글로벌 토렐리 정리를 하이퍼카일러 다양체에 적용하는 것.
• 비라시온럴 변환의 분해를 플롭으로 나누는 카와마타 정리를 사용하여 비라시온럴 자기동형군을 묘사하는 것.
• 플롭이 네론-세버리 그룹 위에 작용하는 방식에 대한 명시적 행렬 계산을 수행하여 특정 자동형사상의 무한 차수를 보여주는 것.
• 아벨 표면 위의 안정된 대상의 모듈리 공간을 통해 구체적인 칼라비-ยอ우 3차원 다양체를 구성하여 무리수 이동 가능한 콘을 실현하는 것.

실험 결과

연구 질문

• RQ1 피카르 수가 2인 홀수 차원 칼라비-ยอ우 다양체의 자기동형군은 항상 유한한가?
• RQ2 피카르 수가 2인 하이퍼카일러 다양체에서 네프 콘의 유리성은 자기동형군의 유한성과 어떻게 관련되는가?
• RQ3 피카르 수가 2인 칼라비-ยอ우 3차원 다양체에 대한 이동 가능한 콘 추측은 유리 곡선의 존재와 연결될 수 있는가?
• RQ4 형식 $(x^n)_X = c(q_X(x))^{n/2}$ 에 대한 이차형식 관계가 존재하지 않는다는 것은, 피카르 수가 2인 짝수 차원 칼라비-ยอ우 다양체에서 자기동형군의 유한성을 암시하는가?
• RQ5 피카르 수가 2인 비라시온럴 자기동형군이 무한한 칼라비-ยอ우 3차원 다양체를 명시적으로 구성할 수 있는가?

주요 결과

• 피카르 수가 2인 홀수 차원 칼라비-ยอ우 다양체의 자기동형군은 항상 유한하다.
• 피카르 수가 2인 짝수 차원 칼라비-ยอ우 다양체에서, 실수 이차형식 $q_X(x)$ 가 $(x^n)_X = c(q_X(x))^{n/2}$ 를 만족시키지 않는 한 자기동형군은 유한하다.
• 피카르 수가 2인 하이퍼카일러 다양체에서, 자기동형군은 네프 콘의 두 경계 반직선이 모두 유리일 때에만 유한하다.
• 피카르 수가 2인 하이퍼카일러 다양체에서, 비라시온럴 자기동형군은 이동 가능한 콘의 두 경계 반직선이 모두 무리수일 때에만 무한하다.
• 비라시온럴 자기동형군이 무한한 피카르 수가 2인 칼라비-ยอ우 3차원 다양체가 구성되었으며, 이 경우 이동 가능한 콘의 경계 반직선은 무리수이다.
• 비라시온럴 자기동형군이 네프 콘 위에 작용할 때 유한한 유리 다면체 기본 영역을 가지며, 이는 콘 추측을 지지한다.