[論文レビュー] When a C*-algebra is a coefficient algebra for a given endomorphism

V. I. Bakhtin, А. В. Лебедев|ArXiv.org|Feb 19, 2005

Advanced Operator Algebra Research参考文献 4被引用数 10

ひとこと要約

この論文は、与えられた自己準同型に関連する係数C*-代数であるための必要十分条件を確立している：自己準同型に対して完全な移転作用素が存在すること。著者らは、その係数代数が存在するための必要十分条件として、ヒルベルト空間上にその代数の忠実で非退化な表現と、自己準同型および関連する移転作用素に関して特定の共変性条件を満たす部分等長作用素が存在することを証明している。

ABSTRACT

The paper presents a criterion for a C*-algebra to be a coefficient algebra associated with a given endomorphism

研究の動機と目的

• 与えられた自己準同型に対して、単位的C*-代数が係数代数として機能する条件を特定すること。
• 自己準同型と整合する移転作用素の存在に基づく基準を確立すること。
• 係数代数の理論を自己準同型による交叉積の構造と結びつけること。
• 移転作用素が自己準同型と部分等長作用素で生成されるC*-代数の構成において果たす役割を明確にすること。

提案手法

• 単位的C*-代数A上の与えられた自己準同型δに対して、すべてのa, b ∈ Aに対してδ*(δ(a)b) = aδ*(b)を満たす移転作用素δ*の概念を導入する。
• 関連する射影P = δ*(1)がすべてのa ∈ Aに対してPδ(a)P = δ(a)を満たすような移転作用素を完全な移転作用素と定義する。
• 整数を添え字とするAのコピーの直和としてヒルベルト空間Hを構成し、内積を移転作用素を用いて定義する。
• すべてのn ≥ 0に対してπ(a)h_n = a h_n、すべてのn < 0に対してπ(a)h_n = δ^{|n|}(a) h_nと定義することで、A → L(H)への表現πを定義する。
• すべてのn > 0に対してU h_n = δ(h_{n-1})、すべてのn ≤ 0に対してU h_n = δ^{|n|+1}(1) h_{n-1}と定義することで、H上の部分等長作用素Uを定義する。
• すべてのa ∈ Aに対してUπ(a)U* = π(δ(a))およびU*π(a)U = π(δ*(a))という共変性関係が満たされることを検証し、必要な表現の存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 単位的C*-代数が与えられた自己準同型の係数代数であるための条件は何か？
• RQ2 移転作用素は係数代数を特徴づける際に果たす役割は何か？
• RQ3 C*-代数の拡張において、部分等長作用素から生じる自己準同型はいつ成立するか？
• RQ4 完全な移転作用素の存在が係数代数の構造とどのように関連するか？
• RQ5 与えられた自己準同型が等長作用素によって生成されるための条件は何か？

主な発見

• 単位的C*-代数Aが与えられた自己準同型δの係数代数であるための必要十分条件は、δに対して完全な移転作用素δ*が存在することである。
• 完全な移転作用素の存在により、ヒルベルト空間H上にAの忠実で非退化な表現πと、すべてのa ∈ Aに対して共変性関係Uπ(a)U* = π(δ(a))およびU*π(a)U = π(δ*(a))を満たす部分等長作用素Uの構成が保証される。
• 自己準同型δが等長作用素によって生成されるための必要十分条件は、δ*(1) = 1を満たす完全な移転作用素δ*が存在することである。
• 射影P = δ*(1)は、自己準同型の像と関連するC*-代数の構造を特定する上で中心的な役割を果たす。
• Aのコピーの直和として構成されたヒルベルト空間Hに、δ*を用いて定義された内積を導入することで、作用素UとU*の定義の正当性と随伴性が保証される。
• 証明により、表現πが忠実であることが示され、これはゲルファンド＝ナイマークの構成と移転作用素の正定値性に依拠している。