2022/07/28 by Gan, Shengwen, Guo, Shaoming, Guth, Larry +3
#Classical Analysis and ODEs (math.CA) #FOS: Mathematics #Metric Geometry (math.MG)
paper · doi:10.48550/arxiv.2207.13844
Let γ:[0,1]→ \mathbbS2 be a non-degenerate curve in ℝ3, that is to say, det(γ(θ),γ'(θ),γ"(θ))≠ 0. For each θ∈[0,1], let Vθ=γ(θ)^⊥ and let πθ:ℝ3→ Vθ be the orthogonal projections. We prove that if A⊂ ℝ3 is a Borel set, then for a.e. θ∈ [0,1] we have dim(πθ(A))=min\2,dim A\. More generally, we prove an exceptional set estimate. For A⊂ℝ3 and 0≤ s≤ 2, define Es(A):=\θ∈[0,1]: dim(πθ(A))2, then for a.e. θ∈[0,1] we have H2(πθ(A))>0.