[论文解读] A Giambelli formula for isotropic Grassmannians

Anders Skovsted Buch, Andrew Kresch+1 more|Zurich Open Repository and Archive (University of Zurich)|Nov 17, 2008

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

一句话总结

本文为同伦 Grassmannian 建立了 Giambelli 公式，将辛 Grassmannian 和奇正交 Grassmannian 的整数上同调中的任意 Schubert 类表示为特殊 Schubert 类的多项式。关键贡献在于引入了 theta 多项式，通过其作为类型 C 的 Billey-Haiman Schubert 多项式的实现，证明了这些 theta 多项式是 Schur $Q$-函数与 $S$-多项式的乘积的正线性组合。

ABSTRACT

Let X be a symplectic or odd orthogonal Grassmannian parametrizing isotropic subspaces in a vector space equipped with a nondegenerate (skew) symmetric form. We prove a Giambelli formula which expresses an arbitrary Schubert class in H^*(X,Z) as a polynomial in certain special Schubert classes. We study theta polynomials, a family of polynomials defined using raising operators whose algebra agrees with the Schubert calculus on X. Furthermore, we prove that theta polynomials are special cases of Billey-Haiman Schubert polynomials and use this connection to express the former as positive linear combinations of products of Schur Q-functions and S-polynomials.

研究动机与目标

• 将经典的 Giambelli 公式推广到同伦 Grassmannian，包括辛和奇正交情形。
• 定义并研究一族 theta 多项式，其代数结构与同伦 Grassmannian 上的 Schubert 微分同调相符。
• 建立 theta 多项式与类型 C 的 Billey-Haiman Schubert 多项式之间的联系。
• 将 theta 多项式表示为 Schur $Q$-函数与 $S$-多项式乘积的正线性组合。
• 利用 Kraśkiewicz 表和提升算子，为同伦 Grassmannian 上的 Schubert 微分同调提供组合框架。

提出的方法

• 引入 $k$-严格分拆以索引同伦 Grassmannian $\mathrm{IG}(n-k,2n)$ 上的 Schubert 类，推广了拉格朗日情形中使用的严格分拆。
• 通过提升算子定义 theta 多项式 $\Theta_\lambda(x;y)$，并证明其满足 $\mathrm{H}^*(\mathrm{IG},\mathbb{Z})$ 中 Schubert 类的相同乘法规则。
• 利用 Weyl 群元素的约化分解，证明 theta 多项式是类型 C 的 Billey-Haiman Schubert 多项式的特例。
• 利用展开式 $\Theta_\lambda(x;y) = \sum_{uv=w_\lambda} F_u(x) \mathfrak{S}_v(y)$ 将 theta 多项式与 Stanley 对称函数及 Schur 多项式联系起来。
• 证明 $\Theta_\lambda(x;y) = \sum_{\mu,\nu} e^\lambda_{\mu\nu} Q_\mu(x) s_{\nu'}(y)$，其中 $e^\lambda_{\mu\nu}$ 表示 $w_\lambda w_\nu^{-1}$ 的 Kraśkiewicz 表的个数。
• 借助与类型 C Schubert 多项式的关系，推导出 Giambelli 公式，并证明在 Schur $Q$-和 $S$-函数基下具有正性。

实验结果

研究问题

• RQ1 如何将 Giambelli 公式推广到拉格朗日情形之外的同伦 Grassmannian？
• RQ2 辛和奇正交 Grassmannian 上同调中 Schubert 类的代数结构是什么？
• RQ3 theta 多项式与类型 C 的 Billey-Haiman Schubert 多项式之间有何关系？
• RQ4 theta 多项式能否表示为 Schur $Q$-函数与 $S$-多项式乘积的正线性组合？
• RQ5 控制同伦 Grassmannian 上 Schubert 微分同调结构常数的组合对象（如表）是什么？

主要发现

• 本文证明了同伦 Grassmannian $\mathrm{IG}(n-k,2n)$ 的 Giambelli 公式，将任意 Schubert 类 $\sigma_\lambda$ 表示为特殊 Schubert 类 $\sigma_r$ 的多项式。
• theta 多项式 $\Theta_\lambda(x;y)$ 被证明等于类型 C 的 Schubert 多项式 $\mathfrak{C}_{w_\lambda}(x;y)$，确立了其在 Schubert 微分同调中的作用。
• theta 多项式是 Schur $Q$-函数与 $S$-多项式乘积的正线性组合，如 $\Theta_\lambda(x;y) = \sum_{\mu,\nu} e^\lambda_{\mu\nu} Q_\mu(x) s_{\nu'}(y)$ 所示。
• theta 多项式中 $x$-次数最高的齐次项是类型 C 的 Stanley 对称函数 $F_{w_\lambda}(x) = R^\lambda q_\lambda(x)$。
• $x$-次数最低的项是 $Q_{\lambda^1}(x) s_{(\lambda^2)'}(y)$，对应于 0-Grassmannian 元素 $w_\lambda w_{\lambda^2}^{-1}$。
• 当 $k=1$ 时，$\Theta_{321}(x;y)$ 的展开式被显式计算为 $(Q_{42}+Q_{321}) + (Q_{41}+2Q_{32})s_{1'} + 2Q_{31}s_{11'} + Q_{21}s_{111'}$，表的计数验证了系数。