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

This work concludes a series of four papers on the foundational theory of orbifolds and stacks. We apply the abstract theory, developed in its predecessors, to orbifolds derived from manifolds. Specifically, we show how the very concrete topological base spaces associated to such orbifolds can be described and manipulated in our universal language. At the same time, we interpret our many categorical axioms in several explicit contexts.

Greenlees and Sadofsky showed that the classifying spaces of finite groups are self-dual with respect to Morava K-theory K(n). Their duality map was constructed using a transfer map. We generalize their duality map and prove a K(n)-version of Poincare duality for classifying spaces of orbifolds. By regarding these classifying spaces as the homotopy types of certain differentiable stacks, our construction can be viewed as a stack version of Spanier-Whitehead type construction....

It is well-known that an effective orbifold M (one for which the local stabilizer groups act effectively) can be presented as a quotient of a smooth manifold P by a locally free action of a compact lie group K. We use the language of groupoids to provide a partial answer to the question of whether a noneffective orbifold can be so presented. We also note some connections to stacks and gerbes.

Given the notion of suborbifold of the second author (based on ideas of Borzellino/Brunsden) and the classical correspondence (up to certain equivalences) between (effective) orbifolds via atlases and effective orbifold groupoids, we analyze which groupoid embeddings correspond to suborbifolds and give classes of suborbifolds naturally leading to groupoid embeddings.

Inspired by work of Borzellino and Brunsden, we generalize the notion of a submanifold identifying a natural and sufficiently general condition which guarantees that a subset of an (effective) orbifold carries itself a canonical induced orbifold structure. We illustrate the strength of this approach generalizing typical constructions of submanifolds to the orbifold setting using embeddings, proper group actions and the idea of transversality.

In this paper we address the relation between the orbifold fundamental group and the topology of the underlying space. In particular, under the assumption that the orbifold fundamental group is equal to the fundamental group of the underlying space, we prove Poincar\'e Duality for orbifolds of dimension 4 and 5.

The purpose of this paper is to introduce the notion of loop groupoid associated to a groupoid. After studying the general properties of the loop groupoid, we show how this notion provides a very natural geometric interpretation for the twisted sectors of an orbifold, and for the inner local systems introduced by Ruan by means of a natural generalization of the concept holonomy of a gerbe.

We present some features of the smooth structure, and of the canonical stratification on the orbit space of a proper Lie groupoid. One of the main features is that of Morita invariance of these structures - it allows us to talk about the canonical structure of differentiable stratified space on the orbispace (an object analogous to a separated stack in algebraic geometry) presented by the proper Lie groupoid. The canonical smooth structure on an orbispace is studied mainly vi...

We consider orbifolds as diffeological spaces. This gives rise to a natural notion of differentiable maps between orbifolds, making them into a subcategory of diffeology. We prove that the diffeological approach to orbifolds is equivalent to Satake's notion of a V-manifold and to Haefliger's notion of an orbifold. This follows from a lemma: a diffeomorphism (in the diffeological sense) of finite linear quotients lifts to an equivariant diffeomorphism.

Given an orbifold, we construct an orthogonal spectrum representing its stable global homotopy type. Orthogonal spectra now represent orbifold cohomology theories which automatically satisfy certain properties as additivity and the existence of Mayer-Vietoris sequences. Moreover, the value at a global quotient orbifold $M/G$ can be identified with the $G$-equivariant cohomology of the manifold $M$. Examples of orbifold cohomology theories which are represented by an orthogona...