Spectral Sequence Computation of Higher Twisted -Groups of
arXiv:2307.00423 · doi:10.1090/cams/60
Abstract
Motivated by the Freed-Hopkins-Teleman theorem we study graded equivariant higher twists of -theory for the groups induced by exponential functors. We compute the rationalisation of these groups for all and all non-trivial functors. Classical twists use the determinant functor and yield equivariant bundles of compact operators that are classified by Dixmier-Douady theory. Their equivariant -theory reproduces the Verlinde ring of conformal field theory. Higher twists give equivariant bundles of stable UHF algebras, which can be classified using stable homotopy theory. Rationally, only the -theory in degree is again non-trivial. The non-vanishing group is a quotient of a localisation of the representation ring by a higher fusion ideal . We give generators for this ideal and prove that these can be obtained as derivatives of a potential. For the exterior algebra functor, which is exponential, we show that the determinant bundle over has a non-commutative counterpart where the fibre is the unitary group of the UHF algebra.
arXiv comment52 pages, two figures, final version before publication
References in corpus (16)
- D-Branes And K-Theory
- Bulk and Boundary Invariants for Complex Topological Insulators: From K-Theory to Physics
- D-branes, B-fields and twisted K-theory
- Fusion Residues
- Loop groups and twisted K-theory I
- A Dixmier-Douady theory for strongly self-absorbing C*-algebras
- The basic bundle gerbe on unitary groups
- Fusion Rings of Loop Group Representations
- Subfactors and Mathematical Physics
- Presentations of Wess-Zumino-Witten Fusion Rings
- Unit spectra of K-theory from strongly self-absorbing C*-algebras
- Twisted equivariant K-theory of compact Lie group actions with maximal rank isotropy
- The Weyl map and bundle gerbes
- Exponential Functors, R-Matrices and Twists
- Equivariant higher twisted K-theory of SU(n) for exponential functor twists
- Equivariant higher Dixmier-Douady Theory for circle actions on UHF-algebras