Mike Hochman
(Princeton)
"Local entropy and projections of Cantor sets"
Abstract:
Given a compact set X in the plane, the image of X under orthogonal projection to almost every line has the maximal possible Hausdorff dimension, i.e. min{1,dim(X)}. An old conjecture of Furstenberg's predicts that when X=A?B, and A,B are ?2 and ?3 invariant sets in [0,1], respectively, then this should hold for every line except the trivial exceptions (those parallel to the axes). I will describe a proof of this and its measure equivalent. This is joint work with Pablo Shmerkin.