Proof of the singularity conjecture for discrete subgroups of ${\mathrm{SL}}_2(\mathbb{R})$

Abstract

Let $\mu$ be a finitely supported probability measure on ${\mathrm{SL}}_2(\mathbb{R})$ whose support generates a Zariski-dense discrete subgroup. We prove that its stationary probability measure on ${\mathbb{P}}^1(\mathbb{R})$ is singular with respect to the $\mathrm{SO}(2)$-invariant probability measure. The proof compares winding variances on finite covers of a closed hyperbolic surface and uses a topological obstruction.

arXiv comment24 pages. Comments are very welcome