LpL^p boundedness conjecture for geometric maximal operators of curve averages

Let n2n\geq 2 and let γ:IRn\gamma:I \to \mathbb R^n be a non-degenerate curve. Define the geometric maximal operator

Mγf(x):=supt>0Atf(x).M_\gamma f(x):=\sup_{t>0}|A_t f(x)|.

Maximal-operator conjecture. The operator MγM_\gamma maps Lp(Rn)L^p(\mathbb R^n) to Lp(Rn)L^p(\mathbb R^n) boundedly if and only if p>np>n. This conjecture concerns the LpL^p theory of geometric maximal operators and generalizes Bourgain's circular maximal function to higher dimensions. The source does not state a resolution or partial range for this conjecture.

Sources & referencesView supporting material

Primary source

David Beltran and Jonathan Hickman, “A counterexample for local smoothing for averages over curves”, arXiv:2505.07788 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.