Noncommutative Borsuk-Ulam-type conjectures revisited

DOI10.4171/JNCG/352MaRDI QIDQ2043496zbMATH OpenWikidataFDO

Authors Piotr M. Hajac, Ludwik Dąbrowski, Sergey Neshveyev

Publication date 2 August 2021

Published in Journal of Noncommutative Geometry (Search for Journal in Brave)

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

zbMATH Keywords

associated noncommutative vector bundleBorsuk-Ulam theoremcompact quantum groupfree action on C*-algebrasnoncommutative deformation

Mathematics Subject Classification ID

Noncommutative topology (46L85) Geometry of quantum groups (58B32)

Abstract: Let $H$ be the C*-algebra of a non-trivial compact quantum group acting freely on a unital C*-algebra $A$. It was recently conjectured that there does not exist an equivariant $\ast$-homomorphism from $A$ (type-I case) or $H$ (type-II case) to the equivariant noncommutative join C*-algebra $Acircledas{t}^{d}eltaH$. When $A$ is the C*-algebra of functions on a sphere, and $H$ is the C*-algebra of functions on $mathbbZ/2mathbbZ$ acting antipodally on the sphere, then the conjecture of type I becomes the celebrated Borsuk-Ulam theorem. Following recent work of Passer, we prove the conjecture of type I for compact quantum groups admitting a non-trivial torsion character. Next, we prove that, if a compact quantum group admits a representation whose mbox{$K_1$-class} is non-trivial and $A$ admits a character, then a stronger version of the type-II conjecture holds: the finitely generated projective module associated with $Acircledas{t}^{d}eltaH$ via this representation is not stably free. In particular, we apply this result to the $q$-deformations of compact connected semisimple Lie groups and to the reduced group C*-algebras of free groups on $n>1$ generators.

Review text

Summary: Let \(H\) be the C*-algebra of a non-trivial compact quantum group acting freely on a unital C*-algebra \(A\). It was recently conjectured that there does not exist an equivariant *-homomorphism from \(A\) (type-I case) or \(H\) (type-II case) to the equivariant noncommutative join C*-algebra \(A\circledast^\delta H\) [\textit{P. F. Baum} et al., Banach Cent. Publ. 106, 9--18 (2015; Zbl 1343.46064)]. When \(A\) is the C*-algebra of functions on a sphere, and \(H\) is the C*-algebra of functions on \(\mathbb{Z}/2\mathbb{Z}\) acting antipodally on the sphere, then the conjecture of type I becomes the celebrated Borsuk-Ulam theorem. Taking advantage of recent work of \textit{B. Passer} [Indiana Univ. Math. J. 67, No. 1, 187--203 (2018; Zbl 1411.46050)], we prove the conjecture of type I for compact quantum groups admitting a non-trivial torsion character. Next, we prove that, if the compact quantum group \((H,\Delta)\) admits a representation whose \(K_1\)-class is non-trivial and \(A\) admits a character, then a stronger version of the type-II conjecture holds: the finitely generated projective module associated with \(A\circledast^\delta H\) via this representation is not stably free. In particular, we apply this result to the \(q\)-deformations of compact connected semisimple Lie groups and to the reduced group C*-algebras of free groups on \(n>1\) generators.

Recommendations

• Noncommutative Borsuk-Ulam-type conjectures
• Triviality of equivariant maps in crossed products and matrix algebras
• Compact group actions on topological and noncommutative joins
• Free actions on C^*-algebra suspensions and joins by finite cyclic groups
• Invariants in noncommutative dynamics

Cites work

• A compact contractible topological group is trivial
• A new characterisation of principal actions
• Coincidence points of maps of $ \Bbb Z_p^n$-spaces
• Compact group actions on topological and noncommutative joins
• Equivariant join and fusion of noncommutative algebras
• Free actions of compact quantum groups on unital C^-algebras
• Free actions on C^*-algebra suspensions and joins by finite cyclic groups
• scientific article; zbMATH DE number 3846249 (Why is no real title available?)
• scientific article; zbMATH DE number 1304613 (Why is no real title available?)
• Index pairings for pullbacks of \(C^\ast\)-algebras
• K-homology class of the Dirac operator on a compact quantum group
• On the K-theory of compact Lie groups
• On the K-theory of Lie groups
• Pullbacks and nontriviality of associated noncommutative vector bundles
• Quantized algebras of functions on homogeneous spaces with Poisson stabilizers
• Symmetries of quantum spaces. Subgroups and quotient spaces of quantum \(SU(2)\) and \(SO(3)\) groups
• The K-theory of free quantum groups
• The \(K\)-theory of the compact quantum group \(\mathrm{SU}_{q}(2)\) for \(q = -1\)
• The \(K\)-theory of twisted multipullback quantum odd spheres and complex projective spaces
• The Baum-Connes conjecture for free orthogonal quantum groups
• The Chern-Galois character.
• The free compact quantum group \(U(n)\)
• The K-theory of Heegaard quantum lens spaces
• The 𝐶*-algebra generated by an isometry
• Towards a noncommutative Brouwer fixed-point theorem
• Twisting the \(q\)-deformations of compact semisimple Lie groups
• Using the Borsuk-Ulam theorem. Lectures on topological methods in combinatorics and geometry. Written in cooperation with Anders Björner and Günter M. Ziegler

Cited in

(9)

• Borsuk-Ulam type theorems for \(G\)-spaces with applications to Tucker type lemmas
• Equivariant dimensions of graph C^-algebras
• Invariants in noncommutative dynamics
• A noncommutative Borsuk-Ulam theorem for Natsume-Olsen spheres
• Noncommutative Borsuk-Ulam-type conjectures
• Compact group actions on topological and noncommutative joins
• Free actions on C^*-algebra suspensions and joins by finite cyclic groups
• On the Borchers class of a non-commutative field
• Triviality of equivariant maps in crossed products and matrix algebras

This page was built for publication: Noncommutative Borsuk-Ulam-type conjectures revisited

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