[论文解读] Rigidity and quasi-rigidity of extremal cycles in Hermitian symmetric spaces

Robert L. Bryant|ArXiv.org|Jun 24, 2000

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

一句话总结

本文通过构建非对合的全纯外微分系统（EDS），研究了厄米对称空间（特别是格拉斯曼流形）中极小循环的刚性与拟刚性，其积分流形对应于具有特定同调类的子簇。关键贡献在于刻画了此类循环无法光滑化的条件，从而实现了对凯勒流形上具有零陈类的全纯丛的分类。

ABSTRACT

I use local differential geometric techniques to prove that the algebraic cycles in certain extremal homology classes in Hermitian symmetric spaces are either rigid (i.e., deformable only by ambient motions) or quasi-rigid (roughly speaking, foliated by rigid subvarieties in a nontrivial way). These rigidity results have a number of applications: First, they prove that many subvarieties in Grassmannians and other Hermitian symmetric spaces cannot be smoothed (i.e., are not homologous to a smooth subvariety). Second, they provide characterizations of holomorphic bundles over compact Kahler manifolds that are generated by their global sections but that have certain polynomials in their Chern classes vanish (for example, c_2 = 0, c_1c_2 - c_3 = 0, c_3 = 0, etc.).

研究动机与目标

• 理解格拉斯曼流形中某些奇异子簇（如施伯特循环）为何不能同调于光滑子簇。
• 构建一个全纯外微分系统（EDS）$\mathcal{I}$，以刻画在给定余维数下与固定子簇具有平凡交配对的紧复子簇。
• 分析厄米对称空间（特别是格拉斯曼流形和例外空间如E VII）中这些EDS理想的结构。
• 将结果应用于分类在紧凯勒流形上由全局截面生成且第二或第三陈类为零的全纯向量丛。
• 确定此类丛在何种情况下必须是曲线上的拉回丛，或分解为线丛与平凡丛的直和。

提出的方法

• 在紧厄米对称空间$M$上构造一个全纯外微分系统$\mathcal{I}$，使得任意满足$[V] \cap [W] = 0$的$p$维子簇$V \subset M$均为$\mathcal{I}$的积分流形。
• 分析$\mathcal{I}$的非对合性，并利用此性质通过表示论与组合方法显式描述其$p$维积分流形。
• 利用切空间外代数中理想格的偏序集对积分流形进行分类，特别是与哈塞图中特定节点相关的施伯特循环。
• 将理论应用于格拉斯曼流形$\mathrm{Gr}(m,n)$，重点关注余维数$k=2,3$的施伯特循环及其同调非光滑性。
• 利用托姆与哈茨霍恩–里斯–托马斯的结果，证明$\mathrm{Gr}(3,6)$中某些同调类不能由光滑子流形实现。
• 使用计算工具（如simpLie）研究例外厄米对称空间（如$\mathsf{E\,VII}$），分析理想格及其积分流形。

实验结果

研究问题

• RQ1 在何种条件下，格拉斯曼流形中的施伯特循环不能同调于任何光滑子簇？
• RQ2 与固定子簇$W$相关的全纯外微分系统$\mathcal{I}$是否可用于刻画所有满足$[V] \cap [W] = 0$的子簇$V$？
• RQ3 在厄米对称空间中，特别是$\mathrm{Gr}(3,6)$与$\mathsf{E\,VII}$中，非对合全纯EDS的积分流形具有何种结构？
• RQ4 在紧凯勒流形上，由全局截面生成的全纯丛的陈类为零，如何约束其几何结构？
• RQ5 在$\mathsf{E\,VII}$中，给定理想$\mathcal{I}_{(p,q)}$的所有不可约积分是否均包含于更高维的特定施伯特循环内？

主要发现

• 在$\mathrm{Gr}(3,6)$中，余维数2的施伯特循环$\sigma(W)$不能同调于任何光滑子簇，此结论由哈茨霍恩、里斯与托马斯借助托姆关于同调类不可实现的结果证明。
• 在$\mathrm{Gr}(2,5)$中，余维数2的循环$\sigma(W)$可同调于两个光滑子簇的差，但不能同调于任何单一光滑子簇。
• 与固定子簇$W$相关的全纯EDS$\mathcal{I}$几乎从不满足对合性，但其$p$维积分流形仍可显式描述。
• 当紧凯勒流形上由全局截面生成的全纯丛$F$满足$c_2(F) = 0$时，$F$要么是曲线上的拉回丛，要么可分解为$L \oplus T$，其中$L$为线丛，$T$为平凡丛。
• 在$\mathsf{E\,VII}$中，理想$\mathcal{I}_{(6,6)}$具有维数10的不可约积分，对应于节点$(10,0)$处的施伯特循环，其表示维数为43,758，远小于其邻近理想。
• 在$\mathsf{E\,VII}$中，理想$\mathcal{I}_{(10,0)}$具有维数17的不可约积分，对应于节点$(17,8)$，其表示维数为100,386，小于$\Lambda^{10}(\mathfrak{m})$的八十分之一。