[论文解读] Geometric stability of the cotangent bundle and the universal cover of a projective manifold

Frédéric Campana, Thomas Peternell+1 more|arXiv (Cornell University)|May 6, 2004

Algebraic Geometry and Number Theory参考文献 9被引用 22

一句话总结

本文建立了射影流形余切丛的几何稳定性准则，将余切丛中子层的正性与万有覆叠的结构联系起来。证明了若万有覆叠不包含正维数的紧致子簇且全纯欧拉示性数非零，则该流形为一般型——为沙法列维奇猜想提供了关键一步，并通过拟有效线丛与可动曲线对高斯罗达维数理论进行了深化。

ABSTRACT

Consider a projective manifold X and suppose that some wedge power of the cotangent bundle contains a subsheaf whose determinant bundle has maximal Kodaira dimension. Then we prove that X is of general type. More generally we compute the Kodaira dimension if the determinant bundle has sufficiently large Kodaira dimension. This is based on the study of the determinant bundle of a quotient of the cotangent bundle of a non-uniruled manifold: this bundle is always pseudo-effective. We apply this to study the universal cover of a projective manifold. Finally we prove the following: if the canonical bundle is numerically equivalent to an effective Q-divisor, then the Kodaira dimension is non-negative.

研究动机与目标

• 建立余切丛中子层几何正性与射影流形万有覆叠结构之间的联系准则。
• 证明若射影流形的万有覆叠不被任何正维数紧致子簇覆盖且全纯欧拉示性数非零，则该流形为一般型。
• 推广本乡的通用奈夫定理，并利用可动曲线与拟有效线丛提供一个无理丛性判定准则。
• 支持如下猜想：对非无理丛的代数品种，精细高斯罗达维数 κ⁺(X) 等于通常的高斯罗达维数 κ(X)。
• 研究在数值平凡线丛下 canonical bundle 的行为，特别是与高斯罗达维数的关系。

提出的方法

• 利用本乡的通用奈夫定理于余切丛，通过可动曲线类将该定理推广至无挠层。
• 应用 [BDPP04] 中关于通过移动曲线刻画拟有效线丛的方法，分析行列式正性。
• 为无挠层引入 α-半稳定性，其中 α ∈ M̄E(X) 为可动曲线类，推广斜率稳定性。
• 利用小林-希钦对应关系，将 Hermite-Einstein 度量与在 Gauduchon 度量 ω 下的多项式稳定性联系起来。
• 证明 α-半稳定层的张量积仍为 α-半稳定，通过用充分类逼近 α 并对秩进行归纳法。
• 利用正当前锥的紧致性与对偶性论证，从正的 (1,1)-当前构造出一个 (n−1)-形式 ω，从而实现基于曲率的斜率计算。

实验结果

研究问题

• RQ1 在余切丛的何种条件下，射影流形的万有覆叠不包含正维数的紧致子簇？
• RQ2 当子层 ΩpX 的行列式为大时，canonical bundle 何时为大或为ample？
• RQ3 ΩpX 商层的行列式拟有效性与 X 的无理丛性之间有何关系？
• RQ4 对非无理丛的品种，精细高斯罗达维数 κ⁺(X) 与通常高斯罗达维数 κ(X) 在多大程度上一致？
• RQ5 当 L 为数值平凡时，κ(X, KX + L) 的行为如何？何时有 κ(X, KX + L) = κ(X)？

主要发现

• 若具有至多有理奇点的正规射影代数品种 X 的万有覆叠 ̃X 不包含正维数的紧致子簇且 χ(OX) ≠ 0，则 X 为一般型。
• 对具有终端奇点且万有覆叠为斯坦流形的射影流形 X，要么 KX 为ample，要么 KX 为奈夫且 KXⁿ = 0 且 χ(OX) = 0。
• 若 X 非无理丛，则 (Ω¹X)⊗m 的任意无挠商层的行列式均为拟有效，从而提供一种新的无理丛性判定准则。
• 对非无理丛的 X，精细高斯罗达维数 κ⁺(X) 等于 κ(X)，支持了 κ⁺(X) = κ(X) 一般成立的猜想。
• 若 L 为数值平凡，则 κ(X, KX + L) ≤ κ(X)；若 κ(X) = 0 且等式成立，则 L 为 Pic⁰(X) 中的挠元。
• 若 mKX 数值等价于有效除子，则 κ(X) ≥ 0，该结论由当 X 非无理丛时 KX 的拟有效性推出。