[論文レビュー] Prism tableaux for alternating sign matrix varieties

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

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

ひとこと要約

本稿では、代数的整数行列（ASM）の多重度を計算する組合せ的道具としてプリズムテーブルックスを導入し、部分語複体の最大次元の facet と重みを保存する写像を介して、シューベルト多項式を一般化する。主な結果は、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})$ を形成する。
• $A = A_{\boldsymbol{\nu}, \boldsymbol{d}}$ に対し、部分語複体 $\triangle(Q_{n\times n}, A)$ の最大次元の facet と ${\tt Prism}(\boldsymbol{\nu}, \boldsymbol{d})$ の間の重みを保存する全単射を構成する。
• ASM 多様体 $X_A$ の多重度が、${\tt init}(I_A)$ の最大次元の facet における重み付き和に等しいという事実を用いる。
• トップ左 $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})$ の最小のプリズムテーブルックスの集合と、$A = A_{\boldsymbol{\nu}, \boldsymbol{d}}$ に対応する部分語複体 $\triangle(Q_{n\times n}, A)$ の最大次元の facet の間には、重みを保存する全単射が存在する。
• 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$ が成り立つ。これは、組合せ的モデルの幾何的整合性を確認する。