[論文レビュー] Essential Signatures and Monomial Bases for $B_n$ and $D_n$

A. A. Gornitskii|arXiv (Cornell University)|Nov 22, 2016

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

ひとこと要約

本稿では、正根の特定の番号付けと指数上の非斉次単項式順序を導入することで、Lie代数 $B_n$ および $D_n$ の有限次元既約表現に対してPBW型単項式基底を構成する。主な貢献は、基底のベクトルをパrameter化する本質的符号の半群を、線形不等式系によって明示的に記述したことである。この不等式系により、関連するポリトープが定義される。

ABSTRACT

In the representation theory of simple Lie algebras, we consider the problem of constructing a monomial basis in an arbitrary irreducible finite-dimensional highest weight module. We construct a PBW-type basis in every finite-dimensional representation of $B_n$ and $D_n$ and we describe the associated semigroup of essential signatures. These bases are parameterized by integer points in some polytopes. We give the inequalities defining these polytopes.

研究の動機と目的

• $B_n$ および $D_n$ の最高重量モジュールにおける有限次元既約表現のPBW型単項式基底を構成すること。
• このような基底をパrameter化する本質的符号の半群を同定すること。
• 単項式基底の指数に対応する整数点を持つポリトープを定義する明示的な不等式を提供すること。
• 本質的符号の半群が、$B_n$ および $D_n$ において基本的およびミニマル・ウェイトによって生成され、飽和していることを確立すること。

提案手法

• 符号を、$\lambda$ を正の重み、$p_i \in \mathbb{Z}_{\geq 0}$ であるタプル $(\lambda; p_1, \dots, p_N)$ として定義し、関連するベクトルを $v(\sigma) = \prod \frac{e_{-\alpha_i}^{p_i}}{p_i!} \cdot v_\lambda$ と定める。
• 符号に二段階の順序を導入する：まず基本的重み係数 $k_i$ に対する次数辞書式順序を用い、次に指数タプルに対する独自の単項式順序を適用する。
• $D_n$ については、根を $\varepsilon_i + \varepsilon_j$、次に $\varepsilon_i - \varepsilon_j$（$j$ が減少する順）、次に $i$ の順にブロックで順序付けし、各ブロック内では次数辞書式比較を行う。
• $B_n$ については、まず短根 $\varepsilon_i$ の指数を比較し、その後、長根 $\varepsilon_i \pm \varepsilon_j$（$i < j$）に対して $\varepsilon_i$ を主要根とみなして $D_n$ の規則を適用する。
• $n$ に関する帰納的議論を用いて、本質的符号の集合が飽和する半群を成すことを証明する。
• $\Sigma_{D_n}$ および $\Sigma_{B_n}$ の半群を定義する明示的な線形不等式（$p_{i,j}^{\pm}$ および $s_i$（$B_n$ 用）を含む）を導出する。

実験結果

リサーチクエスチョン

• RQ1 $B_n$ および $D_n$ の表現における本質的符号の半群の構造は何か？
• RQ2 指数タプル上の非斉次単項式順序を用いて、$B_n$ および $D_n$ に対してPBW型単項式基底を構成できるか？
• RQ3 $V(\lambda)$ 内の単項式基底ベクトルをパrameter化する整数点を持つポリトープを定義する不等式は何か？
• RQ4 根の番号付けと単項式順序の選択が、Lusztigの構成と比較して得られるPBW型基底にどのように影響するか？
• RQ5 本質的符号の半群は飽和的であり、基本的および特別なミニマル・ウェイトの符号によって生成されるか？

主な発見

• $\Sigma_{D_n}$ は $\{\omega_1, \dots, \omega_n, 2\omega_{n-1}, 2\omega_n, \omega_{n-1}+\omega_n\}$ 内の最高重みの符号によって生成され、飽和的である。
• $\Sigma_{B_n}$ は $\{\omega_1, \dots, \omega_n, 2\omega_n\}$ 内の最高重みの符号によって生成され、飽和的である。
• $D_n$ については、$p_{i,j}^{\pm}$ および $k_i$ を含む6つの線形不等式族が $\Sigma_{D_n}$ を定義し、根の指数の和に明示的な上限が与えられる。
• $B_n$ については、$s_i$（$\varepsilon_i$ の指数）を含み、$p_{i,j}^{\pm}$ を含む6つの不等式族があり、$s_i - s_{i+1} + \cdots \leq k_i$ のような項を含む。
• 構成されたPBW型基底は、根の番号付けが異なるためLusztigの基底とは同一ではないが、長さ最大のワイル群要素の特定の簡約分解に対しては一致する。
• 不等式によって定義されるポリトープは整数的であり、その整数点は $V(\lambda)$ 内の単項式基底ベクトルを双対的にパrameter化する。