[논문 리뷰] Families of Lagrangian fibrations on hyperkaehler manifolds

Ljudmila Kamenova, Misha Verbitsky|arXiv (Cornell University)|2012. 08. 22.

Algebraic Geometry and Number Theory참고 문헌 29인용 수 8

한 줄 요약

이 논문은 임의의 고정된 컴act 다성분이 $b_2 \geq 7$인 경우, 초카일러 구조상의 헬름홀로픽 라그랑주 분할에 대한 변형 유형이 유한함을 증명한다. 모노드로미 군 작용과 테이히뮐러 공간의 기하학을 이용하여, 이러한 분할을 정의하는 데 핵심적인 파라볼릭, 준항등선다발이 유한한 궤도를 이룬다는 것을 보이고, 이로 인해 변형 유형의 유한성이 도출된다.

ABSTRACT

A holomorphic Lagrangian fibration on a holomorphically symplectic manifold is a holomorphic map with Lagrangian fibers. It is known that a given compact manifold admits only finitely many holomorphic symplectic structures, up to deformation. We prove that a given compact manifold with $b_2 \geq 7$ admits only finitely many deformation types of holomorphic Lagrangian fibrations. We also prove that all known hyperkahler manifolds are never Kobayashi hyperbolic.

연구 동기 및 목표

• 기하학적 비가역적 컴팩트 초카일러 다양체상의 변형 유형을 분류하는 것.
• 고정된 매끄러운 다양체에 대해, 라그랑주 분할을 가진 초카일러 구조의 변형 유형이 유한함을 증명하는 것.
• 라그랑주 분할에 관련된 파라볼릭 클래스의 공간에 모노드로미 군이 작용할 때 유한한 궤도를 가짐을 입증하는 것.
• 모듈리 공간 내 분할의 조밀성과 함께 브로디의 보조정리를 적용하여, 모든 알려진 초카일러 다양체가 비-코바야시-하이퍼볼릭임을 보이는 것.
• 초카일러 구조의 유한성 결과를 라그랑주 분할을 가진 다양체 쌍으로 확장하는 것.

제안 방법

• 보고몰로프-보에빌-후지키 형식을 사용하여 초카일러 다양체의 코homological 구조를 분석하고 가능한 변형 유형을 제약하는 것.
• 마츠시타의 정리를 적용하여 $H^{1,1}(M,\mathbb{C})$ 내의 파라볼릭, 준항등선다발을 통해 라그랑주 분할을 특성화하는 것.
• 초카일러 다양체의 테이히뮐러 공간 내에서 분할의 모듈리 공간을 연구하고, 파라볼릭 클래스에 집중하는 것.
• 코homology 격자에 대한 모노드로미 군 작용을 이용하여 궤도 구조를 분석하고, 오버레티스의 안정적 동치를 통해 유한성을 증명하는 것.
• 니쿨린의 오버레티스 이론과 판별군 이론을 활용하여 가능한 격자 확장을 유한하게 제한하고, 따라서 궤도 수가 유한함을 보장하는 것.
• 브로디의 보조정리와 모듈리 공간 내 분할의 조밀성을 적용하여 알려진 초카일러 다양체의 비-하이퍼볼릭성을 유도하는 것.

실험 결과

연구 질문

• RQ1 고정된 컴팩트 초카일러 다양체에서 $b_2 \geq 7$인 경우, 헬름홀로픽 라그랑주 분할에 대한 변형 유형은 최대 몇 개인가?
• RQ2 코homology의 파라볼릭 클래스에 대한 모노드로미 군 작용이 오직 유한한 궤도만을 갖는가?
• RQ3 힐베르트 스킴의 K3 위 점들, 일반화된 쿠머 다양체, 오그레이디의 예와 같은 모든 알려진 초카일러 다양체는 비-코바야시-하이퍼볼릭인가?
• RQ4 지정된 변형 유형의 모듈리 공간 내에서 라그랑주 분할을 갖는 초카일러 다양체의 집합은 조밀한가?
• RQ5 라그랑주 분할의 변형 유형의 유한성은 파라볼릭 클래스에 대한 모노드로미 궤도의 유한성에서 유도되는가?

주요 결과

• 모든 컴팩트 다성분에서 $b_2 \geq 7$인 경우, 초카일러 구조상의 헬름홀로픽 라그랑주 분할에 대한 변형 유형은 유한하다.
• 모노드로미 군은 라그랑주 분할에 관련된 $H^{1,1}(M,\mathbb{C})$ 내의 파라볼릭 클래스 집합에 대해 유한한 궤도를 가진다.
• 선다발 $L_M$이 파라볼릭이고 준항등인 쌍 $(M, L_M)$은 고정된 기저 다양체 $M$에 대해 유한한 변형 유형 집합을 이룬다.
• 고정된 파라볼릭 클래스에 대해, 라그랑주 분할의 모듈리 공간은 테이히뮐러 공간 내에서 조밀하고 열려있다.
• 모든 알려진 초카일러 다양체—K3 위 점들의 힐베르트 스킴의 변형, 일반화된 쿠머 다양체, 오그레이디의 예—는 코바야시 하이퍼볼릭이 아니다.
• 모듈리 공간 내 분할의 조밀성과 브로디의 보조정리를 결합하면, 비-하이퍼볼릭성은 극한에서 보존되며, 이는 모든 알려진 케이스에서 비-하이퍼볼릭성을 확인한다.