REVIEW 4 major objections 4 minor 39 references
Curved Kakeya problems and the projective geometry of paths
T0 review · 4 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read In R^3, the totally geodesic condition for curved Kakeya families is equivalent to projective flatness; Bourgain's condition then separates line-like families from surface-borne 2D Kakeya systems.
desk verdict A rich spray-geometry framework for curved Kakeya problems with a plausible classification, but the central equivalence between the two totally geodesic definitions is only sketched and Theorem 1.18 is unproved, so the main theorems are conditional pending missing checks. 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 spray associated to a family of characteristic curves: a second-order ODE system on the manifold whose geodesics are exactly the curves of the family. Two projective invariants carry the argument: the Douglas curvature D, which detects whether the spray is projectively related to an affine spray, and the Weyl curvature W, the projective trace-free part of the Riemann curvature. Vanishing of both is equivalent to local projective flatness. The paper's main theorem shows that this pair of invariants is the exact totally geodesic criterion for the Kakeya problem. The secondary machinery consists of Bourgain's condition, a determinant-rank alignment condition on the nor
What would settle it
Compute the Douglas and Weyl curvature of the spray induced by a non-degenerate family in R^3 that satisfies the surface-sweeping totally geodesic condition; if either curvature is non-zero, Theorem 1.33(1) is false. Alternatively, exhibit a semi-algebraic family with a two-dimensional Kakeya set but no pair of directions ξ1≠ξ2 such that the curves intersecting both fill a surface; that would refute Theorem 1.34.
Extended reading notes
Core claim
The paper's central claim is that two classical-looking questions about curved Kakeya problems in R^3 are governed by one geometric invariant. Every non-degenerate family of curves determines a spray, a system of geodesic-like paths, and the paper proves that the family satisfies the totally geodesic condition—the incidence structure behind Wolff's hairbrush argument—if and only if the spray is projectively flat. Projective flatness means that after a local diffeomorphism of space the curves become straight line segments. If the family is projectively flat and also satisfies Bourgain's condition, a second-derivative alignment condition, then it is direction-equivalent to a Bochner-Riesz-type
Load-bearing premise
The load-bearing premise is that the surface-sweeping definition of 'totally geodesic' and the many-totally-geodesic-surfaces definition are locally equivalent via an implicit-function-theorem argument whose hypotheses cover the families used in the main theorem.
Editorial extensions
If this is right
- Checking the totally geodesic condition for a curved Kakeya problem in R^3 becomes a local calculation: compute the Douglas and Weyl curvature of the induced spray and test whether both vanish.
- Within the totally geodesic class, families satisfying Bourgain's condition are direction-equivalent to a Bochner-Riesz-type line family and inherit the known three-dimensional Kakeya dimension result; families failing it instead support two-dimensional Kakeya sets on every totally geodesic surface.
- Katz-Wolff is strictly stronger than Bourgain's condition inside the projectively flat class; it is equivalent to Bourgain plus totally geodesic, so checking Katz-Wolff reduces to checking two local conditions.
- For semi-algebraic families in R^3, the existence of a two-dimensional Kakeya set is equivalent to surface compression; otherwise a uniform dimension gain κ>0 holds for all Kakeya sets, and for semi-algebraic phase functions this gives maximal-function bounds with a saving below the trivial exponent.
- Bourgain's example is diagnosed as the extra-worst end of the dichotomy: it is projectively flat, fails Bourgain's condition, and every plane in the straightened coordinates is a Kakeya set.
Reading between the lines
- If the equivalence 'totally geodesic ⇔ projectively flat' holds, the hairbrush incidence structure cannot be used for any genuinely curved family, so any sharp Kakeya estimate for such families will require a new argument rather than a modification of the classical one.
- The coordinate-invariant formulation in the appendix suggests a generative route to Bourgain-type phase functions; one can test whether the Katz-Wolff condition is generically absent by examining the constraint equations for rank-one reductions.
- Theorem 1.34 suggests a Kakeya-index rigidity: for analytic semi-algebraic families, dimensions might be restricted to integers 2 or 3; translating or superposing known 2D examples can produce fractional dimensions, so the infimum dimension is the right invariant.
- The quantitative κ from the polynomial Wolff axiom may be explicitly tracked; a testable extension is to compute κ for families near Bourgain's example and see whether it tends to zero at the projectively flat Bochner-Riesz boundary.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a general framework for curved Kakeya problems via spray geometry. Every non-degenerate family of curves is associated with a spray space, and the authors use projective differential invariants (Douglas and Weyl curvature) to characterize the incidence structure needed for Wolff-type hairbrush arguments. The main results are Theorem 1.33, a "Venn-diagram" theorem asserting that, in R^3, the totally geodesic condition is equivalent to projective flatness; that Katz–Wolff implies totally geodesic and Bourgain's condition; that totally geodesic plus Bourgain is equivalent to being Bochner–Riesz-type and to Katz–Wolff; and that totally geodesic plus failure of Bourgain implies extra-worst compression. Theorem 1.34 gives, under a semi-algebraic assumption in R^3, a dichotomy: a two-dimensional curved Kakeya set exists iff the family satisfies the worst-compression condition, and otherwise every Kakeya set has dimension at least 2+κ. The paper also contains an appendix by Tao giving a coordinate-invariant reformulation of Bourgain's condition, and an appendix on Schrödinger potentials whose phase functions satisfy Bourgain's condition exactly for quadratic potentials.
Significance. If the main theorems are correct, this is a substantial contribution. The paper introduces a promising dictionary between curved Kakeya problems and projective spray geometry, gives concrete projective-flatness criteria for totally geodesic behavior, provides new examples (tan-example, epsilon-family approximating Katz–Wolff), and reduces a semi-algebraic Kakeya-dimension dichotomy to a checkable compression condition. The claimed equivalences are falsifiable and would have immediate consequences for maximal-function estimates and for the applicability of Wang–Zahl. Strengths include the explicit use of geometric invariants D and W, the existence of a full appendix proof of Theorem 1.36, and the reproduction of Bourgain's example as an extra-worst-compression family. However, several load-bearing proofs are only sketched or omitted, and at least one step in the proof of Theorem 1.33(1) appears to rely on an unjustified uniqueness assertion. The paper is therefore not yet in publishable form.
major comments (4)
- [Section 1.6, sketch after Definition 1.32] The asserted equivalence of Definition 1.21 and Definition 1.32 is load-bearing for Theorem 1.33(1), but it is only a sketch. The forward direction requires the map (y1,y2,x0) ↦ (interior point, tangent plane) to have rank 5 on the relevant open set, and the reverse direction requires the map from the 1-parameter family of tangent directions at x1 to intersection points on Γ2 to have nonzero Jacobian. Neither derivative is computed, and the non-degeneracy conditions (1.28)–(1.29) are not shown to imply these ranks. If the equivalence fails, a family could satisfy Definition 1.21 without being projectively flat, and Theorem 1.33 Parts 4 and 5 would be unsupported. This needs a complete proof, not a sketch.
- [Section 9.1, Eq. (9.12)–(9.15)] The proof that D=0 contains an unjustified step: after straightening geodesics through p0, the text asserts 'Since the geodesic surface with a given tangent plane is unique, all the planes passing through 0 and intersecting B(y0,ϵ) are geodesic surfaces.' Definition 1.32 supplies existence of a totally geodesic surface with a given tangent plane, not uniqueness. Moreover, the fact that a plane contains radial geodesics through p0 does not imply that every geodesic tangent to that plane at an arbitrary interior point remains in the plane. This is not a cosmetic gap: the subsequent equation det(x,y,G1(x,y))=0 and the derivation that a(x,y) is quadratic depend on treating arbitrary planes as totally geodesic surfaces. The proof of Theorem 1.33(1) is therefore incomplete.
- [Theorem 1.18 and its use in Sections 4–7] Theorem 1.18 is stated with the comment 'The proof is routine and tedious' and no proof is supplied. This theorem is used for several load-bearing reductions: passing to a normal form (item 2), transferring Bourgain's condition from φ to the induced X (item 4), and the polynomial Wolff axiom (item 5). The phase-function version of Theorem 1.33 in Section 4 and the reduction in Section 4.2 rely on Lemma 4.2, which in turn uses the equivalence in Theorem 1.18. Since these are central claims of the paper, the omitted proof cannot be waved away; it should be included or the theorem should be stated as an assumption with a precise reference.
- [Section 10.6, proof of Theorem 1.34] The proof of Theorem 1.34 is only a sketch. Proposition 10.2 and the tangency-order dichotomy are developed in detail, but the final step says the argument is 'almost standard' and directs the reader to [DGGZ24]. Equations (10.63)–(10.65) are asserted rather than derived, and the claimed gain κφ depends on a delicate modification of the polynomial Wolff axiom at multiple scales. Since Theorem 1.34 is the second main theorem, the manuscript should contain a complete derivation of (10.63)–(10.65) or a fully specified reduction to the cited framework.
minor comments (4)
- [Definition 1.22] The phrase 'every totally geodesic surface gives rise to a Φ-Kakeya set' is not formally defined. Example 2.6 illustrates one interpretation, but Definition 1.22 should state precisely what 'gives rise' means, including which directions ξ are covered.
- [Section 8, Claim 8.1] The proof of Claim 8.1 is terse about the geometry: 'hits another point' and 'translate ℓ1' should be clarified with open subsets and the possibility of exceptional points. The definition of Ξ0,2(x0) also implicitly assumes uniqueness of the curve through a point and direction; this follows from Hörmander's condition but should be stated.
- [Section 6, Eq. (6.7)] The passage from Bourgain's condition in Definition 1.17 to equation (6.7) is not shown. It appears to follow from Theorem 1.18(3), but the scalar c and the matrix identities should be made explicit.
- [Abstract and Theorem 1.34] The abstract says a two-dimensional Kakeya set exists iff one is contained in a surface, while Theorem 1.34 states the condition as worst compression. These are equivalent only after the theorem is proved; the abstract should align with the formal statement.
Circularity Check
No significant circularity: the main equivalences are proved from definitions and external geometric results, not from the target conclusions; the main risks are unproved auxiliary lemmas, not circular reasoning.
-
other
[Section 1.6, 'Sketch of equivalence of Definition 1.21 and Definition 1.32'; load-bearing for Theorem 1.33(1) and Section 9]
"By the implicit function theorem, for any x in a sufficiently small neighborhood and tangent plane P intersecting a small enough open cone, there are y1, y2, x0 such that x = x_int(y1,y2,x0), P = P(y1,y2,x0). Then S = S(y1,y2,x0) is a totally geodesic surface near x in the sense of Definition (1.32)."
Not circular; flagged as an omitted proof. This sketched equivalence between the two total-geodesic definitions is the hinge of Theorem 1.33(1), because Section 9 only proves the spray-geometric version implies D=W=0. The implicit-function claims need Jacobian/rank checks that are not computed. If the equivalence fails, the categorical identification with projective flatness is unsupported. This is a proof-gap risk, not a self-referential reduction.
-
other
[Section 1.7, Theorem 1.18, used in Sections 4.2 and 7]
"The proof for Theorem 1.18 is routine and tedious. As the paper is already long, we decide to leave out the proofs."
Not circular; flagged as an omitted proof. Theorem 1.18 transfers Bourgain's condition between phase functions and induced maps, and its item (5) invokes the polynomial Wolff axioms from [GWZ24]. This is an external published ingredient rather than a re-use of the paper's own target theorem, so it does not by itself make the derivation circular; it is a completeness gap.
full rationale
The paper's central claims are derived, not fitted: there are no data-dependent constants being repackaged as predictions, and the main Venn-diagram theorem is proved by reducing to spray-geometric invariants (Douglas and Weyl curvature) and invoking Shen's Theorem 13.5.1, an external differential-geometry result, plus the external Wang--Zahl Kakeya result. The Katz-Wolff-to-Bourgain and Katz-Wolff-to-totally-geodesic directions are actual arguments from the definitions, and the extra-worst-compression direction is proved by an implicit-function construction rather than assumed. Self-citations such as [GWZ24], [DGGZ24], and [Nad26] supply background results or examples, but the main equivalences are not obtained by quoting the paper's own conclusions. The genuinely weak points are two unproved auxiliary steps: the sketched equivalence of Definitions 1.21 and 1.32, and the unproved Theorem 1.18. Both are proof gaps that could undermine the architecture if false, but neither is an instance of a definition being fixed in terms of the target, a fitted parameter being renamed as a prediction, or a load-bearing conclusion imported solely from the authors' prior work. Accordingly the circularity score is low; the appropriate criticism belongs to correctness-verification, not circularity.
Assumptions & free parameters
assumptions (5)
- domain assumption All phase functions and Φ-curve maps are assumed analytic unless otherwise stated (Notation 6).
- domain assumption The map Φ satisfies Hörmander's non-degeneracy conditions (Definition 1.13 / 1.14).
- standard math Shen's theorem [She01, Theorem 13.5.1]: if the Douglas and Weyl curvatures vanish, then the spray is locally projectively flat for dim M ≥ 3.
- standard math Tarski–Seidenberg, Lojasiewicz inequality, and semialgebraic volume estimates (e.g., Wongkew's theorem).
- standard math Wang–Zahl theorem [WZ25]: Kakeya sets of lines in R^3 have full dimension.
Cite this review
Pith. "Pith review of Curved Kakeya problems and the projective geometry of paths." pith.science (2026). https://pith.science/paper/QXM2NLBR
@misc{pith2026260727629,
author = {Pith},
title = {Pith review of: Curved Kakeya problems and the projective geometry of paths},
year = {2026},
howpublished = {\url{https://pith.science/paper/QXM2NLBR}},
note = {Machine review of arXiv:2607.27629}
}
abstract
We introduce a general framework for curved Kakeya problems in $\mathbb{R}^n$, encompassing those arising from H\"ormander-type oscillatory integrals. Every family of curves determines a spray geometry, which allows us to use the projective geometry of paths in the study of curved Kakeya problems. We focus on the two extremes of the "best" and "worst" possible behaviors of curved Kakeya sets. We characterize when the incidence structure underlying Wolff's hairbrush argument persists. In particular, we prove that the existence of many totally geodesic surfaces, as required by Wolff's hairbrush argument, is equivalent to projective flatness of the associated spray. Within this projectively flat class, Bourgain's condition provides a clean dichotomy: when it holds, the family is direction-equivalent to a Bochner--Riesz type family of lines and satisfies the Katz--Wolff condition, and thus the Wang--Zahl result is applicable; when it fails, every totally geodesic surface supports a two-dimensional Kakeya set. We also show that under an extra semi-algebraic assumption, a family of curves in $\mathbb{R}^3$ admits a curved Kakeya set of Hausdorff dimension $2$ if and only if it admits a curved Kakeya set contained in a surface. Equivalently, if this compression is absent, every associated curved Kakeya set has dimension strictly greater than $2$.
Figures
Reference graph
Works this paper leans on
-
[1]
Shen, Zhongmin , TITLE =. 2001 , PAGES =. doi:10.1007/978-94-015-9727-2 , URL =
-
[2]
Cambridge Journal of Mathematics , volume=
Improved Fourier restriction estimates in higher dimensions , author=. Cambridge Journal of Mathematics , volume=. 2019 , publisher=
2019
-
[3]
Pacific Journal of Mathematics , volume=
Volumes of tubular neighbourhoods of real algebraic varieties , author=. Pacific Journal of Mathematics , volume=. 1993 , publisher=
1993
-
[4]
Olszak, Zbigniew , TITLE =. J. Geom. , FJOURNAL =. 1993 , NUMBER =. doi:10.1007/BF01223810 , URL =
-
[5]
1994 , PAGES =
Nomizu, Katsumi and Sasaki, Takeshi , TITLE =. 1994 , PAGES =
1994
-
[6]
Douglas, Jesse , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1927/28 , NUMBER =. doi:10.2307/1967989 , URL =
doi:10.2307/1967989 1927
-
[7]
Lee, John M. , TITLE =. 1997 , PAGES =. doi:10.1007/b98852 , URL =
doi:10.1007/b98852 1997
-
[8]
Connections, sprays and
Szilasi, J\'ozsef and Lovas, Rezs o. Connections, sprays and. 2014 , PAGES =
2014
Show all 39 references
-
[9]
, TITLE =
Wisewell, L. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2005 , NUMBER =. doi:10.1007/s00039-005-0540-9 , URL =
2005 doi
-
[10]
Duke Math
Beltran, David and Guo, Shaoming and Hickman, Jonathan , TITLE =. Duke Math. J. , FJOURNAL =. 2026 , NUMBER =. doi:10.1215/00127094-2025-0046 , URL =
2026 doi
-
[11]
Bourgain, Jean , title =
-
[12]
Journal d'Analyse Mathématique , volume =
Bourgain, Jean , title =. Journal d'Analyse Mathématique , volume =. 1986 , pages =
1986
-
[13]
Geometric and Functional Analysis , volume =
Bourgain, Jean , title =. Geometric and Functional Analysis , volume =. 1991 , pages =
1991
-
[14]
Geometric and Functional Analysis , volume =
Bourgain, Jean and Guth, Larry , title =. Geometric and Functional Analysis , volume =. 2011 , pages =
2011
-
[15]
Algorithms in real algebraic geometry , SERIES =
Basu, Saugata and Pollack, Richard and Roy, Marie-Fran. Algorithms in real algebraic geometry , SERIES =. 2006 , PAGES =
2006
-
[16]
Chen, Mingfeng and Gan, Shengwen and Guo, Shaoming and Hickman, Jonathan and Iliopoulou, Marina and Wright, James , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s00039-025-00724-y , URL =
2025 doi
-
[17]
Dai, Song and Gong, Liuwei and Guo, Shaoming and Zhang, Ruixiang , TITLE =. Camb. J. Math. , FJOURNAL =. 2024 , NUMBER =. doi:10.4310/cjm.241128011136 , URL =
2024 doi
-
[18]
arXiv preprint arXiv:2502.17655 , year=
Volume estimates for unions of convex sets, and the Kakeya set conjecture in three dimensions , author=. arXiv preprint arXiv:2502.17655 , year=
-
[19]
Journal of the American Mathematical Society , volume=
A restriction estimate using polynomial partitioning , author=. Journal of the American Mathematical Society , volume=
-
[20]
Duke Math
Fujiwara, Daisuke , TITLE =. Duke Math. J. , FJOURNAL =. 1980 , NUMBER =
1980
-
[21]
Guo, Shaoming and Wang, Hong and Zhang, Ruixiang , TITLE =. Invent. Math. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00222-024-01288-8 , URL =
2024 doi
-
[22]
Acta Math
Guth, Larry and Hickman, Jonathan and Iliopoulou, Marina , TITLE =. Acta Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.4310/acta.2019.v223.n2.a2 , URL =
2019 doi
-
[23]
Hickman, Jonathan and Iliopoulou, Marina , TITLE =. Math. Z. , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s00209-021-02944-y , URL =
2022 doi
-
[24]
and Zhang, Ruixiang , TITLE =
Hickman, Jonathan and Rogers, Keith M. and Zhang, Ruixiang , TITLE =. Amer. J. Math. , FJOURNAL =. 2022 , NUMBER =. doi:10.1353/ajm.2022.0037 , URL =
2022
-
[25]
H\"ormander, Lars , TITLE =. Ark. Mat. , FJOURNAL =. 1973 , PAGES =. doi:10.1007/BF02388505 , URL =
1973 doi
-
[26]
Marstrand, J. M. , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 1987 , NUMBER =. doi:10.1112/plms/s3-55.1.37 , URL =
1987 doi
-
[27]
and Sogge, Christopher D
Minicozzi, II, William P. and Sogge, Christopher D. , TITLE =. Math. Res. Lett. , FJOURNAL =. 1997 , NUMBER =. doi:10.4310/MRL.1997.v4.n2.a5 , URL =
1997 doi
-
[28]
2026 , eprint=
Bourgain's condition, sticky Kakeya, and new examples , author=. 2026 , eprint=
2026
-
[29]
2025 , eprint=
New curved Kakeya estimates , author=. 2025 , eprint=
2025
-
[30]
1959 , PAGES =
Rund, Hanno , TITLE =. 1959 , PAGES =
1959
-
[31]
, TITLE =
Sogge, Christopher D. , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 1999 , NUMBER =. doi:10.1090/S0894-0347-99-00289-1 , URL =
1999 doi
-
[32]
Stein, E. M. , TITLE =. Beijing lectures in harmonic analysis (. 1986 , ISBN =
1986
-
[33]
2003 , type =
Wisewell, Laura Jane , title =. 2003 , type =
2003
-
[34]
Wolff, Thomas , TITLE =. Rev. Mat. Iberoamericana , FJOURNAL =. 1995 , NUMBER =. doi:10.4171/RMI/188 , URL =
1995 doi
-
[35]
Wolff, Thomas , TITLE =. Amer. J. Math. , FJOURNAL =. 1997 , NUMBER =
1997
-
[36]
2025 , eprint=
Curved Kakeya sets and Nikodym problems on manifolds , author=. 2025 , eprint=
2025
-
[37]
Real algebraic geometry , SERIES =
Bochnak, Jacek and Coste, Michel and Roy, Marie-Fran. Real algebraic geometry , SERIES =. 1998 , PAGES =. doi:10.1007/978-3-662-03718-8 , URL =
1998 doi
-
[38]
2004 , PAGES =
Yomdin, Yosef and Comte, Georges , TITLE =. 2004 , PAGES =. doi:10.1007/b94624 , URL =
2004 doi
-
[39]
2002 , month = oct, number =
Coste, Michel , title =. 2002 , month = oct, number =
2002
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.