On the regularity of stationary measures (Q1670332)

Let \(G\) be a connected real semisimple Lie group and \(P\subseteq G\) be a parabolic subgroup, i.e., a subgroup which contains a minimal parabolic subgroup \(P_{\min}\) (the latter being the normalizer of some maximal unipotent subgroup of \(G\)). If \(\mu\) is a Borel probability measure on \(G\), then a probability measure \(\nu\) on \(X:=G/P\) is called \(\mu\)-stationary if \(\nu=\mu*\nu\) where \(\mu * \nu=\int_G g_*(\nu)\, d\mu(g)\). Let \(\Gamma_\mu\) be the subgroup of \(G\) generated by the support of \(\mu\). If \(\Gamma_\mu\) is Zariski-dense in \(G\), it is known from the work of \textit{H. Furstenberg} [Proc. Sympos. Pure Math. 26, Williamstown 1972, 193--229 (1973; Zbl 0289.22011)] as well as \textit{I. Ya. Gol'dshejd} and \textit{G. A. Margulis} [Russ. Math. Surv. 44, No. 5, 11--71 (1989; Zbl 0705.60012); translation from Usp. Mat. Nauk 44, No. 5(269), 13--60 (1989)] that there is a unique probability measure \(\nu\) on \(X\) which is \(\mu\)-stationary (the Furstenberg measure). The main result (Theorem 1.2) of the authors shows: If \(G\) is a connected semisimple real Lie group, \(P\) a parabolic subgroup of \(G\) and \(k\) a positive integer, then there exists a finitely supported probability measure \(\mu\) on \(G\) for which \(\Gamma_\mu\) is topologically dense in \(G\) and such that the \(\mu\)-stationary Furstenberg measure \(\nu\) on the flag variety \(G/P\) of \(G\) has a \(C^k\)-smooth density.