Source author record

Paul F. Baum

Paul F. Baum appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

5works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

5 published item(s)

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 $H$ is the C*-algebra of a compact quantum group coacting freely on a unital C*-algebra $A$, then there is no equivariant $*$-homomorphism from $A$ to the join C*-algebra $A*H$. For $A$ being the C*-algebra of continuous functions on a sphere with the antipodal coaction of the C*-algebra of funtions on $\mathbb{Z}/2\mathbb{Z}$, we recover the celebrated Borsuk-Ulam theorem. The second conjecture states that there is no equivariant $*$-homomorphism from $H$ to the join C*-algebra $A*H$. We show how to prove the conjecture in the special case $A=C(SU_q(2))=H$, which is tantamount to showing the non-trivializability of Pflaum's quantum instanton fibration built from $SU_q(2)$.

preprint2014arXiv

Local Proof of Algebraic Characterization of Free Actions

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)\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 $\mathcal{O}(G)$ denotes the Hopf algebra of "polynomial" functions on $G$.