[论文解读] Identities involving symmetric polynomials and localization in equivariant cohomology

Dang Tuan Hiep|arXiv (Cornell University)|Jul 17, 2016

Advanced Algebra and Geometry参考文献 12被引用 3

一句话总结

本文推导出关于对称多项式的全新恒等式，以简化格拉斯曼流形上阿蒂yah-博特定理-伯林-伯格内局部化公式中的表达式。通过利用这些恒等式，本文为格拉斯曼流形上典范丛特征类的积分提供了显式公式，为等变上同调计算提供了一种计算工具。

ABSTRACT

We obtain identities involving symmetric polynomials. These identities provide a way of handling expressions appearing in the Atiyah-Bott-Berline-Vergne formula for Grassmannians. As a corollary, we obtain formulas for integrals over Grassmannians of characteristic classes of the tautological bundles.

研究动机与目标

• 推导出可简化等变上同调积分评估的对称多项式恒等式。
• 解决在格拉斯曼流形上应用阿蒂yah-博特定理-伯林-伯格内公式时出现的表达式复杂性问题。
• 推导出格拉斯曼流形上典范丛特征类积分的显式公式。

提出的方法

• 推导涉及对称多项式的代数恒等式，以简化局部化公式中的项。
• 在格拉斯曼流形的背景下，将这些恒等式应用于阿蒂yah-博特定理-伯林-伯格内公式。
• 利用格拉斯曼流形的等变上同调环的结构，约束对称多项式恒等式的形态。
• 利用典范丛及其特征类的已知性质，将积分表达为对称多项式的形式。
• 利用局部化技术，将整体积分简化为在不动点上的求和，其中对称多项式恒等式可简化计算。
• 通过与等变上同调中已知结果的一致性检验来验证这些恒等式。

实验结果

研究问题

• RQ1 如何构造对称多项式恒等式，以简化格拉斯曼流形上的阿蒂yah-博特定理-伯林-伯格内公式？
• RQ2 在此设定下，典范丛特征类积分的具体形式是什么？
• RQ3 能否系统性地利用对称多项式恒等式简化局部化公式，从而得到闭式表达？
• RQ4 格拉斯曼流形上等变积分简化的背后代数结构是什么？
• RQ5 这些恒等式与对称群或GL(n)的表示理论有何关联？

主要发现

• 本文建立了一组对称多项式恒等式，可直接简化格拉斯曼流形上阿蒂yah-博特定理-伯林-伯格内公式的各项。
• 这些恒等式使得格拉斯曼流形上典范丛特征类积分的显式计算成为可能。
• 所推导的公式完全以对称多项式表达，将复杂的上同调表达式简化为代数运算。
• 该方法提供了一种系统性评估等变积分的方法，无需直接进行几何计算。
• 该结果适用于任意格拉斯曼流形，并推广了特征类积分的已知特例。
• 该框架为从事等变拓扑与代数几何的研究人员提供了一项计算工具。