Remarks on estimates for the adjoint restriction operator to curves over the sphere (Q2288430)

In this article the authors study \(L^p-L^q\) boundedness of the adjoint restriction operator to curves over the sphere. Let \(\gamma : I(=[0,1])\rightarrow \mathbb{R}^d\) be a curve satisfying the non-vanishing torsion condition, i.e. \(\text{det}(\gamma^\prime(t),\dots,\gamma^{(d)}(t))\neq 0\) for all \(t\in I\). Define \[ T_{\lambda}^{\gamma}f(x)=\int_{I}e^{i\lambda x\cdot\gamma(t)}f(t)dt. \] The authors prove the inequality \[ \|T_{\lambda}^{\gamma}f\|_{L^q(\mathbb{S}^{d-1})}\leq C\lambda^{\frac{d-1}{q}}\|f\|_{L^p(I)}\tag{1} \] for an optimal range of \(p\), \(q\) depending on \(d\geq 2\) and the constant \(\lambda^{d-1/q}\) is sharp as well. When \(d=2\) the optimal range of \(p\), \(q\) for the above inequality (1) has already been obtained by \textit{A. Greenleaf} and \textit{A. Seeger} [Stud. Math. 132, No. 2, 125--139 (1999; Zbl 0922.35194)]. The main theorem in this article is: Theorem 0.1. Let \(d\geq 2\). If \(\gamma\) is as defined above, then (1) holds if \[ q>\tfrac{d^2+d}{2},\ \tfrac{1}{p}+ \tfrac{d^2+d-2}{2q}<1. \] If either \(q<\frac{d^2+d}{2}\) or \(\frac{1}{p}+ \frac{d^2+d-2}{2q}>1\) then (1) fails to hold. The sufficiency part of the above theorem follows from theorem 1.1 in [\textit{S. Ham} and \textit{S. Lee}, Adv. Math. 254, 251--279 (2014; Zbl 1308.42012)]. The case at endpoints i.e. when \(\frac{1}{p}+ \frac{d^2+d-2}{2q}=1\), \(q=\frac{d^2+d}{2}\) is still open. The necessary part of Theorem 0.1 remains valid with \(\mathbb{S}^{d-1}\) replaced by any compact smooth hypersurface \(S\) as long as a tangent vector of \(\gamma\) is parallel to a normal vector to \(S\) at a point where the Gaussian curvature is nonvanishing.