[论文解读] On the Chow rings of classifying spaces for classical groups

Luis Alberto Molina Rojas, Angelo Vistoli|ArXiv.org|May 26, 2005

Advanced Algebra and Geometry被引用 37

一句话总结

本文利用Vezzosi首创的分层方法，统一计算了经典群——GLₙ、SLₙ、Spₙ、Oₙ和SOₙ——的Chow环。研究证明，当n = 2m为偶数时，Chow环A*ₐ(SOₙ)同构于ℤ[c₂,…,cₙ,yₘ]/(yₘ² − (−1)ᵐ2ⁿ⁻²cₙ, 2cₒdd, yₘcₒdd)，解决了有理Chow环与整数Chow环分道扬镳的关键情形。

ABSTRACT

We show how the stratification method, introduced by Vezzosi in his study of PGL_3, provides a unified approach to the known computations of the Chow rings of the classifying spaces of GL_n, SL_n, Sp_n, O_n and SO_n.

研究动机与目标

• 使用单一方法统一现有对经典群Chow环的计算。
• 解决当n为偶数时A*(SOₙ)的结构问题，此时有理Chow环与整数Chow环存在差异。
• 将Vezzosi的分层方法系统扩展至非连通群与非分裂群（如SOₙ）。
• 证明Chern类c₂,…,cₙ与Edidin-Graham类yₘ生成A*(SOₙ)，并给出显式关系。
• 表明A*(SOₙ)的环结构即使在有理数域上也不与它的上同调环同构，原因在于挠类与额外生成元的存在。

提出的方法

• 采用Vezzosi为PGL₃引入的分层方法，分析经典群的分类空间。
• 利用每类群的典范表示定义Chern类cᵢ ∈ A*(G)，作为生成元。
• 应用投影公式与自交公式计算A*(SOₙ)中的关系，特别是类yₘ的关系。
• 限制到极大环面Tₘ上计算yₘ的平方，证明在Aⁿ(Tₘ)中有yₘ² = 2ⁿ⁻²(−1)ᵐcₙ。
• 利用群Γₙ ≅ μ₂ⁿ⁻¹分析Chern类的模2约化，证明r₂,…,rₙ在模r₁下的代数独立性。
• 使用同态A*(Γₙ) → ℱ₂[η₁,…,ηₙ]/(η₁+⋯+ηₙ)验证Chow环中的关系充分且正确。

实验结果

研究问题

• RQ1 当n为偶数时，如何计算SOₙ的分类空间Chow环A*(G)，尤其是在其不能仅由Chern类生成的情形？
• RQ2 A*(SOₙ)在整数系数下的精确结构是什么？它与有理Chow环和上同调版本有何不同？
• RQ3 分层方法能否系统性地应用于统一计算包括SOₙ与Spₙ在内的经典群的Chow环？
• RQ4 如yₘ这样的挠类在SOₙ的整数Chow环中起什么作用？它与欧拉类有何关联？
• RQ5 为何A*(SOₙ)即使在有理数域上也不与H*(SOₙ)同构？需要哪些新生成元？

主要发现

• 当SOₙ的n = 2m为偶数时，A*(SOₙ)同构于ℤ[c₂,…,cₙ,yₘ]/(yₘ² − (−1)ᵐ2ⁿ⁻²cₙ, 2cₒdd, yₘcₒdd)，首次给出了完整的整数描述。
• Edidin与Graham构造的类yₘ在A*(SOₙ)中至关重要，且当n=4时不在Chern类的像中。
• 通过限制到极大环面验证了关系yₘ² = 2ⁿ⁻²(−1)ᵐcₙ，确认了系数的正确性。
• 关系2cₒdd与yₘcₒdd是必要且充分的，表明Chow环中的挠结构完全由这些关系捕获。
• 通过Γₙ的模2约化确认，生成元c₂,…,cₙ与yₘ在模2下代数独立，验证了该表示的正确性。
• 该方法成功统一了GLₙ、SLₙ、Spₙ、Oₙ与SOₙ的A*(G)计算，揭示了所有经典群的共同框架。