A non-linear version of Bourgain's projection theorem

DOI10.4171/JEMS/1283MaRDI QIDQ6056483zbMATH OpenOpenAlexWikidataFDO

Authors Pablo Shmerkin

Publication date 30 October 2023

Published in Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2003.01636

zbMATH Keywords

distance setsHausdorff dimensionincidencesLipschitz functionspatternspinned distance setsprojection theorems

Mathematics Subject Classification ID

Extremal combinatorics (05D99) Lipschitz (Hölder) classes (26A16) Length, area, volume, other geometric measure theory (28A75) Fractals (28A80) Geometric measure and integration theory, integral and normal currents in optimization (49Q15)

Abstract: We prove a version of Bourgain's projection theorem for parametrized families of $C^2$ maps, that refines the original statement even in the linear case. As one application, we show that if $A$ is a Borel set of Hausdorff dimension close to $1$ in $mathbb{R}^2$ or close to $3/2$ in $mathbb{R}^3$, then for $yinA$ outside of a very sparse set, the pinned distance set $|x-y|:xinA$ has Hausdorff dimension at least $1/2+c$, where $c$ is universal. Furthermore, the same holds if the distances are taken with respect to a $C^2$ norm of positive Gaussian curvature. As further applications, we obtain new bounds on the dimensions of spherical projections, and an improvement over the trivial estimate for incidences between $delta$-balls and $delta$-neighborhoods of curves in the plane, under fairly general assumptions. The proofs depend on a new multiscale decomposition of measures into ``Frostman pieces that may be of independent interest.

Review text

Summary: We prove a version of Bourgain's projection theorem for parametrized families of \(C^2\) maps, which refines the original statement even in the linear case by requiring non-concentration only at a single natural scale. As one application, we show that if \(A\) is a Borel set of Hausdorff dimension close to \(1\) in \(\mathbb{R}^2\) or close to \(3/2\) in \(\mathbb{R}^3\), then for \(y\in A\) outside of a very sparse set, the pinned distance set \(\{|x-y|:x\in A\}\) has Hausdorff dimension at least \(1/2+c\), where \(c\) is universal. Furthermore, the same holds if the distances are taken with respect to a \(C^2\) norm of positive Gaussian curvature. As further applications, we obtain new bounds on the dimensions of spherical projections, and an improvement over the trivial estimate for incidences between \(\delta \)-balls and \(\delta \)-neighborhoods of curves in the plane, under fairly general assumptions. The proofs depend on a new multiscale decomposition of measures into ``Frostman pieces that may be of independent interest.

Recommendations

• A nonlinear projection theorem for Assouad dimension and applications
• Orthogonal projections of discretized sets
• Restricted families of projections onto planes: the general case of nonvanishing geodesic curvature
• New bounds on the dimensions of planar distance sets
• Improved bounds for restricted families of projections to planes in \(\mathbb{R}^3\)

Cites work

• An L^2-identity and pinned distance problem
• An improved bound on the Hausdorff dimension of Besicovitch sets in \(\mathbb {R}^3\)
• Fourier analysis and Hausdorff dimension
• Hausdorff dimension and the exceptional set of projections
• Hausdorff dimension of pinned distance sets and the \(L^2\)-method
• Improved bounds for the dimensions of planar distance sets
• Incidence estimates for well spaced tubes
• Local entropy averages and projections of fractal measures
• New bounds on the dimensions of planar distance sets
• On distance sets, box-counting and Ahlfors regular sets
• On Falconer's distance set problem in the plane
• On Hausdorff dimension of projections
• On self-similar sets with overlaps and inverse theorems for entropy
• On the dimension and smoothness of radial projections
• On the distance sets of Ahlfors-David regular sets
• On the Erdős-Volkmann and Katz-Tao ring conjectures
• On the Hausdorff dimension of pinned distance sets
• On the Hausdorff dimensions of distance sets
• Orthogonal projections of discretized sets
• Quantitative visibility estimates for unrectifiable sets in the plane
• Sharp \(L^2\) estimates of the Schrödinger maximal function in higher dimensions
• Some connections between Falconer's distance set conjecture and sets of Furstenburg type
• Stationary measures and equidistribution for orbits of nonabelian semigroups on the torus
• The discretized sum-product and projection theorems

Cited in

(17)

• Transversal families of nonlinear projections and generalizations of Favard length
• Projection theorems for linear-fractional families of projections
• On the Hausdorff dimension of Furstenberg sets and orthogonal projections in the plane
• Slices and distances: on two problems of Furstenberg and Falconer
• A nonlinear projection theorem for Assouad dimension and applications
• Kaufman and Falconer estimates for radial projections and a continuum version of Beck's theorem
• On the dimension of exceptional parameters for nonlinear projections, and the discretized Elekes-Rónyai theorem
• On the Hausdorff dimension of radial slices
• On the discretised ABC sum-product problem
• Dimensions of Furstenberg sets and an extension of Bourgain's projection theorem
• Sticky Kakeya sets and the sticky Kakeya conjecture
• Radial projection theorems in finite spaces
• On the distance sets spanned by sets of dimension \(d/2\) in \(\mathbb{R}^d\)
• Khintchine dichotomy for self-similar measures
• Projections, Furstenberg sets, and the ABC sum-product problem
• Two-ends Furstenberg estimates in the plane
• Asymmetric sum-product theorems for Katz-Tao sets

This page was built for publication: A non-linear version of Bourgain's projection theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6056483)