Local proof of algebraic characterization of free actions

DOI10.3842/SIGMA.2014.060zbMATH Open1295.22010arXiv1402.3024OpenAlexW1968602983MaRDI QIDQ401238FDOQ401238

Authors: Paul Baum, Piotr M. Hajac 

Publication date: 26 August 2014

Published in: SIGMA. Symmetry, Integrability and Geometry: Methods and Applications (Search for Journal in Brave)

Abstract: Let $G$ be a compact Hausdorff topological group acting on a compact Hausdorff topological space $X$. Within the $C^{*}$-algebra $C(X)$ of all continuous complex-valued functions on $X$, there is the Peter-Weyl algebra $mathcal{P}_G(X)$ which is the (purely algebraic) direct sum of the isotypical components for the action of $G$ on $C(X)$. We prove that the action of $G$ on $X$ is free if and only if the canonical map $mathcal{P}_G(X)otime{s}_{C(X/G)}mathcal{P}_G(X)omathcal{P}_G(X)otimesmathcalO(G)$ is bijective. Here both tensor products are purely algebraic, and $mathcalO(G)$ denotes the Hopf algebra of "polynomial" functions on $G$.

Full work available at URL: https://arxiv.org/abs/1402.3024

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• Free actions of compact quantum groups on unital \(C^\ast\)-algebras
• scientific article; zbMATH DE number 1139605
• Free actions of compact abelian groups on \(C^{\ast}\)-algebras. I.
• scientific article; zbMATH DE number 3958008
• Free actions of compact groups on \(C^\ast\)-algebras. II.

zbMATH Keywords

compact groupfree actionPeter-Weyl-Galois condition

Mathematics Subject Classification ID

Compact groups (22C05) Topological properties of groups of homeomorphisms or diffeomorphisms (57S05) Fiber bundles in algebraic topology (55R10) Compact groups of homeomorphisms (57S10)

Cited In (3)

• Pullbacks and nontriviality of associated noncommutative vector bundles
• Cyclic-homology Chern-Weil theory for families of principal coactions
• Free actions of compact quantum groups on unital \(C^\ast\)-algebras

This page was built for publication: Local proof of algebraic characterization of free actions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q401238)