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.

Solutions to the discrete Pompeiu problem and to the finite Steinhaus tiling problem

Curves in the Fourier zeros of polytopal regions and the Pompeiu problem

Nonempty interior of configuration sets via microlocal partition optimization

Intersections of sets, diophantine equations and Fourier analysis

Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. III. Foundations for the k-Dimensional Case with Applications to k=2

Colorful Intersections and Tverberg Partitions

On the Lp Minkowski Problem for Polytopes

A Mattila-Sjölin theorem for simplices in low dimensions

On the Lattes maps of P^k

Intersections of matroids

Kissing Polytopes

Solution of some tiling open problems of Propp, Lai, and some related results

Super Polyharmonic Property of Solutions for PDE Systems and Its Applications

Colored vertex models and $k$-tilings of the Aztec diamond

Intersecting families of polynomials over finite fields

Sharp inequalities for discrete and continuous multi-tiling, using the Bombieri-Siegel approach

Interior of certain sums and continuous images of very thin Cantor sets

Short proofs of three results about intersecting systems