[論文レビュー] Induced Representations of Quantum Groups

Oscar Arratia, M. A. del Olmo|ArXiv.org|Oct 24, 2001

Algebraic structures and combinatorial models参考文献 8被引用数 3

ひとこと要約

本稿では、アーベル的核をもつ双交叉積ホップ代数に注目し、一般化されたマッキー法を用いて量子群の誘導表現を体系的に構成する。可換部分の一次元的特徴指標から出発し、(1+1)次元ガリレオ代数の2つの非同値な量子変形について明示的な表現を導出。代数的構造が誘導に十分であり、余代数はペアリング計算における補助的役割を果たすことが示された。

ABSTRACT

In this paper we show how to construct explicitly induced representations for bicrossproduct Hopf algebras with abelian kernels starting from one-dimensional characters of the commutative sector. We introduce this technique by means of two concrete physical examples: two quantum deformations of the (1+1) Galilei algebra.

研究の動機と目的

• 量子群の誘導表現を体系的に構成する方法を開発すること、特に双交叉積構造をもつものに焦点を当てる。
• マッキーの誘導表現理論をリー群から量子群へ拡張し、コレプレゼンテーションの側面ではなく代数的側面に注目する。
• 本手法を具体的な物理的例に適用する：(1+1)次元ガリレオ代数の2つの非同値な量子変形。
• 誘導過程における代数的構造と余代数的構造の役割を調査する。
• 誘導表現理論の完全な枠組みを構築する基盤を提供すること、これには既約性、ユニタリティ、同値性の基準を含む。

提案手法

• 半直積群に対するマッキーの手法を双交叉積ホップ代数へ一般化し、可換（アーベル的）核の一次元的特徴指標を出発データとして用いる。
• 誘導表現は変数 v に関する形式的冪級数空間 ℂ[[v]] 上に構成され、これは移動部の双対を表す。
• 量子群生成子（H, P, K）の誘導モジュール上への作用は、コプロダクトおよび随伴作用の構造から導かれた明示的公式により計算される。
• 代数と双対代数要素間のペアリングを用いて整合性を検証し、双対関係は ⟨K^m H^n P^p, v^q t^r x^s⟩ = m!n!p! δ^m_q δ^n_r δ^p_s で与えられる。
• 余代数構造はテンソル積の計算および整合性の検証に用いられるが、誘導メカニズム自体には本質的でない。
• H と K が v に関する多項式上のラダー演算子として解釈できることに着目し、既約性解析を可能にする。

実験結果

リサーチクエスチョン

• RQ1 マッキーの誘導表現手法を、双交叉積構造をもつ量子群へどのように一般化できるか？
• RQ2 誘導表現の構成において、代数的構造と余代数的構造のそれぞれが果たす役割は何か？
• RQ3 可換部分の一次元的特徴指標から、量子群の誘導表現を体系的に構成できるか？
• RQ4 どのような条件下で誘導表現は既約的またはユニタリであるか？
• RQ5 この手法は量子群のすべての既約表現を生成できるのか、それとも制限はあるか？

主な発見

• 標準的量子(1+1)ガリレオ代数の誘導表現は空間 ℂ[[v]] 上に構成され、明示的な作用は φ(v) ⊲ K = φ′(v), φ(v) ⊲ P = φ(v)ia, および φ(v) ⊲ H = φ(v)[ib + (1/4ρ)(1 - e^{-4iaρ})v] で与えられる。
• 非標準的量子(1+1)ガリレオ代数に対しても、誘導表現は φ(v) ⊲ K = φ′(v), φ(v) ⊲ P = φ(v)ia, および φ(v) ⊲ H = φ(v)[ib + (1/4ρ)(1 - e^{-4iaρ})v] で与えられ、標準的ケースと同一の関数的形をとる。
• パラメータ b はユニタリ同値性により吸収可能であり、(a,b) でラベル付けされた表現は (a,0) でラベル付けされたものと同値である。
• H と K が v に関する多項式空間上でラダー演算子として作用することを示すことで、既約性が確立される。
• 余代数構造は誘導プロセスにおいて本質的でない。代数的関係と双対ペアリングのみが必須である。
• 本手法は、事例別に特化した構成に依存するのとは対照的に、非恣意的かつ体系的な表現構成を可能にする。