Critical Strichartz estimates for orthonormal systems

Abstract

Orthonormal Strichartz estimates for the free Schr\"odinger propagator take the form \begin{equation*} \left\Vert\sum_j\lambda_j\left|e^{it\Delta}f_j\right|^2\right\Vert_{L_t^\frac{q}{2}L_x^\frac{r}{2}(\mathbb{R}\times\mathbb{R}^d)}\lesssim\Vert\lambda\Vert_{\ell^\alpha(\mathbb{C})} \end{equation*}for arbitrary orthonormal systems $(f_j)_j$ in the homogeneous Sobolev space $\dot{H}^s(\mathbb{R}^d)$. In the admissible region, the optimal range of $\alpha$ has been established when $q\geq r/d'$. For $d\geq2$ and $2<q<r/d'$, it has been an open question as to determine whether the estimate holds when $\alpha=q/2$. We prove that the estimate holds in this critical case whenever $q=4$ and $r<\infty$. Our approach is robust and we illustrate this by extending the result to fractional Schr\"odinger propagators.