REVIEW 4 major objections 5 minor 40 references
Sharp estimates for the Fourier transform of surface-carried measures and maximal operators associated with hypersurfaces in $\mathbb{R}^4$ with vanishing Gaussian curvature
T0 review · 4 major / 5 minor · reviewed 2026-08-02 · deepseek-v4-flash
Pith's one-line read For polynomial hypersurfaces in R^4 with zero Gaussian curvature, the Newton height h(φ) fixes the sharp Fourier decay rate 1/h(φ) and, for h(φ) ≥ 2, the exact L^p boundedness exponent of the maximal operator.
desk verdict Genuine but narrow advance on zero-curvature hypersurfaces in R^4; referee it, but verify the imported Hessian-zero classification. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the Newton polyhedron of φ at the origin — the convex hull of the exponent vectors in the Taylor support, shifted by the positive orthant — and its height h(φ), the supremum over smooth coordinate systems of the distance from the origin to the polyhedron along the diagonal. The load-bearing structural input is a classification theorem from the algebraic literature: every polynomial in three variables with identically zero Hessian determinant is, after an invertible linear change of variables, either a function of at most two variables or of the form Q1(x1) + Q2(x1)x2 + Q3(x1)x3. From this normal form the paper constructs an adapted coordinate system in which the distanc
What would settle it
Find a three-variable polynomial φ with det(D²φ) ≡ 0 that cannot be reduced by any invertible linear change to two variables or to Q1(x1)+Q2(x1)x2+Q3(x1)x3 — counterexamples to the analogous classification are known in five variables, so three variables is the place to search. Alternatively, for a model phase such as φ = x1²x2 (height 2), compute lim_{ξ4→∞} ξ4^{1/2}∫e^{iξ4x1²x2}η(x)dx with η(0) ≠ 0: if the limit is not a non-zero constant, the sharpness claim (11) fails.
Extended reading notes
Core claim
The paper claims that for any polynomial φ: R^3 → R with φ(0)=0, ∇φ(0)=0 and det(D²φ) ≡ 0, the oscillatory integral giving the Fourier transform of the surface-carried measure satisfies |∫ e^{i(ξ4φ + ξ1x1 + ξ2x2 + ξ3x3)}η dx| ≤ C||η||_{C³}(log(2+|ξ|))^ν (1+|ξ|)^{−1/h(φ)}, with ν ∈ {0,1} tracking whether the principal face of the Newton polyhedron is a vertex when h ≥ 2; along the normal direction ξ1=ξ2=ξ3=0 the estimate is sharp, in that ξ4^{1/h}(log ξ4)^{−ν} times the integral tends to a non-zero constant. It further claims the maximal operator is bounded on L^p(R^4) for p > max{h(φ),2}, the necessary condition p > h(φ) is also sufficient when h(φ) ≥ 2, and also when h(φ) < 2 provided D²φ(0
Load-bearing premise
Everything hangs on the classification, supplied by another paper, that every three-variable polynomial whose Hessian determinant vanishes identically can be linearly transformed into either two variables or the form Q1(x1)+Q2(x1)x2+Q3(x1)x3; if that classification has an unlisted exceptional form, the sharp estimates do not cover the full class claimed.
Editorial extensions
If this is right
- Every polynomial phase in the class has sharp Fourier decay exponent 1/h(φ) along the normal direction, with at most one logarithmic factor; no polynomial phase of this type decays faster.
- When h(φ) ≥ 2, the maximal operator is bounded on L^p(R^4) exactly for p > h(φ), so the boundedness exponent equals the Newton height.
- When h(φ) < 2 and the Hessian at the origin vanishes, boundedness holds exactly for p > h(φ); when two principal curvatures are non-zero, it holds for p > 3/2.
- The uniform oscillation, oscillation, uniform contact, and contact indices all equal 1/h(φ), so the height determines the complete asymptotic picture for this class.
- The estimates are stable under sufficiently small analytic perturbations of φ, and two long-standing conjectures linking Fourier decay to maximal boundedness are confirmed for these hypersurfaces.
Reading between the lines
- The classification step is the true reach of the method: the paper's final section sketches the same results for smooth phases admitting the same normal form, but a smooth phase with det(D²φ) ≡ 0 outside the normal form would escape the exponent 1/h(φ).
- The unresolved h(φ) < 2 case with exactly one non-zero principal curvature is tied to the same open problem in R^3; since the proof reduces the averaging operator to a two-variable phase, progress in three dimensions would likely settle it in R^4 as well.
- Sharpness is proved only in the normal direction; testing (10) for oblique frequency directions — for example, numerically or via model phases with fold-type singularities — would show whether the logarithmic factor ν is genuinely needed off the normal.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies polynomial graph hypersurfaces in R^4 with identically zero Gaussian curvature, i.e. phases ϕ(x1,x2,x3) with ϕ(0)=0, ∇ϕ(0)=0, and det D²ϕ≡0. It proves: existence of adapted coordinates (Theorem 3.2) via the algebraic classification Theorem 3.1 quoted from [4]; sharp uniform Fourier decay of surface-carried measures with exponent 1/h(ϕ) and at most one logarithmic factor (Theorem 4.1); stability under small analytic perturbations (Corollary 4.2); L^p boundedness of the associated maximal operator for p>max{h(ϕ),2} (Theorem 5.1), with sharp threshold p>h(ϕ) when h(ϕ)≥2 (Corollary 5.3) and in the case h(ϕ)<2 with D²ϕ(0)=0 (Theorem 5.5); the integrability criterion for |ϕ|^{-1/p} (Proposition 5.2); and equality of the uniform oscillation, oscillation, uniform contact, and contact indices to 1/h(ϕ) (Theorem 6.1). The main arguments reduce the zero-Hessian polynomial to a two-variable phase or the normal form Q1(x1)+Q2(x1)x2+Q3(x1)x3, then apply prior 2D results of Varchenko, Ikromov–Müller, and others.
Significance. If the classification and reductions are correct, the paper gives a sharp, invariant description of Fourier decay and maximal-operator boundedness for a natural class of degenerate non-convex hypersurfaces in R^4. A notable strength is that the exponent is the coordinate-invariant Newton height h(ϕ), with no fitted constants, and the results confirm the Iosevich–Sawyer and Stein–Iosevich–Sawyer conjectures in this setting. The paper is, however, heavily dependent on the external algebraic classification Theorem 3.1, and several proof steps in the genuinely 3D cases are terse or contain incorrect statements. These issues are repairable, but they make the manuscript unsuitable for acceptance in its present form.
major comments (4)
- [Theorem 3.1; used throughout §§4–5] The entire reduction rests on Theorem 3.1, quoted from [4, Thm 3.3] without proof. The statement asserts an invertible matrix A∈R^{3×3}, while the classification in the literature is often stated over C. The authors should either prove the real version or explain why the complex normal form can be chosen real. If the quoted theorem has any unlisted exceptional case, Theorems 4.1, 5.1, 5.5, and 6.1 do not cover the full polynomial class announced in the abstract. This is a verification risk rather than a detected counterexample, but it is load-bearing.
- [Theorem 4.1, proof, Part 2, Case 1] In the proof of sharpness (11), the text says that Erdélyi's lemma gives a nonzero constant C independent of x2 and x3. For the phase λ x1^{ν1} Q̃(x1,x2,x3), the leading asymptotic constant is proportional to Q̃(0,x2,x3)^{-1/ν1}, which depends on x2,x3. The conclusion (11) can still be recovered by dominated convergence with a continuous nonzero limit function of (x2,x3), but the proof as written is incorrect. Please correct this step.
- [Theorem 5.1, proof, Case 1] The statement that the hyperplane {t1=ν1} touches the Newton polyhedron of ϕ 'only at (ν1,0,0)' is false. For ϕ=x1^{ν1}Q̃ with Q̃(0)≠0, the Newton polyhedron is the half-space t1≥ν1, so the supporting hyperplane contains the entire unbounded face {ν1}×R^2_+. The dyadic decomposition that follows can still be justified by the subsequent verification that ∂_{x1}²φ_k≠0 on the annulus, but the geometric claim should be corrected or removed.
- [Corollary 4.2] The proof of the stability result is only a paragraph. Corollary 3.4 gives a local analytic change reducing the unperturbed ϕ to a function of two variables, but the perturbed phase ϕ+Φ is not a small 2D perturbation of the reduced phase after that change: it becomes a 3D perturbation, and the linear frequency terms are transformed. Karpushkin's 2D stability theorem therefore does not apply directly. Please provide the reduction, for example by splitting according to the size of the transformed ξ3-frequency and then applying the 2D stability result with parameters.
minor comments (5)
- [Theorem 5.1, proof, Case 2] The displayed bound after 'this is equivalent to' contains a typo: 2^{k(1/p - 3k/(2ν2+1))} should read 2^{k(1/p - 3/(2ν2+1))}; the next sentence uses the corrected exponent.
- [Theorem 3.2, proof, Part 1(a)] In the displayed formula for Φ(y), 'Q(φ_1^ν(y))' should be 'Q(φ_1(y))'.
- [Section 4, proof of Theorem 4.1, Part 1] The estimate ∫_R ||η(·,·,x3)||_{C^3(R^2)} dx3 ≤ diam(U)||η||_{C^3(R^2)} is notated inconsistently; the norm on the right should be over R^3 or over U. Similarly, in Part 2 Case 1, 'C^1' norms are used without precise domains.
- [Corollary 5.3] The phrase 'the maximal operator M with ρ(x0)>0' is imprecise because the operator in (15) is defined through η, the projected density. It would be clearer to say 'with η(0)>0' throughout.
- [Section 4, definition of ν(ϕ)] The definition of ν(ϕ) refers to Varchenko's exponent and the dimension of the principal face, but the precise relation is only sketched. A short explanation or a pointer to the exact statement in [19] and [38] would improve readability.
Circularity Check
No circularity: the arguments reduce to an external algebraic classification and prior lower-dimensional theorems; no parameter is fitted and no target estimate is assumed by construction.
full rationale
The paper's central claims are not circular. The algebraic reduction in Theorem 3.1 is quoted from an external source, de Bondt--van den Essen [4], and does not itself contain the Fourier or maximal estimates. Theorem 3.2 and Corollary 3.4 construct adapted coordinate systems by explicit calculations; in the two-variable case they invoke the prior two-dimensional adapted-coordinate theorem [18], which is a published result whose assumptions do not include the present four-dimensional conclusions. Theorem 4.1 reduces the three-variable oscillatory integral to the two-dimensional theorem [19, Theorem 1.1], Varchenko's theorem [38], and Erdelyi's lemma, none of which contains the claimed uniform three-variable estimate. The exponent -1/h(phi) is determined by the intrinsic Newton-polyhedron height h(phi), which is defined independently of the desired estimate and is not fitted to any data or to the conclusion. Theorem 5.1 similarly uses prior maximal-operator results [17, Theorem 1.3] and [21, Theorem 7.1] after either reducing to at most two variables or performing a dyadic decomposition; these are lower-dimensional or structurally simpler results, not the target theorem. The necessary condition in Proposition 5.2 is proved directly from the normal forms with explicit integrability computations. Theorem 6.1 is an immediate consequence of the established estimates and the known index relationships from [17, Theorem 1.14]; the indices are not defined to equal 1/h by fiat. Several heavily used citations are by the same authors, but they are genuine published theorems with independent content and do not assume the current results. The main verification risk, the unproved external classification Theorem 3.1, is a concern about correctness of an external algebraic input, not a circularity.
Assumptions & free parameters
assumptions (6)
- standard math Theorem 3.1 (de Bondt–van den Essen classification): every polynomial φ: R^3 → R with det(D²φ)≡0 is, after an invertible linear change, either independent of one variable or of the form Q1(x1)+Q2(x1)x2+Q3(x1)x3.
- standard math Ikromov–Müller [19, Theorem 1.1]: sharp uniform oscillatory estimates for two-variable phases.
- standard math Ikromov–Müller et al. [17, Theorem 1.3] and Buschenhenke–Ikromov–Müller [6, Theorem 1.2]: maximal operator bounds for hypersurfaces in R^3.
- standard math Varchenko [38, Theorem 0.6]: sharp two-dimensional asymptotic expansions with exponent 1/h.
- standard math Karpushkin [25]: stability of Varchenko's estimate under small analytic perturbations in two dimensions.
- domain assumption Transversality assumption for the maximal operator: affine tangent planes to S do not pass through the origin.
Cite this review
Pith. "Pith review of Sharp estimates for the Fourier transform of surface-carried measures and maximal operators associated with hypersurfaces in $\mathbb{R}^4$ with vanishing Gaussian curvature." pith.science (2026). https://pith.science/paper/CAXPYIB6
@misc{pith2026260218163,
author = {Pith},
title = {Pith review of: Sharp estimates for the Fourier transform of surface-carried measures and maximal operators associated with hypersurfaces in $\mathbbR^4$ with vanishing Gaussian curvature},
year = {2026},
howpublished = {\url{https://pith.science/paper/CAXPYIB6}},
note = {Machine review of arXiv:2602.18163}
}
abstract
In this paper, we study problems related to harmonic analysis on hypersurfaces in $\mathbb{R}^4 $ with zero Gaussian curvature and given as graphs of polynomial functions. We derive sharp uniform estimates with respect to the direction of frequencies for the Fourier transform of measures supported on such hypersurfaces. Additionally, we study the $L^p$-boundedness problem of maximal operators associated with hypersurfaces. We determine the exact value of the boundedness exponent in terms of the heights of these hypersurfaces.
Reference graph
Works this paper leans on
-
[4]
M. C. de Bondt and A. van den Essen. Singular Hessians.J. Algebra, 282(1), 195–204, 2004
2004
-
[1]
V. I. Arnold. Remarks on the method of stationary phase and on the Coxeter numbers. Uspekhi Mat. Nauk., 28(5), 17–44, 1973. English transl.Russ. Math. Surv.,28(5), 19-58, 1973
1973
-
[2]
V. I. Arnold, S. M. Gusein-Zade, V. Varchenko.Singularities of differentiable maps. Vol. I, The classification of critical points, Caustics and Wave Fronts.Birkh¨ auser, Boston-Basel-Stuttgart, 1985
1985
-
[3]
M. F. Atiyah. Resolution of Singularities and division of distributions.Comm. Pure and Appl. Math., 23(2), 145–150, 1970
1970
-
[5]
Bourgain
J. Bourgain. Averages in the plane over convex curves and maximal operators.J. Anal. Math., 47, 69–85, 1986
1986
-
[6]
Buschenhenke, S
S. Buschenhenke, S. Dendrinos, I. A. Ikromov, D. M¨ uller. Estimates for maximal functions associated to hypersurfaces inR 3 with heighth <2: Part I.Trans. Amer. Math. Soc., 372(2), 1363–1406, 2019
2019
-
[7]
Buschenhenke, I
S. Buschenhenke, I. A. Ikromov, D. M¨ uller. Estimates for maximal functions associated to hypersurfaces inR 3 with heighth <2: Part II. A geometric conjecture and its proof for generic 2-surfaces,Ann. Sc. Norm. Super. Pisa Cl. di Sc., (5) XXVI, 1765–1877, 2025
2025
-
[8]
T. C. Collins, A. Greenleaf, M. Pramanik. A multi-dimensional resolution of singularities with applications to analysis.American Journal of Mathematics,135(5), 1179–1252, 2013. 28
2013
Show all 40 references
-
[9]
M. V. Fedoryuk.The Saddle-Point Method.Nauka, Moscow, 1977
1977
-
[10]
Hironaka
H. Hironaka. Resolution of singularities of an algebraic variety over a field of characteristic zero I.Ann. of Math., 79(1), 109–203, 1964
1964
-
[11]
Gordan, M
P. Gordan, M. Noether. ¨Uber die algebraischen Formen deren Hesse’sche Determinante identisch verschwindet.Math. Ann.,10, 547–568, 1876
-
[12]
Greenleaf
A. Greenleaf. Principal curvature in harmonic analysis.Indiana Math. J., 30, 519–537, 1981
1981
-
[13]
Greenblatt
M. Greenblatt. Newton polygons and local integrability of negative powers of smooth functions in the plane.Trans. Amer. Math. Soc.,358, 657–670, 2006
2006
-
[14]
P. T. Gressman. Uniform estimates for cubic oscillatory integrals.Indiana Univ. Math. J., 57(7), 3419–3442, 2008
2008
-
[15]
O. Hesse. ¨Uber die Bedingung, unter welcher eine homogene ganze Function von n unabh¨ angigen Variabeln durch line¨ are Substitutionen von n andern unabh¨ angigen Variabeln auf eine homogene Function sich zur¨ uckf¨ uhren l¨ aßt, die eine Variable weniger enth¨ alt.Journal f¨...
-
[16]
O. Hesse. Zur Theorie der ganzen homogenen Functionen.Journal f¨ ur die reine und angewandte Mathematik,56, 263–269, 1859
-
[17]
I. A. Ikromov, M. Kempe, D. M¨ uller. Estimates for maximal functions associated to hypersurfaces inR 3 and related problems of harmonic analysis.Acta Math.204, 151–271, 2010
2010
-
[18]
I. A. Ikromov, M. M¨ uller. On adapted coordinate systems.Trans. Amer. Math. Soc.,363(6), 2821–2848, 2011
2011
-
[19]
I. A. Ikromov, D. M¨ uller. Uniform estimates for the Fourier transform of surface carried measures inR 3 and an application to Fourier restriction.J. Fourier Anal. Appl.17(6), 1292–1332, 2011
2011
-
[20]
I. A. Ikromov, 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
2016
-
[21]
I. A. Ikromov, S. E. Usmanov. On boundedness of maximal operators associated with hypersurfaces.Journal of Mathematical Sciences,264(6), 715–745, 2022
2022
-
[22]
Iosevich
A. Iosevich. Maximal operators associated to families of flat curves in the plane.Duke Math. J., 76(2), 633–644, 1994
1994
-
[23]
Iosevich, E
A. Iosevich, E. Sawyer. Oscillatory integrals and maximal averages over homogeneous surfaces.Duke Math. J.,82(1), 103–141, 1996
1996
-
[24]
Iosevich, E
A. Iosevich, E. Sawyer. Maximal averages over surfaces.Adv. Math.,132, 46–119, 1997
1997
-
[25]
V. N. Karpushkin. A theorem on uniform estimates for oscillatory integrals with a phase depending on two variables.Trudy Sem. Petrovsk., 10, 150–169, 1984 (in Russian); English translation inJ. Soviet Math.,35, 2809–2826, 1986. 29
1984
-
[26]
J. B. Lee, J. Lee, S. Oh. Maximal averages and non-transversality.arXiv preprint, arXiv:2601.01880
-
[27]
C. Lossen. When does the Hessian determinant vanish identically?.Bulletin of the Brazilian Mathematical Society,35(1), 71–82, 2004
2004
-
[28]
S. Oh. Maximal estimates for averages over degenerate hypersurfaces.To appear in Trans. Amer. Math. Soc., arxiv:2401.16881,2025
2025 arXiv
-
[29]
M. Pasch. Zur Theorie der Hesseschen Determinante.Journal f¨ ur die reine und angewandte Mathematik,80, 169–176, 1875
-
[30]
D. H. Phong, E. M. Stein. The Newton polyhedron and oscillatory integral operators.Acta Math., 179(1), 105–152, 1997
1997
-
[31]
D. H. Phong, E. M. Stein, J. A. Sturm. On the growth and stability of real-analytic functions. Amer. J. Math., 121, 519–554, 1999
1999
-
[32]
H. Schulz. Convex hypersurfaces of finite type and the asymptotics of their Fourier transforms.Indiana Univ. Math. J.40, 1267–1275, 1991
1991
-
[33]
C. D. Sogge, Maximal operators associated to hypersurfaces with one nonvanishing principal curvature, in Fourier Analysis and Partial Differential Equations (Miraflores de la Sierra, 1992), Stud. Adv. Math., pp. 317–323. CRC, Boca Raton, FL, 1995
1992
-
[34]
C. D. Sogge, E. M. Stein. Averages of functions over hypersurfaces inR n.Invent. Math., 82(3), 543–556, 1985
1985
-
[35]
E. M. Stein.Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals.Princeton Mathematical Series, vol. 43. Princeton University Press, Princeton, 1993
1993
-
[36]
E. M. Stein, R. Shakarchi.Functional analysis: Introduction to further topics in analysis. Vol. 4, Princeton University Press, 2011
2011
-
[37]
E. M. Stein. Maximal functions. I. Spherical means.Proc. Nat. Acad. Sci. U.S.A.,73(7), 2174–2175, 1976
1976
-
[38]
A. N. Varchenko. Newton polyhedra and estimates of oscillating integrals.Funct. Anal, and Appl., 10(3), 175–196, 1976
1976
-
[39]
Watanabe, M
J. Watanabe, M. Bondt. On the theory of Gordan-Noether on homogeneous forms with zero Hessian (improved version). InInternational Conference on Polynomial Rings and Affine Algebraic Geometry,pp. 73–107. Cham: Springer International Publishing, 2018
2018
-
[40]
Zimmermann.OnL p-estimates for maximal averages over hypersurfaces not satisfying the transversality condition.PhD thesis, University of Kiel, 2014
E. Zimmermann.OnL p-estimates for maximal averages over hypersurfaces not satisfying the transversality condition.PhD thesis, University of Kiel, 2014. 30
2014
Reviewed August 2, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.