A zero-one law for invariant measures and a local limit theorem for coefficients of random walks on the general linear group (Q2080812)

The authors prove the zero-one law for the stationary measure for algebraic sets. This result generalizes findings of \textit{H. Furstenberg} [Proc. Sympos. Pure Math. 26, 193--229 (1973; Zbl 0289.22011)] and \textit{Y. Guivarc'h} and \textit{É. Le Page} [Ann. Inst. Henri Poincaré, Probab. Stat. 52, No. 2, 503--574 (2016; Zbl 1357.60010)]. As an application a local limit theorem for the coefficients of random walks on the general linear group is established.