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.

Extensions of Hardy inequality

A Direct Proof of Hardy-Littlewood Maximal Inequality for Operator-valued Functions

Inequalities for Maximal Operators Associated with a Family of General Sets

Hardy's inequality for Hermite expansions revisited

Hardy-type inequalities via auxiliary sequences

Fourier Transform of Anisotropic Hardy Spaces Associated with Ball Quasi-Banach Function Spaces and Its Applications to Hardy--Littlewood Inequalities

Sharp bounds on higher-dimensional product spaces for Hardy-type operators on Heisenberg group

Sharp Hardy inequalities involving distance functions from submanifolds of Riemannian manifolds

Maximal function characterization of Hardy spaces related to Laguerre polynomial expansions

Maximal Function Characterizations of Hardy Spaces on ${\mathbb{R}}^{n}$ with Pointwise Variable Anisotropy

Sharp bounds for a class of integral operators in weighted-type spaces on Heisenberg group

A new look at the Hardy-Littlewood-Pólya inequality of majorization

On improvements of the Hardy, Copson and Rellich inequalities

Sharp extension inequalities on finite fields

Improvement of the discrete Hardy inequality

On Hardy-Littlewood-type and Hausdorff-Young-type inequalities for generalized Gegenbauer expansions

Existence of the Maximizing Pair for the Discrete Hardy-Littlewood-Sobolev Inequality

Centered Hardy–Littlewood Maximal Functions on H-type Groups Revisited

Multidimensional Frank–Laptev–Weidl improvement of the Hardy inequality

The sharp constant for truncated Hardy-Littlewood maximal inequality

Finite Sections of Weighted Hardy's Inequality