[論文レビュー] Tensor product of Kraśkiewicz and Pragacz's modules

Masaki Watanabe|arXiv (Cornell University)|Oct 29, 2014

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

ひとこと要約

本稿では、任意の二つのKraśkiewicz-Pragacz (KP) モジュールのテンソル積がKP モジュールによるフィルトレーションをもつことを確立し、シューベルト多項式の積がシューベルト多項式の正の和として表れるという古典的な正の性質のモジュール論的実現を与える。この結果は帰納法とExtの消滅による議論により証明され、シュール関手やシューベルト多項式の構造定数への応用を伴う。

ABSTRACT

This paper explores further properties of modules related with Schubert polynomials, introduced by Kraśkiewicz and Pragacz. In this paper we show that any tensor product of Kraśkiewicz-Pragacz modules admits a filtration by Kraśkiewicz-Pragacz modules. This result can be seen as a module-theoretic counterpart of a classical result that the product of Schubert polynomials is a positive sum of Schubert polynomials.

研究の動機と目的

• シューベルト多項式の積がシューベルト多項式の正の和であるという古典的事実のモジュール論的双対を確立すること。
• KraśkiewiczとPragaczが提起した、基本的モジュール $\mathcal{S}_{s_\nu}$ を含むテンソル積に対してKP フィルトレーションが存在するかという問題を解決すること。
• 一般のテンソル積 $\mathcal{S}_w \otimes \mathcal{S}_v$ にまでこの結果を拡張し、シューベルト計算における新たな正の性質を得ること。

提案手法

• モノクの公式を用いて特殊な場合を証明し、帰納法とExtの消滅により $\mathcal{S}_w \otimes \mathcal{S}_{s_\nu}$ がKP フィルトレーションをもつことを示す。
• $T_w = \bigotimes_{2\leq i\leq n} \bigotimes^{l_i(w)} \mathcal{S}_{s_{i-1}}$ の特性式公式を用いて、フィルトレーション内の部分商を分析する。
• $H_N$ 上の双線形形式を用いて、 $T_w$ の特性式における係数 $n_{wu}$ を計算し、それらを逆置換の辞書式順序に関連付ける。
• [3, 系5.4] のExtの消滅と重み条件に関する結果を活用し、 $u^{-1} \underset{\mathrm{lex}}{>} w^{-1}$ のとき $\mathrm{Ext}^1(\mathcal{S}_w, \mathcal{S}_u) = 0$ であることを示す。
• $w$ に関する帰納法と完全系列 $0 \to \mathcal{S}_w \otimes \mathcal{S}_v \to T_w \otimes \mathcal{S}_v \to N \otimes \mathcal{S}_v \to 0$ を用いて、フィルトレーションを引き上げる。
• 補題2.6(2) を適用し、外側の項がKP フィルトレーションをもてば、中央の項に対しても同様に成り立つことを結論づける。

実験結果

リサーチクエスチョン

• RQ1 Kraśkiewicz-Pragacz モジュール $\mathcal{S}_w \otimes \mathcal{S}_v$ のテンソル積は、KP モジュールによるフィルトレーションをもつか？
• RQ2 シューベルト多項式の積の古典的正の性質は、 $\mathfrak{b}$-モジュールの圏において実現可能か？
• RQ3 $\mathcal{S}_w \otimes \mathcal{S}_v$ の構造は、部分商や拡張としてどのように記述できるか？
• RQ4 Ext群 $\mathrm{Ext}^1(\mathcal{S}_w, \mathcal{S}_u)$ は、テンソル積の可能なフィルトレーションをどのように制約するか？

主な発見

• すべての $w,v \in S_\infty^{(n)}$ に対して、テンソル積 $\mathcal{S}_w \otimes \mathcal{S}_v$ はKP フィルトレーションをもつ。これはシューベルト多項式の正の性質のモジュール論的アナロジーを確立する。
• $T_w$ のKP フィルトレーションにおける $\mathcal{S}_u$ の係数 $n_{wu}$ は、 $\mathfrak{S}_{uw_0}$ における $x^{\mathrm{inv}(ww_0)}$ の係数に等しく、これは $w^{-1} \underset{\mathrm{lex}}{\leq} u^{-1}$ のときのみ非ゼロである。
• $\mathcal{S}_w$ は $T_w$ に重複度1で部分モジュールとして含まれ、他のすべての部分商 $\mathcal{S}_u$ は $u^{-1} \underset{\mathrm{lex}}{>} w^{-1}$ を満たす。
• この結果により、 $s_\lambda(\mathcal{S}_w)$ はKP フィルトレーションをもち、したがって $s_\lambda(x^\alpha, x^\beta, \dots)$ はシューベルト多項式の正の和として表れることがわかる。
• シューベルト基底における $\mathfrak{S}_u \mathfrak{S}_v$ の構造定数は、 $\dim \mathrm{Hom}_{\mathfrak{b}}(\mathcal{S}_u \otimes \mathcal{S}_v, \mathcal{S}_{w_0w}^* \otimes K_\rho)$ に等しい。