[논문 리뷰] On almost holomorphic Lagrangian fibrations

Daisuke Matsushita|arXiv (Cornell University)|2012. 09. 06.

Geometry and complex manifolds참고 문헌 14인용 수 5

한 줄 요약

이 논문은 프로젝티브 심플렉틱 다양체 위의 거의 힐베르트-라그랑주 피브레이션에 대한 앰플 라인 번들의 당김이 네프임을 증명하며, 라그랑주 피브레이션의 비틀림-반탄성의 핵심 기술적 결과를 확립한다. 증명은 비특이화, 심플렉틱 기하학, 그리고 비틀림 기하학의 비특이 심플렉틱 다양체에서 네프 초면의 성질을 활용한다.

ABSTRACT

We prove that the pull back of an ample line bundle by an almost holomorphic Lagrangian fibration is nef. As an application, we show birational semi rigidity of Lagrangian fibrations.

연구 동기 및 목표

• 프로젝티브 심플렉틱 다양체 위의 거의 힐베르트-라그랑주 피브레이션에 대한 앰플 초면의 당김이 네프임을 증명하는 것.
• 이러한 피브레이션들이 비틀림-반탄성임을 증명하는 것, 즉 두 피브레이션 사이의 임의의 비틀림 사상이 기저에 대해 동형을 유도해야 한다는 의미이다.
• 비틀림 수정을 통해 당김을 진짜 라그랑주 피브레이션의 일부로 기하학적으로 실현하는 것.
• 프로젝티브 심플렉틱 다양체에 라그랑주 토러스를 포함하는 경우에 라그랑주 피브레이션의 존재에 관한 추측적 질문을 해결하는 것.

제안 방법

• 유리 피브레이션의 부정확성 문제를 비특이 모델로의 비틀림 사상으로 해결하는 것.
• 해소 이후의 정의를 통한 당김 정의 사용: $ f^*D_S = \nu_* g^*D_S $, 여기서 $ g: Y \to S $ 는 $ f: X \dashrightarrow S $ 를 해소한 후의 사상이다.
• 예외적 초면의 상이 사라짐을 이용하여 당김이 잘 정의되고 해소 선택에 관계없이 불변임을 보장하는 것.
• 심플렉틱 기하학의 활용: 심플렉틱 형식의 제한과 그 코homological 행동을 분석하여 앰플 초면의 당김이 네프임을 보이는 것.
• 당김 초면의 네프성과 비특이 심플렉틱 다양체에서의 초면의 반단순성(semi-ampleness)을 이용하여 진짜 라그랑주 피브레이션을 구성하는 것.
• 비틀림 기하학의 결과, 특히 [Mat08]의 네프 차원과 반단순성에 관한 결과를 적용하여 라그랑주 피브레이션의 구조 존재를 유도하는 것.

실험 결과

연구 질문

• RQ1 기본적으로 힐베르트-라그랑주 피브레이션에 대한 앰플 초면의 당김은 반드시 네프인가?
• RQ2 프로젝티브 심플렉틱 다양체 위에 라그랑주 피브레이션이 존재하면, 그 피브레이션의 구조가 비틀림-반탄성임을 의미하는가?
• RQ3 기본적으로 힐베르트-라그랑주 피브레이션은 비틀림 수정을 통해 진짜 힐베르트-라그랑주 피브레이션으로 변형될 수 있는가?
• RQ4 프로젝티브 심플렉틱 다양체가 라그랑주 토러스를 포함할 때 어떤 조건에서 라그랑주 피브레이션을 가질 수 있는가?
• RQ5 앰플 초면의 당김이 네프이면, 총공간 위에 라그랑주 피브레이션의 구조가 존재하는가?

주요 결과

• 기본적으로 힐베르트-라그랑주 피브레이션에 대한 앰플 초면의 당김은 네프임이 증명되었으며, 이는 정리 1.1에 의해 입증되었다.
• 프로젝티브 심플렉틱 다양체 위의 거의 힐베르트-라그랑주 피브레이션은 비틀림 수정을 통해 진짜 라그랑주 피브레이션을 유도할 수 있으며, 이는 추론 1.1에 의해 보여졌다.
• 프로젝티브 심플렉틱 다양체 위의 라그랑주 피브레이션 사이의 비틀림 사상은 반드시 기저에 대해 동형을 유도해야 하며, 이는 비틀림-반탄성의 증명이다 (추론 1.2).
• 증명은 당김 초면의 상이 네프이자 반단순임을 이용하여, 이타카 피브레이션을 통한 새로운 피브레이션의 구성이 가능함을 보여준다.
• 완전한 선형계의 교차를 비교함으로써, 원래 피브레이션의 일반 섹션은 라그랑주임을 보여주는 주장이 성립한다. 이는 피브레이션이 비록 거의 힐베르트-라그랑주이지만 여전히 성립한다.
• 총공간이 비특이 심플렉틱일 경우 일반 섹션이 라그랑주임을 가정하지 않더라도 결과가 성립함을 비고 1.2에서 언급하였다.