Gradient NLW on Curved Background in 4+1 Dimensions

We obtain a sharp local well-posedness result for the gradient nonlinear wave equation on a nonsmooth curved background. In the process we introduce variable coefficient versions of Bourgain's X^s,b spaces, and use a trilinear multiscale wave packet decomposition in order to prove a key trilinear estimate.