[论文解读] On positivity and semistability of vector bundles in finite and mixed characteristics

Adrián Langer|arXiv (Cornell University)|Jan 18, 2013

Algebraic Geometry and Number Theory参考文献 19被引用 11

一句话总结

本文研究了有限特征与混合特征下向量丛的正性与半稳定性之间的相互作用，提出了统一 nefness、半ample 性与强半稳定性行为的猜想。它建立了正特征下正性与平展平凡化之间的联系，通过 Frobenius 拉回与单值性，构建了一个连接算术几何与 Hodge 理论的框架。

ABSTRACT

We survey results concerning behavior of positivity of line bundles and possible vanishing theorems in positive characteristic. We also try to describe variation of positivity in mixed characteristic. These problems are very much related to behavior of strong semistability of vector bundles, which is another main topic of the paper.

研究动机与目标

• 理解有限域上代数簇上线丛的正性（nefness、半ample 性、有效性）的行为。
• 研究正特征下正线丛的消去定理及其对上同调性质的影响。
• 通过约化技术，探讨特征零下正性与正特征下正性之间的关系。
• 提出猜想，通过平展平凡化与单值性解释混合特征下向量丛的强半稳定性。
• 利用 Frobenius 拉回与数值等价性，在正特征下统一向量丛的算术与几何性质。

提出的方法

• 使用 Néron–Severi 定理与交点理论，在 $N^1(X)_\mathbb{Q}$ 中定义除子与线丛的数值类。
• 应用 Keel 的判别准则：在 $\bar{\mathbb{F}}_p$ 上的代数簇上，若一个 nef 线丛 $L$ 在 $L^\perp$ 上的限制是半ample，则 $L$ 是半ample。
• 利用 Frobenius 拉回定义强半稳定性：若对所有 $n \geq 0$，$(F^n)^*E$ 是斜率半稳定的，则向量丛 $E$ 是强半稳定的。
• 分析混合特征下代数簇的约化，通过一般纤维与闭点，关联不同纤维上正性与半稳定性的关系。
• 利用 Simpson 对应关系，将具有有限单值性的平坦联络与正特征下的平展平凡化丛联系起来。
• 应用算术几何中的结果，如 Elkies 关于超奇异约化的定理，以支持关于具有非平凡 Frobenius 作用的无限多个素数集合的猜想。

实验结果

研究问题

• RQ1 在有限域上的代数簇上，线丛的 nefness、半ample 性、有效性与拟有效性之间有何关系？
• RQ2 在正特征下，哪些类 Kodaïra 型消去定理适用于适当正线丛？
• RQ3 通过约化，特征零下的正性如何与正特征下的正性相关联？
• RQ4 在混合特征概形上的族中，向量丛的正性与半稳定性如何变化？
• RQ5 在何种条件下，混合特征下的向量丛是平展平凡化的？这与单值性及 Frobenius 作用有何关系？

主要发现

• 在 $\bar{\mathbb{F}}_p$ 上的射影曲线上的 nef 线丛是半ample，因为数值平凡线丛是挠的。
• 在 $\bar{\mathbb{F}}_p$ 上的光滑射影曲面上，若一个 nef 且大线丛的限制在 $L^\perp$ 上是数值平凡的，则其为半ample，因此是挠的。
• Keel 的半ample性判别准则在特征零下不成立，如曲线上的非挠零度线丛所示。
• 猜想 7.7 提出：若在 $\operatorname{Spec} R$ 上族的非常一般点 $s$ 处，丛 $\mathcal{E}_s$ 不是平展平凡化的，则此类 $s$ 的集合是无限的。
• 在特征零下，若局部自由层 $\mathcal{E}$ 在基的稠密开子集上是平展平凡化的，则当该子集为开集时，其一般纤维是平展平凡化的。
• 猜想 7.7 的类比在正特征下不成立：存在所有纤维均为平展平凡化的族，但其一般纤维不是，原因在于单值性阶可被特征整除。