[论文解读] On Banica sheaves and Fano manifolds

Edoardo Ballico, Jarosław A. Wiśniewski|ArXiv.org|Nov 7, 1993

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

一句话总结

本文引入了巴尼卡层——其射影化后产生光滑法诺流形的凝聚层——并分类了作为非局部自由层的射影化而产生的、指标为 $ r $、维数为 $ 2r $ 且 $ b_2 \geq 2 $ 的法诺流形。通过反射层技巧与陈类分析，证明此类法诺流形必为 $ \mathbb{P}^{r+1} \times \mathbb{P}^{r+1} $ 中两个 $(1,1)$-除子的完全交、沿线性子簇的二次曲面的爆破，或射影空间积中的特定除子，且给出了层结构与奇异纤维数的显式描述。

ABSTRACT

In the present paper we discuss coherent sheaves of rank > 1 whose projectivization gives rise to smooth varieties - varieties of this type are also called smooth scrolls. We prove some basic properties of these varieties and we give some pertinent examples. We classify Fano manifolds of large index which are of this type.

研究动机与目标

• 对作为凝聚层射影化而产生的、指标为 $ r $、维数为 $ 2r $ 且 $ b_2 \geq 2 $ 的法诺流形进行分类。
• 将射影纤维丛理论从平坦、局部自由层扩展至包含非局部自由凝聚层的情形，特别是那些产生光滑流形的情形。
• 刻画巴尼卡层——其射影化为光滑流形的凝聚层——并确立其结构与数值性质。
• 通过巴尼卡层的框架解决贝尔特拉米与索梅塞关于光滑柱面的猜想。

提出的方法

• 使用对称代数 $ \operatorname{Sym}(\mathcal{E}) $ 的相对 Proj 构造定义基流形 $ Y $ 上凝聚层 $ \mathcal{E} $ 的射影化 $ \mathbb{P}(\mathcal{E}) $。
• 利用典范可逆层 $ \mathcal{O}_{\mathbb{P}(\mathcal{E})}(1) $，满足 $ p_*\mathcal{O}(1) \cong \mathcal{E} $，将层数据与 $ X = \mathbb{P}(\mathcal{E}) $ 的几何联系起来。
• 应用相对欧拉序列与陈类计算，分析纤维的法丛与切丛，尤其在法诺流形与伴随除子的背景下。
• 利用 $ \mathcal{E} $ 不是局部自由的条件，推导出对基 $ Y $ 的约束，从而根据 $ Y \cong \mathbb{P}^{r+1} $ 或 $ \mathbb{Q}^{r+1} $ 的情形进行分类。
• 分析 $ \mathcal{E}(-1) $ 在超平面的限制，并利用 [PSW1] 中的分类结果识别可能的丛类型。
• 将上层陈类 $ c_{r+1}(\mathcal{E}) $ 视为奇异纤维的数量，以区分不同情形并验证与已知不变量的一致性。

实验结果

研究问题

• RQ1 作为非局部自由凝聚层的射影化而产生的、指标为 $ r $、维数为 $ 2r $ 且 $ b_2 \geq 2 $ 的法诺流形，其可能的几何结构是什么？
• RQ2 层 $ \mathcal{E} $ 的性质，特别是其秩与奇点，如何约束法诺流形 $ X = \mathbb{P}(\mathcal{E}) $ 的结构？
• RQ3 能否通过巴尼卡层的框架解决贝尔特拉米与索梅塞关于光滑柱面的猜想？
• RQ4 此类法诺流形相关的数值不变量——尤其是陈类与奇异纤维数——是什么？
• RQ5 哪些基流形 $ Y $ 可以支持一个非局部自由层 $ \mathcal{E} $，使得 $ \mathbb{P}(\mathcal{E}) $ 是指标为 $ r $、维数为 $ 2r $ 的法诺流形？

主要发现

• 作为非局部自由层射影化而产生的、指标为 $ r $、维数为 $ 2r $ 且 $ b_2 \geq 2 $ 的法诺流形，其基必须满足 $ Y \cong \mathbb{P}^{r+1} $ 或 $ \mathbb{Q}^{r+1} $。
• 当 $ Y \cong \mathbb{P}^{r+1} $ 时，法诺流形 $ X $ 要么是 $ \mathbb{P}^{r+1} \times \mathbb{P}^{r+1} $ 中两个双次型为 $ (1,1) $ 的除子的完全交，要么是沿线性子簇 $ \mathbb{P}^{r-1} $ 爆破的二次曲面 $ \mathbb{Q}^{2r} $，要么是 $ \mathbb{P}^{r+1} \times \mathbb{P}^{r} $ 中双次型为 $ (1,2) $ 的除子。
• 当 $ Y \cong \mathbb{Q}^{r+1} $ 时，$ X $ 是 $ \mathbb{Q}^{r+1} \times \mathbb{P}^{r} $ 中双次型为 $ (1,1) $ 的除子。
• 在第一种情形中，$ \mathcal{E}(-1) \cong \mathcal{O}^{r+2}/\mathcal{O}(-1)^2 $，且 $ c_{r+1}(\mathcal{E}) = r+2 $，对应于 $ r+2 $ 个奇异纤维。
• 在第二种情形中，$ \mathcal{E}(-1) \cong (T\mathbb{P}^{r+1}(-1) \oplus \mathcal{O}(1))/\mathcal{O}^2 $，且 $ c_{r+1}(\mathcal{E}) = 2 $。
• 在第三种情形中，$ \mathcal{E}(-1) \cong \mathcal{O}^{r+1}/\mathcal{O}(-2) $，且 $ c_{r+1}(\mathcal{E}) = 2^{r+1} $；在 $ \mathbb{Q}^{r+1} $-情形中，$ \mathcal{E}(-1) \cong \mathcal{O}^{r+1}/\mathcal{O}(-1) $，且 $ c_{r+1}(\mathcal{E}) = 2 $。