[論文レビュー] Young tableaux and crystal $B(\infty)$ for finite simple Lie algebras

Jin Hong, Hyeonmi Lee|arXiv (Cornell University)|Jul 21, 2005

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

ひとこと要約

本稿は、有限単純リー代数の型 $A_n$, $B_n$, $C_n$, $D_n$, $G_2$ に対して、大ぶりの半標準ヤング盤を用いて、量子群の負部分の結晶基底 $×frak{B}(\infty)$ の明示的実現を提供する。これらの盤の同値類の集合に結晶構造を定義し、$×frak{B}(\infty)$ と同型であることを証明する。これにより、既存の研究を一般化する新しいテーブル式モデルが得られ、Cliffの実現と明示的な同型写像によって関連づけられる。

ABSTRACT

We study the crystal base of the negative part of a quantum group. An explicit realization of the crystal is given in terms of Young tableaux for types $A_n$, $B_n$, $C_n$, $D_n$, and $G_2$. Connection between our realization and a previous realization of Cliff is also given.

研究の動機と目的

• 有限単純リー代数の型 $A_n$, $B_n$, $C_n$, $D_n$, $G_2$ に対して、ヤング盤を用いて結晶 $×frak{B}(\infty)$ の明示的で組み合わせ的な実現を提供すること。
• 最高ウェイト結晶 $×frak{B}(\lambda)$ の既知のテーブル式実現を、無限次元の場合 $×frak{B}(\infty)$ に拡張すること。
• 新しいテーブル式実現とCliffによる $×frak{B}(\infty)$ の以前の実現との間の同型写像を確立すること。
• 型 $B_n$, $C_n$, $D_n$, $G_2$ において、Nakajimaのモノミアル実現 $×frak{B}(\infty)$ を構成するための一様な枠組みを提供すること。これは既知の $A_n$ の場合に類似している。

提案手法

• 各段に十分な数の末尾ゼロを追加することで、Kashiwara作用素の作用によって「大きさ」が失われないような、『大ぶり』の半標準ヤング盤を定義する。
• 各 $i$ および $j \succ i$ に対して、$i$ 行目の $j$-ボックスの数が同一であるとき、2つの盤を同値とみなす同値関係を導入する。
• 大ぶりの盤の同値類の集合として $\mathcal{T}(\infty) = \mathcal{T}^L / \sim$ を定義する。
• 代表元を用いて $\mathcal{T}^L$ 上の $\tilde{f}_i$ および $\tilde{e}_i$ のKashiwara作用素を定義し、同値関係によりそのwell-definednessを保証する。
• 得られた結晶 $\mathcal{T}(\infty)$ が、シグネチャールールおよび結晶グラフの連結性を含む結晶の公理を満たすことを証明する。
• テーブルとそれに対応するモノミアル表現を一致させることで、$\mathcal{T}(\infty)$ とCliffによる $\mathcal{B}(\infty)$ 実現との間の明示的同型写像を構成する。

実験結果

リサーチクエスチョン

• RQ1 有限単純リー代数の型 $A_n$ を超えて、ヤング盤を用いた結晶 $\mathcal{B}(\infty)$ の組み合わせ的実現は可能か？
• RQ2 型 $A_n$, $B_n$, $C_n$, $D_n$, $G_2$ 全体にわたって、結晶構造を保つような『大ぶり』の半標準ヤング盤に基づく $\mathcal{B}(\infty)$ の一様な構成は可能か？
• RQ3 新しいテーブル式実現と、Cliffが異なる組み合わせ的対象に基づいて行った $\mathcal{B}(\infty)$ の以前の実現とは、どのように関係しているか？
• RQ4 新しいテーブル式モデルを用いて、型 $B_n$, $C_n$, $D_n$, $G_2$ における $\mathcal{B}(\infty)$ のNakajimaモノミアル実現を構成できるか？

主な発見

• 本稿は、$i$ 行目の $i$ より大きいラベルの数が等しいという条件に基づく同値関係の下で、大ぶりの半標準ヤング盤の同値類の集合として、$\mathcal{B}(\infty)$ の新しい実現を構成する。
• $\mathcal{T}(\infty)$ 上の結晶構造はwell-definedであり、標準的な $\mathcal{B}(\infty)$ 結晶と同型であることが確認された。Kashiwara作用素の公理および連結性の検証により裏付けられている。
• 型 $A_n$ において、新しい実現は[hm]が以前に得たものと同値であるが、盤の大きさと同値類という異なる方法で導出されている。
• 新しいテーブル式実現とCliffの $\mathcal{B}(\infty)$ 実現との間の明示的同型写像が構成され、2つの組み合わせ的モデルが同値であることが示された。
• この枠組みは、型 $B_n$, $C_n$, $D_n$, $G_2$ における $\mathcal{B}(\infty)$ のNakajimaモノミアル実現を構成する基盤を提供し、既知の $A_n$ の場合を拡張する。