[논문 리뷰] Characteristic foliation on non-uniruled smooth divisors on projective hyperkaehler manifolds

Amerik Ekaterina, F. Campana|arXiv (Cornell University)|2014. 05. 02.

Algebraic Geometry and Number Theory인용 수 7

한 줄 요약

이 논문은 프로젝티브 하이퍼카äh러 다양체 $ X $ 안의 비-유르르드된 매끄러운 초면 $ D $ 위의 특성적 분할 $ F $ 가 대수적이 될 수 없음을 증명한다. 유일한 예외는 잎사귀들이 유리 곡선이거나 $ X $ 가 표면인 경우뿐이다. 핵심 통찰은 잎사귀의 가닥의 오비폴드 기저의 정규화 선다발이 토르션임을 보여주며, 이는 등가성( isotriviality )을 암시하고, $ F $ 가 대수적이면서 비유리 곡선 잎사귀를 가질 경우 $ X $ 와 $ D $ 의 구조를 제한한다.

ABSTRACT

We prove that the characteristic foliation $F$ on a non-singular divisor $D$ in an irreducible projective hyperkaehler manifold $X$ cannot be algebraic, unless the leaves of $F$ are rational curves or $X$ is a surface. More generally, we show that if $X$ is an arbitrary projective manifold carrying a holomorphic symplectic $2$-form, and $D$ and $F$ are as above, then $F$ can be algebraic with non-rational leaves only when, up to a finite \'etale cover, $X$ is the product of a symplectic projective manifold $Y$ with a symplectic surface and $D$ is the pull-back of a curve on this surface. When $D$ is of general type, the fact that $F$ cannot be algebraic unless $X$ is a surface was proved by Hwang and Viehweg. The main new ingredient for our results is the observation that the canonical bundle of the orbifold base of the family of leaves must be torsion. This implies, in particular, the isotriviality of the family of leaves of $F$.

연구 동기 및 목표

• 프로젝티브 하이퍼카äh러 다양체 $ X $ 의 매끄러운 초면 $ D $ 위의 특성적 분할 $ F $ 가 언제 대수적일 수 있는지 규명하는 것.
• 일반 유형 초면에 대한 Hwang와 Viehweg의 결과를 더 넓은 비-유르르드된 초면의 범주로 확장하는 것.
• $ F $ 가 비유리 곡선 잎사귀를 가진 대수적 분할일 경우 $ X $ 와 $ D $ 의 구조를 특성화하는 것.
• 잎사귀의 가닥의 오비폴드 기저의 정규화 선다발이 반드시 토르션임을 증명하여 등가성을 이끌어내는 것.

제안 방법

• 홀로모르픽 심플렉틱 2형식을 가진 프로젝티브 다양체 $ X $ 의 매끄러운 초면 $ D $ 에 유도되는 특성적 분할 $ F $ 를 분석하는 것.
• 분할 $ F $ 의 잎사귀 가닥의 가닥과 그 오비폴드 기저를 연구하며, 특히 이 기저의 정규화 선다발을 집중적으로 고려하는 것.
• 오비폴드 기저의 정규화 선다발이 토르션임을 증명하는 것. 이는 가닥의 가닥 가족이 등가성이 되도록 강제한다.
• 잎사귀 가닥 가족의 등가성으로 인해 $ X $ 와 $ D $ 의 전반적 기하학적 구조를 제약하는 것.
• 변형 이론적 및 비라시오널 기하학적 기법을 적용하여 $ F $ 가 비유리 곡선 잎사귀를 가진 대수적 분할인 경우의 사례를 분류하는 것.
• 일반적인 경우를 유한 차수의 에테일 코팅으로 환원하여, $ X $ 가 심플렉틱 다양체 $ Y $, 심플렉틱 표면, 그리고 $ D $ 가 표면 위의 곡선의 역상임을 보여주는 것.

실험 결과

연구 질문

• RQ1 프로젝티브 하이퍼카äh러 다양체 $ X $ 의 매끄러운 초면 $ D $ 위의 특성적 분할 $ F $ 가 언제 대수적일 수 있는가?
• RQ2 특성적 분할 $ F $ 가 비유리 곡선 잎사귀를 가질 경우 $ X $ 와 $ D $ 는 어떤 구조적 제약을 받는가?
• RQ3 잎사귀 가닥의 가닥 가족의 오비폴드 기저의 정규화 선다발이 분할 $ F $ 의 기하학에 어떤 영향을 미치는가?
• RQ4 잎사귀 가닥 가족의 등가성이 $ X $ 의 전반적 기하학적 구조를 어느 정도 제한하는가?
• RQ5 일반 유형 초면의 경우를 초월하여 대수적 특성적 분할의 분류를 어떻게 일반화할 수 있는가?

주요 결과

• 비-유르르드된 매끄러운 초면 $ D $ 를 가진 프로젝티브 하이퍼카äh러 다양체 $ X $ 위의 특성적 분할 $ F $ 는 잎사귀들이 유리 곡선이거나 $ X $ 가 표면인 경우를 제외하고는 대수적일 수 없다.
• 특성적 분할 $ F $ 가 비유리 곡선 잎사귀를 가질 경우, 유한 에테일 코팅을 거쳐서 $ X $ 는 심플렉틱 프로젝티브 다양체 $ Y $, 심플렉틱 표면의 곱이며, $ D $ 는 표면 위의 곡선의 역상이어야 한다.
• 잎사귀 가닥의 가닥 가족의 오비폴드 기저의 정규화 선다발은 반드시 토르션임이 보장되며, 이는 가닥 가족이 등가성임을 암시한다.
• 이 등가성은 잎사귀의 모듈리 공간에 강력한 제약을 가하며, $ X $ 와 $ D $ 의 가능한 기하학적 구조를 분류하는 데 기여한다.
• 이 결과는 Hwang와 Viehweg의 이전 연구에서 일반 유형 초면에 대해 얻은 결과를 더 넓은 비-유르르드된 초면의 범주로 일반화한다.
• 오비폴드 기저의 정규화 선다발이 토르션임은 본 문맥에서 대수적 분할의 분류를 가능하게 하는 핵심적인 신규 요소이다.