[論文レビュー] A Hopf algebraic approach to the theory of group branchings

Bertfried Fauser, Peter Jarvis+1 more|ArXiv.org|Aug 17, 2005

Algebraic structures and combinatorial models被引用数 3

ひとこと要約

本稿では、ヤング対称性πを持つテンソルを安定化するGL(n)の部分群Hπの表現理論のためのホップ代数的枠組みを構築する。シュール＝ウェイドゥアル双対性およびカウチ核2-コサイクルのプレティズムを活用することで、Hπの表現環がホップ代数的ねじれとして現れることを示し、組合せ論的規則を用いてキャラクターの変更および構造定数を体系的に計算する手法を提供する。

ABSTRACT

We describe a Hopf algebraic approach to the Grothendieck ring of representations of subgroups $H_π$ of the general linear group GL(n) which stabilize a tensor of Young symmetry $\{π\}$. It turns out that the representation ring of the subgroup can be described as a Hopf algebra twist, with a 2-cocycle derived from the Cauchy kernel 2-cocycle using plethysms. Due to Schur-Weyl duality we also need to employ the coproduct of the inner multiplication. A detailed analysis including combinatorial proofs for our results can be found in math-ph/0505037. In this paper we focus on the Hopf algebraic treatment, and a more formal approach to representation rings and symmetric functions.

研究の動機と目的

• GL(n)の部分群Hπでヤング対称性πを持つテンソルを安定化するものについて、その表現環を統一的なホップ代数的枠組みで構築すること。
• ホップ代数的ねじれを通じて、GL(n)表現のグロテンディーク環とその部分群Hπの表現環との間の関係を確立すること。
• 特に部分分割の長さℓ(μ) = 4以上の場合に、Hπ表現のキャラクターを計算するための組合せ論的変更規則を提供すること。
• カウチ核2-コサイクルおよびそのプレティズムが、部分群表現環のねじれを生成する役割を形式化すること。
• 対称関数およびシュール多項式の理論を、内部乗法コプロダクトを用いた部分群分岐の文脈に拡張すること。

提案手法

• GL(n)の多項式表現のグロテンディーク環R_GL(n)を、整数分割λでラベル付けされた既約表現V^λから構成する。
• シュール＝ウェイドゥアル双対性を適用し、テンソル積⊗^p VにおけるGL(n) × S_pの作用を、シュールモジュールV^λ ⊗ S^λへの分解に結びつける。
• 対称関数環Λにホップ代数構造を導入し、シュール関数s_λを基底として用い、ホール内積を用いてΛをその双対Λ*と同一視する。
• プレティズム操作を介してカウチ核から2-コサイクルを導出し、これを部分群表現環のホップ代数構造のねじれに用いる。
• 内部乗法を用いたコプロダクト構造を導入し、分岐則をモデル化することで、部分群設定におけるテンソル積分解の計算を可能にする。
• 特に長さℓ(μ) = 4の分割に対して、行列式表現ɛ = {1^4}を用いて、長さ4のキャラクターの曖昧性を解消する変更規則を適用する。

実験結果

リサーチクエスチョン

• RQ1 ヤング対称性πを持つテンソルを安定化する部分群Hπ ⊂ GL(n)の表現環を、ホップ代数的構造を用いて代数的にどのように記述できるか？
• RQ2 カウチ核2-コサイクルは、部分群表現環のホップ代数的構造のねじれを生成する際に果たす役割は何か？
• RQ3 対称関数のプレティズムは、ホップ代数的ねじれに用いられる2-コサイクルの構成とどのように関係するか？
• RQ4 部分分割μの長さℓ(μ) = 4以上の場合に、Hπのキャラクターの変更を支配する組合せ論的規則は何か？
• RQ5 内部乗法コプロダクト構造は、対称関数の文脈において、GL(n)からHπへの分岐則をどのように符号化するか？

主な発見

• 部分群Hπの表現環は、カウチ核のプレティズムを介して得られる2-コサイクルによって定まるホップ代数的ねじれと同型であり、GL(n)表現環のねじれとして現れる。
• GL(4)の部分群H_{1^3} ⊂ GL(4)に対して、表現のキャラクター(μ)_{dim}は、行列式表現ɛ = {1^4}を用いた変更規則により計算され、例えば(1111)_{-3} = ɛ(0)_{1} - (1)_{4}となる。
• H_{1^3}(4)におけるキャラクターの積は明示的に計算可能であり、例えば(2)_{10} ⋅ (11)_{6} = (31)_{45} + (211)_{11} + (1)_{4}となる。一部の項は長さ4の分割のため、変更が必要となる。
• キャラクター(2222)_{3}はε²(0)_{1} - ε(1)_{4} + (11)_{6}として表現され、高長さ分割に対する変更規則の再帰的性質が示される。
• 本手法はℓ(μ) = 4のための完全な変更規則の集合を提供するが、ℓ(μ) > 4のための体系的完全なシステムはまだ確立されていない。
• 対称関数Λのホップ代数的構造、特にコプロダクトと内部積は、分岐則における双対性および自己双対性の背後にある基盤をなしている。