[论文解读] Triviality and Split of Vector Bundles on Rationally Connected Varieties

Xuanyu Pan|arXiv (Cornell University)|Oct 22, 2013

Advanced Algebra and Geometry参考文献 19被引用 3

一句话总结

本文利用满足Lefschetz条件的有理曲线族，建立了一类有理连通概形上向量丛的新的平凡性判别准则，证明了若一个向量丛在其每条有理曲线上都是平凡的，则该向量丛本身是平凡的。进一步证明了在齐次空间上，一个向量丛是平凡的当且仅当其在每条Schubert直线上的限制是平凡的，并利用此结果推导出经典Grassmannian和二次曲面上低秩均匀向量丛的分裂性判别准则。

ABSTRACT

In this paper, we give a simple proof of a triviality criterion due to I.Biswas and J.Pedro and P.Dos Santos. We also prove a vector bundle on a homogenous space is trivial if and only if the restrictions of the vector bundle to Schubert lines are trivial. Using this result and Chern classes of vector bundles, we give a general criterion of a uniform vector bundle on a homogenous space to be splitting. As an application, we prove a uniform vector bundle on classical Grassmannians and quadrics of low rank is splitting.

研究动机与目标

• 通过有理曲线族，为分离有理连通概形上向量丛的平凡性判别准则提供一个简洁证明。
• 基于其在Schubert直线上的限制，建立齐次空间上向量丛的平凡性判别准则。
• 利用Chern类理论与VRMT（扭子模的虚拟解析化解）的良好可除性，为齐次空间上低秩均匀向量丛建立一个通用分裂性判别准则。
• 将分裂性判别准则应用于经典Grassmannian与二次曲面，证明秩至多为s(X)的均匀向量丛是分裂的。
• 通过一种统一的、基于上同调的方法，推广现有关于均匀向量丛的结果，使其适用于多个经典齐次空间。

提出的方法

• 利用分离有理连通概形上存在满足Lefschetz条件的有理曲线族，将向量丛的平凡性归约为其在有理曲线上的限制。
• 应用Lefschetz铅笔技巧与基变换定理，通过平坦性与投影公式，将平凡性从纤维提升至整体空间。
• 利用Chern类理论与Chow环结构，定义齐次空间的VRMT在度数至r范围内的‘良好可除性’。
• 对向量丛的秩进行归纳，并利用Ext^1群的消去性（通过H^1(G/P, L) = 0，当dim(G/P) ≥ 2时成立），在向量丛均匀且VRMT具有良好可除性时证明其分裂。
• 利用Bruhat分解与Chow环同构（CH*(X) ≅ H*(X, Z)）分析二次曲面与Grassmannian的良好可除性，借助张量积与射影丛公式。
• 应用关于乘积与射影丛的良好可除性引理，将判别准则推广至乘积空间与旗流形，包括正交与辛Grassmannian。

实验结果

研究问题

• RQ1 当一个向量丛在其每条有理曲线上都是平凡的时，其在有理连通概形上何时是平凡的？
• RQ2 当一个向量丛在齐次空间G/P上的每条Schubert直线上的限制都是平凡的时，其本身何时是平凡的？
• RQ3 在何种条件下，齐次空间上低秩均匀向量丛会分裂为线丛的直和？
• RQ4 哪些经典齐次空间（如Grassmannian、二次曲面）允许对秩至多为s(X)的均匀向量丛建立分裂性判别准则？
• RQ5 齐次空间的VRMT的良好可除性与其上低秩均匀向量丛的分裂性之间有何关系？

主要发现

• 在代数闭域上光滑射影概形上，若该概形是分离有理连通的，则其上的向量丛是平凡的当且仅当其在每条有理曲线上都是平凡的。
• 在齐次空间G/P上，其上的向量丛是平凡的当且仅当其在每条Schubert直线上的限制是平凡的。
• 对于Picard数为1的齐次空间G/P，若其VRMT在度数至r范围内具有良好可除性，则秩至多为r的均匀向量丛是分裂的。
• 在经典Grassmannian G(k,n)上，秩至多为min(k, n−k−1)的均匀向量丛是分裂的，这由其VRMT的良好可除性所确认。
• 在二次曲面Q^n上，秩至多为n−2（当n为奇数时）或n−3（当n为偶数时）的均匀向量丛是分裂的，这是由于其Chow环结构的良好可除性。
• 该方法通过基于VRMT与Chern类理论的一般准则，统一证明了多种经典齐次空间（包括正交与辛Grassmannian）上低秩均匀向量丛的分裂性。