[论文解读] Prism tableaux for alternating sign matrix varieties

Anna Weigandt|arXiv (Cornell University)|Aug 24, 2017

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

一句话总结

本文引入了棱柱表（prism tableaux）作为一种组合工具，用于计算交错符号矩阵（ASM）簇的多度，通过子词复形的最大面与棱柱表之间的保权双射，推广了施伯特多项式。关键结果是：ASM簇的多度可表示为棱柱表的权重之和，该结果与ASM格中位于ASM之上的最小排列的施伯特多项式展开一致。

ABSTRACT

A prism tableau is a set of reverse semistandard tableaux, each positioned within an ambient grid. Prism tableaux were introduced to provide a formula for the Schubert polynomials of A. Lascoux and M.P. Schützenberger. This formula directly generalizes the well known expression for Schur polynomials as a sum over semistandard tableaux. Alternating sign matrix varieties generalize the matrix Schubert varieties of W. Fulton. We use prism tableaux to give a formula for the multidegree of an alternating sign matrix variety.

研究动机与目标

• 将棱柱表公式从施伯特多项式推广至交错符号矩阵（ASM）簇。
• 利用棱柱表为ASM簇的多度提供一个组合公式。
• 建立ASM行列式理想格罗布纳退化与棱柱表之间的几何联系。
• 证明在反对角项序下，ASM行列式理想的本质生成元构成一个格罗布纳基。
• 证明ASM簇的多度等于关联ASM的最小棱柱表的权重之和。

提出的方法

• 将棱柱表定义为与元组分区和整数 $(\boldsymbol{\nu}, \boldsymbol{d})$ 相关的 $k$-元组反半标准表。
• 引入无不稳定三元组的最小棱柱表概念，构成集合 ${\tt Prism}(\boldsymbol{\nu}, \boldsymbol{d})$。
• 构建 ${\tt Prism}(\boldsymbol{\nu}, \boldsymbol{d})$ 与子词复形 $\triangle(Q_{n\times n}, A)$ 的最大维面之间的保权双射，其中 $A = A_{\boldsymbol{\nu}, \boldsymbol{d}}$。
• 利用ASM簇 $X_A$ 的多度等于 $\triangle({\tt init}(I_A))$ 的最大面的加权和这一事实。
• 证明在左上角 $i\times j$ 子矩阵中，大小为 $r_A(i,j)+1$ 的本质子式构成理想 $I_A$ 的格罗布纳基，且在反对角项序下成立。
• 利用弗罗贝尼乌斯分裂与矩阵施伯特簇交集的相容性，证明 $I_A = \bigcap_{u \text{ biGr}(A)} I_u$，且 ${\tt init}(I_A)$ 是根式理想。

实验结果

研究问题

• RQ1 棱柱表能否用于计算交错符号矩阵簇的多度？
• RQ2 是否存在一个组合公式，用于ASM簇的多度，且能推广施伯特多项式公式？
• RQ3 ASM的本质子式是否构成对应行列式理想的格罗布纳基？
• RQ4 ASM簇的多度是否等于关联ASM的最小棱柱表的权重之和？
• RQ5 与ASM相关的子词复形如何通过格罗布纳退化与簇的几何结构相关联？

主要发现

• 交错符号矩阵簇 $X_A$ 的多度由 $\boxed{\frak{A}_{\boldsymbol{\nu}, \boldsymbol{d}} = \bigoplus_{\tau \to \text{max facet}} \text{wt}(\tau)}$ 给出，其中求和范围为 $(\boldsymbol{\nu}, \boldsymbol{d})$ 的最小棱柱表。
• 存在一个从最小棱柱表集合 ${\tt Prism}(\boldsymbol{\nu}, \boldsymbol{d})$ 到子词复形 $\triangle(Q_{n\times n}, A)$ 的最大维面之间的保权双射，其中 $A = A_{\boldsymbol{\nu}, \boldsymbol{d}}$。
• ASM行列式理想 $I_A$ 的本质生成元 ${\tt EssGen}(A)$ 在任意反对角项序下构成格罗布纳基。
• 初始理想 ${\tt init}(I_A)$ 是根式理想，且 $\triangle({\tt init}(I_A)) = \triangle(Q_{n\times n}, A)$，从而将簇的几何时空与子词复形联系起来。
• 多度 $\frak{A}_{\boldsymbol{\nu}, \boldsymbol{d}}$ 等于所有在ASM格中位于 $A$ 之上的最小长度排列 $w$ 的施伯特多项式 $\frak{S}_w$ 之和：$\frak{A}_{\boldsymbol{\nu}, \boldsymbol{d}} = \bigoplus_{w \to \text{min perm above } A} \frak{S}_w$。
• 理想 $I_A$ 可分解为 $u \to \text{biGr}(A)$ 的理想 $I_u$ 的交集，且 $X_A = \bigcap_{u \to \text{biGr}(A)} X_u$，从而确认了组合模型与几何结构的相容性。