Restriction and decoupling estimates for the hyperbolic paraboloid in $\mathbb{R}^3$

TL;DR

This work analyzes the restriction problem for the hyperbolic paraboloid $\mathbb{H}=\{(\xi,\eta,\xi\eta)\}$ in $\mathbb{R}^3$ by proving bilinear $\ell^2$-decoupling and a refined bilinear decoupling inequality. The authors develop a transversality-based framework that yields a sharp bilinear decoupling bound $C(1,R) \lesssim_\varepsilon R^{\varepsilon}$ and a parallel refined decoupling bound $C(R) \lesssim_\varepsilon R^{\varepsilon}$, enabling an unconditional restriction estimate for the truncated surface with $p>22/7$, mirroring the elliptic case. They further show that, conditional on the two-ends Furstenberg conjecture, the full restriction conjecture would hold for this surface at $p>3$, tying together decoupling, incidence geometry, and wave-packet analysis. The main methodological innovations include a bilinear restriction-based approach that avoids bi-orthogonality, a multi-scale bilinear refined decoupling with a carefully chosen stopping time, and a broad-narrow strategy for the restriction argument. These results advance our understanding of non-elliptic surfaces and pave the way for higher-dimensional extensions.

Abstract

We prove bilinear $\ell^2$-decoupling and refined bilinear decoupling inequalities for the truncated hyperbolic paraboloid in $\mathbb{R}^3$. As an application, we prove the associated restriction estimate in the range $p>22/7$, matching an earlier result for the elliptic paraboloid.

Theorems & Definitions (67)

• Conjecture 1.1
• Definition 1.2
• Definition 1.3: Bilinear decoupling constant for $\ell^2$-decoupling
• Remark 1.4
• Remark 1.5
• Theorem 1.6: Bilinear $\ell^2$ decoupling
• Proposition 1.7
• Remark 1.8
• Definition 1.9: Decoupling constant for bilinear refined decoupling
• Theorem 1.10