Orbispaces and Orbifolds from the Point of View of the Borel Construction, a new Definition

Let G be a finite group. The unit sphere in a finite-dimensional orthogonal G-representation motivates the definition of homotopy representations, due to tom Dieck. We introduce an algebraic analogue, and establish its basic properties including the Borel-Smith conditions and realization by finite G-CW-complexes.

This paper identifies the homotopy theories of topological stacks and orbispaces with unstable global homotopy theory. At the same time, we provide a new perspective by interpreting it as the homotopy theory of `spaces with an action of the universal compact Lie group'. The upshot is a novel way to construct and study genuine cohomology theories on stacks, orbifolds, and orbispaces, defined from stable global homotopy types represented by orthogonal spectra. The universal c...

We give a new description of Rosenthal's generalized homotopy fixed point spaces as homotopy limits over the orbit category. This is achieved using a simple categorical model for classifying spaces with respect to families of subgroups.

We answer the question of when the underlying space of an orbifold is a manifold with boundary in several categories.

We consider four notions of maps between smooth C^r orbifolds O, P with O compact (without boundary). We show that one of these notions is natural and necessary in order to uniquely define the notion of orbibundle pullback. For the notion of complete orbifold map, we show that the corresponding set of C^r maps between O and P with the C^r topology carries the structure of a smooth C^\infty Banach (r finite)/Frechet (r=infty) manifold. For the notion of complete reduced orbifo...

We present two versions of the Egorov theorem for orbifolds. The first one is a straightforward extension of the classical theorem for smooth manifolds. The second one considers an orbifold as a singular manifold, the orbit space of a Lie group action, and deals with the corresponding objects in noncommutative geometry.

We introduce a new homology theory of compact orbifolds called stratified simplicial homology (or st-homology for short) from some special kind of triangulations adapted to the orbifolds. In the definition of st-homology, the orders of the local groups of an orbifold are encoded in the boundary map so that the theory can capture some structural information of the orbifold. We can prove that st-homology is an invariant under orbifold isomorphisms and more generally under weigh...

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.

The concept of orbifolds should unify differential geometry with equivariant homotopy theory, so that orbifold cohomology should unify differential cohomology with proper equivariant cohomology theory. Despite the prominent role that orbifolds have come to play in mathematics and mathematical physics, especially in string theory, the formulation of a general theory of orbifolds reflecting this unification has remained an open problem. Here we present a natural theory argued t...

In this paper, we develop the theory for classifying all the geometric fibrations of compact, connected, flat $n$-orbifolds, over a 1-orbifold, up to affine equivalence. We apply our classification theory to classify all the geometric fibrations of compact, connected, flat $2$-orbifolds, over a 1-orbifold, up to affine equivalence. This paper is an essential part of our project to give a geometric proof of the classification of all closed flat 4-manifolds.