Local proof of algebraic characterization of free actions

From MaRDI portal




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 mathcalPG(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 mathcalPG(X)otimesC(X/G)mathcalPG(X)omathcalPG(X)otimesmathcalO(G) is bijective. Here both tensor products are purely algebraic, and mathcalO(G) denotes the Hopf algebra of "polynomial" functions on G.









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)