Equivariant higher Dixmier-Douady theory for circle actions on UHF-algebras (Q2099086)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Equivariant higher Dixmier-Douady theory for circle actions on UHF-algebras |
scientific article |
Statements
Equivariant higher Dixmier-Douady theory for circle actions on UHF-algebras (English)
0 references
23 November 2022
0 references
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.
0 references
operator algebras
0 references
algebraic topology
0 references
infinite loop spaces
0 references
equivariant automorphisms
0 references
equivariant Brauer group
0 references
selfabsorbing C*-algebra
0 references
classification
0 references
0 references
0 references