Group structure of the solution manifold of the hyperbolic Ernst equation --- general study of the subject and detailed elaboration of mathematical proofs

I. Hauser, F. J. Ernst

This is not for the faint of heart, for we here provide the full details concerning the statement and proof of a generalized Geroch conjecture involving not the usual analytic func…