Equivariant higher Dixmier-Douady theory for circle actions on UHF-algebras

DOI10.1016/J.AIM.2022.108745MaRDI QIDQ2099086zbMATH OpenOpenAlexFDO

Publication date 23 November 2022

Published in Advances in Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

algebraic topology classification equivariant automorphisms equivariant Brauer group infinite loop spaces operator algebras selfabsorbing C*-algebra

Mathematics Subject Classification ID

Equivariant (K)-theory (19L47) Twisted (K)-theory; differential (K)-theory (19L50) Classifications of (C^*)-algebras (46L35) Methods of algebraic topology in functional analysis (cohomology, sheaf and bundle theory, etc.) (46M20) Generalized (extraordinary) homology and cohomology theories in algebraic topology (55N20)

Review text

This article starts to generalise the existing classification of locally constant bundles of C*-algebras towards the equivariant case, by classifying certain locally trivial bundles with an action of the circle group. A locally trivial bundle over a space \(X\) with a C*-algebra \(A\) as fibre is equivalent to a principal \(\mathrm{Aut}(A)\)-bundle. These are described by homotopy classes of continuous maps from \(X\) to the classifying space of the topological group \(\mathrm{Aut}(A)\). The homotopy types of such classifying spaces are, however, hard to work with. Better results are available if \(A\) is strongly self-absorbing because then the tensor product of bundles provides a group structure on the homotopy groups. This group becomes part of a cohomology theory and the underlying classifying space of \(\mathrm{Aut}(A)\) becomes part of an \(\Omega\)-spectrum. Then one may try to compute the homotopy groups of this spectrum to learn more about the cohomology theory in question. In this article, a lot of this theory is generalised to certain locally trivial bundles of self-absorbing circle actions. To define these actions, start with a finite-dimensional representation of the circle group~\(\mathbb T\). This induces an action on a matrix algebra, and then a componentwise action on the resulting UHF-algebra \(D\). This C*-algebra is stabilised with the compact operators \(\mathbb K\) on the Hilbert space direct sum of countably many copies of the regular representation of the circle group, with the induced action. Due to the infinite tensor products and infinite multiplicity, this is self-absorbing in a very canonical way, facilitating the analysis. Then the fibrewise tensor product provides an abelian group structure on the set of principal \(\mathrm{Aut}_{\mathbb T}(D\otimes \mathbb K)\)-bundles. In the article, this group structure is shown to come from an \(\Omega\)-spectrum \(B_\otimes (\mathrm{Aut}_{\mathbb T}(D\otimes \mathbb K))\) that starts with \(\mathrm{Aut}_{\mathbb T}(D\otimes \mathbb K)\) and its classifying space. The article also computes the homotopy groups \(\pi_n\) for the group \(\mathrm{Aut}_{\mathbb T}(D\otimes \mathbb K)\). They are related to the \(\mathbb T\)-equivariant K-theory of \(D\). This is then used to completely classify the \(\mathbb T\)-equivariant \(D\otimes \mathbb K\)-bundles on certain spaces, such as tori. Finally, the degenerate case \(D=\mathbb C\) is examined. Here the cohomology theory defined in the article is related to the equivariant Brauer group.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Equivariant higher Dixmier-Douady theory for circle actions on UHF-algebras

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