[论文解读] Calculation of Thom polynomials for group actions

L Fehér, Richárd Rimányi|ArXiv.org|Sep 8, 2000

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

一句话总结

本文提出了一种系统化方法，通过限制方程计算群作用的Thom多项式，该方法高效计算了等变拓扑与代数几何中的上同调障碍。关键贡献是一个统一框架，可恢复并扩展奇点理论与退化点集公式中的已知结果，应用于GL(n)的表示以及轨道分层的Kazarian谱序列。

ABSTRACT

In this paper we propose a systematic study of Thom polynomials for group actions defined by M. Kazarian. On one hand we show that Thom polynomials are first obstructions for the existence of a section and are connected to several problems of topology, global geometry and enumerative algebraic geometry. On the other hand we describe a way to calculate Thom polynomials: the method of restriction equations. It turned out that though the idea is quite simple the method is very powerful. We reproduced and improved earlier result in several directions (singularities, Schubert calculus, quivers). However a proper introduction to the basic theorems was missing. In this paper we try to pay this debt as well as we present the connections with obstruction theory and equivariant cohomology. We give some new results and outline possible generalizations and problems.

研究动机与目标

• 开发一种系统化方法，用于计算群作用的Thom多项式，其作为纤维丛中截面存在性的上同调障碍。
• 阐明Thom多项式、障碍理论与等变上同调之间的联系，尤其通过Kazarian谱序列的视角。
• 将此前仅用于光滑映射奇点的限制方程方法推广至任意群作用与表示。
• 为经典群如GL(n)、GL(2)及伴随表示提供Thom多项式的显式计算，得出新结果。
• 展示如何利用Kazarian谱序列通过分析上同调秩来预测表示中轨道层的数量。

提出的方法

• 通过求解群作用在轨道闭包法丛上的限制方程系统，应用限制方程方法计算Thom多项式。
• 该方法利用等变Poincaré对偶性，并将障碍理想识别为总空间坍缩至一点所诱导映射的核。
• 使用Kazarian谱序列对表示空间按轨道类型进行分层，其边缘同态给出Thom多项式。
• 证明对于许多复表示，谱序列在E1项即退化，简化计算并使上同调秩的组合技术得以应用。
• 推导出线性群作用的投影化公式，实现退化点集次数的直接计算。
• 通过重现经典结果（如Giambelli-Thom-Porteous公式）并将其推广至新情形，验证了该方法的有效性。

实验结果

研究问题

• RQ1 如何在经典光滑映射情形之外，系统化地计算群作用的Thom多项式？
• RQ2 Kazarian谱序列在组织轨道分层与计算障碍类中扮演何种角色？
• RQ3 限制方程方法能否推广至半单群的任意表示？
• RQ4 如何仅利用低余维数据，通过谱序列预测表示中轨道类型的数量？
• RQ5 Thom多项式与代数几何中退化点集公式之间存在何种联系？

主要发现

• 限制方程方法成功计算了GL(n)表示（包括伴随表示与GL(2)）的Thom多项式，得出新的显式公式。
• 对于GL(n) × GL(n+k)的表示，Kazarian谱序列在E1项退化，使得可通过组合恒等式计算上同调秩。
• 通过分析谱序列至余维3，预测GL(n)作用下余维4的层数量为2，与已知分类一致。
• 为投影化群作用中的退化点集次数推导出简洁公式，推广了Porteous、Harris与Tu及Fulton的结果。
• 谱序列方法揭示了一个与整数分拆相关的组合恒等式，证实了BU(∞)上同调群的秩。
• 证明等变上同调中的障碍理想当且仅当存在截面时为零，从而提供了截面存在的上同调判别准则。