The Differential Structure of an Orbifold

Abstract

We prove that the underlying set of an orbifold equipped with the ring of smooth real-valued functions completely determines the orbifold atlas. Consequently, we obtain an essentially injective functor from orbifolds to differential spaces.

V3: Final version. Removed a superfluous "2" from some examples