Differential orbifold K-theory

Abstract

We construct differential K-theory of representable smooth orbifolds as a ring valued functor with the usual properties of a differential extension of a cohomology theory. For proper submersions (with smooth fibres) we construct a push-forward map in differential orbifold K-theory. Finally, we construct a non-degenerate intersection pairing with values in $\mathbb{C}/\mathbb{Z}$ for the subclass of smooth orbifolds which can be written as global quotients by a finite group action. We construct a real subfunctor of our theory, where the pairing restricts to a non-degenerate $\mathbb{R}/\mathbb{Z}$-valued pairing.