[논문 리뷰] Orbifoldes speciales et classification bimeromorphe des varietes kaehleriennes compactes

Frédéric Campana|ArXiv.org|2007. 05. 05.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 13

한 줄 요약

이 논문은 컴팩트 카플러 다양체와 로그 구조 사이를 조율하는 이중형 카테고리로서 기하학적 오비폴드를 도입한다. 이는 함자적인 두 단계 이중형 분류를 가능하게 하며, 먼저 특수한 섬유와 일반 유형 기저를 가진 코어 피브레이션을 통해 진행하고, 그 다음 특수한 오비폴드를 κ = 0 또는 κ_+ = -∞인 섬유로 이루어진 타워로 분해한다. 이 프레임워크는 기본군과 다중형성수 등의 불변량의 가산성을 복원하여, 유리 연결성, 코바야시 초구형성, 그리고 유리 점에 대한 추측에 기하학적 기초를 제공한다.

ABSTRACT

This is a sequel to [Ca01]=math.AG/0110051. We define the bimeromorphic {\it category} of geometric orbifolds. These interpolate between (compact K\" ahler) manifolds and such manifolds with logarithmic structure. These geometric orbifolds are considered from the point of view of their geometry, and thus equipped with the usual invariants of varieties: morphisms and bimeromorphic maps, differential forms, fundamental groups and universal covers, fields of definition and rational points. The most elementary properties, directly adapted from the case of varieties without orbifold structure, are established here. The arguments of [Ca01] can then be directly adapted to extend the main structure results to this orbifold category. We hope to come back to deeper aspects later. The motivation is that the natural frame for the theory of classification of compact K\" ahler (and complex projective) manifolds includes at least the category of orbifolds, as shown in [Ca01] by the fonctorial decomposition of {\it special} manifolds as tower of orbifolds with either $κ_+=-\infty$ or $κ=0$, and also, seemingly, by the minimal model program, in which most proofs work only after the adjunction of a "boundary". Also, fibrations enjoy in the bimeromorphic category of geometric orbifolds extension properties not satisfied in the category of varieties without orbifold structure, permitting to express invariants of the total space from those of the generic fibre and of the base. For example, the natural sequence of fundamental groups is exact there; also the total space is special if so are the generic fibre and the base. This makes this category suitable to lift properties from orbifolds having either $κ_+=-\infty$ or $κ=0$ to those which are special.

연구 동기 및 목표

• 컴팩트 카플러 다양체와 로그 구조를 일반화하는 기하학적 오비폴드의 이중형 카테고리 구축을 통해 이중형 분류에 자연스러운 프레임워크를 제공하는 것.
• 오비폴드 구조 없이도 실패하는 다변수의 피브레이션에 걸쳐 기본군과 다중형성수 등의 불변량의 가산성을 복원하는 것.
• 양의 차원을 가진 일반 유형 오비폴드로 안정적으로 사라지는 오비폴드가 아닌 특수 오비폴드를 정의하고, κ = 0 또는 κ_+ = -∞인 섬유로 이루어진 타워로 분해하는 것.
• 특수성과 잠재적 밀도가 있는 유리 점 및 코바야시 준거리의 소멸과 같은 기하학적 성질 간의 추측을 수립하고 조사하는 것.
• 최소 모델 프로그램과 로그-단순성 기법을 오비폴드 카테고리로 확장하여, 특히 피브레이션과 기저 변경의 맥락에서 적용하는 것.

제안 방법

• 구조적 데이터와 오비폴드 사상, 미분 형식, 기본군을 내재 불변량으로 삼아 기하학적 오비폴드를 정의한다.
• 오비폴드 캐논리컬 차원 $κ_{\text{orb}}$와 오비폴드 분류를 위한 $κ_+$ 불변량을 도입한다.
• 오비폴드의 Iitaka 피브레이션의 오비폴드 판본을 사용하여 특수 섬유와 일반 유형 기저를 가진 피브레이션으로 오비폴드의 코어 피브레이션을 구성한다.
• 오비폴드 카테고리에서 유리 연결성을 일반화하는 데 사용되는 $κ_+ = -\infty$를 정의한다.
• 오비폴드 피브레이션과 기저 변경을 통해 기본군 수열의 정확성과 다중형성수의 가산성을 복원한다.
• 오비폴드의 '코어'를 조건부 분해를 통해 κ = 0 또는 κ_+ = -∞ 유형의 층으로 나누어지는 함자적 불변량으로 정의한다.

실험 결과

연구 질문

• RQ1 컴팩트 카플러 다양체의 이중형 분류는 특수 오비폴드와 일반 유형 기저를 포함하는 두 단계 피브레이션 분해를 통해 체계적으로 구조화될 수 있는가?
• RQ2 오비폴드 카테고리에서는 고전적 다변수 카테고리에서 실패하는 바에 걸쳐 기본군과 다중형성수의 가산성이 복원되는가?
• RQ3 특수성은 양의 차원을 가진 일반 유형 오비폴드로 안정적으로 사라지지 않는 오비폴드로 정의되며, 이는 유리 연결성 또는 코바야시 준거리의 소멸과 같은 기하학적 성질로 특징지워지는가?
• RQ4 오비폴드의 코어는 κ = 0 또는 κ_+ = -∞ 섬유로 이루어진 층으로 체계적으로 분해될 수 있으며, 그러한 분해의 조건은 무엇인가?
• RQ5 오비폴드 불변량인 $κ$, $κ_+$, 그리고 기본군은 이중형 사상, 에탈레 커버, 피브레이션의 기저 변경에서 어떻게 행동하는가?

주요 결과

• 오비폴드 피브레이션에 대해 기본군 수열의 정확성이 오비폴드 카테고리에서 복원되며, 이는 고전적 카테고리에서 상실된 성질이다.
• 캐논리컬 차원 $κ_{\text{orb}}$는 이중형 사상에 대해 불변이며, $κ_+ = -\infty$이면 오비폴드가 오비폴드 의미에서 유리 연결임이 필요이고 충분하다.
• 기하학적 오비폴드의 코어 피브레이션은 함자적이며 총 공간을 특수 섬유와 일반 유형 기저를 가진 피브레이션으로 분해한다. 이는 Iitaka 피브레이션을 일반화한다.
• 특수 오비폴드는 코바야시 준거리의 소멸과 잠재적 밀도가 있는 유리 점으로 인해 추측적으로 특징지워진다.
• 오비폴드 판본의 가산성 추측은 성립한다: 만약 피브레이션의 일반 섬유와 기저가 모두 κ = 0 또는 κ_+ = -∞이면, 총 공간 역시 그러하다.
• 오비폴드의 코어는 리 대수의 레비 분해와 유사하게 κ = 0 또는 κ_+ = -∞ 유형의 층으로 조건부 분해가 가능하다.