[論文レビュー] Crossed product of a C*-algebra by an endomorphism, coefficient algebras and transfer operators

А. Б. Антоневич, V. I. Bakhtin+1 more|ArXiv.org|Feb 19, 2005

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

ひとこと要約

本稿では、部分等長作用素を用いた、C*-代数の自己準同型による交叉積の新規で統一的な構成法を提示する。この構成法は、エクセルの、クンツ＝クリーガーの、パシュケの交叉積など、既存の構成法を包含・一般化する。主な貢献は、係数代数と移行作用素を介して定義される自然で内部的に整合性のある標準的な交叉積構造の確立であり、これにより従来の手法に見られる曖昧さが解消され、初期代数が忠実に埋め込まれることが保証される。

ABSTRACT

The paper presents a construction of the crossed product of a C*-algebra by an endomorphism generated by partial isometry

研究の動機と目的

• C*-代数の自己準同型による既存の交叉積構成法における曖昧さと不整合を解消すること。
• 既知の例を一般化する、統一的で自然的かつ内部的に整合性のある交叉積の構成法を提供すること。
• 係数代数と移行作用素が、交叉積理論における中心的構造的要素として自然に生じることを明確にすること。
• 初期C*-代数Aが交叉積に忠実に埋め込まれる条件を確立することにより、エクセルの構成法における主要な制限を解消すること。
• 部分等長作用素と拡張手続きを用いた、交叉積の一般的構造を理解するための概念的枠組みを提示すること。

提案手法

• 構成法はC*-代数Aと自己準同型αから出発し、S*aS = α(a)（すべてのa ∈ Aに対して）を満たす部分等長作用素Sを用いて、自己準同型を実装する。
• 交叉積は、AとSを生成元とする、関係S*aS = α(a)を満たす普遍C*-代数として定義され、AのC*-代数拡張をなす。
• 係数代数は双対作用の固定点代数として特定され、完全な移行作用素δ*が存在することによって特徴づけられる。ここでδδ*(a) = δ(1)aδ(1)が成り立つ。
• 完全な移行作用素の存在が、δ(A)が正則部分代数であることと、特定の性質を満たす中心的射影Pの存在と同値であることが示された。
• 自己準同型、部分等長作用素、移行作用素の間の相互作用を用いて、既知の構成法を一般化する標準的な交叉積を定義する。
• この枠組みは、新しい構成法がエクセルの、クワシュニエフスキーの、クンツ＝クリーガーの交叉積など、既存の例をすべて一貫した構造に統合・回復できることを示すことによって検証された。

実験結果

リサーチクエスチョン

• RQ1 自己準同型によるC*-代数の交叉積の統一的かつ標準的な構成法は、どのように達成可能か？
• RQ2 初期C*-代数Aが交叉積に忠実に埋め込まれるための条件は何か？これはエクセルの構成法における既知の問題を解消する。
• RQ3 部分等長作用素から構築された交叉積の文脈において、係数代数と移行作用素はどのように自然に生じるか？
• RQ4 新しい構成法はエクセルの交叉積をどのように一般化するのか？また、両者が一致するのはどのような場合か？
• RQ5 移行作用素は、係数代数および全体の交叉積の構造を決定づける上で果たす役割は何か？

主な発見

• 提案された交叉積構成法は普遍的かつ標準的であり、Aと部分等長作用素Sから生成される包絡C*-代数として定義され、すべてのa ∈ Aに対してS*aS = α(a)を満たす。
• この構成法により、初期C*-代数Aが交叉積に忠実に埋め込まれることが保証され、エクセルの構成法でAが埋め込まれないという主要な制限が解消される。
• 交叉積の係数代数は、双対作用の固定点代数に同型であり、完全な移行作用素δ*が存在することによって特徴づけられる。ここでδδ*(a) = δ(1)aδ(1)が成り立つ。
• 完全な移行作用素の存在は、δ(A)が正則部分代数であることと、δがPA上で*-同型に制限されることを満たす中心的射影Pの存在と同値である。
• 新しい構成法は既知の例を一般化・統一する。移行作用素が部分等長作用素から生じる場合、エクセルの交叉積が回復され、クンツ＝クリーガーのおよびクワシュニエフスキーの交叉積は特別な場合として含まれる。
• この枠組みにより、係数代数が構成された後、移行作用素が一意に定まることが明らかになった。ただし、初期段階では一意でない可能性があるため、移行作用素は初期的対象ではなく、導出された対象であることが強調される。