Sharp L^4 restriction estimates for surfaces of codimension two in R^5

We prove $L^p\to L^4$ Fourier adjoint restriction estimates for three-dimensional quadratic surfaces in ${\mathbb{R}}^5$. These estimates are sharp up to the endpoint, and improve results by Oberlin and Guo–Oh.