[论文解读] Vanishing of top equivariant Chern classes of regular embeddings

Michel Brion, Ivan Kausz|ArXiv.org|Mar 10, 2005

Algebraic Geometry and Number Theory参考文献 8被引用 4

一句话总结

本文建立了在正则 $G$-概形上对数余切丛的上等变陈类的消去定理，证明了当 $i > \dim(X) - \operatorname{rk}(G) + \operatorname{rk}(H)$ 时，$c_i^G(\Omega^1_X(\log D)) = 0$，其中 $H$ 为开 $G$-轨道的稳定子群。该结果依赖于等变上同调技巧与正则嵌入的结构，其应用包括通过 Gieseker 的退化程序研究向量丛模空间。

ABSTRACT

Let $G$ be a connected affine algebraic group and $X$ a regular $G$-variety (in the sense of Bifet-De Concini-Procesi) with open orbit $G/H$ and boundary divisor $D$. We show the vanishing of the $G$-equivariant Chern classes of the bundle of differential forms on $X$ with logarithmic poles along $D$, in degrees larger than $\dim(X) - k(G) + k(H)$. Our motivation comes from Gieseker's degeneration method to prove the Newstead-Ramanan conjecture on the vanishing of the top Chern classes of the moduli space of stable vector bundles on a curve.

研究动机与目标

• 建立正则 $G$-概形上对数余切丛的等变陈类的消去结果。
• 为 Newstead-Ramanan 猜想的高秩推广提供一个通用框架。
• 解决 Gieseker 的退化方法中模空间稳定向量丛的关链技术步骤。
• 利用等变上同调将已知的秩二与秩三消去结果推广至任意秩。

提出的方法

• 利用 [BDP] 中的限制映射 $H^*_{G}(X) \to \prod_Y H^*_{G}(Y)$ 的单射性，将问题约化至 $G$-轨道。
• 应用命题 3.4，将 $\Omega^1_X(\log D)|_Y$ 与 $\Omega^1_Y$ 及一个秩为 $c$ 的平凡丛（$c$ 为轨道 $Y$ 的余维数）联系起来。
• 利用推论 3.3 比较稳定子群的秩与维数，确保 $\dim(G_y) - \operatorname{rk}(G_y) \geq \dim(H) - \operatorname{rk}(H)$。
• 利用命题 3.1 证明当 $i > \dim(G) - \dim(G_y) - \operatorname{rk}(G) + \operatorname{rk}(G_y)$ 时，$c_i^G(\Omega^1_Y) = 0$。
• 结合不等式推导出消去范围 $i > \dim(X) - \operatorname{rk}(G) + \operatorname{rk}(H)$。
• 将结果应用于模空间退化情形，其中 $G = \operatorname{GL}_r \times \operatorname{GL}_r$，以支持 Gieseker 程序中的归纳步骤。

实验结果

研究问题

• RQ1 在正则 $G$-概形中，对数余切丛的上等变陈类是否在某一程度以上消去？
• RQ2 该消去结果能否用于支持 Gieseker 的退化方法中模空间向量丛的归纳步骤？
• RQ3 是否存在一种普遍的上同调机制，可解释模空间稳定丛在度数高于 $r(r-1)(g-1)$ 时陈类的消去？
• RQ4 稳定子群结构如何影响等变陈类的消去范围？
• RQ5 能否利用等变技巧将该消去结果从秩二与秩三代数推广至任意秩？

主要发现

• 上等变陈类 $c_i^G(\Omega^1_X(\log D))$ 在 $i > \dim(X) - \operatorname{rk}(G) + \operatorname{rk}(H)$ 时消去，其中 $H$ 为开 $G$-轨道的稳定子群。
• 该消去结果对正则 $G$-概形 $X$ 中的所有 $G$-轨道 $Y = G \cdot y$ 成立，从而将问题约化至轨道层面。
• 该结果通过限制映射到轨道上同调的单射性及轨道上对数微分的结构得以证明。
• 该界是紧的，因为其与稳定向量丛模空间中已知的消去范围 $r(r-1)(g-1)$ 一致。
• 该方法通过利用等变上同调与稳定子群的表示论界，避免了繁琐的爆破计算。
• 该结果为 Gieseker 在高秩情形下归纳论证中第一个蕴含关系提供了统一证明。