Intersections of projections and slicing theorems for the isotropic Grassmannian and the Heisenberg group (Q1987314)

The author proves: (i) if \(A\) and \(B\) are Borel subsets of \({\mathbb R}^{2n}\) of dimension greater than \(m\), then for a positive measure set of isotropic \(m\)-planes, the intersection of the images of \(A\) and \(B\) under orthogonal projections onto these planes has positive Hausdorff \(m\)-measure; (ii) if \(A\) is a measurable set of Hausdorff dimension greater than \(m\), then there is a set \(B\subseteq {\mathbb R}^{2n}\) of dimension smaller than \(m\) such that for all \(x\in {\mathbb R}^{2n}\setminus B\) there is a positive measure set of isotropic \(m\)-planes for which the translate by \(x\) of the orthogonal complement of each such plane, intersects \(A\) on a set of codimension \(m\). These results are then applied to obtain analogous results on the \(n^{th}\) Heisenberg group.