Georgia Institute of Technology College of Sciences

In his celebrated paper on area distortion under planar quasiconformal mappings (Acta 1994), K. Astala proved that a compact set E of Hausdorff dimension d is mapped under a K-quasiconformal map f to a set fE of Hausdorff dimension at most d' = \frac{2Kd}{2+(K-1)d}, and he proved that this result is sharp. He conjectured (Question 4.4) that if the Hausdorff measure \mathcal{H}^d (E)=0, then \mathcal{H}^{d'} (fE)=0. This conjecture was known to be true if d'=0 (obvious), d'=2 (Ahlfors), and more recently d'=1 (Astala, Clop, Mateu, Orobitg and UT, Duke 2008.) The approach in the last mentioned paper does not generalize to other dimensions. Astala's conjecture was shown to be sharp (if it was true) in the class of all Hausdorff gauge functions in work of UT (IMRN, 2008). Finally, we (Lacey, Sawyer and UT) jointly proved completely Astala's conjecture in all dimensions. The ingredients of the proof come from Astala's original approach, geometric measure theory, and some new weighted norm inequalities for Calderon-Zygmund singular integral operators which cannot be deduced from the classical Muckenhoupt A_p theory. These results are intimately related to (not yet fully understood) removability problems for various classes of quasiregular maps. The talk will be self-contained.