Decouplings for surfaces in R4R4

We prove a sharp decoupling for nondegenerate surfaces in R4R4. This puts the progress in [1] on the Lindelöf hypothesis into a more general perspective.