Restricted families of projections onto planes: The general case of nonvanishing geodesic curvature

Abstract

It is shown that if $γ: [a,b] \to S^2$ is $C^3$ with $\det(γ, γ', γ'') \neq 0$, and if $A \subseteq \mathbb{R}^3$ is a Borel set, then $\dim π_θ (A) \geq \min\left\{ 2,\dim A, \frac{ \dim A}{2} + \frac{3}{4} \right\}$ for a.e. $θ\in [a,b]$, where $π_θ$ denotes projection onto the orthogonal complement of $γ(θ)$ and ``$\dim$'' refers to Hausdorff dimension. This partially resolves a conjecture of Fässler and Orponen in the range $1< \dim A \leq 3/2$, which was previously known only for non-great circles. For $3/2 < \dim A < 5/2$ this improves the known lower bound for this problem.