Overview of Curved Kakeya Sets

• Curved Kakeya sets are null sets containing one curved arc from each parameterized family, generalizing the classical Kakeya problem with non‐linear objects.
• They employ geometric techniques such as tangency, compression, and curvature analysis to derive sharp dimensional bounds and maximal operator estimates.
• Variants include curved direction problems, Lie group analogues, and strong Kakeya motion properties, bridging harmonic analysis with geometric measure theory.

Curved Kakeya sets are generalizations of Kakeya and Besicovitch phenomena in which the basic geometric object is no longer only a unit line segment in every direction. In the most literal sense, a curved Kakeya set is a null set containing one representative from each member of a curved family, such as translated arcs of parabolas; in broader usage, the phrase also covers Kakeya problems with directions constrained to a curved set, geodesic or homogeneous analogues in curved ambient spaces, and motion-theoretic “strong Kakeya” properties for curved sets (Yang et al., 2024, Kroc et al., 2014, Murphy et al., 2013, Kökényesi, 2024). The modern literature is therefore not unified by a single definition, but by a common structural question: how small can a set be while still containing a continuum of geometric objects indexed by a curved parameter family?

1. Terminology and scope

The most direct Euclidean notion appears when a null set contains a piece of a curve from every member of a one-parameter family. For the parabolic model, the relevant family is

$$\Gamma_a=\{(t,a t^2): t\in[0,1]\},\qquad a\in[1,2],$$

and the associated maximal operator is

$$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$

In this setting, “a piece of a parabola of every aperture between $1$ and $2$” means that for every $a\in[1,2]$, there exists a translation $(x_1,x_2)$ such that the set contains a subarc of

$\{(x_1+t,\; x_2+a t^2): t\in I_a\}$

with $I_a\subset[0,1]$ of length comparable to $1$ (Yang et al., 2024).

A broader oscillatory-integral formulation defines, for a Hörmander phase $\phi(\mathbf x;y)$, the curves

$$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$0

and the $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$1-tubes

$$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$2

A curved Kakeya set associated with $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$3 is then a set $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$4 such that for every $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$5, there exists $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$6 with

$$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$7

(Gao et al., 14 Mar 2025, Guo et al., 25 Aug 2025).

The literature also uses “curved Kakeya” in looser but related senses. One strand studies straight line segments whose allowed directions lie in a curved subset of direction space, for example a Cantor subset of a smooth curve in $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$8; here the tubes are straight, and the curvature lies in the direction set rather than in the moving object itself (Kroc et al., 2014). Another strand studies continuous Kakeya configurations in Lie groups and homogeneous spaces, where Euclidean lines are replaced by left cosets of one-parameter subgroups and their projections; in this sense the ambient geometry is curved or non-Euclidean, even when the distinguished objects are “straight” in the intrinsic Lie-theoretic sense (Murphy et al., 2013). A separate motion-theoretic usage concerns the strong Kakeya property, where a set can be continuously moved between positions through a set of arbitrarily small area or volume; this notion applies to curved surfaces such as the curved surface of a cylinder (Kökényesi, 2024).

This terminological dispersion is a recurrent source of confusion. The genuinely curved Euclidean problem concerns null sets containing arcs of curved objects themselves; the curved-direction problem concerns straight segments with directions constrained to a curve; the Lie-group and manifold problems concern intrinsic analogues of lines or geodesics in curved ambient spaces; and the strong Kakeya property concerns small swept measure under motion rather than containment of one object from every direction family (Yang et al., 2024, Kroc et al., 2014, Murphy et al., 2013, Kökényesi, 2024).

2. From classical Besicovitch sets to genuinely curved Euclidean constructions

The classical analogy is explicit in the planar parabolic construction: a compact set $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$9 of Lebesgue measure $1$0 can contain, for every $1$1, a translated copy of a piece of length $1$2 of the graph of $1$3 (Yang et al., 2024). Here the parameter $1$4 plays the role of direction. Changing $1$5 changes the aperture of the parabola, just as changing slope changes the direction of a line in the classical Kakeya problem (Yang et al., 2024).

The same work proves a more general theorem for families

$1$6

where $1$7 satisfies

$1$8

$1$9

$2$0

Under these assumptions, there exists a compact $2$1 of measure zero containing a translated copy of a piece of length $2$2 of the graph of $2$3 for every $2$4, with vertical thickening satisfying

$2$5

(Yang et al., 2024).

The thickening is vertical: $2$6 rather than the full Euclidean $2$7-neighborhood. This is matched to the thickened maximal operator

$2$8

(Yang et al., 2024).

This planar result is significant because the paper presents it as a genuinely curved Besicovitch/Kakeya set, not merely a restriction of directions for straight needles (Yang et al., 2024). By contrast, the Cantor-direction theorem in $2$9 constructs sets containing unit line segments whose directions lie in

$a\in[1,2]$0

where $a\in[1,2]$1 is injective and bi-Lipschitz and $a\in[1,2]$2 is a generalized Cantor set; the paper explicitly notes that this is “curved Kakeya” only in the sense that the direction set lies on a curve, while the tubes themselves remain straight (Kroc et al., 2014).

A further distinction arises in finite fields. There, line Kakeya sets admit conic analogues in which lines are replaced by parabolae and hyperbolae, with direction interpreted through asymptotic behavior. A conical Kakeya set in $a\in[1,2]$3 contains, for every nonzero direction $a\in[1,2]$4, either a parabola

$a\in[1,2]$5

with $a\in[1,2]$6, or a hyperbola

$a\in[1,2]$7

with $a\in[1,2]$8 (Warren et al., 2019). Ellipses are excluded from the Kakeya definition there because, as stated in the source, an ellipse has no direction in the relevant sense (Warren et al., 2019).

3. Geometric mechanisms: tangency, compression, and curvature conditions

The planar parabolic construction is based on a refined cut-and-slide compression argument inspired by Kolasa–Wolff’s circular construction. One begins with a curvilinear strip

$a\in[1,2]$9

subdivides it into $(x_1,x_2)$0 thinner strips, and then repeatedly translates selected strips so that neighboring boundaries become tangent at prescribed points

$(x_1,x_2)$1

Tangency forces efficient overlap, and after $(x_1,x_2)$2 steps the resulting stage-$(x_1,x_2)$3 set satisfies

$(x_1,x_2)$4

With $(x_1,x_2)$5, this yields the neighborhood bound

$(x_1,x_2)$6

(Yang et al., 2024).

A central lemma shows that if two rescaled copies are translated to be tangent, then the translated higher-aperture graph stays above the lower-aperture one globally: $(x_1,x_2)$7 The proof uses the structural inequality

$(x_1,x_2)$8

This is one of the points where the argument genuinely uses curvature rather than merely a nonlinear parameterization (Yang et al., 2024).

The paper emphasizes why curvature helps. For lines, tangency is impossible except coincidence; for curves, nearby members can be translated to become tangent at chosen points; and the second-order nature of tangency yields the $(x_1,x_2)$9 compression (Yang et al., 2024). This suggests a geometric principle: curvature creates new overlap mechanisms unavailable in the straight-line setting.

That principle reappears in more recent three-dimensional work. New lower bounds for curved Kakeya sets in $\{(x_1+t,\; x_2+a t^2): t\in I_a\}$0 are proved by combining Wolff’s hairbrush argument with a new incidence theorem for 3-parameter families of curves satisfying “coniness” and “twistiness” (Nadjimzadah, 20 Mar 2025). In that framework, a smooth 3-parameter family

$\{(x_1+t,\; x_2+a t^2): t\in I_a\}$1

is called $\{(x_1+t,\; x_2+a t^2): t\in I_a\}$2-coney if

$\{(x_1+t,\; x_2+a t^2): t\in I_a\}$3

and $\{(x_1+t,\; x_2+a t^2): t\in I_a\}$4-twisty if the tangency matrix $\{(x_1+t,\; x_2+a t^2): t\in I_a\}$5 satisfies

$\{(x_1+t,\; x_2+a t^2): t\in I_a\}$6

(Nadjimzadah, 20 Mar 2025). Coniness governs large-angle transversality, while twistiness controls second-order nondegeneracy of projected plane curves (Nadjimzadah, 20 Mar 2025).

At the opposite extreme lie compression examples. For translation-invariant phases,

$\{(x_1+t,\; x_2+a t^2): t\in I_a\}$7

Bourgain’s example

$\{(x_1+t,\; x_2+a t^2): t\in I_a\}$8

shows that translation invariance alone does not prevent extreme Kakeya compression (Gao et al., 14 Mar 2025). In the axiomatic curved Kakeya setting, explicit examples can force the curves to lie in a low-dimensional surface; one example in $\{(x_1+t,\; x_2+a t^2): t\in I_a\}$9 produces curves contained in

$I_a\subset[0,1]$0

so that a corresponding curved Kakeya set can have Hausdorff dimension only $I_a\subset[0,1]$1 (Venieri, 2017). These examples delimit what any general theory can prove.

4. Maximal operators, dimensional bounds, and sharpness phenomena

The planar construction of a curved Besicovitch set has immediate maximal-operator consequences. Writing

$I_a\subset[0,1]$2

the construction gives

$I_a\subset[0,1]$3

and hence

$I_a\subset[0,1]$4

In the parabolic case, this improves the lower bound from

$I_a\subset[0,1]$5

to

$I_a\subset[0,1]$6

(Yang et al., 2024).

The same paper compares these lower bounds with known upper bounds such as

$I_a\subset[0,1]$7

and

$I_a\subset[0,1]$8

It explicitly records two open problems: improving the $I_a\subset[0,1]$9 upper bound beyond $1$0, and removing the $1$1-loss in the range $1$2 (Yang et al., 2024).

In the broader Hörmander-phase setting, a central theme is whether curved Kakeya geometry can be reduced to the classical Euclidean problem. For translation-invariant phases satisfying Bourgain’s condition, there exists a diffeomorphism $1$3 such that

$1$4

with $1$5 having a non-degenerate Hessian (Gao et al., 14 Mar 2025). Consequently, the corresponding curved Kakeya sets are mapped via a diffeomorphism to standard Kakeya sets in $1$6 (Gao et al., 14 Mar 2025). The associated curved maximal estimate

$1$7

is then equivalent to the Euclidean Kakeya maximal estimate $1$8 in that regime (Gao et al., 14 Mar 2025).

At the same time, genuinely curved families in $1$9 can exceed what polynomial partitioning had achieved. For a class of translation-invariant negatively curved phases satisfying an explicit open condition on derivatives of $\phi(\mathbf x;y)$0, the new curved Kakeya estimate gives

$\phi(\mathbf x;y)$1

thereby improving on the $\phi(\mathbf x;y)$2 barrier (Nadjimzadah, 20 Mar 2025).

A different line of work treats generic Hörmander phases in odd dimensions. For each odd $\phi(\mathbf x;y)$3, there is an open dense subset $\phi(\mathbf x;y)$4 such that for every $\phi(\mathbf x;y)$5, every associated curved Kakeya set satisfies

$\phi(\mathbf x;y)$6

for some positive $\phi(\mathbf x;y)$7 (Guo et al., 25 Aug 2025). In $\phi(\mathbf x;y)$8, the explicit generic bound is

$\phi(\mathbf x;y)$9

(Guo et al., 25 Aug 2025). The paper states that this exceeds the classical compression threshold $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$00 in odd dimensions (Guo et al., 25 Aug 2025).

The finite-field analogue is algebraic rather than metric. For conical Kakeya sets in $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$01, the baseline lower bound is

$$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$02

and a multiplicity argument improves this to

$$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$03

(Warren et al., 2019). This does not transfer directly to Euclidean dimension theory, but it shows that polynomial-method techniques remain effective when lines are replaced by certain degree-two curves.

5. Variants beyond genuinely curved Euclidean needles

A substantial part of the literature concerns structures adjacent to, rather than identical with, genuinely curved Euclidean Kakeya sets.

One such variant is the restricted-direction problem. For a generalized Cantor set $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$04 and an injective bi-Lipschitz map

$$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$05

the direction set

$$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$06

admits Kakeya-type sets in $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$07 (Kroc et al., 2014). Here “admits Kakeya-type sets” means that there exist tube unions $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$08 and elongated unions $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$09 such that

$$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$10

The associated directional maximal operator $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$11 and Kakeya-Nikodym maximal operator $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$12 are unbounded on $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$13 for every $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$14 (Kroc et al., 2014). The paper explicitly states, however, that this is not a theory of genuinely curved needles; the curvature enters only through the one-parameter geometry of the direction set $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$15 (Kroc et al., 2014).

Another variant arises from line families with hidden curvature after projection. In the $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$16 Kakeya problem in $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$17, the admissible lines are

$$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$18

Although these are straight lines, the paper shows that locally they become quadratic plane curves under the twisting projection

$$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$19

and the resulting plane curves are graphs

$$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$20

(Katz et al., 2022). Every $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$21 Kakeya set in $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$22 has Hausdorff dimension $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$23 (Katz et al., 2022). This suggests that some constrained line families are best understood using curved Kakeya methods even though the original objects are straight.

A third variant is ambient-geometry generalization. In a connected Lie group $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$24 with Lie algebra $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$25, a continuous unoriented Kakeya line configuration is a continuous map

$$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$26

with underlying set

$$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$27

For linear configurations one has $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$28, for taut configurations $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$29 contains an open neighborhood of the identity and hence has positive Haar measure, and in connected nilpotent Lie groups every continuous unoriented Kakeya line configuration satisfies

$$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$30

(Murphy et al., 2013). In homogeneous spaces such as

$$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$31

the projected distinguished curves become great circles or constant curves (Murphy et al., 2013). This is a curved Kakeya theory in the sense of homogeneous geometry rather than in the sense of curved Euclidean arcs.

The manifold setting sharpens this perspective. On manifolds with constant sectional curvature, geodesics can be straightened by an explicit diffeomorphism: projective projection for $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$32 and the Beltrami–Klein model for $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$33 (Gao et al., 14 Mar 2025). As a result, Nikodym problems on constant-curvature manifolds reduce to Euclidean Kakeya problems; in particular, the Nikodym conjecture in dimension $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$34 follows from Wang–Zahl’s Euclidean result (Gao et al., 14 Mar 2025). A plausible implication is that, in this regime, curvature of the ambient manifold does not create a genuinely new Kakeya geometry but rather a diffeomorphic avatar of the Euclidean one.

6. Motion-theoretic strong Kakeya properties and curved sets

A distinct but related branch studies the strong Kakeya property. A set in $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$35 has the strong Kakeya property if for any two of its positions, it can be continuously moved between them in an arbitrarily small area or volume (Kökényesi, 2024). This is a motion problem, not a containment problem.

In the planar theorem of Davies-type strengthening, for every $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$36 there exists a continuous motion of the unit square during which every initially vertical line segment sweeps at most $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$37 area while the square does a full rotation (Kökényesi, 2024). This segmentwise control is the mechanism used to lift the construction to $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$38.

The main three-dimensional structural criterion is cylinderlikeness. A compact set $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$39 is cylinderlike if there exists $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$40 such that for almost all $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$41, the slice

$$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$42

can be covered by $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$43 vertical lines; it is cylinderlike from direction $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$44 if this holds in a coordinate system whose $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$45-axis is parallel to $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$46 (Kökényesi, 2024). If $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$47 is cylinderlike from two non-parallel directions $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$48, then $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$49 has the strong Kakeya property (Kökényesi, 2024).

The flagship curved example is the curved surface of a cylinder. The paper states as a corollary that the curved surface of a cylinder has the strong Kakeya property, and that the finite union of parallel curved cylinder surfaces also possesses the strong Kakeya property (Kökényesi, 2024). It also proves analogous results for classes of extruded sets $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$50, including cases where $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$51 can be covered by a finite union of graphs of Lipschitz functions or by a finite number of monotonic functions (Kökényesi, 2024).

This literature is often grouped with curved Kakeya themes because it extends Kakeya-type small-measure phenomena to genuinely curved sets. Nevertheless, the operative notion is different: the object is moved through a small-volume region, rather than selected once from every member of a parameter family (Kökényesi, 2024).

7. Limitations, obstructions, and current directions

A recurring limitation is that curvature does not automatically improve Kakeya behavior. Translation invariance can coexist with extreme compression, as Bourgain’s example shows (Gao et al., 14 Mar 2025). In the axiomatic curved Kakeya framework, the failure of nondegeneracy can allow two curves essentially to share a tangent, enlarging tube intersections and causing the key overlap estimate to fail (Venieri, 2017). Some families even force all curves into a surface of low dimension (Venieri, 2017).

This is why structural conditions matter. In the planar curved Besicovitch construction, the assumptions

$$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$52

are used to enforce monotonicity and global ordering after tangential translation (Yang et al., 2024). In the translation-invariant Hörmander setting, Bourgain’s condition is the decisive hypothesis for straightening to Euclidean lines (Gao et al., 14 Mar 2025). In the generic odd-dimensional setting, the finite contact order condition blocks the worst compression and yields the lower bound

$$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$53

(Guo et al., 25 Aug 2025). In the $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$54 incidence approach, coniness and twistiness identify a geometric regime that is neither line-like nor compressible into surfaces (Nadjimzadah, 20 Mar 2025).

Another limitation is that different curved Kakeya notions are not interchangeable. The Cantor-direction theorem shows unboundedness of directional maximal operators for extremely sparse direction sets, but it does not produce genuinely curved needles (Kroc et al., 2014). The Lie-group theory proves that continuous configurations are large—often all of $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$55—but this is a topological statement about continuous motion through one-parameter subgroups, not a Besicovitch-type null-set construction (Murphy et al., 2013). The strong Kakeya property for the curved surface of a cylinder concerns small swept volume under motion, not one representative from every curved parameter value (Kökényesi, 2024). Misidentifying these settings can obscure what has actually been proved.

Several concrete open problems remain. In the planar maximal-operator problem attached to parabolas, improving the upper bound

$$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$56

toward logarithmic growth is explicitly posed as open, as is the question of whether the $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$57-loss can be removed in the range $$\mathcal P f(a)=\sup_{(x_1,x_2)\in \mathbb R^2}\int_0^1 |f(x_1+t,x_2+a t^2)|\,dt.$$58 (Yang et al., 2024). In the strong Kakeya literature, it remains unknown whether all non-complete circular arcs possess the strong Kakeya property (Kökényesi, 2024). In the Lie-group setting, the paper poses a Lie analogue of the Kakeya conjecture, asking whether every Kakeya-Besicovitch subset of a connected Lie group must have full Hausdorff dimension (Murphy et al., 2013). In the manifold and phase-function settings, the constant-curvature and Bourgain-condition regimes are now well understood as reducible to Euclidean Kakeya geometry, but the genuinely curved, non-straightenable regime continues to drive new lower-bound methods (Gao et al., 14 Mar 2025, Nadjimzadah, 20 Mar 2025, Guo et al., 25 Aug 2025).

Taken together, these developments show that “curved Kakeya sets” names a family of related problems rather than a single theorem. Its most literal core is the existence and analysis of null sets containing one curved arc from every member of a parameterized family, exemplified by the planar parabolic construction (Yang et al., 2024). Around that core lie several adjacent theories—curved directions, hidden curvature in constrained line families, geodesic and homogeneous analogues, and strong Kakeya motion problems—each importing the Kakeya paradigm into a different geometric setting (Kroc et al., 2014, Katz et al., 2022, Murphy et al., 2013, Kökényesi, 2024).