Restricted families of projections onto planes: The general case of nonvanishing geodesic curvature (2107.14701v3)

Abstract: 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.