Fourier restriction for positively curved surfaces

1 · The essentials

These manuscripts study how information placed on a curved surface gives rise to a wave pattern throughout three-dimensional space. The question is whether the size of that pattern can be controlled by the size of the information on the surface. The main manuscript claims this control for the sphere when the starting information stays bounded, for every size-measuring exponent $p > 3$ . It describes this as the full conjectured open range and states that the threshold at 3 is sharp. A companion manuscript claims a related result for every compact, smooth, positively curved surface, including those with smooth boundary. In that result, the same exponent measures both the starting information and the resulting pattern. These results have not been formalized in Lean or formally verified.

A picture to help (an imperfect image, not to be taken literally)

As an imperfect image, imagine many small speakers arranged on a curved shell, with their signals combining into a sound pattern around them. The question resembles asking whether a limit on the signals guarantees a limit on the combined pattern, although the mathematical size measurements are not ordinary sound-volume readings.

Why it matters

The main manuscript claims to settle the bounded-data Fourier restriction conjecture for the sphere throughout its conjectured open range. The companion broadens the setting to compact smooth positively curved surfaces and controls input and output using the same exponent. It also states a consequence for free Schrödinger local smoothing in two spatial dimensions.

2 · Going further

The problem concerns the Fourier extension operator, which takes data on a surface and produces a function on the surrounding space. For the sphere, the main manuscript claims boundedness from $L^{\infty} (S^{2})$ to $L^{p} (R^{3})$ for every $p > 3$ . Here boundedness means that the output norm is controlled by a constant times the input norm. The abstract identifies this as the full conjectured open range and states that the threshold $p = 3$ is sharp.

The companion manuscript claims a diagonal estimate: for every compact smooth positively curved surface $Σ \subset R^{3}$ , including surfaces with smooth boundary, extension is bounded from $L^{p} (Σ)$ to $L^{p} (R^{3})$ whenever $3 < p < \infty$ . “Diagonal” refers to using the same exponent on both sides. This differs from the main manuscript’s bounded-input formulation and treats a broader class of surfaces.

The main title names “elliptic capacity propagation,” but the supplied abstracts do not explain that mechanism or provide the steps of the argument. Consequently, the source supports a description of the claims and their relationship, not a reconstruction of the method. The companion additionally states that its compact paraboloid case yields free Schrödinger local smoothing in two spatial dimensions for $3 < p < \infty$ and Sobolev order $s > 2 - 6/ p$ .

Useful notions

Functions and norms
The spaces $L^{p}$ and $L^{\infty}$
Fourier extension
Smooth surfaces and positive curvature
Sobolev regularity

What was known before / what is new

Before

The main abstract presents the bounded-data sphere statement as a conjecture and identifies $p > 3$ as its full conjectured open range. The companion similarly presents its same-exponent statement as the diagonal Fourier extension conjecture. The supplied source gives no account of earlier partial results or their authors.

New

The main manuscript claims the sphere estimate for every $p > 3$ with bounded input data. The companion claims the diagonal estimate for compact smooth positively curved surfaces, including those with smooth boundary, for every finite $p > 3$ . It also states the local smoothing consequence with Sobolev order $s > 2 - 6/ p$ .

Limits and assumptions

The surface result assumes compactness, smoothness, and positive curvature in three-dimensional space; the boundary case specifies smooth boundary. Its stated exponent range is $3 < p < \infty$ , so it does not include $p = 3$ . The sphere abstract states that the threshold 3 is sharp. The local smoothing consequence is restricted to two spatial dimensions and the stated strict inequalities on $p$ and $s$ . The main result is not formalized in Lean and has not been formally verified. The supplied abstracts contain no argument details and do not specify what remains open outside these claims.

Mini glossary

Fourier extension operator: An operator that combines oscillatory contributions from data on a surface to produce a function on the surrounding space.
$L^{p}$ norm: A measure of a function’s size obtained by integrating its absolute value to the power $p$ and taking the corresponding root.
$L^{\infty}$: The space of functions whose absolute values have a finite bound apart from a set of measure zero.
Diagonal estimate: An estimate that uses the same exponent $p$ for the input and output spaces.
Positive curvature: The geometric condition that the surface’s Gaussian curvature is positive at every point.

Keywords : Fourier extension · Positive curvature · Local smoothing

AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.

3 · Technical details and sources

Claim made in the manuscript (source text)

Proves the diagonal Fourier extension conjecture for positively curved surfaces in three dimensions. For every compact smooth positively curved surface $Σ \subset R^{3}$ , including surfaces with boundary, the extension operator is bounded from $L^{p} (Σ)$ to $L^{p} (R^{3})$ for every p > 3.

To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.

Manuscripts in this family

★

Elliptic capacity propagation and Fourier restriction to the sphere

24/09/2026

To be verified

We prove the bounded-data Fourier restriction conjecture for the sphere in three dimensions: the Fourier extension operator maps $L^{\infty} (S^{2})$ boundedly into $L^{p} (R^{3})$ for every p > 3. This is the full conjectured open range, and the threshold p = 3 is sharp.

PDF GitHub folder

Diagonal Fourier extension for positively curved surfaces in three dimensions

24/09/2026

To be verified

We prove the diagonal Fourier extension conjecture for compact smooth positively curved surfaces $Σ \subset R^{3}$ , including surfaces with smooth boundary. For every $3 < p < \infty$ , the extension operator maps $L^{p} (Σ)$ boundedly into $L^{p} (R^{3})$ . The compact paraboloid case also yields free Schrödinger local smoothing in two spatial dimensions for every $3 < p < \infty$ and Sobolev order $s > 2 - 6/ p$ .

PDF GitHub folder