1858a53dc18596dc.tex
1: \begin{abstract}
2:   Let $G$ be a countably infinite group, and let $\mu$ be a generating
3:   probability measure on $G$. We study the space of $\mu$-stationary
4:   Borel probability measures on a topological $G$ space, and in
5:   particular on $Z^G$, where $Z$ is any perfect Polish space. We also
6:   study the space of $\mu$-stationary, measurable $G$-actions on a
7:   standard, nonatomic probability space.
8: 
9:   Equip the space of stationary measures with the weak* topology. When
10:   $\mu$ has finite entropy, we show that a generic measure is an
11:   essentially free extension of the Poisson boundary of $(G,\mu)$.
12:   When $Z$ is compact, this implies that the simplex of
13:   $\mu$-stationary measures on $Z^G$ is a Poulsen simplex. We show
14:   that this is also the case for the simplex of stationary measures on
15:   $\{0,1\}^G$.
16:    
17:   We furthermore show that if the action of $G$ on its Poisson
18:   boundary is essentially free then a generic measure is isomorphic to
19:   the Poisson boundary.
20:  
21:   Next, we consider the space of stationary actions, equipped with a
22:   standard topology known as the weak topology. Here we show that when
23:   $G$ has property (T), the ergodic actions are meager. We also
24:   construct a group $G$ without property (T) such that the ergodic
25:   actions are not dense, for some $\mu$.
26: 
27:   Finally, for a weaker topology on the set of actions, which we call
28:   the very weak topology, we show that a dynamical property (e.g.,
29:   ergodicity) is topologically generic if and only if it is generic in
30:   the space of measures. There we also show a Glasner-King type 0-1
31:   law stating that every dynamical property is either meager or
32:   residual.
33: \end{abstract}
34: