Abstract. In this article, written primarily for physicists and geometers, we survey several manifestations of a general localization principle for orbifold theories such as K-theory, index theory, motivic integration and elliptic genera.
OrbifoldsIn this paper we will attempt to explain a general localization principle that appears frequently under several guises in the study of orbifolds. We will begin by reminding the reader what we mean by an orbifold.The most familiar situation in physics is that of an orbifold of the type X = [M/G], where M is a smooth manifold and G is a finite group acting 1 smoothly on M ; namely, we give ourselves a homomorphism G → Diff(M ). We make a point of distinguishing the orbifold X = [M/G] from its quotient space (also called orbit space) X = M/G. As a set, as we know, a point in X is an orbit of the action: that is, a typical element of M/G is Orb(x) = {xg | g ∈ G}.For us an orbifold X = [M/G] is a smooth category 2 (actually a topological groupoid) whose objects are the points of M , X 0 = Obj(X) = M , and we insist on remembering that X 0 = Obj(X) is a smooth manifold. The arrows of this category are X 1 = Mor(X) = M × G again thinking of it as a smooth manifold. A typical arrow in this category is