Formal Theory
This chapter presents proof of Theorem 2.9 for n > 2. It further notes that similar arguments using the form of the perturbation formulae (3.32) for the Ricci curvature show that the metrics constructed in Theorems 3.7, 3.9 and 3.10 are the only formal expansions of metrics for ρ > 0 or ρ < 0 involving positive powers of ¦ ρ r ρ and log ¦ ρ r ρ, which are homogeneous of degree 2, Ricci-flat to infinite order, and in normal form. Convergence of formal series determined by Fuchsian problems such as these in the case of real-analytic data has been considered by several authors. In particular, results of [BaoG] can be applied to establish the convergence of the series occurring in Theorems 3.7 and 3.9 (and also in Theorem 3.10 if the obstruction tensor vanishes) if g and h are real-analytic. Convergence results including also the case when log terms occur in Theorem 3.10 are contained in [K].