[论文解读] A Giambelli formula for the $S^1$-equivariant cohomology of type A Peterson varieties

Darius Bayegan, Megumi Harada|arXiv (Cornell University)|Dec 18, 2010

Advanced Combinatorial Mathematics参考文献 9被引用 6

一句话总结

本文为A型佩特森流形的$S^1$-等变上同调建立了吉安贝利公式，将任意佩特森施普伦格类用度数2生成元表示。在哈拉达与蒂莫奇科的穆尔克公式基础上，作者推导出明确的乘法结构，证明结构常数为第二类斯特林数，并建立了类似于经典施普伦格类的稳定性性质。

ABSTRACT

The main result of this note is a Giambelli formula for the Peterson Schubert classes in the $S^1$-equivariant cohomology ring of a type $A$ Peterson variety. Our results depend on the Monk formula for the equivariant structure constants for the Peterson Schubert classes derived by Harada and Tymoczko. In addition, we give proofs of two facts observed by H. Naruse: firstly, that some constants which appear in the multiplicative structure of the $S^1$-equivariant cohomology of Peterson varieties are Stirling numbers of the second kind, and secondly, that the Peterson Schubert classes satisfy a stability property in a sense analogous to the stability of the classical equivariant Schubert classes in the $T$-equivariant cohomology of the flag variety.

研究动机与目标

• 建立一个吉安贝利公式，将$S^1$-等变上同调环中任意佩特森施普伦格类用度数2生成元表示。
• 证明佩特森施普伦格类乘积中的结构常数为第二类斯特林数，与纳鲁塞的观察一致。
• 在旗流形递增包含的背景下，为佩特森施普伦格类建立稳定性性质。
• 通过证明其由度数2类乘法生成，简化上同调环$H^{*}_{S^{1}}(Y)$的表述。
• 提出一个猜想：上同调环的定义关系仅由二次关系生成。

提出的方法

• 利用哈拉达与蒂莫奇科导出的佩特森流形$S^1$-等变上同调的穆尔克公式，表达施普伦格类的乘积。
• 通过全旗流形的$T$-等变上同调到佩特森流形的$S^1$-等变上同调的投影，定义佩特森施普伦格类。
• 应用组合技巧分析限制映射，并验证类在$ n $递增时的稳定性。
• 利用从 $H^{*}_{S^1}(Y_{n+1})$ 到 $H^{*}_{S^1}(Y_n)$ 的拉回映射 $j_n^*$，证明佩特森施普伦格类的限制在包含下保持不变。
• 分析施普伦格类乘积中的结构常数，通过直接计算与组合恒等式识别其为第二类斯特林数。
• 利用$T$-等变与$S^1$-等变上同调之间的交换图，将旗流形的性质提升至佩特森流形。

实验结果

研究问题

• RQ1 能否为A型佩特森流形的$S^1$-等变上同调建立吉安贝利公式，将任意施普伦格类用度数2生成元表示？
• RQ2 佩特森施普伦格类乘积中的结构常数是否对应已知的组合数，如第二类斯特林数？
• RQ3 是否存在类似于旗流形包含下经典$T$-等变施普伦格类的稳定性性质的佩特森施普伦格类稳定性？
• RQ4 能否仅通过度数2生成元与二次关系简化佩特森流形$S^1$-等变上同调环的表述？
• RQ5 在包含$Y_n o Y_{n+1}$下，施普伦格类的限制映射行为如何？这是否诱导出一致的逆系统？

主要发现

• 建立了吉安贝利公式，将任意佩特森施普伦格类表示为度数2生成元的多项式，为$H^{*}_{S^1}(Y)$提供了乘法基。
• 证明了佩特森施普伦格类乘积中的结构常数为第二类斯特林数，证实了纳鲁塞的猜想。
• 佩特森施普伦格类满足稳定性性质：在包含$Y_n o Y_{n+1}$下，$p_{w,n+1}$在$Y_n$上的限制为$p_{w,n}$，且对所有$m \geq n$成立。
• 佩特森施普伦格类$p_{w,m}$在固定点$v \in Y_n^{S^1}$上的限制与$m$无关，且等于$p_{w,n}(v)$，证实了维度间的一致性。
• $H^{*}_{S^1}(Y)$的上同调环由度数2佩特森施普伦格类乘法生成，简化了[7, 第6节]中先前给出的表述。
• 提出一个猜想：$H^{*}_{S^1}(Y)$的定义理想仅由二次关系生成，暗示了更深层的代数结构。