Orbifolds Day One
05 Jul 2020
I wrote some notes introducing orbifolds from Haefliger’s perspective in Metric Spaces of Non-positive Curvature. There is some surprisingly heavy machinery that goes into it. In this blog post I want to talk a little about it at a high level.
An orbifold of dimension is a Hausdorff space locally modeled on modulo the action of a finite group. This is a simple enough idea on its face: a useful perspective on the fundamental group of a manifold is the passage between its action on the universal cover and the calculus of loops in the base space. For a group that acts merely properly discontinuously and not freely, the quotient space is no longer a manifold, and yet we would like to accesss the “loops” perspective regardless. This is the idea that orbifolds are trying to capture. It is maybe surprising both how successful this project is, and yet how much more complex the theory becomes.
Let’s remember back to when we learned Calculus. First we learned how to manipulate real-valued functions of one variable, and later multivariable functions . In particular, we defined a notion of differentiability for these maps. To replicate this effort on differentiable manifolds, one uses charts. The idea is that the local structure of a manifold can be captured by a map , where is an open subset of . A map of manifolds is defined to be differentiable if its expression in any pair of charts is differentiable.
A ridiculously maximalist approach to this idea is the following: suppose is an atlas for (in the usual sense), and that is an atlas for . A function defines a map whenever . By refining the open cover of , we can assume this is always the case. We can do the following strange thing: the disjoint union is a differentiable manifold, each of whose components is an open subset of , and the resulting map is differentiable (in fact a local diffeomorphism). The maps assemble into a map such that the following diagram commutes
And we are justified in saying that is differentiable when there exists a map constructed as above. What we have done, essentially, is said that we don’t understand the quotient manifold, but we do understand open subsets of , and have performed a non-unique but useful construction to exploit that understanding. This is the jumping-off point for orbifolds.
There is just one more wrinkle: the definition of an atlas includes various differentiable maps called changes of charts. It would be convenient if there were a way to stipulate that our map must play nicely with these changes of charts beyond just saying that there exists a map on the quotient space. This is where Lie Groupoids come in: they turn out to be precisely the gadget we need to manage the expression of in charts while asserting that these expressions play nicely with the changes of charts. I’ll let you read the notes—and Haefliger too, hopefully. Next time I’ll try to wrap my head around the fundamental group of an orbifold, and hopefully thereafter the mapping class group of an orbifold.