The defocusing quintic NLS in four space dimensions

We consider the defocusing quintic nonlinear Schr"odinger equation in four space dimensions. We prove that any solution that remains bounded in the critical Sobolev space must be global and scatter. We employ a space-localized interaction Morawetz inequality, the proof of which requires us to overcome the logarithmic failure in the double Duhamel argument in four dimensions.