[论文解读] Catalan numbers and Schubert polynomials for $w=1(n+1)... 2$

Alexander Woo|ArXiv.org|Jul 9, 2004

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

一句话总结

本文通过证明在 $ S_{n+1} $ 中，排列 $ w_n = 1(n+1)\cdots 2 $ 的 Schubert 多项式在主特殊化下的结果等于 $ q^{\binom{n}{3}} C_n(q) $，建立了 Catalan 数与 Schubert 多项式之间的新联系，其中 $ C_n(q) $ 是 Carlitz-Riordan 的 $ q $-Catalan 数。该结果通过 rc-图计数、Dyck 路径双射以及 Edelman-Greene 对应关系得到证明，并进一步展示了 Schubert 簇 $ X_{w_n'} $ 在其最奇异点处的重数恰好为 Catalan 数 $ C_n $，具有几何应用。

ABSTRACT

We show that the Schubert polynomial S_w specializes to the Catalan number C_n when $w=1(n+1)...2$. Several proofs of this result as well as a q-analog are given. An application to the singularities of Schubert varieties is given.

研究动机与目标

• 理解 $ S_{n+1} $ 中排列 $ w_n = 1(n+1)\cdots 2 $ 对应的 Schubert 多项式的组合与几何意义。
• 通过主特殊化，建立这些 Schubert 多项式与 Catalan 数之间的精确联系。
• 研究 Schubert 簇在最奇异点处的重数，特别是 $ S_{n+2} $ 中的排列 $ w_n' = (n+2)23\cdots(n+1)1 $，并将其与 Catalan 数关联。
• 通过 rc-图递推、Dyck 路径双射以及 Edelman-Greene 对应关系，提供该特殊化恒等式的多种证明。
• 探讨 rc-图在转置下的结构对称性及其与二叉树翻转的对应关系。

提出的方法

• 本文使用 rc-图（管道梦想）作为 Schubert 多项式的组合模型，其中每个 rc-图通过交叉位置处变量的乘积对应于多项式中的一个项。
• 推导出一个递推关系以计算 $ w_n $ 的 rc-图数量，从而直接得出特殊化结果 $ \mathfrak{S}_{w_n}(1,q,\dots,q^n) = q^{\binom{n}{3}} C_n(q) $。
• 构建了 $ w_n $ 的 rc-图与长度为 $ 2n $ 的 Dyck 路径之间的双射，证明此类 rc-图的数量恰好为 Catalan 数 $ C_n $。
• 应用 Edelman-Greene 对应关系，将 rc-图与标准杨表联系起来，为特殊化结果提供了第二种组合证明。
• 证明了 rc-图上的转置对称性对应于二叉树的垂直反射，且 rc-图中的弯头关节与二叉树中的内部节点一一对应。
• 几何应用通过矩阵 Schubert 簇的次数和局部方程，计算了 $ X_{w_n'} $ 在单位旗处的重数，证明其等于 $ \mathfrak{S}_{w_n}(1,\dots,1) = C_n $。

实验结果

研究问题

• RQ1 排列 $ w_n = 1(n+1)\cdots 2 $ 在 $ S_{n+1} $ 中的 Schubert 多项式 $ \mathfrak{S}_{w_n} $ 的主特殊化是什么？它与 Catalan 数有何关系？
• RQ2 如何计数 $ w_n $ 的 rc-图数量？它们对应于哪些组合结构（如 Dyck 路径、二叉树）？
• RQ3 排列 $ w_n' = (n+2)23\cdots(n+1)1 $ 在 $ S_{n+2} $ 中的几何意义是什么，特别是其 Schubert 簇在最奇异点处的重数？
• RQ4 rc-图上的转置对称性在二叉树结构中如何体现？这对底层组合结构意味着什么？
• RQ5 Edelman-Greene 对应关系在建立此类排列的 rc-图与标准杨表之间的双射中起到什么作用？

主要发现

• 排列 $ w_n = 1(n+1)\cdots 2 $ 的 Schubert 多项式主特殊化 $ \mathfrak{S}_{w_n}(1,q,\dots,q^n) $ 等于 $ q^{\binom{n}{3}} C_n(q) $，其中 $ C_n(q) $ 是 Carlitz-Riordan 的 $ q $-Catalan 数。
• 通过递推和与 Dyck 路径的双射，$ w_n $ 的 rc-图数量恰好为第 $ n $ 个 Catalan 数 $ C_n $。
• 建立了 $ w_n $ 的 rc-图与半长为 $ n $ 的 Dyck 路径之间的直接双射，且 rc-图中的交叉数对应于 Dyck 路径下的面积。
• Edelman-Greene 对应关系将 $ w_n $ 的 rc-图映射到形状为 $ (n,n-1,\dots,1) $ 的标准杨表，为 Catalan 数的计数提供了第三种组合证明。
• rc-图的转置对应于关联二叉树关于其垂直轴的反射，且 rc-图中的弯头关节与树中的内部节点之间存在双射。
• Schubert 簇 $ X_{w_n'} $ 在其最奇异点处的重数——其中 $ w_n' = (n+2)23\cdots(n+1)1 $ 属于 $ S_{n+2} $——恰好为第 $ n $ 个 Catalan 数 $ C_n $，该结果通过矩阵 Schubert 簇的次数计算得出。