pith. sign in

arxiv: 2406.06876 · v2 · submitted 2024-06-11 · 🧮 math.CA

Maximal functions related to homogeneous hypersurfaces in mathbb{R}³

Wenjuan Li , Huiju Wang This is my paper

Pith reviewed 2026-05-24 00:26 UTC · model grok-4.3

classification 🧮 math.CA
keywords maximal functionshomogeneous hypersurfacesL^p to L^q boundednesshomogeneous polynomialslevel setscurve typeheightweighted inequalities
0
0 comments X

The pith

Local maximal operators for homogeneous polynomial hypersurfaces in R^3 are bounded from L^p to L^q exactly when (p,q) lie in an explicit region fixed by surface height and level-curve type.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper determines the precise (p,q) region in which local maximal operators tied to homogeneous polynomial hypersurfaces in three-space map L^p to L^q, and shows this region is optimal except possibly at the endpoints. The boundary formulas are written directly in terms of the height of the hypersurface and the type of the curve cut out by a level set. A reader would care because these operators control averages along dilates of the surface, so the sharp range tells exactly when such averages improve or preserve integrability. The same invariants also yield L^p bounds and weighted inequalities for the corresponding global operators, including versions without a transversality assumption.

Core claim

The region of (p,q) for which the local maximal operator is bounded from L^p to L^q is optimal up to endpoints, with the exponents depending explicitly on the height of the hypersurface and the type of the curve determined by its level set.

What carries the argument

The local maximal operator formed by taking suprema over dilates of the hypersurface, whose boundedness region is delimited by explicit formulas in the height and curve type.

If this is right

  • L^p estimates hold for the associated global maximal functions.
  • Weighted norm inequalities hold for the global maximal operators.
  • Optimal L^p estimates hold for global maximal operators associated to homogeneous polynomial hypersurfaces without any transversality condition.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same height and curve-type formulas may classify boundedness for averages along hypersurfaces that are only approximately homogeneous.
  • Removing the homogeneity assumption entirely would likely enlarge the set of failing (p,q) pairs in a manner controlled by the same invariants.
  • The optimality result supplies a concrete test case for any proposed general theory of maximal operators on algebraic varieties.

Load-bearing premise

The hypersurfaces are given by homogeneous polynomials whose level sets produce curves whose type and height are defined uniformly across the surface.

What would settle it

An explicit homogeneous polynomial hypersurface together with a pair (p,q) inside the claimed region for which the local maximal operator fails to map L^p to L^q, or outside the region for which it succeeds.

Figures

Figures reproduced from arXiv: 2406.06876 by Huiju Wang, Wenjuan Li.

Figure 1
Figure 1. Figure 1: The range of ∆f1 when the height hΦ changes [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The range of ∆f2 when the height hΦ changes [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: The range of ∆M when M changes. Theorem 1.3. Suppose that ZHΦ ∩ ZΦ ⫋ ZHΦ, we have the following results. (1) If c = 0, then there exists a constant Cp,q > 0 such that ∥supt∈[1,2]|At|∥Lp(R3)→Lq(R3) ≤ Cp,q for ( 1 p , 1 q ) ∈ ∆f3 = {( 1 p , 1 q ) ∈ ∆M : hΦ + 1 p − hΦ + 1 q − 1 < 0}; [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗
read the original abstract

We study maximal functions related to homogeneous polynomial hypersurfaces in $\mathbb{R}^3$. In a sense made precise in this paper, the region of $(p,q)$ for which we obtain $L^p\rightarrow L^q$ boundedness is optimal up to the endpoints for the corresponding local maximal operators. The boundedness exponents depend explicitly on both the height of the hypersurface and the type of the curve determined by the level set. As a corollary, we obtain $L^p$-estimates and weighted norm inequalities for the associated global maximal functions. Moreover, we also obtain optimal $L^{p}$-estimates for the global maximal operators associated with homogeneous polynomial hypersurfaces without transversality condition in $\mathbb{R}^{3}$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript studies maximal functions associated to homogeneous polynomial hypersurfaces in R^3. It claims that the (p,q) region for L^p to L^q boundedness of the corresponding local maximal operators is optimal up to endpoints, with explicit exponents depending on the height of the hypersurface and the type of curves determined by its level sets. Sufficiency is obtained via maximal inequalities and necessity via counterexamples; corollaries include L^p estimates, weighted inequalities for global maximal functions, and results without a transversality assumption.

Significance. If the optimality claims hold, the work supplies sharp, geometrically explicit boundedness regions for these operators, which would be a useful advance in harmonic analysis on hypersurfaces. The combination of sufficiency and necessity arguments, together with the corollaries for global operators, strengthens the contribution; the explicit dependence on height and curve type is a concrete strength.

minor comments (2)
  1. [Abstract / Introduction] The abstract states that the boundedness region is 'optimal up to the endpoints' and that exponents depend on height and curve type; the introduction or §1 should state the main theorem with the precise definitions of height and curve type recalled, so that the dependence is visible without consulting later sections.
  2. [§2 or definitions section] The uniformity assumption on height and curve type (used to obtain explicit formulas) is mentioned in the reader's note; a brief remark confirming that the homogeneous-polynomial setting satisfies this uniformity would help readers verify the applicability of the exponent formulas.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive evaluation of the manuscript, including the recommendation for minor revision. No major comments were listed in the report, so there are no specific points requiring point-by-point response.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation establishes sufficiency of the (p,q) region via maximal inequalities that depend on independently defined geometric quantities (height of the hypersurface and type of level-set curves), with explicit formulas derived from the homogeneous polynomial structure. Necessity follows from counterexamples that saturate the boundary exponents using the same geometric invariants. The uniformity assumption is stated and verified directly for the class of hypersurfaces under study, without reducing the target boundedness region to a fit or self-referential definition. No load-bearing self-citations, ansatzes smuggled via prior work, or renaming of known results appear in the chain; the optimality claim rests on separate positive and negative results that are not equivalent by construction to the inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The results rest on standard properties of homogeneous polynomials and the definitions of height and curve type; no free parameters or invented entities are visible from the abstract.

axioms (1)
  • domain assumption Homogeneous polynomial hypersurfaces admit well-defined height and level-set curve type that control the decay of the associated maximal operators.
    Invoked to obtain the explicit exponent formulas stated in the abstract.

pith-pipeline@v0.9.0 · 5642 in / 1195 out tokens · 14926 ms · 2026-05-24T00:26:35.556364+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

  1. [1]

    Buschenhenke, S

    B. Buschenhenke, S. Dendrinos, I. A. Ikromov and D. M¨ uller, Estimates for maximal functions associated to hypersurfaces in R 3 with height h < 2: Part I, Trans. Amer. Math. Soc., 372(2) (2019), 1363-1406

    work page 2019

  2. [2]

    Buschenhenke, I

    B. Buschenhenke, I. A. Ikromov and D. M¨ uller,Estimates for maximal functions associated to hyper- surfaces in R 3 with height h < 2: part II: A geometric conjecture and its proof for generic 2-surfaces, Ann. Sc. Norm. Super. Pisa Cl. Sci., (2023). https://doi.org/10.2422/2036-2145.202301-016

    work page doi:10.2422/2036-2145.202301-016 2023

  3. [3]

    Greenleaf, Principal curvature and harmonic analysis, Indiana U

    A. Greenleaf, Principal curvature and harmonic analysis, Indiana U. Math. J., 4 (1981), 519-537

    work page 1981

  4. [4]

    I. A. Ikromov and D. M¨ uller, On adapted coordinate systems, Trans. Amer. Math. Soc., 363(6) (2011), 2821-2848

    work page 2011

  5. [5]

    I. A. Ikromov and D. M¨ uller,Fourier restriction for hypersurfaces in three dimensions and Newton polyhedra, Annals of Mathematics Studies 194, Princeton University Press, Princeton and Oxford 2016, 260 pp

    work page 2016

  6. [6]

    I. A. Ikromov, M. Kempe and D. M¨ uller, Damped oscillatory integrals and boundedness of maximal operators associated to mixed homogeneous hypersurfaces, Duke Math. J., 126 (3) (2005), 471-490

    work page 2005

  7. [7]

    I. A. Ikromov, M. Kempe and D. M¨ uller, Estimate for maximal functions associated with hypersur- faces in R3 and related problems of harmonic analysis , Acta Math., 204 (2010), 151-171

    work page 2010

  8. [8]

    Iosevich, Maximal operators assciated to families of flat curves in the plane , Duke Math

    A. Iosevich, Maximal operators assciated to families of flat curves in the plane , Duke Math. J., 76 (1994), 633-644

    work page 1994

  9. [9]

    Iosevich and E

    A. Iosevich and E. Sawyer, Osillatory integrals and maximal averages over homogeneous surfaces , Duke Math. J., 82 (1996), 103-141. Maximal operators over hypersufaces in R3 33

    work page 1996

  10. [10]

    Iosevich and E

    A. Iosevich and E. Sawyer, Maximal averages over surfaces , Adv. Math., 132 (1997), 46-119

    work page 1997

  11. [11]

    Li, Maximal functions associated with non-isotropic dilations of hypersurfaces in R3, J

    W. Li, Maximal functions associated with non-isotropic dilations of hypersurfaces in R3, J. Math. Pures Appl., 113 (2018), 70-140

    work page 2018

  12. [12]

    W. Li, H. Wang and Y. Zhai, Lp-improving bounds and weighted estimates for maximal functions associated with curvature, J. Fourier. Anal. Appl., 10 (2023), 1-63

    work page 2023

  13. [13]

    Mockenhaupt, A

    G. Mockenhaupt, A. Seeger and C. D. Sogge, Local smoothing of Fourier integral operators and Carleson-Sj¨ olin estimates, J. Amer. Math. Soc., 6 (1993), 65-130

    work page 1993

  14. [14]

    Schlag and C

    W. Schlag and C. D. Sogge, Local smoothing estimates related to the circular maximal theorem, Math. Res. Lett., 4 (1997), 1-15

    work page 1997

  15. [15]

    C. D. Sogge, Fourier integrals in classical analysis , Cambridge Tracts in Mathematics, vol. 105, Cambridge University Press, Cambridge, 1993

    work page 1993

  16. [16]

    E. Zimmermann, On Lp-estimates for maximal average over hypersurfaces not satisfying the transver- sality condition, Phd thesis, Christian-Albrechts Universit¨ at Bibliothek Kiel, 2014

    work page 2014