[論文レビュー] Renault's Equivalence Theorem for Groupoid Crossed Products

Paul S. Muhly, Dana P. Williams|ArXiv.org|Jul 24, 2007

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

ひとこと要約

この論文は、局所ハウスドルフかつ局所コンパクトな群ガロアの文脈において、ランベールトの同値定理について包括的かつ明示的な証明を提供する。バンドル理論的枠組みを構築し、具体的なプリミティブ双モジュールを構成し、共変表現の分解定理を確立することで、非ハウスドルフな状況へと古典的な交叉積C*-代数と縮小群ガロアC*-代数の同値性を拡張する。これは、群ガロアのブラウアー半群を研究するための基盤的ツールを提供する。

ABSTRACT

We provide an exposition and proof of Renault's equivalence theorem for crossed products by locally Hausdorff, locally compact groupoids. Our approach stresses the bundle approach, concrete imprimitivity bimodules and is a preamble to a detailed treatment of the Brauer semigroup for a locally Hausdorff, locally compact groupoid.

研究の動機と目的

• 非可換幾何学および力学系において一般的に現れるが、標準的取り扱いではしばしば除外される、局所ハウスドルフかつ局所コンパクトな群ガロアへのランベールトの同値定理の拡張を目的とする。
• ハウスドルフでない状況に特有の微妙な技術的課題を伴う、局所ハウスドルフ空間上の上半連続C*-バンドルの厳密な枠組みを構築すること。
• 非ハウスドルフな設定において同値定理を証明するために不可欠な、群ガロア力学系の共変表現の分解定理を確立すること。
• 上半連続C*-バンドル上の作用のモラータ同値類のなす半群として定義される、局所ハウスドルフかつ局所コンパクトな群ガロアのブラウアー半群の体系的理論の基盤を築くこと。
• 文献に欠落している非ハウスドルフな文脈における近似単位元、共変表現、およびラドン測度についての自己完結的かつ詳細な取り扱いを提供すること。

提案手法

• 局所ハウスドルフかつ局所コンパクトな空間上の上半連続C*-バンドルのセクションとしてC*-代数をモデル化するバンドルアプローチを用いる。
• ハール系およびモジュラー関数による積分を用いて、交叉積C*-代数と縮小群ガロアC*-代数の間の具体的なプリミティブ双モジュールを構成する。
• フビニの定理およびボレル可測性の議論を適用し、誘導されたユニタリ表現が群ガロア上で適切に定義され、可測であることを検証する。
• 代表的結果に類似した形で、ヒルベルトバンドル上の表現と単位空間上のL²空間における統合形との間のユニタリ同値性を構成することで、共変表現の分解定理（定理7.8）を確立する。
• C₀(X)-代数における近似単位元を用いて、収束を制御し、群ガロア交叉積の表現理論における非退化性を保証する。
• ヒルベルトバンドル上のユニタリ表現(U, H)の統合形を用いて、L²(G⁰ * H, μ)上のユニタリ作用素として群ガロアC*-代数の作用を実現する。

実験結果

リサーチクエスチョン

• RQ1 ランベールトの同値定理は、一般にハウスドルフでないが局所ハウスドルフかつ局所コンパクトな群ガロアへどのように一般化できるか？
• RQ2 上半連続C*-バンドルおよびそれらに関連する交叉積の理論を非ハウスドルフな群ガロアへ拡張する際に生じる技術的課題は何か？
• RQ3 非ハウスドルフな設定において、共変表現の分解定理をどのように定式化し、証明できるか？
• RQ4 近似単位元およびラドン測度は、非ハウスドルフな群ガロア交叉積のプリミティブ双モジュールの構成において果たす役割は何か？
• RQ5 得られた理論は、群ガロアのブラウアー半群の体系的取り扱いをどのように支援するか？

主な発見

• 第二可算な局所ハウスドルフかつ局所コンパクトな群ガロアが、上半連続C*-バンドル上に作用する場合、同値定理が成り立つ。これは、古典的結果をハウスドルフでない場合へ拡張するものである。
• 共変表現のヒルベルト空間とL²(G⁰ * H, μ)との間にユニタリ同型Vが構成され、表現Lとユニタリ表現Uの統合形を intertwine する。
• 証明は、非ハウスドルフな設定においても有効な、単位空間上のファイバーへの可測な分解を確立する分解定理（定理7.8）に依拠している。
• 写像f ⊗ ζi ↦ Φ(u) := f ⊗ᵤ ζi は、L²(G⁰ * H, μ)における適切に定義されたボレルセクションを定め、関連する写像Vは等長作用素で、その像が稠密であるためユニタリ作用素である。
• 群ガロアC*-代数の作用は、ユニタリ表現の統合形を用いてL²(G⁰ * H, μ)上に実現され、モジュラー関数Δ(σ)⁻¹/²がハール系と整合性を持つように保証される。
• 写像σ ↦ (UσΦij(s(σ)) | Φkl(r(σ))) が群ガロア上でボレル可測であることが証明され、これにより表現が適切に定義され、可測であることが保証される。