Somewhat belatedly, here’s the expository paper I wrote for the ICM Proceedings: a short overview of my work with Malabika Pramanik, Vincent Chan and Kyle Hambrook on harmonic analytic estimates for singular measures supported on fractal sets.
The connection between Fourier-analytic properties of measures and geometric characteristics of their supports has long been a major theme in Euclidean harmonic analysis. This includes classic estimates on singular and oscillatory integrals associated with surface measures on manifolds, with ranges of exponents depending on geometric issues such as dimension, smoothness and curvature.
In the last few years, much of my research has focused on developing a similar theory for fractal measures supported on sets of possibly non-integer dimension. This includes the case of ambient dimension 1, where there are no non-trivial lower-dimensional submanifolds but many interesting fractal sets. The common thread running through this work is that, from the point of view of harmonic analysis, “randomness” for fractals is often a useful analogue of curvature for manifolds. Thus, “random” fractals (constructed through partially randomized procedures) tend to behave like curved manifolds such as spheres, whereas fractals exhibiting arithmetic structure (for instance, the middle-thirds Cantor set) behave like flat surfaces. There is a clear connection, at least on the level of ideas if not specific results, to additive combinatorics, where various notions of “randomness” and “arithmetic structure” in sets of integers play a key role.
The paper discusses three specific questions that I have worked on: restriction estimates, differentiation estimates, and Szemeredi-type results. I’ve also mentioned some open problems. At this point, I feel like we’re only started to scratch the surface here; there is much more left to do, for example optimizing the exponents in some of the estimates I’ve mentioned and, perhaps more importantly, figuring out what properties of fractal measures determine such exponents.