Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
We prove that admissible random walks on cocompact hyperbolic lattices containing a convex cocompact codimension-one subgroup yield hitting measures singular with respect to the boundary's Lebesgue measure. This is achieved by extending Kosenko-Tiozzo's method, substituting Fourier analysis with a von Neumann dimension argument applicable to nonabelian subgroups. The result resolves the singularity conjecture for several classes of hyperbolic lattices, including those with cubulations, Kleinian groups, and totally geodesic sublattices.
Finitely supported random walks on hyperbolic lattices with convex cocompact subgroups generate hitting measures that are provably singular with respect to the boundary's Lebesgue measure.
Let $Γ<\mathrm{Isom}(\mathbb H^n)$, $n\geq2$, be a cocompact lattice containing a convex cocompact codimension-one subgroup in the sense of Sageev. We prove that every finitely supported admissible random walk on $Γ$ has hitting measure singular with respect to Lebesgue measure on $\partial\mathbb H^n$. The proof extends the method of Kosenko--Tiozzo, replacing Fourier analysis for a cyclic subgroup by a von Neumann dimension argument that also applies to nonabelian subgroups. As corollaries, we prove the singularity conjecture of Kaimanovich and Le Prince for cocompact hyperbolic lattices admitting a proper cocompact cubulation, cocompact Kleinian groups, and cocompact hyperbolic lattices with totally geodesic sublattices of codimension one. In particular, our result covers all cocompact hyperbolic reflection groups, cocompact arithmetic lattices of simplest type and cocompact nonarithmetic lattices arising from the hybrid and inbreeding constructions.