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: