Consider a smooth closed manifold $M$. The space of Riemannian metrics is an open cone in the space of sections of some vector bundle. On this space the group of diffeomorphisms of $M$ acts by pullback. The stabilizer of this action at a given $g$ the stabilizer is exactly the isometry group of $(M,g)$: This is a finite dimensional compact Lie group.

I am interested in the quotient space. Let's agree to call this space the space of Riemannian structures. This space parametrizes the metrics on $M$ up to isometry.

As the action of the diffeomorphism group is not free, I do not expect this to carry a natural manifold structure.

What type of space is the space of Riemannian structures?

To me this really feels like an infinite dimensional version of an effective orbifold: These spaces are exactly quotients of smooth manifolds acted upon by Lie groups with discrete stabilizers. But in this setting everything is shifted up "in dimensionality": discrete $\rightarrow$ finite dimensional $\rightarrow$ infinite dimensional.

Is there such a theory of "orbifolds", modelled on infinite dimensional manifolds quotiented by compact Lie group actions?

  • 2
    $\begingroup$ A good survey is a paper of N. Smolentsev, "Spaces of Riemannian metrics", see section 6 in researchgate.net/publication/…. $\endgroup$ – Igor Belegradek Apr 13 '18 at 12:40
  • $\begingroup$ @IgorBelegradek: Thanks, I am looking into this now $\endgroup$ – Thomas Rot Apr 13 '18 at 14:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.