Paper detail

The Furstenberg Poisson Boundary and CAT(0) Cube Complexes

We show under weak hypotheses that $\partial X$, the Roller boundary of a finite dimensional CAT(0) cube complex $X$ is the Furstenberg-Poisson boundary of a sufficiently nice random walk on an acting group $Γ$. In particular, we show that if $Γ$ admits a nonelementary proper action on $X$, and $μ$ is a generating probability measure of finite entropy and finite first logarithmic moment, then there is a $μ$-stationary measure on $\partial X$ making it the Furstenberg-Poisson boundary for the $μ$-random walk on $Γ$. We also show that the support is contained in the closure of the regular points. Regular points exhibit strong contracting properties.