42e676e7e25bf827.tex
1: \begin{abstract} 
2: The observer moduli space of Riemannian metrics is the quotient of the
3: space $\Riem(M)$ of all Riemannian metrics on a manifold $M$ by the
4: group of diffeomorphisms $\Diff_{x_0}(M)$ which fix both a basepoint
5: $x_0$ and the tangent space at $x_0$. The group $\Diff_{x_0}(M)$ acts
6: freely on $\Riem(M)$ providing $M$ is connected. This offers certain
7: advantages over the classic moduli space, which is the quotient by the
8: full diffeomorphism group.  Results due to Botvinnik, Hanke, Schick
9: and Walsh, and to Hanke, Schick and Steimle have demonstrated that the
10: higher homotopy groups of the observer moduli space
11: $\mathcal{M}_{x_0}^{s>0}(M)$ of positive scalar curvature metrics are,
12: in many cases, non-trivial.  The aim in the current paper is to
13: establish similar results for the moduli space
14: $\mathcal{M}_{x_0}^{\Ric>0}(M)$ of metrics with positive Ricci
15: curvature. In particular we show that for a given $k$, there are
16: infinite order elements in the homotopy group
17: $\pi_{4k}\mathcal{M}_{x_0}^{\Ric>0}(S^n)$ provided the dimension $n$
18: is odd and sufficiently large. In establishing this we make use of a
19: gluing result of Perelman. We provide full details of the proof of
20: this gluing theorem, which we believe have not appeared before in the
21: literature. We also extend this to a family gluing theorem for Ricci
22: positive manifolds.
23: \end{abstract}
24: