[论文解读] Semistability criterion for parabolic vector bundles on curves

Indranil Biswas, Ajneet Dhillon|arXiv (Cornell University)|Mar 7, 2011

Algebraic Geometry and Number Theory参考文献 10被引用 3

一句话总结

本文为具有有理数权重的曲线上的抛物向量丛建立了上同调半稳定性的判别准则：一个抛物向量丛是半稳定的，当且仅当存在另一个抛物向量丛，使得它们底层张量积的上同调在所有度数上都为零。关键进展在于，将先前工作中使用的非典范辅助丛替换为平凡线丛，从而简化了判别准则，并推广了法尔廷斯对普通向量丛的上同调半稳定性准则。

ABSTRACT

We give a cohomological criterion for a parabolic vector bundle on a curve to be semistable. It says that a parabolic vector bundle $E$ with rational parabolic weights is semistable if and only if there is another parabolic vector bundle $F$ with rational parabolic weights such that the cohomologies of the vector bundle underlying the para- bolic tensor product $E \otimes F$ vanish. This criterion generalizes the known semistability criterion of Faltings for vector bundles on curves and significantly improves the result in [Bis07].

研究动机与目标

• 将法尔廷斯对普通向量丛的上同调半稳定性准则推广到抛物情形。
• 消除先前判别准则中对非典范辅助抛物丛的依赖，改用平凡线丛。
• 为具有有理数抛物权重的抛物向量丛的半稳定性提供更清晰、更典范的判别准则。
• 建立半稳定性与存在某个抛物丛使得其与该丛张量积的上同调在所有度数上消失之间的等价性。
• 利用根栈和范畴论方法，以系统化且几何化的方式推导出该判别准则。

提出的方法

• 作者利用根栈将抛物向量丛实现为伽罗瓦覆盖上的等变向量丛，从而能够应用栈上同调工具。
• 他们定义了权重属于 (1/r)ℤ 的抛物丛的张量范畴，并建立了 X 上的抛物丛与根栈 X_{D,r} 上的向量丛之间的等价关系。
• 通过 Lerray 族谱序列以及在特征零下前推是正合的性质，将上同调消失准则从根栈转移到基曲线。
• 证明利用了在商栈 [Y/G] 上的半稳定 G-等变丛可下降为 X 上的半稳定抛物丛这一事实。
• 对于 ℙ¹ 上仅有一个抛物点的情形，通过将底层丛分解为线丛，直接证明了结果。
• 一般情形下，利用法尔廷斯准则在伽罗瓦覆盖 Y 上构造一个具有消失上同调的 G-等变丛，该丛可下降为所需的抛物丛。

实验结果

研究问题

• RQ1 能否为具有有理数权重的抛物向量丛的半稳定性建立一个上同调判别准则，使其推广法尔廷斯对普通向量丛的准则？
• RQ2 是否可能将先前准则中使用的非典范辅助丛替换为典范的，如平凡线丛？
• RQ3 根栈理论如何促进将抛物丛转化为覆盖上的等变丛？
• RQ4 在抛物情形下，张量积的上同调消失能推出半稳定性的条件是什么？
• RQ5 抛物丛的半稳定性能否完全由存在一个对偶抛物丛使得它们张量积无上同调来刻画？

主要发现

• 对于具有有理数抛物权重的曲线 X 上的抛物向量丛 E_*，当且仅当存在一个抛物向量丛 F_*，使得对所有 i 都有 H^i(X, (E_* ⊗ F_*)₀) = 0，E_* 是半稳定的。
• 准则中的辅助丛 F_* 可以选取为带有平凡抛物结构的平凡线丛 O_X，从而极大简化了准则。
• 证明依赖于 X 上的抛物丛与根栈 X_{D,r} 上的向量丛之间的等价关系，这使得栈上同调工具得以应用。
• 抛物丛的半稳定性等价于其在伽罗瓦覆盖 Y → X 上对应的 G-等变丛的半稳定性。
• 由于在特征零下 π_* 是正合的，上同调消失准则在沿 π: X_{D,r} → X 的前推下保持不变。
• 该结果通过消除对非典范辅助丛的依赖，改进了早期准则，使判别准则更具内在性与几何自然性。