Abstract:A classical theorem due to Mattila (see \cite{Mat84}; see also \cite{M95}, Chapter 13) says that if $A,B \subset {\Bbb R}^d$ of Hausdorff dimension $s_A, s_B$, respectively, with $s_A+s_B \ge d$, $s_B>\frac{d+1}{2}$ and $dim_{\mathcal H}(A \times B)=s_A+s_B\ge d$, then $$ dim_{\mathcal H}(A \cap (z+B)) \leq s_A+s_B-d$$ for almost every $z \in {\Bbb R}^d$, in the sense of Lebesgue measure. In this paper, we replace the Hausdorff dimension on the left hand side of the first inequality above by the upper Minkowski dimension, replace the Lebesgue measure of the set of translates by a Hausdorff measure on a set of sufficiently large dimension and replace the translation and rotation group by a more general variable coefficient family of transformations. Interesting arithmetic issues arise in the consideration of sharpness examples. These results are partly motivated by those in \cite{EIT11} and \cite{IJL10} where in the former the classical regular value theorem from differential geometry was investigated in a fractal setting and in the latter discrete incidence theory is explored from an analytic standpoint. Fourier Integral Operator bounds and other techniques of harmonic analysis play a crucial role in our investigation. We also consider, in the spirit of the Furstenberg conjecture, inverse problems for intersections by asking how small a dimension of a set can be given that the dimension of its intersections with a suitably well-curved family of manifolds is bounded from below by a given threshold. Finally, we shall discuss applications of our estimates to the problem of estimating the number of solutions of systems of diophantine equations over integers.

On Fourier Asymptotics and Effective Equidistribution

Effective equidistribution of primitive rational points on expanding horospheres

Intersections of sets, diophantine equations and Fourier analysis

Effective equidistribution for multiplicative Diophantine approximation on lines

Quantitative Diophantine approximation and Fourier dimension of sets: Dirichlet non-improvable numbers versus well-approximable numbers

Effective equidistribution of large dimensional measures on affine invariant submanifolds

Effective equidistribution of Galois orbits for mildly regular test functions

Efficient Equidistribution of Nilsequences

Equidistribution of Expanding Measures with Local Maximal Dimension and Diophantine Approximation

Finitary estimates for the distribution of lattice orbits in homogeneous spaces I: Riemannian metric

Completely bounded homomorphisms of the Fourier algebra revisited

On the Fourier asymptotics of absolutely continuous measures with power-law singularities

Arithmetic Fourier transforms over finite fields: generic vanishing, convolution, and equidistribution

A short proof of Host's equidistribution theorem

On the local Fourier uniformity problem for small sets

Abelian covers of hyperbolic surfaces: equidistribution of spectra and infinite volume mixing asymptotics for horocycle flows

Margulis' Inequality for translates of horospherical orbits and applications to equidistribution

Pointwise Equidistribution with an Error Rate and with Respect to Unbounded Functions

Fourier Decay from $L^2$-Flattening

On equidistribution of polynomial sequences in quotients of $PSL_2(\mathbb{R})$

Limit distributions of expanding translates of shrinking submanifolds and non-improvability of Dirichlet's approximation theorem