Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

An improved bilinear restriction estimate for the paraboloid in $\mathbb{R}^3$

Changkeun Oh

TL;DR

This paper proves a sharp bilinear restriction estimate for the paraboloid in $\mathbb{R}^3$ for $q>\tfrac{13}{4}$ by combining polynomial partitioning, wave packet decompositions, and careful geometric decompositions near varieties. It advances the earlier sharp bilinear range and aligns with Guth’s broad-function framework, while also reconciling with previous restriction results (e.g., Tao–Vargas–Vega and Shayya) via an epsilon-removal and induction-on-scales. The argument splits into cellular and wall cases, further distinguishing high-angle and low-angle interactions, and leverages transverse/ tangential tube counts, $L^4$-type estimates, and polynomial Wolff axioms to close the estimates. The approach suggests potential high-dimensional generalizations and highlights intricate interactions between tubes and algebraic varieties in bilinear restriction settings.

Abstract

We obtain a sharp bilinear restriction estimate for the paraboloid in $\mathbb{R}^3$ for $q>3.25$.

An improved bilinear restriction estimate for the paraboloid in $\mathbb{R}^3$

TL;DR

This paper proves a sharp bilinear restriction estimate for the paraboloid in for by combining polynomial partitioning, wave packet decompositions, and careful geometric decompositions near varieties. It advances the earlier sharp bilinear range and aligns with Guth’s broad-function framework, while also reconciling with previous restriction results (e.g., Tao–Vargas–Vega and Shayya) via an epsilon-removal and induction-on-scales. The argument splits into cellular and wall cases, further distinguishing high-angle and low-angle interactions, and leverages transverse/ tangential tube counts, -type estimates, and polynomial Wolff axioms to close the estimates. The approach suggests potential high-dimensional generalizations and highlights intricate interactions between tubes and algebraic varieties in bilinear restriction settings.

Abstract

We obtain a sharp bilinear restriction estimate for the paraboloid in for .

Paper Structure

This paper contains 12 sections, 11 theorems, 100 equations, 2 figures.

Table of Contents

  1. Introduction
  2. Notation
  3. Preliminaries
  4. A proof of theorem \ref{['bilinearrestriction']}: polynomial partitioning
  5. Polynomial partitioning
  6. The cellular case
  7. A proof of theorem \ref{['bilinearrestriction']}: The wall case
  8. The high angle dominant case
  9. The low angle dominant case
  10. The transverse wall case
  11. The tangential wall case
  12. A proof of theorem \ref{['bilinearrestriction']}: The remaining case

Key Result

Theorem 1.1

For every pair $p,q$ satisfying it holds that for every pair of separated functions $f_1$ and $f_2$. Here the constant $C_{p,q}$ depends on $p,q$ and the implied constant in separated.

Figures (2)

  • Figure 1:
  • Figure 2: Zoomed in

Theorems & Definitions (17)

  • Theorem 1.1
  • Lemma 2.1: Wave packet decomposition
  • Lemma 2.2: $L^2$-orthogonality
  • Lemma 2.3: Polynomial partitioning lemma
  • Definition 2.4: Semi-algebraic set
  • Lemma 2.5: MR1401711, cf. Theorem 2.3 of MR4205111
  • Lemma 2.6: Lemma 2.11 of MR4205111, cf. Theorem 1.4 of hickman2019improved
  • Proposition 3.1
  • Lemma 4.1
  • Definition 4.2: Tangential tubes
  • ...and 7 more