The (local) geometry of oscillatory integrals on manifolds: Dimension three

Liuwei Gong; Shaoming Guo; Song Dai

REVIEW 2 major objections 2 minor 19 references

The (local) geometry of oscillatory integrals on manifolds: Dimension three

T0 review · 2 major / 2 minor · reviewed 2026-06-27 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The chaotic curvature condition of order k on three-dimensional manifolds is exactly the same as being non-(k+2)-exceptional.

desk verdict The paper equates a graded family of chaotic curvature conditions to Lytchak-Petrunin non-exceptionality and extracts some existence and genericity statements in dimension three. read the letter →

arxiv 2606.12927 v1 pith:LFKHZ7XE submitted 2026-06-11 math.CA math.DG

Song Dai , Liuwei Gong , Shaoming Guo This is my paper · ORCID

classification math.CAmath.DG

keywords chaoticcurvatureexceptionalmanifoldsoscillatoryintegralsRiemanniancontactorderthree-dimensionalgeometryconditionsHörmanderoperators

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper introduces a hierarchy of curvature conditions on three-dimensional Riemannian manifolds that unifies earlier notions from oscillatory integral theory and convex geometry. These conditions are shown to give a complete geometric description of the contact orders that arise for Riemannian distance functions in the study of Hörmander-type operators. The work proves that the lowest-order condition is never satisfied, that the order-2 condition is stable under perturbation in both directions, and that generic manifolds satisfy all higher-order conditions. It further identifies the entire hierarchy with the non-exceptional property studied by Lytchak and Petrunin, from which it follows that every manifold is 3-exceptional.

What carries the argument

The chaotic curvature condition of order ≤ k, defined so that it coincides with non-(k+2)-exceptional and completely characterizes the contact orders of Riemannian distance functions.

What would settle it

A single three-dimensional manifold that satisfies the chaotic curvature condition of order ≤1, or a manifold that is (k+2)-exceptional yet satisfies the order-k chaotic curvature condition.

Watch

Extended reading notes

Core claim

The chaotic curvature condition of order ≤ k is precisely the same as the notion of non-(k+2)-exceptional, where k-exceptional is the property introduced by Lytchak and Petrunin. Consequently every manifold is 3-exceptional. The same conditions supply a complete geometric characterization of the contact-order conditions for Riemannian distance functions that control Hörmander-type oscillatory integral operators. No manifold satisfies the order-≤1 condition; both the order-≤2 condition and its failure occur robustly under small smooth perturbations; and a generic manifold satisfies the condition for every k≥3.

Load-bearing premise

The proposed curvature conditions give a complete geometric characterization of the contact order conditions for Riemannian distance functions.

Editorial extensions

If this is right

No three-dimensional manifold satisfies the chaotic curvature condition of order ≤1.
Both the chaotic curvature condition of order ≤2 and its failure occur robustly under small smooth perturbations.
A generic three-dimensional manifold satisfies the chaotic curvature condition of order ≤k for every k≥3.
Every three-dimensional manifold is 3-exceptional.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Oscillatory integral estimates that previously required special curvature assumptions now hold on every three-dimensional manifold once the order reaches 3.
The equivalence supplies a dictionary that lets results about convex sets and totally geodesic submanifolds be translated directly into statements about oscillatory integrals.
The stability statements for order 2 suggest that numerical or experimental checks of curvature conditions on perturbed metrics could be feasible.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

The main takeaway is that the authors define chaotic curvature conditions of all finite orders, show these are identical to the non-(k+2)-exceptional property introduced by Lytchak and Petrunin, and then read off that order-1 never occurs, order-2 is stable under small perturbations, and higher orders hold generically. The byproduct is that every 3-manifold is 3-exceptional.

What the paper actually supplies is a clean geometric characterization of the contact-order conditions that appear when one studies Hörmander-type oscillatory integrals via Riemannian distance functions. That characterization organizes the intermediate-symmetry cases Sogge flagged and gives an explicit dictionary to convex geometry. The equivalence itself is the new piece; the existence statements are consequences once the dictionary is in place.

The arguments look to rest on matching the two sets of definitions and then applying standard transversality or perturbation results from differential geometry. Nothing in the stated claims is circular or reduces to fitted parameters. The restriction to dimension three is explicit and keeps the statements concrete.

The soft spots are modest. The genericity claim for k ≥ 3 is stated without specifying the precise topology or measure on the space of metrics, which is a minor omission but easy to fix. The robustness for order 2 is asserted but its proof will need to be checked for any hidden dependence on the choice of local coordinates. These are ordinary details rather than load-bearing gaps.

The work is aimed at people already following Sogge’s program on Kakeya problems on manifolds or the Lytchak-Petrunin theory of exceptional sets. A reader who knows one side will pick up a usable bridge to the other. It is worth sending to peer review because the identification is a concrete link between two literatures and the dimension-three setting makes the claims verifiable in principle.

Referee Report

2 major / 2 minor

Summary. The manuscript proposes a classification of curvature conditions on three-dimensional Riemannian manifolds extending Sogge's study of Kakeya problems and chaotic curvature. It defines the chaotic curvature condition of order ≤ k (with k=1 recovering Sogge's variably curved case) and asserts that these conditions furnish a complete geometric characterization of the contact-order conditions on Riemannian distance functions arising in Hörmander-type oscillatory integral operators. The paper proves the equivalence of the order-≤k chaotic curvature condition with the non-(k+2)-exceptional property of Lytchak-Petrunin, shows that no manifold satisfies the order-≤1 condition, establishes robustness of both the order-≤2 condition and its negation under small perturbations, and proves that generic manifolds satisfy the condition for all k≥3. As a corollary, every 3-manifold is 3-exceptional.

Significance. If the derivations hold, the work supplies a geometric dictionary between curvature conditions and the analytic contact orders relevant to oscillatory integrals, while forging an explicit link between Sogge-type symmetry classifications and the Lytchak-Petrunin theory of exceptional manifolds. The universal 3-exceptionality statement and the genericity/robustness results for higher-order conditions are concrete, falsifiable contributions that could guide subsequent work on Kakeya estimates and totally geodesic submanifolds in dimension three.

major comments (2)

[statement of the main classification theorem] The central claim that the proposed curvature conditions give a complete geometric characterization of the contact-order conditions (stated when the classification is introduced) is load-bearing for the paper's analytic motivation; the manuscript must exhibit an explicit bijection or reduction showing that every contact-order datum arising from a Riemannian distance function is captured exactly by one of the chaotic-curvature conditions of finite order.
[equivalence result linking to Lytchak-Petrunin] The asserted equivalence between chaotic curvature of order ≤k and non-(k+2)-exceptionality (the strongest claim highlighted in the abstract) requires a self-contained argument that the curvature condition implies the non-existence of the relevant totally geodesic submanifolds (or vice versa); without a dedicated proposition or lemma spelling out the translation, the identification remains formal.

minor comments (2)

[introduction] The abstract and introduction should clarify the precise range of k for which the genericity statement holds and whether the robustness result for order ≤2 is local or global.
[references] The bibliography entry for Lytchak-Petrunin should be expanded to include the full title, journal, and year of the cited work.

Simulated Author's Rebuttal

2 responses · 0 unresolved

Thank you for the referee's careful reading and constructive comments on the manuscript. We address each major comment below and will incorporate clarifications and explicit arguments in a revised version to strengthen the presentation.

read point-by-point responses

Referee: [statement of the main classification theorem] The central claim that the proposed curvature conditions give a complete geometric characterization of the contact-order conditions (stated when the classification is introduced) is load-bearing for the paper's analytic motivation; the manuscript must exhibit an explicit bijection or reduction showing that every contact-order datum arising from a Riemannian distance function is captured exactly by one of the chaotic-curvature conditions of finite order.

Authors: We agree that the load-bearing claim requires an explicit correspondence to be fully substantiated. While the manuscript introduces the chaotic curvature conditions as providing a complete geometric characterization of the contact-order conditions on Riemannian distance functions, a dedicated proposition spelling out the bijection or reduction (mapping each finite-order chaotic curvature condition to the precise contact-order data) is not currently isolated. In the revised manuscript we will add such a proposition, detailing the translation from the curvature conditions to the contact orders arising in Hörmander-type operators. revision: yes
Referee: [equivalence result linking to Lytchak-Petrunin] The asserted equivalence between chaotic curvature of order ≤k and non-(k+2)-exceptionality (the strongest claim highlighted in the abstract) requires a self-contained argument that the curvature condition implies the non-existence of the relevant totally geodesic submanifolds (or vice versa); without a dedicated proposition or lemma spelling out the translation, the identification remains formal.

Authors: The manuscript asserts that the chaotic curvature condition of order ≤k is precisely the same as non-(k+2)-exceptionality in the sense of Lytchak-Petrunin. We acknowledge that the current text states the identification without a self-contained lemma translating the curvature condition into the non-existence of the relevant totally geodesic submanifolds. In the revision we will insert a dedicated lemma that proves the equivalence directly from the definitions, showing both directions: that order-≤k chaotic curvature precludes (k+2)-exceptional submanifolds and conversely. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; derivation self-contained via external citations

full rationale

The paper introduces curvature conditions as a classification in the spirit of Sogge, then asserts (via main results) their equivalence to the independent notion of non-(k+2)-exceptional from the external citation LP22 (Lytchak-Petrunin). This equivalence and the byproduct that every manifold is 3-exceptional are presented as consequences of the new geometric characterization, not as reductions to self-definitions, fitted parameters, or self-citation chains. No load-bearing step reduces by construction to the paper's own inputs; the cited prior work is external and the claims remain independent.

Assumptions & free parameters 0 free parameters · 1 assumptions · 1 invented entities

Review is abstract-only; the ledger records only the entities and background assumptions explicitly invoked in the abstract. No numerical free parameters appear. The new curvature conditions are introduced as definitions rather than derived quantities.

assumptions (1)

standard math Standard axioms of Riemannian geometry (smooth manifold with Riemannian metric, sectional curvature defined pointwise)
The entire discussion presupposes the usual differential-geometric setting for 3-manifolds.

invented entities (1)

chaotic curvature condition of order ≤ k
purpose: To classify curvature behavior at successive orders and characterize contact-order conditions for distance functions
Defined in the paper as the central new object that generalizes Sogge's variably-curved condition.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The (local) geometry of oscillatory integrals on manifolds: Dimension three." pith.science (2026). https://pith.science/paper/LFKHZ7XE

@misc{pith2026260612927,
  author       = {Pith},
  title        = {Pith review of: The (local) geometry of oscillatory integrals on manifolds: Dimension three},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LFKHZ7XE}},
  note         = {Machine review of arXiv:2606.12927}
}

abstract

Sogge studied Kakeya problems on two extreme types of three dimensional Riemannian manifolds: Manifolds with the most symmetries (manifolds of constant sectional curvature) and manifolds with the least symmetries, which he called manifolds with chaotic curvature and variably curved manifolds. In the same paper, Sogge proposed studying manifolds with intermediate symmetry, such as (locally) symmetric spaces. In the current paper, we propose a classification of curvature conditions in the spirit of Sogge's program. In particular, these curvature conditions give a complete geometric characterization of the contact order conditions (for Riemannian distance functions), introduced when people were studying H\"ormander-type oscillatory integral operators. One of these conditions generalizes Sogge's chaotic curvature condition to all finite orders: The chaotic curvature condition of order $\le k$ for every $k\ge 1,$ with the case $k=1$ corresponding to Sogge's original condition for variably curved manifolds. As byproducts of our main results, we show that there are no manifolds satisfying the chaotic curvature condition of order $\le 1$. We also show that both the chaotic curvature condition of order $\le 2$ and its failure can occur robustly under small smooth perturbations, and for every $k\ge 3$, a ``generic" manifold satisfies the chaotic curvature condition of order $\le k$. It turns out that the chaotic curvature condition of order $\le k$ is precisely the same as the notion of non-$(k+2)$-exceptional, where $k$-exceptional is introduced by Lytchak and Petrunin \cite{LP22} when studying convex sets and the non-existence of totally geodesic sub-manifolds. Thus our results imply, in particular, that every manifold is $3$-exceptional.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 2 canonical work pages

[1]

Beltran, S

D. Beltran, S. Guo and J. Hickman. On a planar Pierce–Yung operator. Duke Math. J. 175 (5) 903 - 958, 2026

2026
[2]

Berndt and L

J. Berndt and L. Vanhecke, Two natural generalizations of locally symmetric spaces, Differential Geom. Appl. 2 (1992), no. 1, 57--80

1992
[3]

Bourgain

J. Bourgain. L^p -estimates for oscillatory integrals in several variables. Geom. Funct. Anal. 1 (1991), no. 4, 321--374

1991
[4]

Bourgain and L

J. Bourgain and L. Guth. Bounds on oscillatory integral operators based on multilinear estimates. Geom. Funct. Anal. 21 (2011), no. 6, 1239--1295

2011
[5]

M. Chen, S. Gan, S. Guo, J. Hickman, M. Iliopoulou and J. Wright. Oscillatory Integral Operators and Variable Schrödinger Propagators: Beyond the Universal Estimates. Geom. Funct. Anal. 35, 1425–1525 (2025)

2025
[6]

S. Dai, L. Gong, S. Guo and R. Zhang. Oscillatory integral operators on manifolds and related Kakeya and Nikodym problems, Camb. J. Math. 12 (2024), no. 4, 937--1015

2024
[7]

S. Guo, D. Liu and Y. Xi. Curved Kakeya sets for generic phases in odd dimensions. arXiv:2508.17706

work page arXiv
[8]

S. Guo, H. Wang and R. Zhang. A dichotomy for H\"ormander-type oscillatory integral operators. Invent. Math., 238(2): 503–584, 2024

2024

Show all 19 references

[9]

L. Guth, J. Hickman and M. Iliopoulou. Sharp estimates for oscillatory integral operators via polynomial partitioning. Acta Math. 223 (2019), no. 2, 251--376

2019
[10]

Hickman, K

J. Hickman, K. Rogers and R. Zhang. Improved bounds for the Kakeya maximal conjecture in higher dimensions. Amer. J. Math., 144(6): 1511–1560, 2022

2022
[11]

Hickman and M

J. Hickman and M. Iliopoulou. Sharp L^p estimates for oscillatory integral operators of arbitrary signature. Math. Z. 301 (2022), no. 1, 1143--1189

2022
[12]

H\"ormander

L. H\"ormander. Oscillatory integrals and multipliers on FL^p . Ark. Mat. 11, 1--11 (1973). 3

1973
[13]

Kowalski and L

O. Kowalski and L. Vanhecke. A new formula for the shape operator of a geodesic sphere and its applications. Math. Z. 192 (1986), 613-625

1986
[14]

Lytchak and A

A. Lytchak and A. Petrunin, About every convex set in any generic Riemannian manifold, J. Reine Angew. Math. 782 (2022), 235--245

2022
[15]

Minicozzi and C

W. Minicozzi and C. Sogge. Negative results for Nikodym maximal functions and related oscillatory integrals in curved space. Math. Res. Lett. 4 (1997), no. 2-3, 221--237

1997
[16]

Nadjimzadah

A. Nadjimzadah. Bourgain's condition, sticky Kakeya, and new examples. arXiv:2511.10918

arXiv
[17]

C. Sogge. Concerning Nikodym-type sets in 3-dimensional curved spaces. J. Amer. Math. Soc., 12(1): 1–31, 1999

1999
[18]

Sogge, Y

C. Sogge, Y. Xi and H. Xu. On instability of the Nikodym maximal function bounds over Riemannian manifolds. J. Geom. Anal., 28(3): 2886–2901, 2018

2018
[19]

Y. Xi. On Kakeya-Nikodym type maximal inequalities. Trans. Amer. Math. Soc., 369(9): 6351–6372, 2017

2017

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.

[1] [1]

Beltran, S

D. Beltran, S. Guo and J. Hickman. On a planar Pierce–Yung operator. Duke Math. J. 175 (5) 903 - 958, 2026

2026

[2] [2]

Berndt and L

J. Berndt and L. Vanhecke, Two natural generalizations of locally symmetric spaces, Differential Geom. Appl. 2 (1992), no. 1, 57--80

1992

[3] [3]

Bourgain

J. Bourgain. L^p -estimates for oscillatory integrals in several variables. Geom. Funct. Anal. 1 (1991), no. 4, 321--374

1991

[4] [4]

Bourgain and L

J. Bourgain and L. Guth. Bounds on oscillatory integral operators based on multilinear estimates. Geom. Funct. Anal. 21 (2011), no. 6, 1239--1295

2011

[5] [5]

M. Chen, S. Gan, S. Guo, J. Hickman, M. Iliopoulou and J. Wright. Oscillatory Integral Operators and Variable Schrödinger Propagators: Beyond the Universal Estimates. Geom. Funct. Anal. 35, 1425–1525 (2025)

2025

[6] [6]

S. Dai, L. Gong, S. Guo and R. Zhang. Oscillatory integral operators on manifolds and related Kakeya and Nikodym problems, Camb. J. Math. 12 (2024), no. 4, 937--1015

2024

[7] [7]

S. Guo, D. Liu and Y. Xi. Curved Kakeya sets for generic phases in odd dimensions. arXiv:2508.17706

work page arXiv

[8] [8]

S. Guo, H. Wang and R. Zhang. A dichotomy for H\"ormander-type oscillatory integral operators. Invent. Math., 238(2): 503–584, 2024

2024