[論文レビュー] PRIMITIVITY OF UNITAL FULL FREE PRODUCTS OF FINITE DIMENSIONAL C ∗ -ALGEBRAS

Ken Dykema, Francisco Torres-Ayala|arXiv (Cornell University)|Jan 23, 2012

Advanced Operator Algebra Research参考文献 12被引用数 1

ひとこと要約

本稿は、2つの非自明な有限次元 C*-代数 A₁ と A₂ の単位的完全自由積 A = A₁ ∗ A₂ が、A₁ と A₂ がともに C² に同型でない限り、原始的であることを確立する。この結果は、代数が反臨界的（antiliminal）であり、純粋状態が状態空間において w*-稠密であることを示唆し、表現論的および状態空間的手法を用いて、このクラスの C*-代数における原始的性の完全な特徴付けを提供する。

ABSTRACT

A C � -algebra is called primitive if it admits a faithful and irreducible ∗-representation. We show that the unital C � - algebra full free product, A = A1 ∗ A2, of nontrivial finite dimen- sional C � -algebras A1 and A2 is primitive except when A1 = C 2 = A2. It follows that A is antiliminal and the set of pure states is w*-dense in the state space.

研究の動機と目的

• 単位的完全自由積の有限次元 C*-代数の原始的性の条件を特定すること。
• このような自由積が忠実な無限小表現をもつための条件を特徴付けすること。
• 特に弱*-位相における純粋状態の稠密性を含む、状態空間の構造を調査すること。
• 与えられた条件下で、原始的である場合にその代数が反臨界的であることを確立すること。

提案手法

• C*-代数における原始的性を評価するための表現論的基準の使用。
• 有限次元 C*-代数の完全自由積の構造の分析。
• Gelfand-Naimark-Segal 構成を用いた状態と表現の研究への応用。
• 弱*-位相を用いた状態空間の位相的分析により、純粋状態の稠密性を検討する。
• 有限次元 C*-代数の分類を用いた例外ケースの同定。
• C*-代数における表現の無限小性と核の極大性の双対性の使用。

実験結果

リサーチクエスチョン

• RQ1 2つの有限次元 C*-代数の単位的完全自由積が、どのような条件下で原始的となるか。
• RQ2 C² が、有限次元 C*-代数の自由積の原始的性において果たす役割は何か。
• RQ3 このような自由積において、原始的性と反臨界性の関係は何か。
• RQ4 原始的である場合、これらの C*-代数の状態空間において純粋状態は w*-稠密か。
• RQ5 自由積代数のどの構造的特徴が忠実な無限小表現の存在を決定づけるか。

主な発見

• 単位的完全自由積 A = A₁ ∗ A₂ は、A₁ と A₂ がともに C² に同型でない場合に限り原始的である。
• 原始的である場合、代数 A は反臨界的であり、最大イデアルの共通部分として得られる非自明な両側イデアルをもたない。
• 純粋状態の集合は、A の状態空間において w*-稠密であり、極値状態の豊富な構造を示している。
• 原始的性の結果は、A₁ = A₂ = C² である特殊な場合を除き、すべての非自明な有限次元 C*-代数に対して成り立つ。
• この特徴付けは、忠実な表現の核に有限次元の無限小表現が存在しないことに依存しており、これは両因子が C² である場合にのみ失敗する。