Twisted $K$-theory

Michael Atiyah; Graeme Segal

Home/Archive/arXiv

arXiv · math/0407054

Twisted $K$-theory

Michael Atiyah·Graeme Segal

View original source ↗Read source document ↗Export metadata ↓

Abstract

Twisted complex $K$-theory can be defined for a space $X$ equipped with a bundle of complex projective spaces, or, equivalently, with a bundle of C$^*$-algebras. Up to equivalence, the twisting corresponds to an element of $H^3(X;\Z)$. We give a systematic account of the definition and basic properties of the twisted theory, emphasizing some points where it behaves differently from ordinary $K$-theory. (We omit, however, its relations to classical cohomology, which we shall treat in a sequel.) We develop an equivariant version of the theory for the action of a compact Lie group, proving that then the twistings are classified by the equivariant cohomology group $H^3_G(X;\Z)$. We also consider some basic examples of twisted $K$-theory classes, related to those appearing in the recent work of Freed-Hopkins-Teleman.

Explore related subjects

math.KT

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Michael Atiyah, Graeme Segal. 2005-10-31. Twisted $K$-theory. https://arxiv.org/abs/math/0407054

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Algebraic $\mathbb{A}^{1}$-invariance of K-theory for affinoid Tate adic spaces of good reduction

We establish homotopy invariance for connective continuous K-theory of affinoid Tate adic spaces of good reduction with respect to the algebraic affine line, distinct from the adic affine line as analytic stacks. We approach this through an investigation of boundedness of t-structures on nuclear module categories, to which end we also study ultrasolid modules, a variant of solid modules, and their properties.

math.KT↗

arXiv2026

$K$-theory of finite monoid sets

In this paper we classify the algebraic K-theory of sets equipped with an action by a finite abelian monoid. The main tool developed for this purpose is an Orbit-Stabilizer Theorem, which gives a decomposition of monoid sets analogous to the decomposition given by the Orbit-Stabilizer Theorem for G-sets.

math.KT↗

arXiv2026

Koszul duality for boundary categories

We study how Koszul duality relates two kinds of boundary constructions associated with a smooth category and a proper category. For a smooth category with a proper Koszul-dualizing subcategory, we construct a fully faithful functor from its categorical neighborhood of infinity to the singularity category associated to the proper category. We prove that this functor is an equivalence precisely when the smooth category is reflexive, meaning that it can be reconstructed from its finite-dimensional module theory. Under a Gorenstein condition, satisfied in the Calabi--Yau setting, the functor is induced by restriction of modules. We give algebraic criteria that ensure equivalence and obtain an identification of Hochschild cohomology.

math.KT↗