[论文解读] $k$-Schur functions and affine Schubert calculus

Thomas Lam, Luc Lapointe+4 more|eScholarship (California Digital Library)|Jan 16, 2013

Advanced Combinatorial Mathematics被引用 15

一句话总结

本文建立了 $k$-Schur 函数——源自 Macdonald 多项式非负性问题的组合对称函数——与仿射 Schubert 上同调的深层联系，即仿射 Grassmannian 的几何。通过弱表和强表、$k$-Pieri 法则以及 $k$-Schur 函数，本文引入了一个统一框架，作为环 $\Lambda^{t}_{(k)}$ 的基础，证明了其 Schur 非负性、乘法下的 $k$-Schur 非负性，以及与仿射 Schubert 类的对偶性。

ABSTRACT

This book is an exposition of the current state of research of affine Schubert calculus and $k$-Schur functions. This text is based on a series of lectures given at a workshop titled "Affine Schubert Calculus" that took place in July 2010 at the Fields Institute in Toronto, Ontario. The story of this research is told in three parts: 1. Primer on $k$-Schur Functions 2. Stanley symmetric functions and Peterson algebras 3. Affine Schubert calculus

研究动机与目标

• 将 $k$-Schur 函数的组合理论与仿射 Grassmannian 的几何 Schubert 上同调统一起来。
• 在 $t=1$ 及一般情况下，确立 $k$-Schur 函数作为环 $\Lambda^{t}_{(k)}$ 的 Schur 非负基。
• 通过 $k$-Schur 函数与仿射插入法，阐明仿射对称群中弱序与强序之间的对偶性。
• 为仿射 nilHecke 代数与 Peterson 子代数的结构常数提供组合模型。
• 探索 $k$-Schur 非负性、$K$-理论推广以及表示论实现方面的开放问题。

提出的方法

• 使用弱表与强表定义 $k$-Schur 函数及其对偶，通过 $k$-有界分拆给出单项式展开。
• 在 $t=1$ 时应用 $k$-Pieri 法则，刻画 $\Lambda^{t}_{(k)}$ 中的乘法，推广经典 Pieri 法则。
• 利用 Fomin 的增长图与仿射插入算法，对仿射对称群上的弱序与强序进行建模。
• 建立 $k$-Cauchy 恒等式的类比，并通过 $t$-相容的仿射插入法证明弱表与强表之间的对偶性。
• 利用 nilHecke 环与仿射 nilHecke 代数，对仿射 Grassmannian 的同调进行建模，并将其与 $k$-Schur 函数关联。
• 应用 Peterson 的中心化代数的 $j$-基，将 $k$-Schur 函数与 $H_T(\mathrm{Gr})$ 中的 Schubert 类联系起来。

实验结果

研究问题

• RQ1 如何理解 $k$-Schur 函数与仿射 Grassmannian 同调中的 Schubert 类之间的关系？
• RQ2 $k$-Pieri 法则的组合结构是什么？它如何推广经典 Pieri 法则？
• RQ3 能否为 $k$-Schur 函数建立一个 $k$-Murnaghan-Nakayama 法则？
• RQ4 $t$-相容性在仿射插入中的作用是什么？它与 $k$-Schur 非负性有何关联？
• RQ5 如何将 $k$-Schur 函数推广到 $K$-理论设置或表示论模型中？

主要发现

• $k$-Schur 函数构成 $\Lambda^{t}_{(k)}$ 的 Schur 非负基，其单项式展开通过强表与弱表显式给出。
• 在 $t=1$ 时，$k$-Schur 函数满足 $k$-Pieri 法则，且其乘积为 $k$-Schur 非负，推广了经典 Littlewood-Richardson 非负性。
• $k$-矩形性质成立：当 $k$ 足够大时，由矩形索引的 $k$-Schur 函数即为 Schur 函数。
• $k$-Schur 函数在余乘法下封闭，并与 $\ell$-Schur 函数在乘法下构成正闭子环。
• 弱序与强序之间的对偶性通过 $k$-Cauchy 恒等式的类比与 $t$-相容的仿射插入法实现。
• Peterson 代数的 $j$-基在同构 $\Lambda'_{\mathrm{Fl}} \cong H_T(\mathrm{Gr})$ 下对应于 $k$-Schur 函数，将组合学与拓扑学联系起来。