[論文レビュー] Equivalence and Disintegration Theorems for Fell Bundles and their C*-algebras

Paul S. Muhly, Dana P. Williams|ArXiv.org|Jun 5, 2008

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

ひとこと要約

本稿では、局所コンpaktoな群ガロア上に定義されたフェルバンドルに関する分解定理を確立し、それらに付随するC*-代数についての同値定理を証明する。これは、レノールトとローブァーンの結果をフェルバンドルの文脈に一般化したものである。一般化されたラドン測度および上半連続なバナッハバンドルの理論を構築することで、フェルバンドルのC*-代数の表現が特定の共変表現に対応することを示し、これらの代数のモラータ同値分類が得られる。

ABSTRACT

We study the C*-algebras of Fell bundles. In particular, we prove the analogue of Renault's disintegration theorem for groupoids. As in the groupoid case, this result is the key step in proving a deep equivalence theorem for the C*-algebras of Fell bundles.

研究の動機と目的

• 群ガロアC*-代数に関するレノールトの分解定理を、局所コンパクトな群ガロア上のフェルバンドルの文脈に拡張すること。
• 上半連続バナッハバンドルの切断代数上の線形汎関数に対して、一般化ラドン測度の理論を構築すること。
• C*-代数のモラータ同値性を一般化するフェルバンドルの適切な同値関係の概念を定義すること。
• 同値なフェルバンドルのC*-代数はモラータ同値であるという深い同値定理を証明すること。
• フェルバンドルの文脈ではラムゼー選択定理が成立しないという技術的障壁を克服すること。

提案手法

• 著者たちは、連続バンドルを一般化してよりC*-代数的構成に柔軟性を与えるために、上半連続バナッハバンドルを基礎的構造として導入する。
• Dinculeanuの結果を上半連続な設定に拡張し、切断代数上の線形汎関数に対する一般化ラドン測度の理論を構築する。
• リエッフェルの枠組みとモラータ同値性の枠組みを用いて、共変系を通じてフェルバンドルの表現および厳密表現を定義する。
• 分解定理の証明は、可測切断の空間に射影作用素Pを構成することで行われ、これがほとんど everywhere で恒等作用素でなければならないことを示し、正しい共変表現を特定する。
• 同値定理は、2つのフェルバンドルが同値であることと、それらに付随するC*-代数がモラータ同値であることとが同値であることを示すことによって確立される。この証明では、分解結果を重要なステップとして用いる。
• 証明は調和解析の技術に依拠しており、ハール系やモジュラ関数の使用を含み、すべてのC₀(X)-代数が上半連続C*-バンドルの切断代数として現れることを活用する。

実験結果

リサーチクエスチョン

• RQ1 レノールトの群ガロアC*-代数に関する分解定理は、群ガロア上のフェルバンドルへ一般化可能か？
• RQ2 C*-代数のモラータ同値性を誘導するフェルバンドルの適切な同値関係とは何か？
• RQ3 上半連続バナッハバンドルの切断代数上の線形汎関数に対して、一般化ラドン測度をどのように構成できるか？
• RQ4 ラムゼーの選択定理のような標準的ツールは、フェルバンドルの文脈にどの程度まで拡張可能か？
• RQ5 フェルバンドルの表現理論は、対応する群ガロアのユニタリ表現とどのように関係するか？

主な発見

• 分解定理が確立された：フェルバンドルのC*-代数の非退化表現は、すべて一意的な共変表現によって生じる。
• 本稿では、C*-代数の表現と共変表現との間の対応が、ほとんど everywhere で恒等作用素でなければならない射影作用素Pを介して実現されることを証明する。これは、表現が分解可能であることを示唆する。
• 同値定理が証明された：2つのフェルバンドルが同値であることと、それらに付随するC*-代数がモラータ同値であることとは同値である。これは、ローブァーンの対称的不変則定理を一般化する。
• 著者たちは、すべてのC₀(X)-代数が上半連続C*-バンドルの切断代数として現れることを示し、上半連続バンドルの理論への適用を正当化する。
• 厳密表現からユニタリ表現を構成するために、ヒルベルトバンドルを修正し、射影σ(u)をほとんど everywhere で恒等作用素にすることで、統合形式の特定が可能になる。
• ラムゼー選択定理の欠如を克服するために、可測選択技術とハール系の構造を用いて、重要な写像の可測性を保証する。