Mizohata-Takeuchi inequalities for orthonormal systems

We establish some weighted $L^2$ inequalities for Fourier extension operators in the setting of orthonormal systems. In the process we develop a direct approach to such inequalities based on generalised Wigner distributions, complementing the Schatten duality approach that is prevalent in the wider context of estimates for such orthonormal systems. Our results are set within a broader family of tentatively suggested ($L^p$) inequalities of Mizohata--Takeuchi type. For $p$ an even integer we see that such weighted inequalities may be recast as questions of co-positivity of tensor forms, and for $p\leq 1$ we provide some evidence that they may hold in reverse provided the orthonormal sequence is complete.