[论文解读] Permutation actions on equivariant cohomology

Julianna Tymoczko|ArXiv.org|Jun 4, 2007

Advanced Combinatorial Mathematics参考文献 23被引用 13

一句话总结

本文利用 Goresky-Kottwitz-MacPherson（GKM）理论，构建了对称群在旗流形的等变上同调与普通上同调上的两个显式置换表示。证明了其中一个作用是正则表示，并提供了新的计算工具——差分算子与局部化公式，从而给出了 Chevalley-Monk 公式的全新证明，推动了扭域拓扑中的施佩尔曼同调理论。

ABSTRACT

This survey paper describes two geometric representations of the permutation group using the tools of toric topology. These actions are extremely useful for computational problems in Schubert calculus. The (torus) equivariant cohomology of the flag variety is constructed using the combinatorial description of Goresky-Kottwitz-MacPherson, discussed in detail. Two permutation representations on equivariant and ordinary cohomology are identified in terms of irreducible representations of the permutation group. We show how to use the permutation actions to construct divided difference operators and to give formulas for some localizations of certain equivariant classes. This paper includes several new results, in particular a new proof of the Chevalley-Monk formula and a proof that one of the natural permutation representations on the equivariant cohomology of the flag variety is the regular representation. Many examples, exercises, and open questions are provided.

研究动机与目标

• 通过扭域拓扑方法，构建对称群在旗流形上同调上的显式几何表示。
• 通过等变上同调上的置换作用，提供计算有效的施佩尔曼同调理论工具。
• 通过旗流形的几何结构，在组合学、代数拓扑与代数几何之间建立联系。
• 证明等变上同调上两个自然置换作用中的一个即为对称群的正则表示。
• 基于这些作用，推导出用于局部化施佩尔曼类的新公式，并给出 Chevalley-Monk 公式的全新证明。

提出的方法

• 利用 Goresky-Kottwitz-MacPherson（GKM）方法，通过对称群的 Bruhat 图描述旗流形的等变上同调。
• 识别出上同调上的两个置换作用：一个作用于普通上同调，另一个作用于等变上同调，二者均源于旗流形上的环面作用。
• 利用置换作用构造差分算子，以促进上同调环的计算。
• 应用局部化技术，推导出特定等变类（施佩尔曼类）的公式，其表达基于置换表示。
• 利用 Bruhat 图的组合结构，刻画 Hessenberg 流形的时刻图及其上同调表示。
• 利用对称群在 Hessenberg 流形上的点作用（dot action），探索新的几何表示及其不可约表示的分解。

实验结果

研究问题

• RQ1 对称群在旗流形等变上同调上的作用结构是什么？是否为正则表示？
• RQ2 置换作用能否用于构造施佩尔曼类的差分算子与局部化公式？
• RQ3 Hessenberg 流形的上同调表示与对称群的不可约表示之间有何关系？
• RQ4 当 Hessenberg 函数改变时，Hessenberg 流形的上同调表示如何变化？
• RQ5 等变上同调能否用于构造自然的扭曲群表示族？

主要发现

• 在旗流形等变上同调上两个自然置换表示中，其中一个即为对称群的正则表示。
• 通过置换作用与局部化技术，导出了 Chevalley-Monk 公式的全新证明。
• 本文利用置换表示，为某些等变施佩尔曼类提供了新的局部化公式。
• 差分算子的构造通过上同调上的群作用被显式实现。
• Hessenberg 流形的时刻图通过条件 $ w^{-1}(i) ≤ h(w^{-1}(j)) $ 组合刻画其边 $ w \to (ij)w $。
• 对称群 $ S_n $ 在 Hessenberg 流形等变上同调上的点作用是良定义的，提供了新的一类几何表示。