[논문 리뷰] An irreducible symplectic orbifold of dimension 6 with a Lagrangian Prym fibration

Tommaso Matteini|arXiv (Cornell University)|2014. 03. 21.

Algebraic Geometry and Number Theory인용 수 1

한 줄 요약

이 논문은 유한 몫 특이점, 자명한 기본군, 그리고 매끄러운 부분에서 불규칙도가 1인 6차원 프로젝티브 심플렉틱 오비폴드를 구성한다. 이 오비폴드는 4차 곡선의 복소수의 대칭을 갖는 가군의 가속화된 프리모 다양체로 나타나며, 일반적인 입체 표면의 K3 표면 이중 쌍대를 통해 라그랑주 피브레이션을 실현하고, 심플렉틱 해소가 존재하지 않음을 증명한다.

ABSTRACT

A projective symplectic variety $\mathcal{P}$ of dimension 6, with only finite quotient singularities, $\pi(\mathcal{P})=0$ and $h^{(2,0)}(\mathcal{P}_{smooth})=1$, is described as a relative compactified Prym variety of a family of genus 4 curves with involution. It is a Lagrangian fibration associated to a K3 surface double cover of a generic cubic surface. It has no symplectic desingularization.

연구 동기 및 목표

• 유한 몫 특이점과 자명한 기본군을 지닌 6차원 프로젝티브 심플렉틱 오비폴드를 구성하는 것.
• 이 오비폴드를 4차 곡선의 복소수의 대칭을 갖는 가군의 가속화된 프리모 다양체로 실현하는 것.
• 피브레이션의 구조를 라그랑주로 설정하여 일반적인 입체 표면의 K3 표면 이중 쌍대와 연결하는 것.
• 이 오비폴드가 심플렉틱 해소를 갖지 않음을 증명하여 그 내재된 기하학적 장벽을 드러내는 것.

제안 방법

• 심플렉틱 대칭을 지닌 4차 곡선의 가군의 기하학을 활용하여 상대적 확장 프리모 다양체를 정의한다.
• 대칭의 프리모 다양체 위에서 degree 0의 선다발을 매개변수화하는 모듈리 공간으로서 오비폴드를 구성한다.
• 심플렉틱 형식 하에서 피브리의 라그랑주 부분다양체임을 보여줌으로써 피브레이션의 구조를 확립한다.
• 일반적인 입체 표면 위의 K3 표면 이중 쌍대를 통해 피브레이션을 라그랑주 피브레이션으로 실현한다.
• 심플렉틱 특이점과 오비폴드 이론의 결과를 응용하여 기본군과 호지 수를 분석한다.
• 예를 들어 $h^{(2,0)}(\mathcal{P}_{\text{smooth}}) = 1$ 및 $\pi_1(\mathcal{P}) = 0$와 같은 코homological 불변량을 활용하여 구조를 제약한다.

실험 결과

연구 질문

• RQ1 유한 몫 특이점과 자명한 기본군을 지닌 6차원 프로젝티브 심플렉틱 오비폴드는 상대적 확장 프리모 다양체로 구성될 수 있는가?
• RQ2 이러한 구성은 심플렉틱 형식과 호환되는 라그랑주 피브레이션의 구조를 제공하는가?
• RQ3 이 오비폴드와 일반적인 입체 표면의 K3 표면 이중 쌍대 사이의 관계는 무엇인가?
• RQ4 이 오비폴드는 심플렉틱 해소를 갖는가? 만약 그렇지 않다면, 이를 방해하는 기하학적 장벽은 무엇인가?

주요 결과

• 구성된 6차원 심플렉틱 오비폴드는 오직 유한 몫 특이점만을 가지며 기본군이 자명하다.
• 이 오비폴드는 4차 곡선의 복소수의 대칭을 갖는 가군의 상대적 확장 프리모 다양체로 실현된다.
• 라그랑주 피브레이션의 구조를 지닌다. 여기서 피브리는 심플렉틱 의미에서 라그랑주 부분다양체이다.
• 피브레이션은 일반적인 입체 표면의 K3 표면 이중 쌍대로부터 유래한다.
• 오비폴드의 매끄러운 부분은 $h^{(2,0)} = 1$을 지닌다. 이는 변형 이론적 강성함을 확인한다.
• 이 오비폴드는 어떤 심플렉틱 해소도 갖지 않으며, 이는 특이점을 유지하면서도 심플렉틱 구조를 보존하는 데 내재된 장벽이 있음을 시사한다.