The Local Embedding Problem for Hardy Spaces of Dirichlet Series

We solve the local embedding problem for Hardy spaces of Dirichlet series, which is a dimension-free trace problem asking whether the global $\mathscr{H}^p$-norm controls local $L^p$-mass on the critical line $\operatorname{Re}s=1/2$. More precisely, for every $2<p<\infty$, there exists a constant $