Orbifolds and the Modular Curve

We provide an account of the construction of the moduli stack of elliptic curves as an analytic orbifold. While intimately linked to Thurston’s point of view on the subject (discrete groups acting properly and effectively on differentiable manifolds), the construction of the modular orbi-curve and its universal family of elliptic curves ends up requiring a bit more technology, in order to allow for non-effective actions.