When a compact quantum group $H$ coacts freely on unital $C^*$-algebras $A$ and $B$, the existence of equivariant maps $A to B$ may often be ruled out due to the incompatibility of some invariant. We examine the limitations of using invariants, both concretely and abstractly, to resolve the noncommutative Borsuk-Ulam conjectures of Baum-Dabrowski-Hajac. Among our results, we find that for certain finite-dimensional $H$, there can be no well-behaved invariant which solves the Type 1 conjecture for all free coactions of $H$. This claim is in stark contrast to the case when $H$ is finite-dimensional and abelian. In the same vein, it is possible for all iterated joins of $H$ to be cleft as comodules over the Hopf algebra associated to $H$. Finally, two commonly used invariants, the local-triviality dimension and the spectral count, may both change in a $theta$-deformation procedure.
Download