# 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.