[论文解读] Localization of equivariant cohomology rings of real Grassmannians

Chen He|arXiv (Cornell University)|Sep 20, 2016

Advanced Combinatorial Mathematics参考文献 27被引用 4

一句话总结

本文使用等变局部化技术计算实 Grassmannian 与定向 Grassmannian 的有理等变上同调环，通过等变 Pontryagin 类与 Euler 类确认了 Leray-Borel 描述。文中以等变特征多项式与 Schubert 类为基构造了加法基，计算了 Poincaré 系列、Littlewood-Richardson 系数与特征数，关键结果通过权重的平方映射建立了普通特征数与等变特征数之间的联系。

ABSTRACT

We use localization method to understand the rational equivariant cohomology rings of real Grassmannians and oriented Grassmannians, then relate this to the Leray-Borel description which says the ring generators are equivariant Pontryagin classes, Euler classes in even dimension, and one more new type of classes in odd dimension, as stated by Casian and Kodama. We give additive basis in terms of equivariant characteristic polynomials and equivariant Schubert/canonical classes. We also calculate Poincaré series, equivariant Littlewood-Richardson coefficients and equivariant characteristic numbers. Since all these Grassmannians with torus actions are equivariantly formal, many results for equivariant cohomology have similar statements for ordinary cohomology.

研究动机与目标

• 通过局部化方法理解实 Grassmannian 与定向 Grassmannian 的有理等变上同调环。
• 重新推导并确认这些环的 Leray-Borel 描述，其以等变 Pontryagin 类与 Euler 类表示。
• 在等变特征多项式与等变 Schubert/典范类中构造加法基。
• 计算 Poincaré 系列、等变 Littlewood-Richardson 系数与等变特征数。
• 通过权重平方映射将等变特征数与普通特征数联系起来。

提出的方法

• 应用 ABBV 局部化公式，计算 Grassmannian 上 torus 作用固定点集上的等变积分。
• 利用固定点处的同伦权重与法丛数据，表达局部化的等变 Euler 类与 Pontryagin 类。
• 依赖于所有具有 torus 作用的 Grassmannian 均为等变形式这一事实，从而可将结果转移至普通上同调。
• 通过权重的对称函数定义等变特征多项式，并将其与 Schubert 类关联。
• 使用平方映射 $ Sq: \alpha_i \mapsto \alpha_i^2 $，将复 Grassmannian 的等变 Chern 数与实 Grassmannian 的 Pontryagin 数联系起来。
• 通过将一般非零权重 $ \alpha_i \in \mathbb{R} $，$ \alpha_i \neq \pm \alpha_j $ 代入局部表达式，计算特征数。

实验结果

研究问题

• RQ1 如何利用局部化方法描述实 Grassmannian 的有理等变上同调环？
• RQ2 以特征多项式与 Schubert 类表示的等变上同调环的加法基是什么？
• RQ3 等变 Littlewood-Richardson 系数与 Poincaré 系列如何与 Grassmannian 的几何结构相关联？
• RQ4 在此背景下，等变特征数与普通特征数之间的精确关系是什么？
• RQ5 定向 Grassmannian 的 2 重覆盖如何影响等变特征数？

主要发现

• 实 Grassmannian $ G_{2k}(\mathbb{R}^{2n}) $ 的有理等变上同调环由等变 Pontryagin 类生成，关系来自 Whitney 乘积公式。
• 对于奇数维定向 Grassmannian，如 Casian 与 Kodama 所指出，环描述中会出现一个额外类（类似于 Euler 类）。
• 通过局部化 ABBV 公式与权重数据，计算了等变上同调环的 Poincaré 系列。
• 等变特征数作为权重的有理函数被计算，其局部表达式为 $ \frac{1}{\prod_{i\in S}\prod_{j\not\in S}(\alpha_j^2 - \alpha_i^2)} $。
• 通过将 $ \alpha_i = i $ 或 $ \alpha_i = \sqrt{i} $ 代入局部公式，可恢复普通特征数。
• 存在精确关系：$ \int_{\tilde{G}_{2k}(\mathbb{R}^{2n})} p^I = 2 \int_{{G}_{2k}(\mathbb{R}^{2n})} p^I $，且对其他覆盖亦成立，这是由于 2 重覆盖映射与特征类的自然性所致。