English

On restricted projections to planes in $\mathbb{R}^3$

Classical Analysis and ODEs 2024-03-27 v2 Metric Geometry

Abstract

Let γ:[0,1]S2\gamma:[0,1]\rightarrow \mathbb{S}^{2} be a non-degenerate curve in R3\mathbb{R}^3, that is to say, det(γ(θ),γ(θ),γ"(θ))0\det\big(\gamma(\theta),\gamma'(\theta),\gamma"(\theta)\big)\neq 0. For each θ[0,1]\theta\in[0,1], let Vθ=γ(θ)V_\theta=\gamma(\theta)^\perp and let πθ:R3Vθ\pi_\theta:\mathbb{R}^3\rightarrow V_\theta be the orthogonal projections. We prove that if AR3A\subset \mathbb{R}^3 is a Borel set, then for a.e. θ[0,1]\theta\in [0,1] we have dim(πθ(A))=min{2,dimA}\text{dim}(\pi_\theta(A))=\min\{2,\text{dim} A\}. More generally, we prove an exceptional set estimate. For AR3A\subset\mathbb{R}^3 and 0s20\le s\le 2, define Es(A):={θ[0,1]:dim(πθ(A))<s}E_s(A):=\{\theta\in[0,1]: \text{dim}(\pi_\theta(A))<s\}. We have dim(Es(A))1+sdim(A)\text{dim}(E_s(A))\le 1+s-\text{dim}(A). We also prove that if dim(A)>2\text{dim}(A)>2, then for a.e. θ[0,1]\theta\in[0,1] we have H2(πθ(A))>0\mathcal{H}^2(\pi_\theta (A))>0.

Keywords

Cite

@article{arxiv.2207.13844,
  title  = {On restricted projections to planes in $\mathbb{R}^3$},
  author = {Shengwen Gan and Shaoming Guo and Larry Guth and Terence L. J. Harris and Dominique Maldague and Hong Wang},
  journal= {arXiv preprint arXiv:2207.13844},
  year   = {2024}
}

Comments

39 pages, 2 figures; accepted by Amer. J. Math

R2 v1 2026-06-25T01:17:31.796Z