Nuclearity, Schatten-von Neumann classes, distribution of eigenvalues and $L^p$-$L^q$-boundedness of Fourier integral operators on compact manifolds

Abstract: We link Sogge's type $L^p$-estimates for eigenfunctions of the Laplacian on compact manifolds with the problem of providing criteria for the $r$-nuclearity of Fourier integral operators. The classes of Fourier integral operators $I^\mu_{\rho,1-\rho}(X,Y;C)$ considered here are associated with complex canonical relations $C$, i.e. they are parametrised by a complex-valued phase function. Our analysis also includes the case of real canonical relations, namely, the class of Fourier integral operators with real-valued phase functions. The nuclear trace in the sense of Grothendieck is investigated for these operators as well as the validity of the Grothendieck-Lidskii formula on Lebesgue spaces. Criteria are presented in terms of the factorisation condition for the complex canonical relation. Necessary and sufficient conditions for the membership of Fourier integral operators in Schatten-von Neumann classes are presented in the case where the Schatten index $r>0$ belongs to the set $\mathbb{N} $ and sharp sufficient conditions are presented in the general case $r>0$. In particular, we establish necessary and sufficient conditions for the membership of Fourier integral operators to the ideal of trace class operators and to the ideal of Hilbert-Schmidt operators on $L^2(X)$. The rate of decay of eigenvalues and the trace of Fourier integral operators is also investigated in both settings, in the Hilbert space case of $L^2(X)$ using Schatten-von Neumann properties and in the context of the Banach spaces $L^p(X),$ $1<p<\infty,$ utilising the notion of $r$-nuclearity.