Local existence proofs for the boundary value problem for static spherically symmetric Einstein-Yang-Mills fields with compact gauge groups

TL;DR

This paper establishes local existence and uniqueness of static spherically symmetric Einstein-Yang-Mills solutions with compact gauge groups, addressing a complex boundary value problem with singularities at the center and infinity.

Contribution

It provides the first rigorous proof of local solutions for these equations in the regular case for arbitrary compact semisimple gauge groups.

Findings

Local power series solutions exist at the center.

Asymptotic solutions exist at infinity.

The algebraic problem for solution dependence on initial data is solved.

Abstract

We prove local existence and uniqueness of static spherically symmetric solutions of the Einstein-Yang-Mills equations for an arbitrary compact semisimple gauge group in the so-called regular case. By this we mean the equations obtained when the rotation group acts on the principal bundle on which the Yang-Mills connection takes its values in a particularly simple way (the only one ever considered in the literature). The boundary value problem that results for possible asymptotically flat soliton or black hole solutions is very singular and just establishing that local power series solutions exist at the center and asymptotic solutions at infinity amounts to a nontrivial algebraic problem. We discuss the possible field equations obtained for different group actions and solve the algebraic problem on how the local solutions depend on initial data at the center and at infinity.