This is a survey paper based on my talk at the Workshop on Orbifolds and String Theory, the goal of which was to explain the role of groupoids and their classifying spaces as a foundation for the theory of orbifolds.
For a finitely presented discrete group $Γ$, we introduce two generalizations of the orbifold Euler characteristic and $Γ$-orbifold Euler characteristic to a class of proper topological groupoids large enough to include all cocompact proper Lie groupoids. The $Γ$-Euler characteristic is defined as an integral with respect to the Euler characteristic over the orbit space of the groupoid, and the $Γ$-inertia Euler characteristic is the usual Euler characteristic of the $Γ$-inertia space associated to the groupoid. A key ingredient is the application of o-minimal structures to study orbit spaces …
The purpose of this thesis is to use the language of orbifold groupoids to describe the geometry and topology of orbifolds, highlighting advantages and disadvantages of this language as they arise.
We build a concrete and natural model for the strict 2-category of orbifolds. In particular we prove that if one localizes the 2-category of proper etale Lie groupoids at a class of 1-arrows that we call "covers", then the strict 2-category structure drops down to the localization. In our construction the spaces of 1- and 2-arrows admit natural topologies, the space of morphisms (1-arrows) between two orbifolds is naturally a groupoid and the symmetries of an orbifold form a strict 2-group.
Motivated by an attempt to better understand the notion of a symplectic stack, we introduce the notion of a symplectic hopfoid, which should be thought of as the analog of a groupoid in the so-called symplectic category. After reviewing some foundational material on canonical relations and this category, we show that symplectic hopfoids provide a characterization of symplectic double groupoids in these terms. Then, we show how such structures may be used to produce examples of symplectic orbifolds, and conjecture that all symplectic orbifolds arise via a similar construction. The symplectic st…
The first goal of this survey paper is to argue that if orbifolds are groupoids, then the collection of orbifolds and their maps has to be thought of as a 2-category. Compare this with the classical definition of Satake and Thurston of orbifolds as a 1-category of sets with extra structure and/or with the "modern" definition of orbifolds as proper etale Lie groupoids up to Morita equivalence. The second goal is to describe two complementary ways of thinking of orbifolds as a 2-category: 1. the weak 2-category of foliation Lie groupoids, bibundles and equivariant maps between bibundles and 2. t…
In this paper we introduce the concept of Deligne cohomology of an orbifold. We prove that the third Deligne cohomology group of a smooth étale groupoid classify gerbes with connection over the groupoid. We argue that the $B$-field and the discrete torsion in type II superstring theories are special kinds of gerbes with connection, and finally, for each one of them, using Deligne cohomology we construct a flat line bundle over the inertia groupoid, namely a Ruan inner local in the case of an orbifold.
Motivated by symplectic geometry, we give a detailed account of differential forms and currents on orbifolds with corners, the pull-back and push-forward operations, and their fundamental properties. We work within the formalism where the category of orbifolds with corners is obtained as a localization of the category of étale proper groupoids with corners. Constructions and proofs are formulated in terms of the structure maps of the groupoids, avoiding the use of orbifold charts. The Fréchet space of differential forms on an orbifold and the dual space of currents are shown to be independent …
We approach Mackenzie's LA-groupoids from a supergeometric point of view by introducing Q-groupoids, which are groupoid objects in the category of Q-manifolds. There is a faithful functor from the category of LA-groupoids to the category of Q-groupoids. We associate to every Q-groupoid a double complex that provides a model for the Q-cohomology of the classifying space. As examples, we obtain models for equivariant Q- and orbifold Q-cohomology, and for equivariant Lie algebroid and orbifold Lie algebroid cohomology. We obtain double complexes associated to Poisson groupoids and groupoid-algebr…
For a compact manifold M and a differentiable stack \cX presented by a Lie groupoid X, we show the Hom-stack Hom(M,\cX) is presented by a Fréchet-Lie groupoid Map(M,X) and so is an infinite-dimensional differentiable stack. We further show that if \cX is an orbifold, presented by a proper étale Lie groupoid, then Map(M,X) is proper étale and so presents an infinite-dimensional orbifold.
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.
We describe various equivalent ways of associating to an orbifold, or more generally a higher étale differentiable stack, a weak homotopy type. Some of these ways extend to arbitrary higher stacks on the site of smooth manifolds, and we show that for a differentiable stack X arising from a Lie groupoid G, the weak homotopy type of X agrees with that of BG. Using this machinery, we are able to find new presentations for the weak homotopy type of certain classifying spaces. In particular, we give a new presentation for the Borel construction of an almost free action of a Lie group G on a smooth …
This is a condensed exposition of the results of a future work, based on a talk of the second author at the Oberwolfach workshop "Poisson Geometry", April 30--4 May 2007.
This is the writeup of a lecture given at the May Wisconsin workshop on mathematical aspects of orbifold string theory. In the first part of this lecture, we review recent work on discrete torsion, and outline how it is currently understood in terms of the B field. In the second part of this lecture, we discuss the relationship between quotient stacks and string orbifolds.
Cieliebak, Mundet i Riera and Salamon recently formulated a definition of branched submanifold of Euclidean space in connection with their discussion of multivalued sections and the Euler class. This note proposes an intrinsic definition of a weighted branched manifold Z that is obtained from the usual definition of oriented orbifold groupoid by relaxing the properness condition and adding a weighting. We show that if Z is compact, finite dimensional and oriented, then it carries a fundamental class [Z]. Adapting the construction of Liu and Tian, we also show that the fundamental class [X] of …
This is a concise introduction to the theory of Lie groupoids, with emphasis in their role as models for stacks. After some preliminaries, we review the foundations on Lie groupoids, and we carefully study equivalences and proper groupoids. Differentiable stacks are geometric objects which have manifolds and orbifolds as special instances, and can be presented as the transverse geometry of a Lie groupoid. Two Lie groupoids are equivalent if they are presenting the same stack, and proper groupoids are presentations of separated stacks, which by the linearization theorem are locally modeled by l…
Quasifolds are spaces that are locally modelled by quotients of $\mathbb{R}^n$ by countable affine group actions. These spaces first appeared in Elisa Prato's generalization of the Delzant construction, and special cases include leaf spaces of irrational linear flows on the torus, and orbifolds. We consider the category of diffeological quasifolds, which embeds in the category of diffeological spaces, and the bicategory of quasifold groupoids, which embeds in the bicategory of Lie groupoids, bibundles, and bibundle morphisms. We prove that, restricting to those morphisms that are locally inver…
In this paper we study the Lie groupoids which appear in foliation theory. A foliation groupoid is a Lie groupoid which integrates a foliation, or, equivalently, whose anchor map is injective. The first theorem shows that, for a Lie groupoid G, the following are equivalent: - G is a foliation groupoid, - G has discrete isotropy groups, - G is Morita equivalent to an etale groupoid. Moreover, we show that among the Lie groupoids integrating a given foliation, the holonomy and the monodromy groupoids are extreme examples. The second theorem shows that the cyclic homology of convolution algebras …