[论文解读] Projective manifolds whose tangent bundle contains a strictly nef subsheaf

Jie Liu, Wenhao Ou+1 more|arXiv (Cornell University)|Apr 18, 2020

Algebraic Geometry and Number Theory被引用 4

一句话总结

该论文证明，若一个射影流形的切丛中包含一个局部自由的严格拟正子层，则该流形同构于一个双曲流形上的射影丛。若基本群为几乎阿贝尔群，则该流形同构于射影空间，从而推广了代数几何中正性理论的经典结果，并通过纤维化与双曲性特征刻画了具有严格拟正切子丛的流形。

ABSTRACT

Suppose that $X$ is a projective manifold whose tangent bundle $T_X$ contains a locally free strictly nef subsheaf. We prove that $X$ is isomorphic to a projective bundle over a hyperbolic manifold. Moreover, if the fundamental group $π_1(X)$ is virtually abelian, then $X$ is isomorphic to a projective space.

研究动机与目标

• 理解其切丛中包含严格拟正子层的射影流形的几何结构。
• 将切丛的拟正子层的经典结果（例如 Andreatta-Wi{\ss}niewski）推广至严格拟正情形。
• 研究切丛中严格拟正子层的存在是否仍迫使流形为射影空间或射影丛。
• 利用正性理论、MRC 纤维化与射影几何工具，对这类流形的可能结构进行分类。
• 当基本群为几乎阿贝尔群时，通过严格拟正条件对射影空间提供一个刻画。

提出的方法

• 利用数值射影平坦向量丛及其正性性质的理论。
• 应用 MRC（极大有理连通）纤维化来分析流形的结构，并将问题约化至基流形。
• 利用向量丛的射影化，将切层的几何与射影丛上典范线丛的几何联系起来。
• 通过分析纤维中有理曲线的退化性，推导出基流形的双曲性。
• 采用超越方法，包括研究曲线上赫尔米特平坦与严格拟正向量丛。
• 利用已知的严格拟正切丛结果（例如 LOY19），并将其推广至子层情形。

实验结果

研究问题

• RQ1 当一个射影流形的切丛中包含一个局部自由的严格拟正子层时，会涌现出何种几何结构？
• RQ2 在拟正情形下，切丛中严格拟正子层的存在是否仍迫使流形为射影空间，如同在拟正情形下一样？
• RQ3 基本群如何影响此类流形的结构，特别是当其为几乎阿贝尔群时？
• RQ4 严格拟正子层在切丛中可能有两种何种结构？它们与拟正情形有何不同？
• RQ5 尽管严格拟正性不关于外积封闭，它在多大程度上仍能控制流形的整体几何？

主要发现

• 若射影流形 $X$ 的切丛 $T_X$ 中包含一个局部自由的严格拟正子层 $\mathscr{F}$，则存在一个 $\mathbb{P}^d$-丛结构 $\varphi: X \to T$，其中 $d \geq r = \operatorname{rk}(\mathscr{F})$。
• 基流形 $T$ 是双曲的，即每个从 $\mathbb{C}$ 到 $T$ 的全纯映射均为常值。
• 严格拟正子层 $\mathscr{F}$ 的结构仅有两种可能：要么 $\mathscr{F} \cong T_{X/T}$ 且 $X$ 是 $T$ 上的平坦射影丛，要么 $\mathscr{F}$ 是数值射影平坦的，且其纤维同构于 $\mathcal{O}_{\mathbb{P}^d}(1)^{\oplus r}$。
• 若基本群 $\pi_1(X)$ 为几乎阿贝尔群，则 $X$ 同构于 $\mathbb{P}^n$，从而将 LOY19 的结果推广至严格拟正情形。
• 该结果将定理 1.2（Andreatta-Wi{\ss}niewski）推广至严格拟正情形，表明此类流形不一定是射影空间，除非施加额外的拓扑条件。
• 本文构造了反例，表明严格拟正条件本身不足以迫使 $X \cong \mathbb{P}^n$，除非附加假设，凸显了基本群条件的必要性。