Absolute continuity and dimension conservation for self-similar sets and measures

Let $A\subset {\mathbb{R}}^d$, $d\ge 3$, be a self-similar set whose defining rotations generate a dense subgroup of $SO(d)$. For every integer $1\le k<{\dim }_{H}A$, we prove that its orthogonal projections ${\pi }_{V}A$ have uniformly positive $k$-dimensional Lebesgue measure, and that their fibres have Hausdorff dimension ${\dim }_{H}A-k$ at Lebesgue-almost every point of the projected image. This follows from an absolute-continuity theorem for equicontractive self-similar measures $\mu$ with the same rotation hypothesis and finite $t$-energy for some $t>k$. Every projected measure $({\pi }_V{)}_{\ast }\mu$ has a density $f_V$ satisfying ${\int }_{\{f_V>M\}}{f}_{V}d{\mathcal{L}}_V^k\lesssim e^{-c(\log M{)}^{1/3}}$ as $M\to \infty$, uniformly in $V$. Under strong separation, the conditional measures on the fibres are almost surely exact dimensional of dimension ${\dim }_H\mu -k$. The key novelty is to apply Varj\'u's $L^2$ estimate under dense rotations to $L^1$ smoothing increments of martingale-difference type similarly as Fourier decay is studied. This method requires no uniform spectral gap assumption.