Multislicing and effective equidistribution for random walks on some homogeneous spaces

Abstract

We consider a random walk on a homogeneous space $G/\hat{I}›$ where $G$ is $\mathrm{SO}(2,1)$ or $\mathrm{SO}(3,1)$ and $\hat{I}›$ is a lattice. The walk is driven by a probability measure $\hat{I}¼$ on $G$ whose support generates a Zariski-dense subgroup. We show that for every starting point $x\in G/\hat{I}›$ which is not trapped in a finite $\hat{I}¼$-invariant set, the $n$-step distribution $\hat{I}{¼}^{\ast n}\ast \hat{I}{´}_x$ of the walk equidistributes toward the Haar measure. Moreover, under arithmetic assumptions on the pair $(\hat{I}›,\hat{I}¼)$, we show the convergence occurs at an exponential rate, tempered by the obstructions that $x$ may be high in a cusp or close to a finite orbit. Our approach is substantially different from that of Benoist-Quint, whose equidistribution statements only hold in Cesà ro average and are not quantitative, that of Bourgain-Furman-Lindenstrauss-Mozes concerning the torus case, and that of Lindenstrauss-Mohammadi-Wang and Yang about the analogous problem for unipotent flows. A key new feature of our proof is the use of a new phenomenon which we call multislicing. The latter is a generalization of the discretized projection theorems à la Bourgain and we believe it presents independent interest.

76 pages, accepted to Annals of Math