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

It is shown that if $\gamma: [a,b] \to S^2$ is $C^3$ with $\det(\gamma, \gamma', \gamma'') \neq 0$, and if $A \subseteq \mathbb{R}^3$ is a Borel set, then $\dim \pi_{\theta} (A) \geq \min\left\{ 2,\dim A, \frac{ \dim A}{2} + \frac{3}{4} \right\}$ for a.e. $\theta \in [a,b]$, where $\pi_{\theta}$ denotes projection onto the orthogonal complement of $\gamma(\theta)$ and ``$\dim$'' refers to Hausdorff dimension. This partially resolves a conjecture of F\"assler 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.Comment: 30 pages. One figure from arXiv:1911.00615 is reused. V2: two references added + minor corrections. V3: Minor corrections, accepted versio