[论文解读] Poset pinball, GKM-compatible subspaces, and Hessenberg varieties

Megumi Harada, Julianna Tymoczko|arXiv (Cornell University)|Jul 16, 2010

Advanced Combinatorial Mathematics参考文献 34被引用 24

一句话总结

本文引入了GKM相容子空间和偏序集弹球游戏，以构建经典李型的Peterson簇和类型$A$的子正则Springer簇的$S^1$-等变上同调的显式、计算高效的模基。通过利用GKM理论中的组合结构以及一种新颖的博弈论方法，作者提供了将经典Springer表示提升至等变上同调的基，解决了几何表示理论中长期存在的计算难题。

ABSTRACT

This paper has three main goals. First, we set up a general framework to address the problem of constructing module bases for the equivariant cohomology of certain subspaces of GKM spaces. To this end we introduce the notion of a GKM-compatible subspace of an ambient GKM space. We also discuss poset-upper-triangularity, a key combinatorial notion in both GKM theory and more generally in localization theory in equivariant cohomology. With a view toward other applications, we present parts of our setup in a general algebraic and combinatorial framework. Second, motivated by our central problem of building module bases, we introduce a combinatorial game which we dub poset pinball and illustrate with several examples. Finally, as first applications, we apply the perspective of GKM-compatible subspaces and poset pinball to construct explicit and computationally convenient module bases for the $S^1$-equivariant cohomology of all Peterson varieties of classical Lie type, and subregular Springer varieties of Lie type $A$. In addition, in the Springer case we use our module basis to lift the classical Springer representation on the ordinary cohomology of subregular Springer varieties to $S^1$-equivariant cohomology in Lie type $A$.

研究动机与目标

• 开发一种通用框架，用于在GKM理论不直接适用时构造等变上同调中的模基。
• 解决在GKM空间的子空间（如幂零Hessenberg簇与Springer簇）中寻找计算上可行的基的挑战。
• 形式化偏序集上三角性的概念，并展示其在某些拓扑设定下的局限性。
• 引入并应用偏序集弹球游戏作为组合工具，以生成此类基。
• 将经典Springer表示从普通上同调提升至类型$A$的$S^1$-等变上同调。

提出的方法

• 引入GKM相容子空间的概念，其中子空间通过子群作用从其所在的GKM空间继承有利的等变上同调性质。
• 将偏序集上三角性定义为在等变上同调中构造模基的关键组合条件。
• 开发偏序集弹球游戏作为组合算法，从由分次偏序集索引的有向图中选择基元素。
• 利用该游戏在所有经典李型中构造$H^*_{S^1}(\text{Peterson簇})$的显式基。
• 将偏序集弹球基应用于构造$H^*_{S^1}(\text{子正则Springer簇})$上的新$S_n$-表示，该表示提升经典Springer表示。
• 利用Kostant-Kumar在$H^*_{T}(\text{旗流形})$上的$S_n$-作用，将表示提升至等变设定。

实验结果

研究问题

• RQ1 当GKM理论不直接适用时，能否为幂零Hessenberg簇的$S^1$-等变上同调构造计算上便捷的模基？
• RQ2 是否存在一种通用的组合框架，用于识别并利用GKM空间子空间的等变上同调结构？
• RQ3 偏序集弹球游戏能否系统性地生成非必然偏序集上三角性的基，但依然构成模基？
• RQ4 经典Springer表示在子正则Springer簇的普通上同调上是否可提升至$S^1$-等变上同调环？
• RQ5 是否存在没有组合自然偏序集上三角基的拓扑空间？

主要发现

• 在类型$A$且对$N$施加一定条件时，幂零Hessenberg簇$\mathcal{H}(N,H)$被证明是旗流形的GKM相容子空间。
• 偏序集弹球游戏成功构造了所有经典李型中$H^*_{S^1}(\text{Peterson簇})$的显式模基。
• 在类型$A$中，$H^*_{S^1}(\text{子正则Springer簇})$所构造的基并非偏序集上三角性，但仍构成有效的模基。
• 在$H^*_{S^1}(\mathcal{S}_N;\mathbb{C})$上构造了一个新的$S_n$-表示，该表示提升经典Springer表示$H^*(\mathcal{S}_N;\mathbb{C})$。
• 偏序集弹球基允许显式计算等变上同调上的$S_n$-作用，且通过特征计算得到验证。
• 例6.14表明，即使非偏序集上三角性的滚动集（rolldown sets）也能产生有效的模基，表明该方法具有更广泛的应用潜力。