We obtain global well-posedness, scattering, uniform regularity, and global
Lt,x6 spacetime bounds for energy-space solutions to the defocusing
energy-critical nonlinear Schr\"odinger equation in R×R4. Our
arguments closely follow those of Colliander-Keel-Staffilani-Takaoka-Tao,
though our derivation of the frequency-localized interaction Morawetz estimate
is somewhat simpler. As a consequence, our method yields a better bound on the
Lt,x6-norm