Sharp local smoothing estimates for curve averages

We prove sharp local smoothing estimates for curve averages in all dimensions. As a corollary, we prove the sharp $L^p$ boundedness of the helical maximal operator in $\mathbb{R}^4$, which was previously known only for $\mathbb{R}^2$ and $\mathbb{R}^3$. We also improve previously known results in hi