On real analytic orbifolds and Riemannian metrics (Q351700)

In this paper, the author demonstrates the existence of a real analytic Riemannian metric on a real analytic orbifold \(X\). It is well-known that any smooth orbifold admits a Riemannian metric, which can be defined by patching together arbitrary Riemannian metrics on charts using a partition of unity. However, this method no longer applies in the real analytic case. Rather, the author demonstrates that the for a reduced real analytic orbifold, the frame bundle \(\mathrm{Fr}(X)\) has a \(\mathrm{GL}_n(\mathbb{R})\)-invariant real analytic Riemannian metric. Using the slice theorem, it is shown that this Riemannian metric induces a real analytic Riemannian metric on \(X\). In the case that \(X\) is not reduced, the author proves that there is a one-to-one correspondence between real analytic Riemannian metrics on \(X\) and the associated reduced orbifold \(X_{red}\) so that the frame bundle construction can be applied to \(X_{red}\) to define a real analytic Riemannian metric on \(X\).NEWLINENEWLINEWith respect to such a metric, the author then demonstrates that a reduced real analytic orbifold \(X\) is real analytically diffeomorphic to the quotient of its orthonormal frame bundle \(\mathrm{OFr}(X)\) by the orthogonal group. This generalizes the corresponding result for smooth orbifolds of \textit{T. Kawasaki} [Nagoya Math. J. 84, 135--157 (1981; Zbl 0437.58020)] and demonstrates that every reduced real analytic orbifold can be realized as a quotient by a compact Lie group acting real analytically, effectively, and almost freely.NEWLINENEWLINEAs an application of this construction, the author generalizes a theorem of \textit{K. Nomizu} and \textit{H. Ozeki} [Proc. Am. Math. Soc. 12, 889--891 (1961; Zbl 0102.16401)], demonstrating that in the smooth or real analytic category, a Riemannian metric on an orbifold \(X\) is conformal to a complete Riemannian metric.