[論文レビュー] Tensor Product Multiplicities via Upper Cluster Algebras

Jiarui Fei|arXiv (Cornell University)|Mar 8, 2016

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

ひとこと要約

本稿では、ダイキン型の有価クーヴァー Q に関連する iARt クーヴァー ∆²_Q から上クラスター代数を構成し、その各次数成分が単純型 Lie 群のテンソル積の重複度を数えることを示している。クラスター特性理論と配置空間幾何学を用いて、Knutson-Tao のハーブモデルを一般化し、クーヴァー表現の g-ベクトルの錐によって定義される有理的多面体錐内の格子点を用いた、テンソル重複度の多面体的モデルを提供する。

ABSTRACT

For each valued quiver $Q$ of Dynkin type, we construct a valued ice quiver $Δ_Q^2$. Let $G$ be a simple connected Lie group with Dynkin diagram the underlying valued graph of $Q$. The upper cluster algebra of $Δ_Q^2$ is graded by the triple dominant weights $(μ,ν,λ)$ of $G$. We prove that when $G$ is simply-laced, the dimension of each graded component counts the tensor multiplicity $c_{μ,ν}^λ$. We conjecture that this is also true if $G$ is not simply-laced, and sketch a possible approach. Using this construction, we improve Berenstein-Zelevinsky's model, or in some sense generalize Knutson-Tao's hive model in type $A$.

研究の動機と目的

• Knutson-Tao のハーブモデルを A 型を超えて単純型 Lie 群に一般化すること。
• クラスター代数構造を用いて、すべての単純型 Lie 群におけるテンソル重複度の多面体的モデルを確立すること。
• テンソル積重複度を数える、三重支配的ウェイトによって次数づけられた上クラスター代数を構成すること。
• クーヴァーとポテンシャル、およびクラスター特性理論を用いて、Berenstein-Zelevinsky モデルを拡張すること。
• 配置空間 Conf2,1 上の正則関数の環が上クラスター代数に同型であることを証明し、モデルの妥当性を裏付けること。

提案手法

• ダイキン型の有価クーヴァー Q の射影的表現の Auslander-Reiten 理論から、iARt クーヴァー ∆²_Q を構成する。
• ∆²_Q に標準的ポテンシャル W²_Q を定義し、クーヴァーとポテンシャル (QP) を形成する。
• クラスター特性 CW を用いて、µ-サポートされた g-ベクトルをクラスター変数へ写像し、表現論とクラスター代数を結びつける。
• g-ベクトルの錐 G∆²_Q が有理的多面体錐であり、{x ∈ R^(∆²_Q)_0 | xH ≥ 0} という超平面記述を持つことを示す。ここで H は 3|Q₀| 個の部分表現の次元ベクトルを符号化する。
• G∆²_Q(µ,ν,λ) という多面体に分割するための三重ウェイト次数 σ²_Q: Z^(∆²_Q)_0 → Z^{3|Q₀|}_{≥0} を確立する。
• k[Conf2,1] の各次数成分 Cλ_µ,ν の次元が、上クラスター代数 C(∆²_Q) との同型によりテンソル重複度 cλ_µ,ν に等しいことを証明する。

実験結果

リサーチクエスチョン

• RQ1 単純型 Lie 群 G におけるテンソル重複度 cλ_µ,ν は、クラスター代数構造から生じる多面体内の格子点の数として実現可能か？
• RQ2 iARt クーヴァー ∆²_Q の上クラスター代数は、配置空間 Conf2,1 上の正則関数の環と同型か？
• RQ3 iARt QP (∆²_Q, W²_Q) 上のクラスター特性は、g-ベクトルの錐を用いてテンソル重複度の多面体的モデルを実現するか？
• RQ4 クーヴァー表現とクラスター変異を用いて、Knutson-Tao のハーブモデルをすべての単純型に一般化可能か？
• RQ5 ∆²_Q の上クラスター代数が非単純型群に対してもテンソル重複度を数えるという予想は、非単純型に対しても成り立つか？

主な発見

• 定理 5.8 で述べられるように、µ-サポートされた g-ベクトルの集合 G(∆²_Q, W²_Q) は、g-ベクトルの錐 G∆²_Q 内の整数点の集合に正確に一致する。
• 単純型 G に対して、上クラスター代数 C(∆²_Q) の各次数成分の次元はテンソル重複度 cλ_µ,ν に等しくなり、この場合の主な予想が証明された。
• 定理 8.1 で示されるように、配置空間 Conf2,1 上の正則関数の環 k[Conf2,1] は上クラスター代数 C(∆²_Q) に同型である。
• クラスター特性は、(∆²_Q, W²_Q) 上で、テンソル重複度 cλ_µ,ν を多面体 G∆²_Q(µ,ν,λ) 内の格子点の数として実現する。
• Conf2,1 上のねじれ周期的シフトは、クラスター変異 µ_l に対応し、その引き戻しは µ_l によって誘導されるクラスター代数自己同型と一致する。これは定理 B.14 で証明された。
• 付録 B.3 のアルゴリズムは、Tv の部分表現を µ_l および µ_r の変異を用いて計算する。また、µ_l(∆²_Q) = π₂(∆²_Q) であるという予想は、An、Dn、E6、E7、E8 の特定の向きに対して成り立つ。