[論文レビュー] Free actions of compact quantum group on unital C*-algebras

Paul Baum, Kenny De Commer+1 more|arXiv (Cornell University)|Apr 9, 2013

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

ひとこと要約

本稿は、単位元を持つC*-代数上のコンパクト量子群の作用に関して、三つの条件の同値性を確立する。すなわち、関数解析的条件であるC*-自由性（C*-freeness）、標準的写像の代数的同型であるPeter-Weyl-Galois条件、および圏論的性質である強モノイダリティ（strong monoidality）の同値性である。主たる貢献は、標準的写像の同型を用いて、関数解析に根ざしたC*-自由性を代数的言語で特徴づけることであり、これは古典的ガロア理論および主束理論を量子設定に一般化するものである。

ABSTRACT

Let F be a field, G a finite group, and Map(G,F) the Hopf algebra of all set-theoretic maps G->F. If E is a finite field extension of F and G is its Galois group, the extension is Galois if and only if the canonical map resulting from viewing E as a Map(G,F)-comodule is an isomorphism. Similarly, a finite covering space is regular if and only if the analogous canonical map is an isomorphism. In this paper we extend this point of view to actions of compact quantum groups on unital C*-algebras. We prove that such an action is free if and only if the canonical map (obtained using the underlying Hopf algebra of the compact quantum group) is an isomorphism. In particular, we are able to express the freeness of a compact Hausdorff topological group action on a compact Hausdorff topological space in algebraic terms.

研究の動機と目的

• コンパクト量子群の作用が単位元を持つC*-代数に作用する設定において、古典的ガロア理論および主束理論を一般化すること。
• 関数解析に根ざしたC*-自由性という概念を、標準的写像の同型を用いて代数的特徴づけすること。
• C*-自由性、Peter-Weyl-Galois条件、強モノイダリティという三つの異なる概念を、同値な枠組みに統合すること。
• ホップ代数的およびC*-代数的道具を用いて、古典的正則被覆および群作用の理論を非可換設定に拡張すること。

提案手法

• コンパクト量子群 (H, Δ) が単位元を持つC*-代数 A に作用することを、coassociativity および counitality を満たすユニタリ*-準同型 δ: A → A ⊗min H を用いて定義する。
• O(H) を H の密なホップ*-部分代数（行列係数の代数）とするとき、P_H(A) を δ による像が A ⊗ O(H) に含まれるような A の元のなす部分代数として定義する。
• B = A^{coH}（固定点代数）を用いて、can: P_H(A) ⊗_B P_H(A) → P_H(A) ⊗ O(H) を x ⊗ y ↦ (x ⊗ 1)δ(y) で定義する標準的写像を構成する。
• 三つの条件の同値性を確立する：(1) C*-自由性は {(x⊗1)δ(y)}cls = A ⊗min H という閉線形包の条件で定義される；(2) 標準的写像が全単射であること（Peter-Weyl-Galois条件）；(3) コモジュール上のコアクションの強モノイダリティ。
• コンパクト量子群のPeter-Weyl理論を用いて、問題を有限次元ホップ代数的構造に還元し、O(H) と H の双対性を活用する。
• 非可換幾何学およびホップガロア理論の技法、特に余テンソル積とコモジュール代数を用いて、同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 コンパクト量子群の単位元を持つC*-代数への作用がC*-自由であることは、標準的写像が同型であることと同値か？
• RQ2 古典的な正則被覆空間およびガロア拡張の概念は、代数的同型条件を用いて、コンパクト量子群の作用へ一般化可能か？
• RQ3 コモジュール上のコアクションの強モノイダリティは、C*-自由性およびPeter-Weyl-Galois条件と同一の構造的条件に対応するか？
• RQ4 コンパクトハウスドルフ空間上の群作用の自由性は、標準的写像の同型を用いて、完全に代数的に表現可能か？

主な発見

• 任意のコンパクト量子群の単位元を持つC*-代数への作用に対して、三つの条件—C*-自由性、Peter-Weyl-Galois条件、強モノイダリティ—は同値である。
• 標準的写像 can: P_H(A) ⊗_B P_H(A) → P_H(A) ⊗ O(H) が x⊗y ↦ (x⊗1)δ(y) で定義されるとき、この写像が同型であることは、作用がC*-自由であることと同値である。
• この同値性は古典的結果を一般化する：有限群がコンパクトハウスドルフ空間に作用するとき、その作用が自由であることと、標準的写像が同型であることとは同値であり、ガロア拡張は同様の同型条件によって特徴づけられる。
• 本結果により、C*-自由性の純粋な代数的基準が得られ、関数解析的条件がコモジュール代数の圏における同型に置き換えられる。
• 同値性は非可換設定でも成り立つため、古典的主束理論およびガロア拡張理論がコンパクト量子群へ拡張される。
• 本稿は、C*-自由作用の族が局所的データに整合的であることを示し、グローバルなC*-自由作用をもたらすことを確立している。