Abstract:Sharp restriction theory and the finite field extension problem have both received a great deal of attention in the last two decades, but so far they have not intersected. In this paper, we initiate the study of sharp restriction theory on finite fields. We prove that constant functions maximize the Fourier extension inequality from the parabola $\mathbb{P}^1\subset \mathbb{F}^{2\ast}_q$ and the paraboloid $\mathbb{P}^2\subset \mathbb{F}_q^{3\ast}$ at the euclidean Stein-Tomas endpoint; here, $\mathbb{F}_q^{d\ast}$ denotes the (dual) $d$-dimensional vector space over the finite field $\mathbb F_q$ with $q=p^n$ elements, where $p$ is a prime number greater than $3$ or $2$, respectively. We fully characterize the maximizers for the $L^2\to L^4$ extension inequality from $\mathbb{P}^2$ whenever $q\equiv 1(\text{mod}\, 4)$. Our methods lead to analogous results on the hyperbolic paraboloid, whose corresponding euclidean problem remains open. We further establish that constants maximize the $L^2\to L^4$ extension inequality from the cone $\Gamma^3:=\{(\boldsymbol{\xi},\tau, \sigma)\in \mathbb{F}^{4\ast}_q: \tau\sigma=\boldsymbol{\xi}^2\}\setminus \{{\bf 0}\}$ whenever $q\equiv 3(\text{mod}\, 4)$. By contrast, we prove that constant functions fail to be critical points for the corresponding inequality on $\Gamma^3\cup \{{\bf 0}\}$ over $\mathbb{F}_p^4$. While some inspiration is drawn from the euclidean setting, entirely new phenomena emerge which are related to the underlying arithmetic and discrete structures.

Exponentials rarely maximize Fourier extension inequalities for cones

Global and local maximizers for some Fourier extension estimates on the sphere

Extremizability of Fourier restriction to the paraboloid

On $L^p$ extremals for Fourier extension estimate to fractional surface

Weak- and strong-type inequality for the cone-like maximal operator in variable Lebesgue spaces

Sharp extension inequalities on finite fields

Bilinear Spherical Maximal Function

Local cone multipliers and Cauchy-Szego projections in bounded symmetric domains

Maximality and completeness of orthogonal exponentials on the cube

On sharp Fourier extension from spheres in arbitrary dimensions

The Fourier Extension Conjecture in three dimensions

Fourier majorants that match norms

Existence and smoothness of extremizers for convolution with compactly supported measures

Some inequalities for the Fourier transform and their limiting behaviour

Dimension-free Fourier restriction inequalities

Extrapolation of Compactness on Banach Function Spaces

The Stein-Tomas inequality under the effect of symmetries

A degree one Carleson operator along the paraboloid

Exponential sums with coefficients 0 or 1 and concentrated L^{p} norms

Sharp Fourier restriction to monomial curves

Stability of sharp Fourier restriction to spheres