Analytic extension of locally defined Riemannian manifolds (Q1065368)

\textit{G. H. Smith} in his dissertation [for an abstract see Bull. Aust. Math. Soc. 18, 147-148 (1978)] has given a maximal extension of a germ which does not admit infinitesimal isometries. An oriented Riemannian real analytic manifold is called totally nonhomogeneous if it does not admit nontrivial orientation preserving isometries into itself. A germ of a Riemannian real analytic manifold is given if at the point \(0\in R^ n\) there are defined germs of real analytic functions \(g_{ij}\), i,j\(\in \{1,2,...,n\}\) such that the quadratic form \(g_{ij}X^ iX^ j\) is positive definite. These germs define analytic functions which define on \(U\in R^ n\) the structure of a Riemannian real analytic manifold. This manifold is called the carrier of the germ. In this work the author proves that any germ which does not admit infinitesimal isometries can be uniquely extended to a totally nonhomogeneous manifold, which cannot be extended. This paper has many interesting implications for the study of analytic manifolds.