Optimal metric regularity in General Relativity follows from the RT-equations by elliptic regularity theory in $L^p$-spaces

Shock wave solutions of the Einstein equations have been constructed in coordinate systems in which the gravitational metric is only Lipschitz continuous, but the connection $\mathrm{\Gamma }$ and curvature $Riem(\mathrm{\Gamma })$ are both in $L^{\mathrm{\infty }}$. At this low level of regularity, the physical meaning of such gravitational metrics remains problematic. Here we address the mathematical problem as to whether the condition that $Riem(\mathrm{\Gamma })$ has the same regularity as $\mathrm{\Gamma }$, is sufficient for the existence of a coordinate transformation which perfectly cancels out the jumps in the leading order derivatives of $\delta \mathrm{\Gamma }$, thereby raising the regularity of the connection and the metric by one order–a subtle problem. We have now discovered, in a framework much more general than GR shock waves, that the regularization of non-optimal connections is determined by a nonlinear system of elliptic equations with matrix valued differential forms as unknowns, the Regularity Transformation equations, or RT-equations. In this paper we establish the first existence theory for the nonlinear RT-equations in the general case when $\Gamma, {\rm Riem}(\Gamma)\in W^{m,p}$,$m\geq1$,$n<p< \infty$,where$\Gamma$ is any affine connection on an $n$-dimensional manifold. From this we conclude that for any such connection $\mathrm{\Gamma }(x)\in W^{m,p}$ with ${\rm Riem}(\Gamma) \in W^{m,p}$,$m\geq1$,$n<p< \infty$,givenin$x$-coordinates, there always exists a coordinate transformation $x\to y$ such that $\Gamma(y) \in W^{m+1,p}$\mathrm{.}Thatis,$\Gamma$exhibitsoptimalregularityin$y$-coordinates. The problem of optimal regularity for the hyperbolic Einstein equations is thus resolved by elliptic regularity theory in $L^p$-spaces applied to the RT-equations.