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

We prove $L^p\rightarrow 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.