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
    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
    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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references