Source author record

Paul F. Baum

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

5works
9topics
4close collaborators

Published work

5 publications

preprint2015arXiv

Free actions of compact quantum group on unital C*-algebras

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.

preprint2015arXiv

Noncommutative Borsuk-Ulam-type conjectures

Within the framework of free actions of compact quantum groups on unital C*-algebras, we propose two conjectures. The first one states that, if HH is the C*-algebra of a compact quantum group coacting freely on a unital C*-algebra AA, then there is no equivariant ∗*-homomorphism from AA to the join C*-algebra A∗HA*H. For AA being the C*-algebra of continuous functions on a sphere with the antipodal coaction of the C*-algebra of funtions on Z/2Z\mathbb{Z}/2\mathbb{Z}, we recover the celebrated Borsuk-Ulam theorem. The second conjecture states that there is no equivariant ∗*-homomorphism from HH to the join C*-algebra A∗HA*H. We show how to prove the conjecture in the special case A=C(SUq(2))=HA=C(SU_q(2))=H, which is tantamount to showing the non-trivializability of Pflaum's quantum instanton fibration built from SUq(2)SU_q(2).

preprint2014arXiv

Local Proof of Algebraic Characterization of Free Actions

Let GG be a compact Hausdorff topological group acting on a compact Hausdorff topological space XX. Within the C∗C^{*}-algebra C(X)C(X) of all continuous complex-valued functions on XX, there is the Peter-Weyl algebra PG(X)\mathcal{P}_G(X) which is the (purely algebraic) direct sum of the isotypical components for the action of GG on C(X)C(X). We prove that the action of GG on XX is free if and only if the canonical map PG(X)⊗C(X/G)PG(X)→PG(X)⊗O(G)\mathcal{P}_G(X)\otimes_{C(X/G)}\mathcal{P}_G(X)\to \mathcal{P}_G(X)\otimes\mathcal{O}(G) is bijective. Here both tensor products are purely algebraic, and O(G)\mathcal{O}(G) denotes the Hopf algebra of "polynomial" functions on GG.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.