[論文レビュー] On Chari-Loktev bases for local Weyl modules in type $A$

K. N. Raghavan, B. Ravinder+1 more|arXiv (Cornell University)|Jun 3, 2016

Algebraic structures and combinatorial models参考文献 4被引用数 5

ひとこと要約

本稿は、$σ\mathfrak{sl}_{r+1}[t]$ の局所ウェイル加群のチャリ＝ロクテーヴ基底をパrametrizeするための組合せ論的枠組みとして、分割重ね合わせパターン（POPs）を導入する。これにより、色付き分割とPOPsの間の全単射を確立する。固定された境界列および重みを持つすべてのPOPsの中で、面積が最大であるパターンが一意に存在することを組合せ論的に証明し、局所ウェイル加群の包含関係におけるチャリ＝ロクテーヴ基底の安定性に関する予想を提示する。この予想は、$r=1$ の場合に既に証明済みである。本研究では、最大面積パターンを、各重み空間における唯一の最高次数ベクトルとしての表現論的解釈を与える。

ABSTRACT

This paper is a study of the bases introduced by Chari-Loktev for local Weyl modules of the current algebra associated to a special linear Lie algebra. Partition overlaid patterns, POPs for short---whose introduction is one of the aims of this paper---form convenient parametrizing sets of these bases. They play a role analogous to that played by (Gelfand-Tsetlin) patterns in the representation theory of the special linear Lie algebra. The notion of a POP leads naturally to the notion of area of a pattern. We observe that there is a unique pattern of maximal area among all those with a given bounding sequence and given weight. We give a combinatorial proof of this and discuss its representation theoretic relevance. We then state a conjecture about the "stability", i.e., compatibility in the long range, of Chari-Loktev bases with respect to inclusions of local Weyl modules. In order to state the conjecture, we establish a certain bijection between colored partitions and POPs, which may be of interest in itself.

研究の動機と目的

• 局所ウェイル加群 $σ\mathfrak{sl}_{r+1}[t]$ のチャリ＝ロクテーヴ基底のパラメータ集合を明確化すること。
• Gelfand-Tsetlin パターンと類似した組合せ論的道具として、分割重ね合わせパターン（POPs）を導入すること。
• 局所ウェイル加群の包含関係に関する安定性予想を支持するために、色付き分割とPOPsの間の全単射を確立すること。
• 固定された境界列および重みを持つすべてのPOPsの中で、面積が最大であるパターンが一意に存在することを組合せ論的に証明すること。
• 安定範囲における局所ウェイル加群の包含写像に対するチャリ＝ロクテーヴ基底の安定性に関する予想を提示し、その動機を提示すること。

提案手法

• Gelfand-Tsetlin パターンの一般化として、整数列上に分割を重ねることで、局所ウェイル加群の基底要素を符号化する分割重ね合わせパターン（POPs）を導入する。
• POPs の面積を、分割重ね合わせに含まれるボックスの総数として定義し、これが基底ベクトルの次数に対応することを示す。
• 色付き分割と特定のPOPsのクラスとの間の組合せ論的全単射を確立し、Durfee正方形構成の一般化を行う。
• 補完操作およびシフト操作（$\complement$ と $\mathcal{S}^j$）を用いて、入れ子になった局所ウェイル加群のチャリ＝ロクテーヴ基底のインデックス集合間の単射写像を定義する。
• 局所ウェイル加群の包含系列 $W(\lambda) \hookrightarrow W(\lambda + \theta) \hookrightarrow \cdots$ を構成し、全単射を介してそれらのチャリ＝ロクテーヴ基底インデックス集合の包含関係を定義する。
• 局所ウェイル加群の生成子をスケーリングし、$W(\lambda)$ の最高重量ベクトルが $W(\lambda + k\theta)$ の特定のチャリ＝ロクテーヴ基底要素に写されるようにすることで、異なる加群間での比較を可能にする。

実験結果

リサーチクエスチョン

• RQ1 どのような組合せ論的構造が $\mathfrak{sl}_{r+1}[t]$ の局所ウェイル加群のチャリ＝ロクテーヴ基底をパラメータ化するか？
• RQ2 固定された境界列と重みを持つすべてのPOPsの中で、面積が最大であるPOPsが一意に存在するか？
• RQ3 局所ウェイル加群の包含関係の構造を尊重するように、色付き分割とPOPsの間の全単射を構成できるか？
• RQ4 長期間にわたる安定範囲において、局所ウェイル加群の包含写像はチャリ＝ロクテーヴ基底を保存するか？
• RQ5 基底ベクトルの包含写像による像が、大きな加群の基底ベクトルに対応するための条件は何か？

主な発見

• 境界列 $\underline{\lambda}$ と重み $\underline{\mu}$ が固定されたすべてのPOPsの中で、最大面積を持つPOPsが一意に存在し、これは第3節で組合せ論的に証明されている。
• $W(\lambda)$ の各 $\mathfrak{h}$-重み空間における最高次数の部分は1次元であり、これは最大面積POPsに正確に対応する。
• 色付き分割と特定のPOPsのクラスとの間の全単射が確立され、これはDurfee正方形構成の一般化であり、基底インデックス集合の包含関係を定義するために用いられる。
• 局所ウェイル加群 $W(\lambda) \hookrightarrow W(\lambda + k\theta)$ 間の包含写像は、$\complement\mathcal{S}^j$ の構成を介して、それらのチャリ＝ロクテーヴ基底インデックス集合の間の単射写像を誘導する。
• 安定性予想が提示される：$k \geq \ell + d$ のとき、$W(\lambda + k\theta)$ 内のチャリ＝ロクテーヴ基底ベクトル $v_{\mathfrak{P}}$ の包含写像による像 $W(\lambda + (j+k)\theta)$ 内では $\pm v_{\mathfrak{P}^j}$ となる。ここで $\mathfrak{P}^j$ は $\mathfrak{P}$ の包含写像による像である。
• この予想は $r=1$（すなわち $\mathfrak{sl}_2$）の場合にすでに証明されており、後に著者の一人によって一般の場合でも証明され、チャリ＝ロクテーヴ基底の安定範囲における安定性が確認された。