Extendability of solutions of the Einstein-Yang/Mills equations (Q1270201)

In this paper, the authors use the Einstein metric of the form \[ ds^2= -AC^2dt^2+ A^{-1}dr^2+ r^2(d\theta^2+ \sin^2 \theta d\Phi^2) \] with respect to a spherically symmetric coordinate system \((t,r,\theta,\Phi)\) such that the Einstein-Yang-Mills (EYM) equations hold. They consider the following \(SU(2)\) Yang-Mills curvature 2-form \[ F= w'\tau_1dr\wedge d\theta+w'\tau_2dr\wedge (\sin \theta d\Phi)- (1-w^2)\tau_3d\theta\wedge (\sin \theta d\Phi), \] where \(A\), \(C\) and \(w\) are functions of \(r\), and \((\tau_1, \tau_2, \tau_3)\) form a basis for the Lie algebra of \(SU(2)\). It is known that if the mass function \(\mu(r)\) is defined by \(\mu(r)= r(1-A(r))\) and if \(\lim_{r\to\infty} \mu(r)< \infty\), then the solution is said to have finite (ADM) mass. The main result of this paper can be stated by the following two equivalent theorems. Theorem 1. Any solution of the spherically symmetric \(SU(2)\) EYM equations, defined in the far field and having finite (ADM) mass, is defined for all \(r>0\). Theorem 2. Any solution of the spherically symmetric \(SU(2)\) EYM equations, defined in the far field and having \(A(\overline{r})>0\) for some \(\overline{r}>1\), is defined for all \(r>0\). The authors provide a detailed proof for the difficult case when \(A(r)<0\) for \(r\) near \(r_0\) by justifying that in this case, too, the solution can be continued beyond \(r_0<r\). Finally, they provide a list of miscellaneous results, open questions, and conjectures.