[论文解读] Stanley symmetric functions and Peterson algebras

Thomas Lam|arXiv (Cornell University)|Jul 16, 2010

Advanced Combinatorial Mathematics参考文献 30被引用 11

一句话总结

本文提供了斯坦利对称函数及其仿射推广的解说性综述，重点通过尼尔赫尔克代数、皮特森中心化子子代数和福明-斯坦利子代数，探讨其代数与组合结构。主要贡献在于通过仿射施布曼纳计算与量子上同调的联系，建立仿射斯坦利对称函数的对称性与舒尔正性，其几何解释涉及仿射格拉斯曼ian与上同调类。

ABSTRACT

These are (mostly) expository notes for lectures on affine Stanley symmetric functions given at the Fields Institute in 2010. We focus on the algebraic and combinatorial parts of the theory. The notes contain a number of exercises and open problems.

研究动机与目标

• 发展斯坦利对称函数及其仿射类比的代数与组合理论，不依赖几何论证。
• 阐明尼尔赫尔克代数与皮特森中心化子子代数在解释仿射斯坦利对称函数对称性与正性中的作用。
• 建立仿射斯坦利对称函数、仿射舒尔函数与量子施布曼纳计算之间的联系。
• 提出开放问题与猜想，特别是关于有限福明-斯坦利代数及其在威尔群指数相等度数下的生成元。
• 通过包含对称函数、施布曼纳多项式与K-理论相关工作的练习与参考文献，为后续研究奠定基础。

提出的方法

• 本文构建了尼尔考斯特定代数与科斯塔nt-库马尔尼尔赫尔克环作为研究约化字与施布曼纳计算的基础代数。
• 它在尼尔赫尔克环内引入了皮特森中心化子子代数，该子代数控制了仿射斯坦利对称函数对称性背后的交换性。
• 利用尼尔考斯特定代数中的福明-斯坦利子代数来定义并分析有限福明-斯坦利代数，重点关注其在有理数上的结构。
• 本文使用埃德尔曼-格林对应关系，将对称群中的约化解与列严格表联系起来，从而定义斯坦利对称函数。
• 它证明了仿射福明-斯坦利子代数同构于仿射格拉斯曼ian的同调，将代数结构与拓扑联系起来。
• 通过量子上同调的联系，利用皮特森发现的仿射-量子连接，证明了仿射斯坦利对称函数的舒尔正性。

实验结果

研究问题

• RQ1 如何在不依赖几何的情况下，从代数角度解释仿射斯坦利对称函数的对称性与舒尔正性？
• RQ2 有限福明-斯坦利代数的结构是什么？它与威尔群的指数有何关系？
• RQ3 福明-斯坦利子代数能否推广到等变情形？它与仿射情形有何关联？
• RQ4 有限福明-斯坦利代数的猜想基 $b_I$ 的几何解释是什么？
• RQ5 仿射斯坦利对称函数的展开系数如何与格拉斯曼ian上同调中的quiver系数和正定性簇相关？

主要发现

• 仿射福明-斯坦利子代数 ${\mathbb{B}}_{\mathrm{af}}$ 同构于仿射格拉斯曼ian的同调 $H_*(\mathrm{Gr}_G, \mathbb{Z})$，其中 $j$-基对应于施布曼纳类。
• 在有理数上，有限福明-斯坦利代数 ${\mathbb{B}} \otimes_{\mathbb{Z}} \mathbb{Q}$ 由度数等于威尔群 $W$ 指数的元素生成，通过其与 $H_*(\mathrm{Gr}_G, \mathbb{Q})$ 的同构关系得以证明。
• 仿射斯坦利对称函数是通过自然映射 $\Omega SU(n) \to LSU(n)/T$ 从仿射旗流形到仿射格拉斯曼ian的上同调施布曼纳类的拉回，解释了其对称性。
• 通过仿射-量子连接，将仿射施布曼纳计算与 $G/B$ 的量子上同调联系起来，证明了仿射斯坦利对称函数在仿射舒尔函数下的正性，如 [LS10] 与 [LL] 所示。
• 仿射斯坦利对称函数在舒尔函数下的展开对应于quiver系数，如 [Buc01] 所示；某些仿射斯坦利函数在格拉斯曼ian上同调中表示正定性簇的类，如 [KLS] 所示。
• 对于 $G_2$，在度数 5 的 $j$-基元素满足 $j_{21210}^0 + j_{01210}^0 = \frac{1}{4}(j_0^0)^5$，证实了高阶中基的猜想结构。