[論文レビュー] Generalized permutative representations of Cuntz algebras

Katsunori Kawamura|ArXiv.org|May 6, 2005

Advanced Operator Algebra Research参考文献 6被引用数 11

ひとこと要約

この論文は、ℂ^N の単位球面に値をとる系列によってパラメータ化される、Cuntz代数 𝒪_N の一般化された置換的表現 GP(z) を導入する。存在性、ユニタリ同値を除いての一意性、および非周期性に基づく完全な分類を示す。GP(z) は、有限サイクルの場合、z が非周期的であることと、無限鎖の場合、z が非漸近的周期的であることと同値に、完全に分類可能である。この分類は、パラメータ空間を介して完全に達成される。

ABSTRACT

We introduce representations of the Cuntz algebra $\con$ which are parameterized by sequences in the set of unit vectors in ${\bf C}^{N}$. These representations are natural generalizations of permutative representations by Bratteli-Jorgensen and Davidson-Pitts. We show their existence, irreducibility, equivalence, uniqueness of irreducible decomposition and decomposition formulae by using parameters of representations.

研究の動機と目的

• ℂ^N の単位球面上の系列によってパラメータ化される表現を導入することで、Cuntz代数 𝒪_N の置換的表現を一般化すること。
• 有限サイクルおよび無限鎖の両方のケースにおいて、これらの一般化された置換的表現（GP(z)）の存在性と、ユニタリ同値を除いての一意性を確立すること。
• パラメータ系列 z の周期的性質を用いて、GP(z) の既約性を特徴づけること。
• 可約な GP(z) 表現の分解公式を提示し、パラメータ空間 S(ℂ^N)^# の構造を明確にすること。
• 表現の分解可能性の文脈において、漸近的周期性と最終的周期性の関係を調査すること。

提案手法

• z ∈ S(ℂ^N) に対して s(z) = z₁s₁ + ⋯ + zₙsₙ を定義し、循環的ベクトル Ω が π(s(z))Ω = Ω を満たすように GP(z) 表現を定義する。これは標準的な置換的条件を一般化する。
• 有限テンソル積 z ∈ S(ℂ^N)^⊗k（サイクルケース）および無限系列 z ∈ S(ℂ^N)^∞（鎖ケース）に定義を拡張する。この際、s(z^(i))⋯s(z^(k))Ω や s(z^(n))∗⋯s(z^(1))∗Ω によって生成される特定のベクトルの正規直交性を要請する。
• 周期性の三つの条件を導入する：周期的（有限反復）、最終的周期的（位相因子を伴う漸近的周期性）、および漸近的周期的（summable スペクトルギャップ条件）。
• Perron-Frobenius 固有方程式の枠組みを用い、GP(z) を力学系と関連づけ、特定の状況では誘導された積表現と同値であることを示す。
• ユニタリ同値性および分解理論を応用して GP(z) 表現を分類する。特に 𝒪₂ の場合に注目し、明示的な分解公式を導出する。
• z_θ（θ ∈ [0,1)）などの具体例を構成し、θ が無理数であることと GP(z_θ) が既約であることの同値性を示す。また、有理数 θ の場合には、無限個の直接積分分解が生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 パラメータ系列 z ∈ S(ℂ^N)^# がどのような条件下で、一般化された置換的表現 GP(z) が既約になるか。
• RQ2 周期的性質（周期的、最終的周期的、漸近的周期的）が、GP(z) の構造および分解可能性にどのように影響を与えるか。
• RQ3 パラメータ空間 S(ℂ^N)^# を用いて、GP(z) 表現のユニタリ同値性による完全な分類が可能か。
• RQ4 S(ℂ^N)^∞ に属する任意の漸近的周期的系列 z は、結論が示唆するように、ユニタリ同値に最終的周期的系列に変換可能か。
• RQ5 パラメータ空間 S(ℂ^N)^# と 𝒪_N の既約表現の分類との間の正確な関係は何か。

主な発見

• 任意の z ∈ S(ℂ^N)^# に対して、ユニタリ同値を除いて一意な一般化された置換的表現 GP(z) が 𝒪_N に存在する。
• z ∈ S(ℂ^N)^⊗k（有限サイクルケース）の場合、GP(z) は z が非周期的であることと同値に既約である。
• z ∈ S(ℂ^N)^∞（無限鎖ケース）の場合、GP(z) は z が非漸近的周期的であることと同値に既約である。
• z が最終的周期的であるとき、GP(z) は U(1) 上の既約 GP 表現の直接積分として分解可能であり、特に GP(z) ≅ ∫⊕_{U(1)} GP(c·y) dη(c) を満たす y が存在する。
• 𝒪₂ の場合、パラメータ空間 S(ℂ^2) は、GP(z) による既約表現のユニタリ同値類を分類する。GP(z) ≅ GP(y) となるのは z = y のときである。
• 例として、GP(z_θ) が既約であることと θ が無理数であることは同値であり、有理数 θ の場合には、有限サイクル GP 表現の無限直接積分として分解可能であることが示される。