[论文解读] A combinatorial rule for (co)minuscule Schubert calculus

Hugh Thomas, Alexander Yong|arXiv (Cornell University)|Aug 11, 2006

Advanced Combinatorial Mathematics参考文献 13被引用 7

一句话总结

本文提出了一种统一的、与根系无关的组合规则，用于在（共）最小化旗流形中计算施伯特结构常数，该规则基于偏序集组合学与 jeu de taquin 技术。关键贡献是将经典与例外李型统一起来的卢蒂尔-理查森规则的推广，通过共最小化递归关系与基于形状的施伯特类索引实现。

ABSTRACT

We prove a root system uniform, concise combinatorial rule for Schubert calculus of_minuscule_ and_cominuscule_ flag manifolds G/P (the latter are also known as "compact Hermitian symmetric spaces"). We connect this geometry to the poset combinatorics of [Proctor '04], thereby giving a generalization of the [Schützenberger `77]_jeu de taquin_ formulation of the Littlewood-Richardson rule that computes the intersection numbers of Grassmannian Schubert varieties. Our proof introduces_cominuscule recursions_, a general technique to relate the numbers for different Lie types. A discussion about connections of our rule to (geometric) representation theory is also briefly entertained.

研究动机与目标

• 开发一种适用于所有李型（包括例外群）的统一组合规则，用于（共）最小化旗流形中的施伯特微积分。
• 通过 jeu de taquin 和偏序集理论方法，将此前仅适用于格拉斯曼流形的古典卢蒂尔-理查森规则推广。
• 通过几何萨塔克对应与仿射格拉斯曼流形的上同调，建立施伯特微积分与李群表示理论之间的联系。
• 引入并利用“共最小化递归”作为新技巧，以关联不同李型之间的结构常数。
• 为潜在扩展至等变、K-理论及量子施伯特微积分在共最小化情形下提供一个框架。

提出的方法

• 使用包含共最小化根的正根偏序集，记为 $\Lambda_{G/P}$，其在（共）最小化情形下具有自对偶性与平面性。
• 通过 $\Lambda_{G/P}$ 中的下序理想（形状）对施伯特类进行索引，取代传统的陪集索引方式。
• 应用 jeu de taquin 技术，包括反转与融合对合变换，以操作形状并计算结构常数。
• 引入“共最小化递归”以通过将较小的旗流形嵌入更大的流形中，关联不同李型之间的施伯特数。
• 通过几何嵌入证明共最小化旗流形中施伯特簇与较小旗流形中施伯特簇之间的同构关系。
• 利用几何萨塔克对应与李代数上同调，从表示理论角度解释结果。

实验结果

研究问题

• RQ1 是否可以以统一方式将卢蒂尔-理查森规则推广至所有（共）最小化旗流形，并适用于所有李型？
• RQ2 如何将 jeu de taquin 与偏序集组合学方法适配于（共）最小化情形下施伯特结构常数的计算？
• RQ3 共最小化递归在关联不同李群之间施伯特微积分中的作用是什么？
• RQ4 施伯特交集数 $c_{\lambda,\mu}^{\nu}(G/P)$ 与表示理论中张量积重数之间有何关系？
• RQ5 几何萨塔克对应是否可用于将主规则解释为仿射格拉斯曼流形施伯特簇交化解析上同调上的作用？

主要发现

• 为所有（共）最小化旗流形建立了施伯特结构常数 $c_{\lambda,\mu}^{\nu}(G/P)$ 的统一组合规则，适用于所有经典与例外李型。
• 该规则基于偏序集 $\Lambda_{G/P}$ 中的下序理想形状索引，其在（共）最小化情形下具有自对偶性与平面性。
• jeu de taquin 反转与融合对合提供了一种构造性方法，用于组合计算结构常数。
• 引入共最小化递归作为新技巧，通过旗流形的几何嵌入，关联不同李型之间的施伯特数。
• 主定理由根系的归纳法证明，其中对例外情形 $\mathbb{O}\mathbb{P}^2$ 与 $G_\omega(\mathbb{O}^3,\mathbb{O}^6)$ 及二次曲面旗流形进行了特殊处理。
• 该规则被解释为几何萨塔克对应在特殊情形下的实现，将施伯特微积分与仿射格拉斯曼流形的上同调及最小表示联系起来。