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.

Non-Salem sets in multiplicative Diophantine approximation

Multiplicative Diophantine approximation with restricted denominators

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

Dimension of Diophantine approximation and applications

The Duffin-Schaeffer Conjecture for multiplicative Diophantine approximation

The exceptional set for Diophantine approximation with mixed powers of prime variables

Fourier Dimension Estimates for Sets of Exact Approximation Order: The Badly-Approximable Case

Inhomogeneous Diophantine Approximation on $M_0$-sets

Exact Diophantine approximation$\colon$ the simultaneous case in $\mathbb{R}^{2}$

Counting rationals and diophantine approximation in missing-digit Cantor sets

Large Salem Sets Avoiding Nonlinear Configurations

Multiplicities in the length spectrum and growth rate of Salem numbers

Diophantine approximation with a quaternary problem

A Non-Trivial Minoration for the Set of Salem Numbers

Diophantine approximation with arithmetic functions, I

Diophantine approximation and the Mass Transference Principle: incorporating the unbounded setup

Intersections of sets, diophantine equations and Fourier analysis

A new generalization of Fermat's Last Theorem

Littlewood and Duffin--Schaeffer-type problems in diophantine approximation

Iterated differences sets, diophantine approximations and applications

Near-optimal restriction estimates for Cantor sets on the parabola