In this expository talk we will state and prove Gromov's topological overlap theorem. Roughly speaking, Gromov proved the existence of a constant μ > 0 so that with the following set-up:
there is a point in M with μ⋅n preimages.
The talk is based on the short paper On expansion and topological overlap by Dominic Dotterrer, Tali Kaufman, and Uli Wagner (Geom. Dedicata 195 (2018), 307–317).