[論文レビュー] Kraśkiewicz-Pragacz modules and Ringel duality

Masaki Watanabe|arXiv (Cornell University)|Apr 17, 2015

Algebraic structures and combinatorial models参考文献 9被引用数 3

ひとこと要約

本稿では、上三角的リ Lie 代数 𝔟 上のクラシクエヴィッチ＝プラガツ (KP) モジュールの最高ウェイトカテゴリが自己リングエル双対であることを確立し、KP モジュール間の Ext 群に一貫した対称性が存在することを明らかにする。さらに、リングエル双対関手がこれらのモジュール上の修正されたテンソル積演算と可換であることを示し、シューベルト多項式の表現論における深い構造的双対性を提供する。

ABSTRACT

Kraśkiewicz and Pragacz introduced representations of the upper-triangular Lie algebras whose characters are Schubert polynomials. In a previous work the author studied the structure of Kraśkiewicz-Pragacz modules using the theory of highest weight categories. From the results there, in particular we obtain a certain highest weight category whose standard modules are KP modules. In this paper we show that this highest weight category is self Ringel-dual: this leads to an interesting symmetry relation on Ext groups between KP modules. We also show that the tensor product operation on b-modules is compatible with Ringel duality functor.

研究の動機と目的

• 標準的対象がクラシクエヴィッチ＝プラガツ (KP) モジュールである最高ウェイトカテゴリ C_n を構成すること。
• このカテゴリ C_n が自己リングエル双対であること、すなわち KP 濾 Filter を持つ部分カテゴリ上で対偶同値が存在することを証明すること。
• リングエル双対関手と、𝔟-モジュール上の修正されたテンソル積演算との整合性を調査すること。
• C_n の自己双対性を通じて、KP モジュール間の Ext 群に生じる対称性を明らかにすること。
• 最高ウェイトカテゴリ理論を用いて、シューベルト正性に関する表現論的枠組みを提供すること。

提案手法

• Watanabe (2012) の KP モジュールおよび最高ウェイトカテゴリに関する結果を用いて、最高ウェイトカテゴリ C_n を構成する。
• リングエル双対カテゴリ C_n^∨ を定義し、標準的フィルトレーションを持つ部分カテゴリ上で対偶同値が C_n と同型であることを証明する。
• この双対性の下で、標準的 KP モジュール S_w が S_{w₀ww₀} に写されることが示される。ここで w₀ は S_n 内の最長の元である。
• C_n 上に、カテゴリに閉じており、リングエル双対性と整合する修正されたテンソル積演算を導入する。
• ティルティングモジュールおよび完全関手の理論を用いて、リングエル双対関手を通じて Ext 群の同型を確立する。
• リングエル双対関手 F が、C_n 及びその双対カテゴリの標準的フィルターを持つ部分カテゴリの間で対偶同値に制限されることを活用する。

実験結果

リサーチクエスチョン

• RQ1 KP モジュールの最高ウェイトカテゴリは自己リングエル双対か？
• RQ2 カテゴリ C_n 内の標準的モジュール S_w に対して、リングエル双対関手はどのように作用するか？
• RQ3 適切に修正されたテンソル積演算が、𝔟-モジュール上で定義された場合、リングエル双対関手と可換か？
• RQ4 自己リングエル双対性は、KP モジュール間の Ext 群にどのような対称性を誘発するか？
• RQ5 KP モジュールの表現論的構造を用いて、シューベルト正性の結果を証明できるか？

主な発見

• 標準的対象が KP モジュールである最高ウェイトカテゴリ C_n は自己リングエル双対であり、最高ウェイトカテゴリとして C_n^∨ ≅ C_n が成り立つ。
• 自己リングエル双対性の下で、標準的モジュール S_w は S_{w₀ww₀} に写される。ここで w₀ は S_n 内の最長の置換である。
• リングエル双対性は、C_n 内の KP 濾 Filter を持つモジュールの部分カテゴリとそれ自身との間で対偶同値を誘導する。
• KP モジュール間の Ext 群は、Ext^i(M,N) ≅ Ext^i(FN,FM) を満たす。ここで F はリングエル双対関手である。
• C_n 上の修正されたテンソル積演算は、リングエル双対関手と可換であり、双対関手がテンソル構造を同型を除いて保存することを意味する。
• 自己双対性は、KP モジュールのコホモロジー的構造に隠れた双対性を示しており、シューベルト多項式に作用するワイル群の対称性を反映している。