Absolutely continuous Furstenberg measures for finitely-supported random walks

The author lifts arbitrary connected non-compact simple Lie group \(G\) with finite center, from conceptual precedents leveraging random walk, absolute continuity generalization of \(\mathrm{SL}_2(\mathbb{R})\) smooth density, Furstenberg measure stationary \(\nu\) on associated flag manifold \(F=G/P\) identified with \(K/M\), for maximal compact subgroup \(K\) and centralizer \(M\), via \N\begin{itemize}\N\item[(i)] [\textit{R. Boutonnet} et al., Invent. Math. 208, No. 3, 715--802 (2017; Zbl 1366.22004)] to choose symmetric finite support \(S\) near identity so that associated Markov operator \(T\) has restricted spectral gap on \(L^2(F)\) in broad generality; \N\item[(ii)] [\textit{Y. Benoist} and \textit{J.-F. Quint}, Random walks on reductive groups. Cham: Springer (2016; Zbl 1366.60002)] functional-analytic arguments to deduce stationary measure \(\nu\) density \(f\in L^2(F)\), giving \(L^2\) starting point for Sobolev regularity bootstrap; \N\item[(iii)] \(K\)-representation \(F\cong K/M\) and decomposing \(L^2(F)\) into \(K\)-isotypic components and subsequently proving growth bounds for \(\pi(g)\) on Sobolev norms (Equation (5)) so that small support controls Sobolev growth; \N\item[(iv)] applying Bourgain's iterative high/low frequency scheme (Bourgain's argument adapted with \(K\)-harmonic analysis) to get exponential decay of \(K\)-isotypic coefficients of \(f\) and concluding \(f\in H^t(F)\) for large \(t\) when support is small; and, \N\item[(v)] finally, Sobolev embedding to promote \(H^t\) regularity and hence smoothness to \(C^k\) regularity for the desired \(k\).\N\end{itemize}\N\NThe absolute continuity concept is further leveraged by:\N\begin{itemize}\N\item[(a)] The construction of measures with singular harmonic measure by \textit{V. A. Kaimanovich} and \textit{V. Le Prince} [Geom. Dedicata 150, 257--279 (2011; Zbl 1226.60105)], showing Furstenberg measures can be singular which explains why absolute continuity phenomenon requires special construction; \N\item[(b)] Bernoulli convolutions alongside absolute continuity phenomena in one-dimensional affine/random series models with foundational results by \textit{B. Solomyak} [Ann. Math. (2) 142, No. 3, 611--625 (1995; Zbl 0837.28007)] for absolute continuity contexts, viz:\N[\textit{B. Solomyak}, loc.cit] -- a seminal work that proved almost-everywhere absolute continuity in the Bernoulli convolution family for parameter ranges and introduced techniques and perspectives influential for later absolute continuity results -- and [\textit{Y. Peres} and \textit{B. Solomyak}, Math. Res. Lett. 3, No. 2, 231--239 (1996; Zbl 0867.28001)] -- which provided an alternate, simpler route to absolute continuity statements, used and referenced often in the literature on random series and self-similar measures.\N\end{itemize}

Cites work

This page was built for publication: Absolutely continuous Furstenberg measures for finitely-supported random walks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7001125)