Restriction estimates for some surfaces with vanishing curvatures (Q971791)

Let \(S\) be a smooth compact surface in \(\mathbb R^{n+1}\) with the induced Lebesgue measure \(d\sigma\). It is known that if \(k\) principal curvatures are nonzero at each point of \(S\), then for \(q\geq (2k+4)/k\) one has \(\|\widehat{f\,d\sigma}\|_{L^q(\mathbb R^{n+1})}\leq C\|f\|_{L^2(S)}\). The range on \(q\) is optimal, and a natural conjecture is that the estimate \(\|\widehat{f\,d\sigma}\|_{L^q(\mathbb R^{n+1})}\leq C\|f\|_{L^p(S)}\) holds if \((k+2)/q\leq k(1-1/p)\) and \(p>(2k+2)/k\). Relating to this conjecture, several developments on the restriction problem have been made by considering a suitable bilinear version of the operator, i.e., for two subsets \(S_1, S_2\) of \(S\) with induced Lebesgue measures \(d\sigma_1, d\sigma_2\), the bilinear adjoint restriction estimate \((*)\) \(\|\widehat{f\,d\sigma_1}\widehat{g\,d\sigma_2}\|_{L^p(\mathbb R^{n+1}}\leq C\|f\|_{L^2(S_1)}\|\). The authors give the following: Let \(1\leq k\leq n-1\) and suppose \(S\) is a smooth compact surface of \textit{conic type} in \(\mathbb R^{n+1}\) with \(k\)-nonvanishing curvatures. If \(S_1,S_2\subset S\) satisfy \textit{transversality} and some other assumptions, then \((*)\) holds for \(p>(k+4)/(k+2)\). And this range \(p>(k+4)/(k+2)\) is sharp. They also discuss on applications of this to linear restriction estimates.