Differential orbifold \(K\)-theory (Q2438306)

Summary: 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.