[논문 리뷰] Special Varieties and classification Theory

Frédéric Campana|ArXiv.org|2001. 10. 04.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 5

한 줄 요약

이 논문은 일반 유형의 궤도환으로의 사상이 없는 '특수' 복소 프로젝티브 다양체—즉, 일반 유형의 궤도환으로의 사상이 없는 다양체—의 개념을 도입하고, 이러한 다양체를 특수 섬유와 일반 유형의 궤도환 기반으로 분해하는 표준적인 피브레이션인 '핵심'을 수립한다. 핵심 구조는 리 이론의 레비 분해와 유사한 비라시오널 분류 프레임워크를 제공하며, 유리 연결성, 카이오다라 차수 0, 일반 유형을 궤도환 기하학을 통해 통합한다.

ABSTRACT

A new class of compact Kähler manifolds, called special, is defined, which are the ones having no surjective meromorphic map to an orbifold of general type. The special manifolds are in many respect higher-dimensional generalisations of rational and elliptic curves. For example, we show that being rationally connected or having vanishing Kodaira dimension implies being special. Moreover, for any compact Kähler $X$ we define a fibration $c_X:X o C(X)$, which we call its core, such that the general fibres of $c_X$ are special, and every special subvariety of $X$ containing a general point of $X$ is contained in the corresponding fibre of $c_X$. We then conjecture and prove in low dimensions and some cases that: 1) Special manifolds have an almost abelian fundamental group. 2) Special manifolds are exactly the ones having a vanishing Kobayashi pseudometric. 3) The core is a fibration of general type, which means that so is its base $C(X)$,when equipped with its orbifold structure coming from the multiple fibres of $c_X$. 4) The Kobayashi pseudometric of $X$ is obtained as the pull-back of the orbifold Kobayashi pseudo-metric on $C(X)$, which is a metric outside some proper algebraic subset. 5) If $X$ is projective,defined over some finitely generated (over $\Bbb Q$) subfield $K$ of the complex number field, the set of $K$-rational points of $X$ is mapped by the core into a proper algebraic subset of $C(X)$. These two last conjectures are the natural generalisations to arbitrary $X$ of Lang's conjectures formulated when $X$ is of general type.

연구 동기 및 목표

• 복소 프로젝티브 다양체의 비라시오널 분류 프레임워크를 궤도환 기하학을 사용하여 개발하기 위해.
• 일반 유형 궤도환으로의 사상이 없는 다양체로서 '특수' 다양체를 정의하고 특성화하기 위해.
• 다양체의 최대 특수 부분다양체 구조를 포착하는 표준 피브레이션인 '핵심'을 구성하기 위해.
• 유리 연결성, κ=0, 일반 유형의 삼분법을 하나의 궤도환 이론적 프레임워크 안에서 통합하기 위해.
• 랑의 추측을 확장하고 특수 다양체가 초구형성, 유리 점, 기본군 성질과 어떻게 관련되는지 밝히기 위해.

제안 방법

• 다중 섬유에서 유래한 차수를 사용하여 피브레이션에 궤도환 구조를 정의한다.
• 일반 유형 궤도환으로의 비자명한 사상이 없는 다양체로 '특수' 다양체의 개념을 도입한다.
• 일般 섬유가 특수인 최소 피브레이션으로서 핵심 피브레이션 c_X: X → C(X)를 구성한다.
• 반복적인 궤도환 이타카 피브레이션과 유리 몫을 사용하여 핵심 분해를 구축한다.
• 비에흐베그의 약한 양성과 이타카의 C_{n,m} 추측의 궤도환 형태를 적용하여 핵심 성질을 증명한다.
• 유한 에테일 코버와 변형에 대한 함수적 성질과 불변성을 확립한다.

실험 결과

연구 질문

• RQ1 복소 프로젝티브 다양체의 비라시오널 분류는 어떻게 체계적으로 표준 성분으로 분해될 수 있는가?
• RQ2 특수 다양체는 그 미분형식의 층과 카이오다라 차수 측면에서 어떻게 특성화될 수 있는가?
• RQ3 모든 컴acts Kähler 다양체에 대해 핵심 피브레이션이 어떻게 체계적으로 구성될 수 있으며, 그 보편 성질은 무엇인가?
• RQ4 핵심 피브레이션은 코바야시 준거리와 초구형성과 어떻게 관련되는가?
• RQ5 특수 다양체는 어떤 정도에서 랑의 추측이나 기본군 아벨리안성 추측과 같은 산술적·기하학적 추측을 만족하는가?

주요 결과

• 복소 프로젝티브 다양체 X가 특수일 조건은 p>0 인 경우 Ω_X^p 의 계수 1의 코herent 부분층 중 카이오다라 차수가 최대인 것이 존재하지 않을 때이다.
• 핵심 피브레이션 c_X: X → C(X) 는 함수적 성질을 가지며, 그 일반 섬유는 특수이면서, 만날 수 있는 특수 부분다양체를 모두 포함한다.
• 만약 X 가 특수가 아니라면, 핵심 피브레이션의 궤도환 기반은 일반 유형을 띠며, 궤도환 이타카 C_{n,m} 추측의 특수한 경우를 확인한다.
• 특수 다양체는 거의 아벨리안 기본군과 0인 코바야시 준거리를 가진다로 추측된다.
• 핵심 피브레이션은 임의의 다양체와 궤도환으로의 랑의 추측을 자연스럽게 확장하며, 비라시오널 기하학과 산술, 초구형성 간의 연결 고리를 제공한다.
• 핵심 구조는 모든 컴팩트 Kähler 다양체에 대해 작동하며, 대수적으로 닫힌 체로 확장되며, 양의 특성에서 수정이 필요하다.