[論文レビュー] The PBW filtration and convex polytopes in type $ t B$

Teodor Backhaus, Deniz Kus|arXiv (Cornell University)|Apr 24, 2015

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

ひとこと要約

この論文は、タイプ $\mathfrak{B}_n$ における PBW 濃度の下で、可約な有限次元表現の関連graded空間の基底をパラメトライズする正多面体の存在を確立する。特に $\mathfrak{B}_3$ および長方形重み $m\omega_i$ に対して、その多面体の格子点が $\operatorname{gr}V(\lambda)$ の基底を生成することを示し、新しいクラスの好ましいモジュールと組み合わせ的特徴式を導出する。主な相違点は $n \geq 4$ のときであり、このとき $S(\omega_3)$ と $S(2\omega_3)$ が独立な構成要素として現れる。

ABSTRACT

We study the PBW filtration on irreducible finite--dimensional representations for the Lie algebra of type $ t B_n$. We prove in several cases, including all multiples of the adjoint representation and all irreducible finite--dimensional representations for $ t B_3$, that there exists a normal polytope such that the lattice points of this polytope parametrize a basis of the corresponding associated graded space. As a consequence we obtain several classes of favourable modules and graded combinatorial character formulas.

研究の動機と目的

• タイプ $A_n$, $C_n$, $G_2$ における PBW 濃度および FFL 多面体の理論をタイプ $\mathfrak{B}_n$ に拡張し、特に可約な表現に対して適用する。
• 特に $n \geq 4$ のとき従来の方法が失敗するため、$\mathfrak{B}_n$ 表現の関連graded空間に対して正多面体を構成する課題に取り組む。
• 組み合わせ的多面体を用いて好ましいモジュールを同定し、$\mathfrak{B}_n$ のgraded特徴式を導出する。
• タイプ $\mathfrak{B}_n$ の構造的複雑性を解消するため、格子点集合のミンコフスキー和分解における新しい構成要素を同定する。

提案手法

• 各主整数重み $\lambda$ に対して、その格子点が $\operatorname{gr}V(\lambda)$ の基底をパラメトライズする正多面体 $P(\lambda)$ を構成する。
• ディークパスの組み合わせ論および多重指数系を用いて、多面体 $P(\lambda)$ を記述する不等式を定義し、特に $\mathfrak{B}_3$ および長方形重み $m\omega_i$ に対して適用する。
• 多重指数 $\mathbf{s}$ のサポート条件に関する場合分けを用い、$\mathbf{t} \in S(\mathbf{D}, k\omega_3)$ のとき $\mathbf{s} - \mathbf{t} \in S(\mathbf{D}, (m-k)\omega_3)$ が成り立つことを確認することで、ミンコフスキー和の構造を保証する。
• 好ましいモジュールの理論を適用し、関連graded空間 $\operatorname{gr}V(\lambda)$ がgradedモジュールのテンソル積の部分モジュールに同型であることを示す。
• 小規模な重みについて $S(\lambda)$ の基数を確認するため、Java プログラムを用いた計算的検証を実施し、多面体構成を支援する。
• PBW 濃度および関連graded空間の枠組みを用いて、表現論的構造と凸幾何、格子点数え上げを結びつける。

実験結果

リサーチクエスチョン

• RQ1 タイプ $\mathfrak{B}_n$ 表現の PBW 濃度の下で、関連graded空間 $\operatorname{gr}V(\lambda)$ の基底をパラメトライズする正多面体が存在するか？
• RQ2 特に $\mathfrak{B}_3$ および長方形重みに対して、そのような多面体を明示的に構成できるクラスは何か？
• RQ3 格子点集合 $S(\lambda)$ のミンコフスキー和分解の構造は何か？また、$n \geq 4$ のときと $n \leq 3$ のときで構成要素は異なるか？
• RQ4 タイプ $\mathfrak{B}_n$ における PBW 濃度が、$A_n$, $C_n$, $G_2$ と同様に好ましいモジュールと組み合わせ的特徴式をもたらすか？
• RQ5 タイプ $\mathfrak{B}_n$ における多面体 $P(\lambda)$ の定義不等式は、タイプ $A_n$ の FFL 多面体とどのように異なるか？

主な発見

• $\mathfrak{B}_3$ に対して、格子点 $S(\lambda)$ が $V(\lambda)$ および $\operatorname{gr}V(\lambda)$ の両方の基底をパラメトライズする正多面体 $P(\lambda)$ が存在し、$|S(\lambda)| = \dim V(\lambda)$ が成り立つ。
• $\mathfrak{B}_3$ において、すべての主重み $\lambda, \mu \in P^+$ に対してミンコフスキー和の性質 $S(\lambda) + S(\mu) = S(\lambda + \mu)$ が成り立つ。これは格子点集合の加法的構造を確認する。
• タイプ $\mathfrak{B}_n$ の長方形重み $m\omega_i$ に対して、格子点集合 $S(m\omega_i)$ は $S(\omega_i)$ と $S(2\omega_i)$ を含むミンコフスキー和で与えられ、$n \geq 4$ のとき $S(2\omega_i)$ が新たな構成要素として現れる。
• $\operatorname{gr}V(\lambda)$ の特徴式およびgraded $q$-特徴式は、格子点数え上げにより明示的に計算可能である：$\operatorname{ch}V(\lambda) = \sum_{\mu} |S(\lambda)^\mu| e^\mu$ および $\operatorname{ch}_q \operatorname{gr}V(\lambda) = \sum_{\mathbf{s} \in S(\lambda)} e^{\lambda - \operatorname{wt}(\mathbf{s})} q^{\sum s_\beta}$。
• モジュール $V(\lambda)$ は好ましいものであり、関連多面体 $P(\lambda)$ は正であり、フラッグ多様体のニュートン–オクウンコフ体を実現する。
• $n \geq 4$ のとき、ミンコフスキー和 $S(\omega_3) + S(\omega_3)$ の基数は $\dim V(2\omega_3) - 1$ に等しく、$S(2\omega_3)$ が $S(\omega_3)$ の倍数でないことを示唆する。したがって、$S(m\omega_3)$ の分解において $S(2\omega_3)$ は別個の構成要素として必要となる。