[论文解读] Orbifoldes speciales et classification bimeromorphe des varietes kaehleriennes compactes

Frédéric Campana|ArXiv.org|May 5, 2007

Algebraic Geometry and Number Theory参考文献 18被引用 13

一句话总结

本文引入了几何轨道丛作为双态范畴，介于紧致凯勒流形与对数结构之间，实现了函子性的两步双有理分类：首先通过具有特殊纤维和一般型基的核纤维丛，然后将特殊轨道丛分解为具有 $κ = 0$ 或 $κ_+ = -\infty$ 纤维的塔。该框架恢复了基本群与 plurigenera 等不变量的可加性，为关于有理连通性、小林双曲性及有理点的猜想提供了几何基础。

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.

研究动机与目标

• 建立几何轨道丛的双态范畴，推广紧致凯勒流形与对数结构，为双有理分类提供自然框架。
• 在无轨道丛结构的代数簇范畴中，恢复不变量（如基本群与 plurigenera）在纤维丛上的可加性，该性质在经典范畴中不成立。
• 定义并研究特殊轨道丛，即不稳态映射到正维一般型轨道丛的轨道丛，并将其分解为具有 $κ = 0$ 或 $κ_+ = -\infty$ 纤维的塔。
• 提出并研究将特殊性与几何性质（如有理点的潜在稠密性及小林伪度量的消失）相联系的猜想。
• 将极小模型程序与对数正则技术扩展至轨道丛范畴，尤其在纤维丛与基变换的背景下。

提出的方法

• 通过除子数据定义几何轨道丛，引入轨道丛态射、微分形式与基本群作为内在不变量。
• 引入轨道丛 canonical 维数 $κ_{\text{orb}}$ 与 $κ_+$ 不变量，以根据其双有理几何对轨道丛进行分类。
• 通过轨道丛版本的伊达塔纤维丛构造轨道丛的核纤维丛，其特征为具有特殊纤维与一般型基。
• 定义 $κ_+ = -\infty$ 以捕捉轨道丛范畴中的有理连通性，推广无理丛性。
• 利用轨道丛纤维丛与基变换，恢复基本群序列的精确性与 plurigenera 的可加性。
• 引入轨道丛的“核心”作为函子性不变量，通过条件性分解可将其分解为 $κ = 0$ 或 $κ_+ = -\infty$ 类型的层。

实验结果

研究问题

• RQ1 能否通过包含特殊轨道丛与一般型基的两步纤维丛分解，系统地结构化紧致凯勒流形的双有理分类？
• RQ2 轨道丛范畴是否恢复了基本群与 plurigenera 在纤维丛上的可加性，而该性质在经典代数簇范畴中不成立？
• RQ3 轨道丛的特殊性（即不稳态映射到正维一般型轨道丛）是否由几何性质（如有理连通性或小林伪度量的消失）表征？
• RQ4 轨道丛的核心能否被自然地分解为 $κ = 0$ 或 $κ_+ = -\infty$ 纤维的层？其分解条件为何？
• RQ5 轨道丛不变量（如 $κ$、$κ_+$ 与基本群）在双有理映射、 étale 覆盖与纤维丛基变换下的行为如何？

主要发现

• 轨道丛范畴恢复了轨道丛纤维丛的基本群序列的精确性，该性质在经典范畴中已丧失。
• canonical 维数 $κ_{\text{orb}}$ 在双有理映射下保持不变，且 $κ_+$ 满足 $κ_+ = -\infty$ 当且仅当轨道丛在轨道丛意义下为无理丛。
• 几何轨道丛的核纤维丛是函子性的，且将整体空间分解为具有特殊纤维与一般型基的纤维丛，推广了伊达塔纤维丛。
• 特殊轨道丛在猜想中由小林伪度量的消失与有理点的潜在稠密性表征。
• 轨道丛版本的可加性猜想成立：若纤维丛的通态纤维与基均满足 $κ = 0$ 或 $κ_+ = -\infty$，则整体空间亦满足。
• 轨道丛的核心可经条件性分解为 $κ = 0$ 或 $κ_+ = -\infty$ 类型的层，类似于李代数的 Levi 分解。