[论文解读] Sur la cohomologie de certains espaces de modules de fibrés vectoriels

Arnaud Beauville|ArXiv.org|Feb 21, 1992

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

一句话总结

本文提供了一个简洁的上同调证明，表明紧致黎曼曲面上稳定向量丛模空间的有理上同调代数由全纯丛的陈类的凯伦特分量生成。通过应用埃林斯鲁德与斯特罗姆的对角线方法，并结合K-理论中的黎曼-罗赫定理，证明了在适度条件下（包括当 i ≥ 2 时 Ext^i 的消失），上同调是代数的。

ABSTRACT

Let M be a moduli space of stable vector bundles on a curve with rank and degree fixed and coprime. We give a simple proof that the rational cohomology of M is generated by the Kunneth components of the Chern classes of the universal bundle. The proof applies also to some moduli spaces of vector bundles over higher-dimensional varieties.

研究动机与目标

• 为稳定向量丛模空间的有理上同调代数的生成性提供一个简洁的上同调证明。
• 通过基于对角构造的新方法，推广[A–B]中关于上同调生成元的结果。
• 在适当条件下，证明模空间的上同调是代数的，即有理上同调类可由代数周期类实现。
• 建立一个一般性判据，使得上同调代数由庞加莱丛陈类的凯伦特分量生成。
• 探讨条件(iii)中Ext的消失性对模空间结构的影响，特别是在法诺三叉与有理曲面上的含义。

提出的方法

• 利用 M × M 上的对角类 δ 及其凯伦特分解为 p*μi · q*νi，证明 νi 生成 H*(M, Q)。
• 在 X × M × M 上构造层 H = Hom(p1*E, p2*E)，其中 E 为全纯丛。
• 应用上同调谱序列，将 Rπ_*H 表示为向量丛复形 K•，其中 K0 → K1 捕获 Ext^0 与 Ext^1。
• 使用 Porteous 公式，将退化点 D（微同胚于对角 Δ）的类表示为 c_m(K1 - K0) = c_m(-π!H)，即 K-理论中的陈类。
• 应用黎曼-罗赫定理，将 ch(π!H) 表示为 π_*[r*TD(C) · ch(H)]，表明 π!H 的陈类属于由 c_i(E) 的凯伦特分量生成的代数。
• 运用一个关键引理，指出 π!H 的陈类是 E 的陈类凯伦特分量的乘积，从而证明上同调由这些分量生成。

实验结果

研究问题

• RQ1 在何种条件下，稳定层模空间的有理上同调代数由全纯丛陈类的凯伦特分量生成？
• RQ2 如何将埃林斯鲁德与斯特罗姆的对角线方法适配于向量丛模空间的上同调生成性证明？
• RQ3 当 i ≥ 2 时 Ext^i(E,F) 的消失性在确保上同调为代数且由陈类生成中起何作用？
• RQ4 能否通过此方法证明有理曲面或法诺三叉上的模空间上同调为代数？
• RQ5 K-理论中的黎曼-罗赫定理在多大程度上允许将对角类用全纯丛不变量表示？

主要发现

• 有理上同调代数 H*(M, Q) 由庞加莱丛 E 的陈类的凯伦特分量生成。
• M × M 上的对角类 δ 通过 Porteous 公式表示为 c_m(-π!H)，其中 H = Hom(p1*E, p2*E)。
• π!H 的陈类属于由 c_i(E) 的凯伦特分量生成的 Q-代数，这意味着 M 的上同调由这些分量生成。
• 在 Ext 消失条件 (iii) 下，M 的上同调是代数的：即周期类映射 CH*(M) ⊗ Q → H*(M, Q) 是环的同构。
• 当 X = P^2 时，结果可推广至整上同调且无挠，如埃林斯鲁德与斯特罗姆通过贝利松谱序列所展示。
• 在法诺三叉中，若其反Canonical 系统包含 K3 曲面，则 Ext 条件意味着模空间同构于 K3 曲面上辛模空间的拉格朗日子簇。