[论文解读] Varieties with generically nef tangent bundles

Thomas Peternell|ArXiv.org|Jul 7, 2008

Algebraic Geometry and Number Theory参考文献 15被引用 6

一句话总结

本文研究具有通性拟正切丛的代数簇，引入了‘充分拟正’向量丛的概念，以强化具有拟正反 canonical 丛的流形上的通性拟正性。研究证明，对于法诺三流形及反 canonical 丛半正则的流形，其切丛是通性拟正且充分拟正的，支持了如下猜想：此类代数簇的阿贝利安映射为满射子mersion。

ABSTRACT

We study the geometry of projective manifolds whose tangent bundles are nef on sufficiently general curves (i.e. the tangent bundle is generically nef) and show that manifolds whose anticanonical bundles are semi-ample have this property. Furthermore we introduce a notion of sufficient nefness and investigate the relation with manifolds whose anticanonical bundles are nef.

研究动机与目标

• 通过切丛的通性与充分拟正性的视角，理解单连通簇及反 canonical 丛拟正的流形。
• 探究具有拟正反 canonical 丛的射影流形的切丛是否如猜想所述为通性或充分拟正。
• 建立此类簇的阿贝利安映射为满射子mersion，推广凯勒几何中的已知结果。
• 证明有理连通簇与法诺流形（特别是三维情形）的切丛具有通性正则性。
• 通过双有理几何与稳定性技术，将结果从光滑情形推广至奇异情形，避免依赖凯勒几何。

提出的方法

• 引入‘充分拟正’向量丛：每个点均存在一个覆盖曲线族，使得该丛在一般曲线成员上为拟正。
• 应用梅塔-拉马纳坦理论，通过高次幂的非常 ample 除子截得的 MR-一般曲线限制来分析通性拟正性与正则性。
• 利用可动锥的锥定理（BCHM）分析 b₂ > 1 的法诺三流形中可动锥的结构。
• 采用 h-极大子层的概念及 (K_X + det E) · h 上的正则性条件，当通性拟正性不成立时导出矛盾。
• 通过 [BP04] 与 [PS98] 的分类分析三流形，区分半正则、非半正则及阿贝利安基底情形。
• 应用半稳定向量丛理论与行列线丛正则性，推导在稳定性假设下的通性拟正性。

实验结果

研究问题

• RQ1 在何种条件下，具有拟正反 canonical 丛的射影流形的切丛为通性拟正？
• RQ2 有理连通簇的切丛是否允许存在一族曲线，使得其限制为正则？
• RQ3 对于反 canonical 丛拟正的簇，阿贝利安映射是否为满射子mersion？这是否由切丛的充分拟正性所蕴含？
• RQ4 能否利用可动锥结构证明 b₂ > 1 的法诺流形的切丛具有通性正则性？
• RQ5 在某些三流形中半正则性失效，如何影响切丛的通性拟正性？

主要发现

• 对于 b₂ > 1 的法诺流形，切丛为通性正则（因而充分正则），此结论通过锥定理与稳定性技术得到证明。
• 若 −K_X 半正则，则 T_X 为通性拟正且充分拟正，证实了猜想 1.3 的部分内容。
• 在 −K_X 拟正但非半正则的三流形中，T_X 对某些极化仍为通性拟正，除非处于有理连通情形且纤维结构非半正则。
• 对于反 canonical 丛半正则的簇，阿贝利安映射为满射子mersion，此结论源于 T_X 的充分拟正性。
• 对于有理曲面及合适的非常 ample 除子，切丛为通性正则，支持了低维情形的猜想。
• 在三流形纤维化于 P¹ 且纤维非半正则的特殊情形下，对某些极化，通性拟正性仍成立，此结论通过可动锥中正则性开性得到证明。