[論文レビュー] Tensor product multiplicities, canonical bases and totally positive varieties

Arkady Berenstein, Andrei Zelevinsky|ArXiv.org|Dec 2, 1999

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

ひとこと要約

本稿は、$ω$-trailと呼ばれる新しいパスに類似した組合せ的モデルを用いて、半単純リー代数におけるテンソル積の重複度を計算するための多面体的組合せ的枠組みを導入する。この枠組みは、トロピカル化と幾何的リフトを介して、ルシュティグの自己双対基と完全正の多様体の間に幾何的ブリッジを築き、凸多面体内の格子点の個数として重複度の明示的公式を提示するとともに、異なる自己双対基のパラメトライゼーションの関係を明確にする。

ABSTRACT

We obtain a family of explicit "polyhedral" combinatorial expressions for multiplicities in the tensor product of two simple finite-dimensional modules over a complex semisimple Lie algebra. Here "polyhedral" means that the multiplicity in question is expressed as the number of lattice points in some convex polytope. Our answers use a new combinatorial concept of $\ii$-trails which resemble Littelmann's paths but seem to be more tractable. We also study combinatorial structure of Lusztig's canonical bases or, equivalently of Kashiwara's global bases. Although Lusztig's and Kashiwara's approaches were shown by Lusztig to be equivalent to each other, they lead to different combinatorial parametrizations of the canonical bases. One of our main results is an explicit description of the relationship between these parametrizations. Our approach to the above problems is based on a remarkable observation by G. Lusztig that combinatorics of the canonical basis is closely related to geometry of the totally positive varieties. We formulate this relationship in terms of two mutually inverse transformations: "tropicalization" and "geometric lifting."

研究の動機と目的

• 複素半単純リー代数の有限次元表現におけるテンソル積の重複度に対する明示的な多面体的公式を提供すること。
• 重複度の計算に向けた、リトルマンパスの代替として実用的である$ω$-trailと呼ばれる新しい組合せ的モデルを構築すること。
• ルシュティグの自己双対基とカシワラのグローバル基の異なる組合せ的パラメトライゼーションの関係を明確にすること。
• トロピカル化と幾何的リフトを通じて、自己双対基と完全正の多様体の幾何との間の関係を形式化すること。
• 多面体的数え上げを通じて、表現理論における組合せ的構造と凸幾何の間に双対性を確立すること。

提案手法

• $ω$-trailを重み格子上の折れ線的パスとして定義し、テンソル積における重みの重複度をモデル化すること。
• $ω$-trailの条件によって定義される凸多面体内の格子点の個数としてテンソル積の重複度を表現すること。
• トロピカル化を用いて、完全正の多様体からの幾何的データを$ω$-trail上の組合せ的データに翻訳すること。
• 幾何的リフトを適用して、組合せ的データから元の幾何的構造を再構成し、双対性を確立すること。
• ルシュティグの観察である、自己双対基が旗多様体の完全正部分空間の幾何に本質的に関係していることを利用すること。
• 「$ω$-trail」フレームワークを通じて、ルシュティグのパラメトライゼーションとカシワラのパラメトライゼーションの等価性を確立すること。

実験結果

リサーチクエスチョン

• RQ1 半単純リー代数におけるテンソル積の重複度は、どのようないくつかの凸多面体内の格子点の個数として表現できるか？
• RQ2 $ω$-trailの組合せ的構造は何か？ また、それらはリトルマンパスや自己双対基とどのように関係しているか？
• RQ3 完全正の多様体の幾何は、表現理論における自己双対基に関する情報をどのようにエンコードしているか？
• RQ4 ルシュティグの自己双対基のパラメトライゼーションとカシワラのグローバル基のパラメトライゼーションの正確な関係は何か？
• RQ5 トロピカル化と幾何的リフトを用いて、リー理論における幾何的構造と組合せ的構造を体系的に関連づけることができるか？

主な発見

• テンソル積の重複度は、$ω$-trailの制約によって定義される凸多面体内の格子点の個数として明示的に計算可能である。
• $ω$-trailモデルは、重みの重複度を計算するにあたり、リトルマンパスの代替としてより扱いやすい代替手段を提供する。
• 本稿は、トロピカル化と幾何的リフトを通じて、完全正の多様体の幾何と自己双対基の組合せ論の間に双対性を確立する。
• 「$ω$-trail」フレームワークを用いることで、ルシュティグの自己双対基のパラメトライゼーションとカシワラのグローバル基のパラメトライゼーションの完全な対応関係が確立される。
• 本手法により、組合せ的かつ幾何的に根拠を持つテンソル積の重複度に対する多面体的公式が得られる。
• この枠組みは、ルシュティグの洞察である「自己双対基は完全正の空間の幾何に深く関係している」という主張を確認し、拡張する。