[論文レビュー] Toric Degenerations and tropical geometry of branching algebras

Christopher Manon|arXiv (Cornell University)|Mar 12, 2011

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

ひとこと要約

本稿は、再帰的群の準同型における分岐代数のバリエーションの多面体族を構成することで、組合せ的分岐規則とトロピカル幾何学の間の関係を確立する。対角埋め込みおよびレヴィ部分群の包含写像に対して、双対自己双対基底が分岐代数のトロピカル的退化を可能にし、バリエーション理論と多面体的錐構造を通じて表現論とトロピカル幾何学を結びつける。

ABSTRACT

We construct polyhedral families of valuations on the branching algebra of a morphism of reductive groups. This establishes a connection between the combinatorial rules for studying a branching problem and the tropical geometry of the branching algebra. In the special case when the branching problem comes from the inclusion of a Levi subgroup or a diagonal subgroup, we use the dual canonical basis of Lusztig and Kashiwara to build toric deformations of the branching algebra.

研究の動機と目的

• 分岐代数上の多面体的バリエーション族の構成を通じて、組合せ的分岐規則とトロピカル幾何学を結びつけること。
• 対角埋め込みおよびレヴィ部分群の包含写像に対して、LusztigおよびKashiwaraの双対自己双対基底が分岐代数のトロピカル的退化をもたらすことを示すこと。
• これらの退化がトロピカル幾何学およびバリエーション理論に支配される多面体的構造から生じることを示すこと。
• 錐複体と次数代数を用いた幾何的・代数的枠組みを提供し、分岐乗数の飽和性および構造を理解すること。

提案手法

• 写像 $\phi: H \to G$ の因子分解から、有理的かつ点を持つ錐複体 $K_{\rho}$ を構成し、これにより分岐代数 $R(\phi)$ 上のバリエーションをパrametrizeする。
• LusztigおよびKashiwaraの双対自己双対基底を用いて、対角埋め込み $\delta_n: G \to G^n$ およびレヴィ包含写像 $i_{L,G}: L \to G$ の場合に $R(\phi)$ の基底を定義し、トロピカル的退化を可能にする。
• バリエーション理論を適用し、これらのバリエーションの関連する次数代数がトロピカル的であることを示し、代数的退化と多面体的幾何学を結びつける。
• 分岐代数 $R(\phi)$ を提示するイデアル $I$ のトロピカル多様体 $\operatorname{tr}(I)$ を用い、これが $R(\phi)$ 上のバリエーション空間の像として現れることを示す。
• 三枝木の木 $\mathcal{T}$ を用いて、ラベル付きBZ三角形により $R(\delta_n)$ の基底をパラメトライズし、$K_{\mathcal{T}}(SL_m(\mathbb{C}))$ と呼ばれる半群を構成し、これにより退化したトロピカル的構造を記述する。
• Berenstein-Zelevinsky三角形モデルおよびハニカム多面体を用いて、タイプAのための錐 $C_3(\mathbb{i})$ を記述し、これがリトルウッド＝リチャードソン規則と等価であることを示す。

実験結果

リサーチクエスチョン

• RQ1 分岐代数の文脈において、組合せ的分岐規則をどのように系統的にトロピカル幾何学および多面体的構造と結びつけることができるか？
• RQ2 分岐代数上のバリエーションが平坦な退化を構成する役割を果たすのはどのような場合か？ また、これらの退化がいつトロピカル代数をもたらすのか？
• RQ3 LusztigおよびKashiwaraの双対自己双対基底が、対角埋め込みおよびレヴィ埋め込みにおける分岐代数のトロピカル的退化をどのように促進するのか？
• RQ4 分岐代数 $R(\phi)$ の構造は、錐複体 $K_\phi$ の幾何学的性質およびトロピカル多様体との関係を通じてどのように理解できるか？
• RQ5 完全なテンソル積代数 $R(\delta_n)$ は、BZ三角形半群のファイバー積を通じてトロピカル代数に退化させることができるか？ その結果得られる幾何的モデルは何か？

主な発見

• 対角埋め込み $\delta_n: G \to G^n$ に対して、分岐代数 $R(\delta_n)$ は、ラベル付き三枝木の木およびBZ三角形によってパラメトライズされる基底を通じてトロピカル的退化を許容する。
• BZ三角形キルトの半群 $K_{\mathcal{T}}(SL_m(\mathbb{C}))$ は、$R(\delta_n)$ のトロピカル的退化の明示的かつ計算可能なモデルを提供し、この退化がこの半群のトロピカル代数と同型であることを示す。
• タイプAの三重テンソル積のための錐 $C_3(\mathbb{i})$ は、BZ三角形の錐と同型であり、ハニカム多面体を用いた幾何的実現によりリトルウッド＝リチャードソン規則を実現する。
• 双対自己双対基底によって定義されるバリエーションの関連する次数代数は、$R(\delta_n)$ および $R(i_{L,G})$ に対してともにトロピカル的であることが確認され、平坦なトロピカル的退化が成立する。
• BZ三角形空間 $K_3$ とストリング錐 $C_3(\mathbb{i})$ を結ぶ、錐の可換図式が得られ、上側の写像は格子同型である。
• 境界重みが固定されたキルトの部分半群 $K_{\mathcal{T}}(\vec{r}, SL_m(\mathbb{C}))$ は、重み付きグラスマン多様体 $\mathbb{C}[Gr_m(\mathbb{C}^n)//_{\vec{r}}T]$ のトロピカル的退化をもたらし、既知の結果をより高い $m$ へと拡張する。