nLab
orbifold K-theory

Contents

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Higher geometry

Contents

Idea

Orbifold K-theory is K-theory (typically: topological K-theory) of orbifolds.

Definition

In general it is subtle to decide whether a given orbifold cohomology-theory E (𝒳)E^\bullet(\mathcal{X}) is equivalently the GG-equivariant cohomology of a topological G-space XX for any realization of 𝒳\mathcal{X} as a global quotient orbifold of XX by GG (as highlighted inPronk-Scull 07). But for topological equivariant K-theory this is the case, by Pronk-Scull 07, Prop. 4.1.

Therefore it makes sense to define the K-theory of an orbifold 𝒳\mathcal{X} which is equivalent to a global quotient orbifold

𝒳(XG) \mathcal{X} \simeq \prec(X \!\sslash\! G)

to be the GG-equivariant K-theory of XX:

K (𝒳)K G (X). K^\bullet(\mathcal{X}) \;\coloneqq\; K_G^\bullet(X) \,.

This is the approach taken in AdemRuan 01, Def. 3.4

References

General

The definition of the K-theory of global quotient orbifolds as the equivariant K-theory of the universal covering space appears in

Review in

The general proof that this is well-defined (independent of the realization of the orbifold as a global quotient) is due to

A more geometric model of orbifold K-theory in terms of bundles of Fredholm operators over Lie groupoids/differentiable stacks:

Review in:

The claim that these two definitions are equivalent, in that this groupoid K-theory reduces to equivariant K-theory on global quotient orbifolds, is Freed-Hopkins-Teleman 07, Prop. 3.5.

Another definition of K-theory of orbifolds (“full orbifold K-theory”) is due to

proven there to coincide with Adem-Ruan 01 on global quotients.

More on this in:

  • Rebecca Goldin, Megumi Harada, Tara S. Holm, Takashi Kimura, The full orbifold K-theory of abelian symplectic quotients, Journal of K-theory, Volume 8, Issue 2 (2011) pp. 339-362 (arXiv:0812.4964, doi:10.1017/is010005021jkt118)

Via global equivariant homotopy theory

The suggestion (Schwede 17, Intro, Schwede 18, p. ix-x) that orbifolds should be regarded as orbispaces in global equivariant homotopy theory and then their orbifold cohomology be given by equivariant cohomology with coefficients in global equivariant spectra is worked out for (Bredon cohomology and) orbifold K-theory in:

  • Branko Juran, Orbifolds, Orbispaces and Global Homotopy Theory (arXiv:2006.12374)

Example 5.31 there shows that on global quotient orbifolds this is again equivalent to the previous definitions.

Stringy product

Last revised on July 10, 2020 at 09:35:09. See the history of this page for a list of all contributions to it.