Stationary characters on lattices of semisimple Lie groups

We show that stationary characters on irreducible lattices Γ<G\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\Gamma < G$\end{document} of higher-rank connected semisimple Lie groups are conjugation invariant, that is, they are genuine characters. This result has several applications in representation theory, operator algebras, ergodic theory and topological dynamics. In particular, we show that for any such irreducible lattice Γ<G\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\Gamma < G$\end{document}, the left regular representation λΓ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\lambda _{\Gamma }$\end{document} is weakly contained in any weakly mixing representation π\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\pi $\end{document}. We prove that for any such irreducible lattice Γ<G\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\Gamma < G$\end{document}, any Uniformly Recurrent Subgroup (URS) of Γ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\Gamma $\end{document} is finite, answering a question of Glasner–Weiss. We also obtain a new proof of Peterson’s character rigidity result for irreducible lattices Γ<G\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\Gamma < G$\end{document}. The main novelty of our paper is a structure theorem for stationary actions of lattices on von Neumann algebras.


Introduction and statement of the main results
A major achievement in the theory of discrete subgroups of semisimple Lie groups is Margulis' superrigidity theorem. The statement is as follows: whenever G is a connected semisimple Lie group with trivial center, no compact factor and real rank at least two, < G is an irreducible lattice and H is a simple Lie group with trivial center, any homomorphism π : → H such that π( ) is Zariski dense in H and not relatively compact in H extends to a continuous homomorphism π : G → H (see [Ma91, Chapter VII] for more general statements). Connes suggested that there should be a rich analogy between the embedding of a lattice in its ambient Lie group and the embedding of a lattice in its ambient group von Neumann algebra (see [Jo00]). Notably, an operator algebraic version of Margulis' superrigidity theorem was expected to hold, and this was confirmed by recent advances. Interestingly, these recent advances build on another famous result of Margulis; his normal subgroup theorem [Ma91,Theorem IV.4.10]), which is not directly related to his superrigidity statement.
The first operator algebraic superrigidity theorem was obtained by Bekka [Be06] who showed that whenever = PSL n (Z) with n ≥ 3 and M is a type II 1 factor, any homomorphism π : → U (M) such that π( ) = M extends to a normal unital * -isomorphism π : L( ) → M. Recently, Peterson [Pe14] obtained a far-reaching generalization of Bekka's result by showing that any irreducible lattice < G in a property (T) connected semisimple Lie group with trivial center and real rank at least two is operator algebraic superrigid in the above sense (see also [CP13]). Operator algebraic superrigidity can be reformulated as a classification problem for characters on the group.
Recall that a character on a countable discrete group is a positive definite function which is invariant under conjugation, and which is normalized to map the identity element to 1. Thanks to the GNS construction, any character on gives rise to a homomorphism of into the unitary group of a tracial von Neumann algebra. For example, the natural embedding of in its group von Neumann algebra L( ) corresponds to the Dirac character δ e at the trivial element e. A rich source of characters comes from ergodic theory of group actions. Indeed, for any probability measure preserving (pmp) action (X, ν), the map ϕ : → C : γ → ν({x ∈ X | γ x = x}) defines a character on . Then ϕ = δ e if and only if the action (X, ν) is essentially free. The set of characters on a countable discrete group is a convex set which is compact with respect to pointwise convergence. The group is operator algebraic superrigid in the above sense if and only if every extreme point ϕ in the space of characters of is either almost periodic (i.e. the corresponding GNS representation is finite dimensional) or ϕ = δ e . Note that such a classification of characters for lattices strengthens both Margulis' normal subgroup theorem (see [Ma91,Theorem IV.4.10]) and Stuck-Zimmer's rigidity result on stabilizers of pmp ergodic actions (see [SZ92,Corollary 4.4]). See [Be19, BF20, DM12, LL20, PT13] for other character rigidity results.
A generic construction for characters goes as follows. If π : → U (A) is a group homomorphism into the set of unitary elements of a unital C * -algebra A, and if τ is a tracial state on A, then τ • π is a character on . But this construction requires that A admits a trace, which is not always the case. This situation is analogous to the commutative setting, where acts continuously on a compact space X: there is not always a -invariant Borel probability measure on the space X. In this respect, Furstenberg introduced the notion of stationary measure and stationary action [Fu62a,Fu62b]. The key point is that, for any continuous action X on a compact space, there always exists a stationary Borel probability measure on X. For this reason, the concept of stationary action plays an important role in the study of nonamenable groups and in Furstenberg boundary theory. Note that Furstenberg boundary theory was one of the key tools Margulis used in the proof of his superrigidity theorem ( [Ma91]).
This concept of stationarity was recently used in the noncommutative setting by Hartman-Kalantar [HK17] in the context of C * -simplicity of groups. They investigate a stationary version of characters, which will also be our main object of study.
Notation. -Before stating our main results, we introduce the following notation that we will use throughout the introduction.
• Let G be any connected semisimple Lie group with finite center and no nontrivial compact factor, all of whose simple factors have reak rank at least two. Choose a maximal compact subgroup K < G and a minimal parabolic subgroup P < G, so that G = KP. For instance, for every n ≥ 3, let G = SL n (R) and choose K = SO n (R) and P < G the subgroup of upper triangular matrices. • We denote by ν P ∈ Prob(G/P) the unique K-invariant Borel probability measure on the homogeneous space G/P. More generally, if P ⊂ Q ⊂ G is a parabolic subgroup, we denote by ν Q ∈ Prob(G/Q) the unique K-invariant Borel probability measure on the homogeneous space G/Q. Observe that for every parabolic subgroup P ⊂ Q ⊂ G, the probability measure ν Q ∈ Prob(G/Q) is G-quasi-invariant.
The following concept will be central in our paper.
Definition. -Let G be as in the notation. Let < G be any lattice. We say that a probability measure μ 0 ∈ Prob( ) is Furstenberg if the following three conditions are satisfied: (i) The support of μ 0 is equal to ; (ii) μ 0 * ν P = ν P , that is, ν P is μ 0 -stationary; (iii) The space (G/P, ν P ) is the Poisson boundary associated with the simple random walk on with law μ 0 (see [Fu62b,Fu00]).
Denote by P( ) the weak * -compact convex space of positive definite functions on . We say that ϕ ∈ P( ) is normalized if ϕ(e) = 1. Let μ ∈ Prob( ) be any probability measure. We say that a normalized positive definite function ϕ ∈ P( ) is a μcharacter if γ ∈ μ(γ ) ϕ(γ −1 gγ ) = ϕ(g), for all g ∈ . Any character on is obviously a μ-character. Conversely, our first main result shows that any μ 0 -character is a genuine character.
Theorem A. -Let G be as in the notation. Let < G be any irreducible lattice and μ 0 ∈ Prob( ) any Furstenberg probability measure. Then any μ 0 -character ϕ on is conjugation invariant, that is, ϕ is a genuine character.
Before describing the applications of Theorem A, let us explain the main technical novelty used in the proof, which is of independent interest. Let M be any von Neumann algebra, φ ∈ M * any normal state and σ : M any action. We simply write γ φ = φ • σ −1 γ ∈ M * for every γ ∈ . We say that the action σ : M is ergodic if the fixed-point subalgebra M = {x ∈ M | σ γ (x) = x, ∀γ ∈ } satisfies M = C1. We say that the state φ ∈ M * is μ 0 -stationary if γ ∈ μ 0 (γ ) γ φ = φ. If the action σ : M is ergodic and the state φ ∈ M * is μ 0 -stationary, we say that (M, φ) is an ergodic ( , μ 0 )-von Neumann algebra. In the case when (M, φ) = L ∞ (X, ν) for some standard probability space (X, ν) where φ is given by integration against ν, we say that (X, ν) is an ergodic ( , μ 0 )-space.
Theorem B. -Let G be as in the notation. Let < G be any lattice and μ 0 ∈ Prob( ) any Furstenberg probability measure. Let (M, φ) by any ergodic ( , μ 0 )-von Neumann algebra. Then the following dichotomy holds.
• Or there exist a proper parabolic subgroup P ⊂ Q G and a -equivariant normal unital * -embedding θ : Theorem B is reminiscent of [NZ00, Theorem 1], but two differences appear: • Our theorem is about stationary actions of the lattice , while Nevo-Zimmer's result is about stationary actions of the ambient Lie group G. • We deal with general von Neumann algebras, while Nevo-Zimmer's theorem only deals with measure spaces, i.e. with commutative von Neumann algebras.
Firstly, we reduce to a statement for G-actions by using induction and disintegration. This is based on a simple, surprisingly unnoticed observation. For any ergodic ( , μ 0 )-von Neumann algebra (M, φ), we construct a μ-stationary normal state ϕ on the induced von Neumann algebra Ind G (M), where μ ∈ Prob(G) is a K-invariant admissible Borel probability measure (see Theorem 4.3). This is where we use that the probability measure μ 0 ∈ Prob( ) is Furstenberg. We refer to Section 4 for further details. This simple observation is new even in the commutative setting, and easily combines with [NZ00, Theorem 1], to yield Theorem E below.
Secondly, we prove the analogous statement of Theorem B but for G-actions instead (see Theorem 5.1). This generalization of Nevo-Zimmer theorem to the noncommutative setting presents both technical and conceptual difficulties and is not a mere adaptation of their original proof. The proof of Theorem 5.1 nevertheless relies on Nevo-Zimmer's result [NZ00, Theorem 1]. We refer to Section 5 for a more detailed explanation of the global strategy of the proof.
Let us now explain the proof of Theorem A. Starting from an extreme point ϕ in the weak * -compact convex set of μ 0 -characters, denote by π ϕ its GNS representation and regard M = π ϕ ( ) as a ( , μ 0 )-von Neumann algebra where the action π ϕ ( ) is given by conjugation. Applying Theorem B to M and exploiting techniques that recently appeared in the characterization of C * -simplicity via Furstenberg boundary (see [KK14,BKKO14,Ha15,HK17]), we show that ϕ is necessarily conjugation invariant.
Surprisingly, Theorem B also allows to classify genuine characters on irreducible lattices < G. More precisely, we obtain a new proof of Peterson's character rigidity result [Pe14].
Theorem C (Peterson, [Pe14]). -Let G be as in the notation and assume moreover that G has trivial center. Let < G be any irreducible lattice. Then any extreme point ϕ in the space of characters of is either almost periodic or ϕ = δ e .
We point out that our approach requires that all simple factors of G have real rank at least two (as in the notation), while Peterson's character rigidity result holds more generally when G is a property (T) connected semisimple Lie group with trivial center, no nontrivial compact factor and real rank at least two.
Let us now turn our attention to applications of Theorems A and C to representation theory and C * -algebras. By [BCH94], when G is a noncompact semisimple Lie group with trivial center, any irreducible lattice < G is C * -simple and has the unique trace property, that is, the reduced C * -algebra C * λ ( ) is simple and has a unique tracial state τ (see also [BKKO14] for a new approach). The next corollary provides a farreaching generalization of this phenomenon to arbitrary weakly mixing representations. Recall that a unitary representation π is called weakly mixing if π does not contain any nonzero finite dimensional subrepresentation.
The proof of Corollary D relies on the following simple observation that was recently exploited by Hartman-Kalantar [HK17]. Starting from a unitary representation π : → U (H π ), the conjugation action C * π ( ) possesses a μ 0 -stationary state φ. We can thus apply Theorem A to deduce that the μ 0 -character φ • π is actually a character. Then Theorem C allows to conclude.
Corollary D was previously known only for particular examples of weakly mixing unitary representations (see e.g. [Be95,BK19]). Let us point out that any countable group satisfying the conclusion of Corollary D is just infinite in the sense that any nontrivial normal subgroup has finite index; moreover, any faithful properly ergodic pmp action (X, ν) is essentially free; also, is character rigid in the sense of Theorem C. Thus, one might also regard Corollary D as a strengthening of Margulis' normal subgroup theorem ([Ma91, Chapter IV]), Stuck-Zimmer's rigidity result [SZ92] and Peterson's character rigidity result [Pe14].
Let us now turn our attention to applications of Theorems A and C to ergodic theory. As a straightforward consequence of Theorem B and Stuck-Zimmer's result [SZ92,Corollary 4.4], we obtain the following structure theorem for stationary actions of irreducible lattices.
Theorem E. -Let G be as in the notation. Let < G be any irreducible lattice and μ 0 ∈ Prob( ) any Furstenberg probability measure. Let (X, ν) be any ergodic ( , μ 0 )-space. Then the following dichotomy holds.
• Or there exist a proper parabolic subgroup P ⊂ Q G and a -equivariant measurable factor map (X, ν) → (G/Q, ν Q ).
Moreover, if the action (X, ν) is faithful and properly ergodic, then it is essentially free.
Finally, we apply Theorem E to topological dynamics. Denote by Sub( ) the compact metrizable space of all subgroups of endowed with the Chabauty topology. Define the conjugation action Sub( ) by γ · = γ γ −1 for every γ ∈ and every ∈ Sub( ). In the measurable setting, following [AGV12], an Invariant Random Subgroup (IRS for short) is a conjugation invariant Borel probability measure ν ∈ Prob(Sub( )). By Stuck-Zimmer's result [SZ92,Corollary 4.4], any ergodic IRS of an irreducible lattice < G, where G is as in the notation and with trivial center, is finite. In the topological setting, following [GW14], a Uniformly Recurrent Subgroup (URS for short) is a closed minimal -invariant subset X ⊂ Sub( ). The study of URSs has received a lot of attention recently due to its connections with IRSs ( [7s12,Ge14]) and C * -simplicity ( [Ke15,LBMB16]).
Recall that an action by homeomorphisms X of a countable discrete group on a compact metrizable space X is topologically free if for any γ = e, the closed subset Fix(γ ) = {x ∈ X | γ x = x} of γ -fixed points has empty interior in X. The next corollary provides a topological analogue of Stuck-Zimmer's rigidity result [SZ92] and answers positively a question raised by Glasner-Weiss (see [GW14,Problem 5.4

]).
Corollary F. -Let G be as in the notation and assume moreover that G has trivial center. Let < G be any irreducible lattice. For any minimal action X on a compact metrizable space, either X is finite or the action is topologically free. In particular, any URS of is finite.

2.1.
Group actions on von Neumann algebras. -This paper appeals to the theory of von Neumann algebras and C*-algebras. While we will not recall the very basic definitions of the theory, we will try to keep the pre-requisite at a minimum.
In this section, G will be any locally compact second countable (lcsc) group and μ ∈ Prob(G) any admissible Borel probability measure. This means that the support of μ generates G as a semigroup and contains the trivial element in its interior, and that μ is absolutely continuous with respect to the Haar measure on G.
Let A be any separable unital C * -algebra. We denote by S(A) the set of all states on A, i.e. of all linear functionals φ : A → C such that φ(x * x) ≥ 0 for all x ∈ A (positive), and φ(1) = 1 (normalized). It is a compact convex subset of A * for the weak * -topology.
We endow A with its norm topology. We say that an action σ : G A by *automorphisms is continuous (or is a C * -action) if the map G × A → A : (g, a) → σ g (a) is continuous. The action G A induces a continuous affine action G S(A), called the push-forward action, defined by the formula We say that a state ψ ∈ S(A) is μ-stationary if for every a ∈ A, we have Let M be any von Neumann algebra with separable predual M * . We endow M with the ultraweak (i.e. weak * ) topology coming from the canonical identification M = (M * ) * . In this manner, M * is identified with the subset of M * consisting of all ultraweakly continuous linear functionals, also called normal linear functionals. We say that an action σ : G M by * -automorphisms is continuous (or is a von Neumann action) if the map We say that a normal state φ ∈ M * is μ-stationary if for every x ∈ M, we have In that case, we say that (M, φ) is a (G, μ)-von Neumann algebra. A reader unfamiliar with these notions should keep in mind the commutative examples of the C*-algebra C(X) consisting of continuous functions on a compact metrizable space X, and the von Neumann algebra M = L ∞ (X, ν) associated to a measure ν on X. In this case, a state on A corresponds to a Borel probability measure on X, while a normal state on M corresponds to a probability measure which is absolutely continuous with respect to ν. A C*-action G A corresponds to a continuous action G X, while a continuous von Neumann action G M corresponds to a non-singular measurable action G (X, ν).
The two categories offer different advantages: • In the category of unital C * -algebras the weak * -compactness of the state space is very useful (see Example 2.4 below), whereas the convex space of normal states on a von Neumann algebra does not carry any natural Hausdorff compact topology. • On the other hand, the category of von Neumann algebras is more manageable to work with, because of its measurable nature. In this respect, our noncommutative Nevo-Zimmer theorem, Theorem 5.1 below, does not have a C * -analogue.
It will be useful to switch between these two categories. On the one hand, given a unital C*-algebra A, the GNS construction associates to every state φ ∈ S(A) a unique C*-representation π φ : A → B(H) and we thus get a von Neumann algebra M = π φ (A) . Some aspects of this construction are discussed in Section 3. On the other hand, given a G-von Neumann algebra M, a regularisation argument can be used to find in M an ultraweakly dense unital C * -subalgebra A on which the action is norm continuous, see [Ta03b, Proposition XIII.1.2]. Since G is assumed to be second countable, if M has separable predual, we may find a separable such C * -algebra A. In analogy with the commutative setting, A can be called a compact model of M.
Let us further mention specificities of the von Neumann category. A normal state φ on a von Neumann algebra M is said to be faithful if φ(x * x) = 0 for every nonzero x ∈ M. This definition also makes sense for any state on a C * -algebra, but in the von Neumann algebraic case, faithfulness can be measured by a projection in M, called the support of φ. By definition it is the smallest projection q ∈ M such that φ(q) = 1. One checks that φ is faithful on M if and only if q = 1.
Given a continuous von Neumann action G M, we denote by M G = {x ∈ M | σ g (x) = x, ∀g ∈ G} the fixed-point von Neumann subalgebra. We say that the action G M is ergodic if M G = C1. We will need the following useful result.
Lemma 2.1. -Let (M, φ) be any (G, μ)-von Neumann algebra. Then the support q of φ is a G-invariant projection. In particular, if the action G M is ergodic, then φ is faithful.
Since for every g ∈ G, 0 ≤ gφ(q) ≤ 1, it follows that for μ-almost every g ∈ G, we have gφ(q) = 1. Since the map G → C : g → gφ(q) is continuous, it follows that gφ(q) = 1 for every g ∈ supp(μ). Since φ ∈ M * is μ * n -stationary for every n ≥ 1, the same argument shows that gφ(q) = 1 for every n ≥ 1 and every g ∈ supp(μ * n ). Since supp(μ) n ⊂ supp(μ * n ) for every n ≥ 1 and since n≥1 supp(μ) n = G, it follows that gφ(q) = 1 for every g ∈ G. By definition of q = supp(φ), this implies that q ≤ σ −1 g (q) for every g ∈ G. Applying this inequality at an element g and its inverse, we find q = σ g (q) for every g ∈ G, i.e. q ∈ M G . We discuss general facts regarding induction in von Neumann algebraic framework (we refer to [Ta03a, Section X.4] for further details). Let G be any lcsc group and H < G any closed subgroup. Denote by λ : G L ∞ (G) (resp. ρ : G L ∞ (G)) the left (resp. right) translation action. We fix a G-quasi-invariant Borel probability measure ν G/H ∈ Prob(G/H). Let N be any von Neumann algebra with separable predual and σ : H N any continuous action. Regard L ∞ (G) ⊗ N as the von Neumann algebra L ∞ (G, N) of all essentially bounded measurable functions f : G → N, modulo equality Haar-almost everywhere. We define the induced von Neumann algebra Ind G H (N) by the formula Using τ , we may also construct a surjective normal unital * -isomorphism π τ : Then π τ intertwines the continuous actions β τ and Ind(σ ) in the following sense: Assume that ψ ∈ N * is a H-invariant normal state. Then the formula (ν G/H ⊗ ψ) • (π τ ) −1 defines a normal state on Ind G H (N) that does not depend on the choice of the measurable section τ . We call it the canonical normal state on Ind G H (N) associated with ν G/H and ψ and simply denote it by ν G/H ⊗ ψ. Observe that if ν G/H is moreover G-invariant, then ν G/H ⊗ ψ is G-invariant. When identifying Ind G H (N) with L ∞ (G/H) ⊗ N, this state is given by the formula We will use this general framework in the following two concrete situations. Assuming that G is a connected semisimple Lie group with finite center, we will consider the case when (i) H = is a lattice subgroup of G. In that case, we denote by m G/ ∈ Prob(G/ ) the unique G-invariant Borel probability measure on G/ . This situation will appear in Sections 4 and 6. (ii) H = P is a minimal parabolic subgroup of G. In that case, we denote by ν P ∈ Prob(G/P) the unique K-invariant Borel probability measure on G/P, where K < G is a fixed maximal compact subgroup so that G = KP. Then ν P is Gquasi-invariant. This situation will appear in Section 5. Let S < G be a maximal R-split torus and the corresponding root system. We denote by + a choice of positive roots, and by the corresponding set of simple positive roots. For every θ ⊂ , denote by P θ < G the corresponding parabolic subgroup as described in [NZ00, Section 2]. We denote by V θ its unipotent radical, and by R θ its reductive part, which are both connected. We then have the Levi decomposition P θ = R θ V θ . The center S θ of R θ is also connected, and R θ coincides with the centralizer of S θ inside G. We also have the opposite parabolic subgroup P θ = R θ V θ where V θ is the unipotent radical of P θ . We have P θ ∩ V θ = {e} and P θ ∩ P θ = R θ . If θ = ∅, then we have S ∅ = S, and we set V = V ∅ and P = P ∅ , where P < G is a minimal parabolic subgroup. If θ = , then we have S = {e}, V = {e} and P = G.
For θ ⊂ , we set S θ = s ∈ Z(S θ ) | Int(s) is contracting on V θ and Int(s) −1 is contracting on V θ .
Note that S θ = ∅ if and only if θ if and only if P θ G. Define also U θ = R θ ∩ V = P θ ∩ V and observe from the Levi decomposition of P θ that the product map V θ U θ → V : (v θ , u θ ) → v θ u θ is an isomorphism. This decomposition is nontrivial if and only if ∅ θ , if and only if P P θ G, which can only happen for groups of real rank at least two.

Background on continuous affine actions and Poisson boundaries. -
We follow the exposition given in [BS04, Section 2.VI]. Let G be any lcsc group and μ ∈ Prob(G) any admissible Borel probability measure. Following [Fu62a,BS04], we say that a bounded function f : G → C is (right) μ-harmonic if f (g) = G f (gh) dμ(h) for every g ∈ G. Any bounded μ-harmonic function is necessarily continuous and we denote by Har ∞ (G, μ) the space of all bounded (right) μ-harmonic functions. On the probabilistic side, the measure μ gives rise to a random walk on G, whose asymptotic behaviour is encoded by the so-called Poisson boundary of (G, μ): it is a measure space (B, ν B ), where ν B is μ-stationary, i.e. a (G, μ)-space. Although the Poisson boundary can be concretely constructed in probabilistic terms, the following property characterises it among all (G, μ)-spaces.
In other words, the Poisson boundary is the only (G, μ) space for which the Poisson transform is an onto-isomorphism. Concrete computations of the Poisson boundary can sometimes be made. For example, if G is a semisimple Lie group with a minimal parabolic subgroup P and a maximal compact subgroup K, then the Poisson boundary of (G, μ), where μ is any left K-invariant admissible measure is equal to G/P with its unique Kinvariant measure, [Fu62a].
Let E be any separable continuous isometric Banach G-module. Let C ⊂ E * be any non-empty G-invariant weak * -compact convex subset, endowed with the corresponding weak * -continuous affine G-action. We simply say that C is a compact convex affine G-space. We denote by Bar : Prob(C) → C : ν → Bar(ν) the barycenter map defined by f (Bar(ν)) = C f (c) dν(c) for every continuous affine function f ∈ Aff(C). We define the notion of stationary point in the setting of compact convex affine G-spaces.
Definition 2.3. -Let C be any compact convex affine G-space and c ∈ C any point. Denote by μ c ∈ Prob(C) the push-forward measure of μ under the continuous orbit map G → C : g → gc. We say that c is μ-stationary if c = Bar(μ c ).
Concretely, an element c ∈ C is μ-stationary if and only if It follows from a standard averaging argument that the subset C μ ⊂ C of μ-stationary points is not empty (see e.g. [Fu62b, Lemma 1.2]).
Example 2.4. -Assume that E = A is a separable unital C * -algebra and σ : G A is a C*-action. Denote by C = S(A) the state space of A and consider the corresponding weak * -continuous affine action G S(A). Then for every state φ ∈ S(A), φ is μstationary in the sense of Definition 2.3 if and only if φ is stationary in the sense of Subsection 2.1.
Let us point out that the above example has no von Neumann analogue: the convex set of normal states on a von Neumann algebra is not weak * -closed in general. It is in fact weak * -dense in the whole state space.
We will need the existence and essential uniqueness of the Poisson boundary map in the context of compact convex affine G-spaces (see [Fu62b]).
Let C be any compact convex affine G-space and c ∈ C any μ-stationary point. Then there exists an essentially unique G-equivariant measurable map β c : B → C such that Bar((β c ) * ν B ) = c. We say that β c is the boundary map.
In the above theorem, the G-equivariance of the map β c : B → C is only meant almost everywhere: for every g ∈ G, for almost every w ∈ B, β c (gw) = gβ c (w). Since C is a standard Borel space, it follows from [Zi84, Proposition B.5] that there exists a Ginvariant conull measurable subset X ⊂ B and a measurable map α : X → C such that α and β c coincide ν B -almost everywhere and α(gw) = gα(w) for every g ∈ G and every w ∈ X. In particular, when B is a transitive G-space we must have X = B and hence α is everywhere defined and G-equivariant. Note that there exists a unique such map which coincides almost everywhere with β c .
From now on, assume that G is a connected semisimple Lie group with finite center. Choose a maximal compact subgroup K < G and a minimal parabolic subgroup so that G = KP. Denote by ν P ∈ Prob(G/P) the unique K-invariant Borel probability measure. Choose a left K-invariant admissible Borel probability measure μ ∈ Prob(G). Since μ * ν P is K-invariant, it follows that μ * ν P = ν P and hence ν P is μ-stationary. Let C be any compact convex affine G-space. Denote by C P ⊂ C the compact convex subset of P-fixed points and by C μ ⊂ C the compact convex subset of μ-stationary points. Note that the set C P is not empty since P is amenable. For b ∈ C P , we define ι(b) = G/P gb dν P (gP). In other words, ι(b) is the barycenter of the push-forward measure of ν P under the continuous map G/P → C : gP → gb.
Proof. -Strictly speaking, [Fu62b, Theorem 2.1] only covers the case where C is of the form C = Prob(X) for some compact G-space X. One can check that the same proof applies in the general case. Alternatively, one can deduce the general case from Furstenberg's statement simply by using the maps δ : C → Prob(C) : c → δ c and Bar : The key fact in the proof is that the Poisson boundary of (G, μ) is (G/P, ν P ) (see [Fu62a,Theorem 5.3]). In this way, Theorem 2.5 and the paragraph following it imply that C μ is affinely homeomorphic with the space of everywhere G-equivariant maps G/P → C. Further, evaluation of such G-maps at the point P ∈ G/P gives an affine homeomorphism with C P . One checks that the formula for ι gives exactly the inverse of this affine homeomorphism C μ → C P .
We infer the following useful result.
Corollary 2.7. -Assume that E = A is a separable unital C * -algebra and σ : G A is a continuous action. Denote by C = S(A) the state space of A and consider the corresponding weak *continuous affine action G S(A). Using Theorem 2.6, for every μ-stationary

Absolute continuity for states on C*-algebras
In this section, we investigate the noncommutative analogue of the notion of absolute continuity of Borel probability measures on a compact metrizable space.
Following [BO08, Section 1.4], every C*-representation π : A → B(H π ) admits a normal extension π : A * * → π(A) . Here the bidual space A * * is viewed as the universal enveloping von Neumann algebra of A. Recall that the image of a von Neumann algebra under a normal * -homomorphism is again a von Neumann algebra. So π : A * * → π(A) is necessarily onto.
We denote by z π the support projection of π , i.e. the smallest projection in A * * such that π(z π ) = 1. In particular z π belongs to Z(A * * ) and π restricts to an onto von Neumann isomorphism A * * z π → π(A) : az π → π(a). For every φ ∈ S(A), we simply write z φ = z π φ . We note the following characterization.
We obtain the desired normal unital * -homomorphism as the following composition: and so π ψ (z φ ) = 1. By construction, this further implies that z ψ ≤ z φ .
The following proposition will play a central role in our analysis.
Before proving the proposition, let us discuss GNS representations associated with states expressed as barycenters of measures. We refer to [Ta02, Sections IV.6 and IV.8] for more on this. Let ν ∈ Prob(S(A)) be any Borel probability measure and denote by φ = Bar(ν) ∈ S(A). We introduce the direct integral unitary representation (π ν , H ν , ξ ν ) of A associated with the measurable field {π ψ | ψ ∈ S(A)}: Observe that for all a, b ∈ A, the map ψ → aξ ψ , bξ ψ = ψ(b * a) is continuous hence measurable on S(A), and the above direct integrals all make sense. Observe that L ∞ (S(A), ν) acts diagonally on H ν . We need the following useful result.
extends to a well-defined surjective normal unital * -isomorphism. In other words, we have z π ν = z φ .

Induced actions and stationary states
In this section, we explain how to induce stationary states in the context of Furstenberg measures. The approach presented here is rather pedestrian, but there are more synthetic ways of presenting the construction by using the Poisson transform and harmonic functions (via Theorem 2.2), see [BBHP20, Section 4.1]. Let us recall the notation we will use. Here, G will be any connected semisimple Lie group with finite center, with a maximal compact subgroup K and a minimal parabolic subgroup P, so that G = KP. We denote by ν P ∈ Prob(G/P) the unique K-invariant Borel probability measure on G/P, and by μ ∈ Prob(G) a K-invariant admissible measure.
Let (M, φ) be any ( , μ 0 )-von Neumann algebra with separable predual. We assume that φ ∈ M * is a faithful normal state. We will construct a μ-stationary faithful normal state ϕ on the induced G-von Neumann algebra Ind G (M).
Moreover, for every y ∈ M, the bounded map G → C : g → φ g (y) is μ-harmonic hence continuous. In particular, the map G → S(A) : g → φ g is weak * -continuous.
Proof. -Since ν P ∈ Prob(G/P) is G-quasi-invariant, for every g ∈ G, g * ν P and ν P are equivalent probability measures on G/P. This implies that for every g ∈ G, ν g = (β φ ) * (g * ν P ) and ν = (β φ ) * ν P are equivalent probability measures on S(A). Since φ ∈ M * is faithful, Proposition 3.3 implies that for every g ∈ G, φ g extends to faithful normal state on M = π φ (M). Moreover, by definition of the state Since ν P is μ-stationary, it follows that the bounded function G → C : g → φ g (a) is μharmonic for all a ∈ A, that is, φ g (a) = G φ gh (a) dμ(h). Let y ∈ M be any element. By Kaplansky's density theorem and since M has separable predual, we may choose a sequence (a n ) n∈N in A such that sup n∈N a n ≤ y and a n → y strongly in M as n → ∞. For every g ∈ G, since φ g ∈ M * , we have lim n φ g (a n ) = φ g (y). Lebesgue's dominated convergence theorem implies that Therefore the bounded map G → C : In the above lemma, φ g should be thought as a translate gφ of φ although there is no G-action on M. This simulation of a G-action will be used to untwist the cocycle that appears in the induction formula, and thus get a well-behaved state upstairs.
Choose a measurable section τ : G/ → G and define the measurable 1-cocycle For simplicity, we will denote the induced action Ind(σ ) by σ .
Proof. -Denote by A ⊂ M the ultraweakly dense unital * -subalgebra consisting of all finite sums of elements in M of the form 1 E ⊗ y where E ⊂ G/ is a measurable subset and y ∈ M. Lemma 4.1 implies that for every a ∈ A ⊂ M, Let now f ∈ M be any element. By Kaplansky's density theorem and since M has separable predual, we may choose a sequence (a n ) n∈N in A such that sup n∈N a n ∞ ≤ f ∞ and a n → f strongly in M as n → ∞. Up to choosing a subsequence, there exists a m G/ -conull measurable subset X f ⊂ G/ such that for every x ∈ X f , we have sup n∈N a n (x) ≤ f ∞ and a n ( is measurable since it is the pointwise limit of the sequence of measurable maps G × X f → C : (g, x) → φ g (a n (x)). This gives the first statement. The rest follows from the measurability of τ .
We are now ready to state and prove the main result of this section.
Theorem 4.3. -Keep the same notation as above. Then the map ϕ : M → C defined by the following formula is a μ-stationary faithful normal state on M: Proof. -Lemma 4.2 justifies that the formula defining ϕ makes sense. Denote by Ball M (0, 1) the closed ball in M of center 0 and radius 1 with respect to the uniform norm. Let us first check that the state ϕ is normal. Let f ∈ Ball M (0, 1) be any element and (f n ) n any sequence in Ball M (0, 1) such that f n → f strongly in M. By contradiction, assume that the sequence (ϕ(f n )) n∈N does not converge to ϕ(f ). Up to choosing a subsequence, we may assume that there exists ε > 0 such that inf n∈N |ϕ(f ) − ϕ(f n )| ≥ ε. Up to choosing a further subsequence, we may assume that for m G/ -almost every 1 (f (x)) for m G/ -almost every x ∈ G/ . Lebesgue's dominated convergence theorem implies that lim n ϕ(f n ) = ϕ(f ). This is a contradiction. Therefore, ϕ is a normal state. Observe We now prove the stationarity condition. Since the boundary map β φ : G/P → S(A) is ν P -measurable and -equivariant and since φ g ∈ M * for every g ∈ G, it follows that (4.2) ∀γ ∈ , ∀g ∈ G, ∀y ∈ M, γφ g (y) = φ γ g (y).
Then for every f ∈ M and every g ∈ G, we have Since m G/ ∈ Prob(G/ ) is G-invariant, we conclude that Combining (4.3) with (4.1) and using Lemma 4.2 with Fubini's theorem, for every f ∈ M, we obtain Therefore, ϕ is μ-stationary. Finally, we prove that ϕ is G-invariant if and only if φ is -invariant. First, assume that φ is -invariant. The corresponding boundary map β φ : G/P → S(A) is essentially constant. This implies that φ g = φ for every g ∈ G. By construction, this implies that ϕ = m G/ ⊗ φ and so ϕ is G-invariant. Conversely, assume that ϕ is G-invariant. By (4.3), for every g ∈ G and every f ∈ M, we have Since this holds true for every element of the form f = h ⊗ a ∈ M with h ∈ L ∞ (G/ ) and a ∈ A, we conclude that for every g ∈ G, every a ∈ A and m G/ -almost every x ∈ G/ , we have φ τ (x) −1 (a) = φ τ (x) −1 g (a). Since A is separable, this implies that for every g ∈ G and m G/ -almost every x ∈ G/ , we have φ τ (x) −1 = φ τ (x) −1 g . By Fubini's theorem there exists x ∈ G/ such that for Haar-almost every g ∈ G, we have φ τ (x) −1 = φ τ (x) −1 g . Thus, the map g ∈ G → φ g ∈ S(A) is Haar-almost everywhere constant. By Lemma 4.1, this map is continuous, hence everywhere constant. In view of the -equivariance property (4.2), this implies that the state φ = φ e ∈ S(A) is -invariant. Thus, φ ∈ M * is -invariant.

A noncommutative Nevo-Zimmer theorem
In this section, we prove a noncommutative analogue of Nevo-Zimmer's structure theorem for stationary actions of connected semisimple Lie groups on arbitrary von Neumann algebras (see [NZ00, Theorem 1] for stationary actions on measure spaces).

Background on tensor-slice maps on von Neumann algebras. -
In what follows, we collect a few facts about von Neumann algebras that we will use in the proof of Theorem 5.1. Recall that for any von Neumann algebra P, the predual P * has a canonical P-Pbimodule structure given by ∀b, c, T ∈ P, ∀ρ ∈ P * , (bρc)(T) = ρ(cTb).

A noncommutative Nevo-Zimmer theorem. -
The main result of this section is the following noncommutative Nevo-Zimmer theorem.
Theorem 5.1. -Let G be any connected semisimple Lie group with finite center and no nontrivial compact factors, all of whose simple factors are of real rank at least two. Let μ ∈ Prob(G) be any K-invariant admissible Borel probability measure. Let (M, ϕ) by any ergodic (G, μ)-von Neumann algebra. Then the following dichotomy holds.
• Or there exist a proper parabolic subgroup P ⊂ Q G and a G-equivariant normal unital * -embedding : Before proving Theorem 5.1, let us explain the main conceptual difficulty that appears in this noncommutative setting compared to the original commutative result [NZ00, Theorem 1]. First of all, let us mention that Nevo-Zimmer had proved earlier a weaker version of their result, assuming some mixing condition on the P-action on the space (see [NZ97]). To get rid of this mixing assumption, they had the idea of using the so-called Gauss map, which was the key novelty in [NZ00]. This new argument relied on the consideration of the stabilizer map associated with an action G (X, ν), defined as the G-equivariant measurable map X → Sub(G) : x → Stab(x). Here, Sub(G) denotes the space of closed subgroups of G, endowed with the Chabauty topology. Unfortunately, there is no analogue of such a stabilizer map for actions of G on arbitrary von Neumann algebras, so it is hopeless to prove Theorem 5.1 by simply translating Nevo-Zimmer's proof in noncommutative terms. Moreover for our purposes, the analogue of the mixing condition on the P-action used in [NZ97] is not guaranteed. We indeed need the full strength of Theorem 5.1.
To get around this issue, we will start the proof in a similar fashion to that of [NZ97, Theorem 1] until the critical point where we would need to use the Gauss map is reached. From that point on, we will use the strong dynamics of G on a well chosen homogeneous space G/P θ to be able to reduce to the commutative case by using a result by Ge-Kadison [GK95] and its generalization by Strȃtilȃ-Zsidó [SZ98]. Before starting the proof of Theorem 5.1, let us give some notation and a few preliminary lemmas.
Lemma 5.2. -We may assume that M has separable predual.
Proof. -If ϕ is not G-invariant, then we may find x ∈ M such that gϕ(x) is not constant as g varies in G. So the restriction of ϕ to the von Neumann subalgebra M 0 generated by G · x is not G-invariant. We claim that M 0 has separable predual. Once this is proven, the theorem applied to M 0 will imply the conclusion for M.
We thus have to represent M 0 faithfully on a separable Hilbert space. Denote by S ⊂ G a countable dense subset. Then the * -invariant Q-algebra generated by S · x is a countable weakly dense subset of M 0 . Therefore the GNS Hilbert space associated with ϕ| M 0 is separable. Since moreover ϕ is faithful on M (hence on M 0 ), M 0 is faithfully represented on this separable GNS Hilbert space. This is the desired conclusion.
Let us introduce some terminology. Let (M, ϕ) be any ergodic (G, μ)-von Neumann algebra with separable predual and denote by σ : G M the corresponding continuous action. Recall that ϕ ∈ M * is a faithful normal state (see Lemma 2.1). Therefore the corresponding GNS representation π ϕ is faithful, and we may thus identify π ϕ (M) with M and assume that π ϕ = id. Choose a globally G-invariant ultraweakly dense separable unital C * -subalgebra A ⊂ M such that the action G A is norm continuous (see the proof of [Ta03b, Proposition XIII.1.2]). Let ψ ∈ S(A) be the unique P-invariant state corresponding to ϕ| A so that ϕ| A = G/P ψ • σ −1 g dν P (gP) (see Theorem 2.6 and Corollary 2.7).
Lemma 5.3. -We may assume that G has trivial center.
Proof. -Denote by Z = Z(G) the center of G, which is finite, and set G 0 = G/Z, which is a connected semisimple Lie group satisfying the same assumptions as G and which moreover has trivial center. Observe that Z < K and Z < P. Set K 0 = K/Z and P 0 = P/Z. Denote by μ ∈ Prob(G 0 ) the push-forward measure of μ under the quotient map G → G 0 . Then μ is K 0 -invariant and admissible. Denote by M 0 = M Z the fixedpoint von Neumann algebra under the action of Z and set ϕ 0 = ϕ| M 0 . Then (M 0 , ϕ 0 ) is an ergodic (G 0 , μ )-von Neumann algebra. Assume that Theorem 5.1 holds for this action. Before deducing the theorem for M, let us record two facts.
Since ϕ is normal, we only need to check that it is Z-invariant on the dense subalgebra A. Since Z ⊂ P, ψ is Z-invariant and we find, for every z ∈ Z, a ∈ A, We can now deduce the conclusion for M. Assume that ϕ is not G-invariant. Then, ϕ 0 is not G 0 -invariant, and there exist a proper parabolic subgroup P 0 ⊂ Q 0 G 0 and a G 0 -equivariant normal unital * -embedding 0 : L ∞ (G 0 /Q 0 , ν Q 0 ) → M 0 such that ϕ 0 • 0 = ν Q 0 . Letting Q = π −1 (Q 0 ), we have an identification L ∞ (G/Q, ν Q ) L ∞ (G 0 /Q 0 , ν Q 0 ) as G-von Neumann algebras. We may thus compose 0 with this identification and get a G-equivariant normal unital * -embedding : Let (π ψ , H ψ , ξ ψ ) be the GNS triple associated with (A, ψ) and set N = π ψ (A) . We also denote by ψ the normal state · ξ ψ , ξ ψ on N . By definition, we have ψ(π ψ (a)) = π ψ (a)ξ ψ , ξ ψ = ψ(a) for every a ∈ A. Since the action P A is ψ-preserving, it extends to a continuous action σ N : P N such that σ N g (π ψ (a)) = π ψ (σ g (a)), for all g ∈ P, a ∈ A (see [Ta02, Exercice I.10.7]). Denote by q ∈ N the support projection of ψ ∈ N * . Recall that q is the orthogonal projection of H ψ onto the closure of N ξ ψ . Since σ N : P N is ψ-preserving, we have q ∈ N P . We point out that the action σ N : P N need not be ergodic and q need not be equal to 1.
Our first task will be to embed G-equivariantly M inside the induced von Neumann algebra of the action P N . Before doing so, let us give some concrete facts on this action, as in [NZ00, Section 7]. We will use the notation from Section 2.2. Using [Ma91, Lemma IV.2.2], the product map V × P → G : (v, p) → vp is a homeomorphism onto its image VP which is open and conull in G. As explained in [Ma91, IV.2.6], the restriction of the quotient map G → G/P : g → gP to V gives a measure space isomorphism (V, ν V ) → (G/P, ν P ) : v → vP, whose inverse is denoted by τ . Observe that the Borel probability measure ν V ∈ Prob(V) is in the same class as the Haar measure m V . Modifying τ on a set of measure 0, we can ensure that τ : G/P → G is a measurable section to the quotient map G → G/P such that τ (vP) = v, for all v ∈ V. As we saw in Subsection 2.1, we may identify the induced action G Ind G P (N ) with the continuous G-action σ : G L ∞ (G/P) ⊗ N given by the formula where c τ : G × G/P → P is the measurable 1-cocycle associated with τ . Furthermore, using our measure space identification, we have a von Neumann algebra isomorphism The induced G-action may then be transported to a G-action on the right hand side von Neumann algebra. We can moreover obtain a very concrete formula for the action of P. Indeed, observe that gvP = (gv)P ∈ VP for all g ∈ V, v ∈ V (gvg −1 )P ∈ VP for all g ∈ S, v ∈ V. This computation was used by Margulis in his proof of the normal subgroup theorem. It implies formulae for the cocycle c τ : for every v ∈ V, c τ (g, v) = e if g ∈ V and c τ (g, v) = g if g ∈ S. Consequently, For any subset of simple roots θ ⊂ , the semi-direct product decomposition Recall that S θ commutes with U θ . Therefore, the continuous actions S θ L ∞ (V) ⊗ N and V θ L ∞ (V) ⊗ N are given by We will freely use this isomorphism L ∞ (G/P) ⊗ N ∼ = L ∞ (V) ⊗ N to switch between these two points of view on the induced action, depending whether we want to emphasize the general G-action or the explicit formulae above. Given the P-invariant state ψ on N , we may consider the associated canonical state ν P ⊗ ψ on L ∞ (G/P) ⊗ N .
Consider the map ι : A → L ∞ (G/P) ⊗ N defined by the formula ι(a)(w) = π ψ (σ −1 τ (w) (a)), for all a ∈ A, w ∈ G/P. Under the identification L ∞ (G/P)⊗N = L ∞ (V)⊗ N , the mapping ι : Lemma 5.4. -The map ι extends to a well-defined G-equivariant normal unital * -embedding Proof. -The proof of the claim is analogous to the one of Lemma 3.4. First, observe that for every a ∈ A, g ∈ G and w ∈ G/P, we have ι(a)). Since ψ ∈ N * is P-invariant, the bounded continuous map G/P → C : gP → ψ(σ −1 g (a)) is well-defined and we have Thus, once we proved that ι : M → Ind G P (N ) extends to a normal unital * -embedding, we will necessarily have that ι is G-equivariant and (ν P ⊗ ψ) • ι = ϕ.
Set H = L 2 (G/P, ν P ) ⊗ H ψ and ξ = 1 G/P ⊗ ξ ψ ∈ H. Denote by p ∈ ι(A) ∩ B(H) the orthogonal projection onto the closed subspace H 0 = ι(A)ξ . We identify B(H 0 ) = pB(H)p. Observe that ξ is a ι(A)-cyclic vector in H 0 which implements the state ϕ on A. Thus, by uniqueness of the GNS representation, the unitary representation A → B(H 0 ) : a → ι(a)p is unitarily conjugate to π ϕ = id. In particular, it indeed extends to a normal unital * -isomorphism M → ι(A) p : a → ι(a)p. We are left to check that the normal unital , N ), for every a ∈ A and almost every w ∈ G/P, we have f (w)π ψ (σ −1 τ (w) (a))ξ ψ = 0. Since A is separable, this implies that for almost every w ∈ G/P and every a ∈ A, we have f (w)π ψ (σ −1 τ (w) (a))ξ ψ = 0. Since ξ ψ is π ψ (A)-cyclic, we conclude that f (w) = 0 for almost every w ∈ G/P. This finally shows that f = 0.
Lemma 5.4 allows us to regard M ⊂ L ∞ (G/P) ⊗ N as a σ (G)-invariant von Neumann subalgebra on which the action σ : G M coincides with the action σ : From now on, we will equally use the letter σ to denote any of these actions. Moreover, for simplicity of notation, we will also denote by σ : P N the ψ-preserving action.
In Lemmas 5.5 and 5.6, we fix θ ⊂ such that θ = and s ∈ S θ . Lemma 5.5 is a generalization of [NZ00, Proposition 7.1]. It will allow us to reduce to the case where some elements of P act trivially on N . Denote by m U θ a Haar measure on U θ .
Lemma 5.5. -Let a ∈ A ⊂ M. For every n ∈ N, define a n = 1 n+1 n k=0 σ k s (a) ∈ A. Then the sequence (a n ) n∈N converges strongly in M. Set a ∞ = lim n a n to be its strong limit in M. The following assertions hold: • There exists a subsequence (n k ) k∈N such that for m U θ -almost every u θ ∈ U θ , the sequence (ι(a n k )(e, u θ )) k∈N converges strongly to ι(a ∞ )(u θ ) in N .
In particular, we obtain that the sequence (ι(a n )(v θ , u θ )) n∈N is · ψ -Cauchy in N . Since (ν V ⊗ ψ) • ι = ϕ, we have, for all m, n ∈ N, Applying Lebesgue's dominated convergence theorem, we obtain that the sequence (a n ) n∈N is · ϕ -Cauchy and thus strongly convergent in M. Set a ∞ = lim n a n ∈ M to be the strong limit of the sequence (a n ) n∈N in M. We is just the action on the first tensor factor L ∞ (V θ ) by left translation. Taking v ∈ V θ , we have, for all n ∈ N,

Equation (5.4) and
Lebesgue's dominated convergence theorem imply that this quantity converges to 0 as n → ∞. Therefore, Moreover, since a n − σ s (a n ) tends to 0 as n → ∞, it follows that a ∞ is s-invariant. In view of the formula for the induced action of s ∈ S θ , this implies that We now check the last statement. Since ι(a n ) converges strongly to ι(a ∞ ) as n → ∞, there exists a subsequence (a n k ) k∈N such that ι(a n k )(v θ , u θ ) converges strongly to ι(a ∞ )(v θ , u θ ) = ι(a ∞ )(u θ ) for almost every (v θ , u θ ) ∈ V. In view of (5.3), we deduce that ι(a n k )(e, u θ ) converges strongly to ι(a ∞ )(u θ ) for almost every (v θ , u θ ) ∈ V. In particular, Fubini's theorem implies that there exists v θ ∈ V θ , such that ι(a n k )(e, u θ ) converges strongly to ι(a ∞ )(u θ ) for almost every u θ ∈ U θ . Set W θ,s = s Z V θ ⊂ P. It follows from the Levi decomposition P θ = Z G (S θ ) V θ that W θ,s is a normal subgroup of P θ . Since W θ,s ⊂ P ⊂ P θ , it follows that W θ,s is a normal subgroup of P.
We have the following inclusions of fixed point von Neumann subalgebras: In order to properly use the previous lemma, we would like to show that N s is globally P-invariant and study the action of G on L ∞ (G/P) ⊗ N s . In the commutative setting, Mautner's phenomenon implies that N s = N W θ,s , which is P-invariant (see [NZ00,Section 4]). This is because in the case when N is commutative, the state ψ is faithful on N , and so Mautner's phenomenon, which is based on purely Hilbert space considerations, can be applied. Unfortunately, in the general noncommutative case, the state ψ need not be faithful on N , and Mautner's phenomenon fails. The equality N s = N W θ,s does not hold. However, this equality will hold under taking a corner with respect to a suitable projection. This is the point of the following notation and lemma. Denote by q θ,s = u∈U (N W θ,s ) uqu * ∈ Z(N W θ,s ) the central support in N W θ,s of the projection q ∈ N P ⊂ N W θ,s . Here, the notation designates the join operation in the lattice of projections, i.e. the smallest projection dominating each element in the family. Since W θ,s is a normal subgroup of P, for every g ∈ P, we have σ g (N W θ,s ) = N W θ,s and so Therefore, we have q ≤ q θ,s and q θ,s ∈ N P ∩ Z(N W θ,s ). Observe that q θ,s is the orthogonal projection from H ψ onto the closure of (N W θ,s ∨ N )ξ ψ . The following lemma follows from Mautner's phenomenon.
Lemma 5.6. -For every y ∈ N s , we have yq θ,s = q θ,s y and yq θ,s ∈ N W θ,s .
Hence, for every g ∈ W θ,s , every b ∈ N W θ,s and every c ∈ N , we have σ g (y) − y bcξ ψ = 0. This shows that for every g ∈ W θ,s , σ g (y) − y q θ,s = 0 and so σ g (yq θ,s ) = σ g (y)q θ,s = yq θ,s . Thus, yq θ,s ∈ N W θ,s . Since q θ,s ∈ Z(N W θ,s ), we have yq θ,s = q θ,s yq θ,s . Applying this equality to y * ∈ N s shows that q θ,s y = (y * q θ,s ) * = (q θ,s y * q θ,s ) * = q θ,s yq θ,s = yq θ,s . A combination of Lemmas 5.5 and 5.6 shows that for every a ∈ A, we have that We now have all the required tools to start the proof of Theorem 5.1.
Proof of Theorem 5.1. -We assume that ϕ is not G-invariant and we will show that there exist a proper parabolic subgroup P ⊂ Q G and a G-equivariant normal unital * -embedding : L ∞ (G/Q, ν Q ) → M such that ϕ • = ν Q . Since ϕ is not G-invariant and since ϕ ∈ M * , ϕ| A is not G-invariant either. Recall that ϕ| A = G/P ψ • σ −1 g dν P (gP). This implies that ψ is not G-invariant. Since the real rank of G is at least two, the proof of [Ma91, Proposition I.1.2.2] shows that the subgroups U θ with ∅ θ generate the subgroup V. By [Ma91, Proposition I.1.2.1], the subgroups P and V generate G. Since ψ is P-invariant but not G-invariant, the above reasoning shows that there exists ∅ θ such that ψ is not U θ -invariant. We fix such a subset θ ⊂ and we choose s ∈ S θ .
The strategy of the first part of proof is strongly inspired by the techniques developed by Nevo-Zimmer in [NZ00] (most notably the proofs of [NZ00, Theorem 1] and [NZ00, Proposition 10.1]).
Set q 0 = q θ,s ∈ N P ∩ Z(N W θ,s ) and N 0 = N W θ,s q 0 . Recall that q ≤ q 0 . Since q 0 ∈ N P , we have that N 0 ⊂ q 0 N q 0 is a globally P-invariant von Neumann subalgebra. Define G and since ι is a G-equivariant normal unital * -embedding, it follows that M 0 ⊂ M is a globally G-invariant von Neumann subalgebra. Define the G-equivariant normal unital *homomorphism Since q = supp(ψ) and since q ≤ q 0 , we have (ν P ⊗ ψ) • ι 0 = ϕ and so ι 0 is indeed a * -embedding. Since the action G M is ergodic, the action G M 0 is ergodic.
Claim 5.8. -The action G M 0 is not ϕ-preserving. In particular, we have M 0 = C1.
At this point of the proof, we have constructed a globally G-invariant von Neumann subalgebra M 0 ⊂ M such that the ergodic (G, μ)-von Neumann algebra (M 0 , ϕ) satisfies the following properties: (1) There exist ∅ θ , s ∈ S θ , a von Neumann algebra N 0 (with separable predual) endowed with a normal state ψ and a continuous action σ : P N 0 that is ψ-preserving and such that W θ,s ⊂ ker(σ ).
(2) There exists a G-equivariant normal unital * -embedding ι 0 : As the action G M 0 may not be faithful, we denote by N G its kernel and we consider the continuous action G/N M 0 . We note that the quotient map π G/N : G → G/N sends the K-invariant admissible Borel probability measure μ ∈ Prob(G) to a π G/N (K)-invariant admissible Borel probability measure μ ∈ Prob(G/N) and that the action G/N (M 0 , ϕ) is ergodic and μ-stationary. Moreover G/N is a connected semisimple Lie group with trivial center, no nonzero compact factor, all of whose simple factors are of real rank at least two. Since the action G/N M 0 is not ϕ-preserving, we can repeat the first part of the proof of Theorem 5.1. Since G has only finitely many simple factors, we can continue a finite number of steps and we obtain that there exist a factor group π H : G → H, a π H (K)-invariant admissible Borel probability measure μ H ∈ Prob(H), a globally G-invariant von Neumann subalgebra M H ⊂ M such that the continuous action H M H is faithful, ergodic, μ H -stationary and satisfies the aforementioned properties (1), (2), (3). We will next show that there exist a proper parabolic subsgroup F < H and a H-equivariant normal unital * -embedding : Note that the above iterative procedure is unnecessary if G is simple. As we explain in Remark 5.12 below, one can in fact deduce the semisimple case from the simple case thanks to an easy observation from [BBHP20].
The strategy of the second part of the proof of Theorem 5.1 is new compared to the proof of [NZ00, Theorem 1]. We make use of various von Neumann algebraic techniques involving essential values into noncommutative algebras, disintegration theory and the slice mapping theorem of Ge-Kadison [GK95] and its generalization by Strȃtilȃ-Zsidó [SZ98]. We will show that the continuous G-action G Z(M 0 ) (which is ergodic and μ-stationary) does not preserve ϕ. We will then apply [NZ00, Theorem 1] to obtain the second item stated in Theorem 5.1. Recall . Choose a Borel probability measure ν V θ ∈ Prob(V θ ) that is in the same class as the Haar measure m V θ . Put Q = L ∞ (U θ ) ⊗ N 0 and regard As usual, we endow Q with the strong operator topology. Let f ∈ L ∞ (V θ , Q), which we regard as an element of L ∞ (V θ , Ball Q (0, f ∞ )). Denote by F f ⊂ Ball Q (0, f ∞ ) the essential range of f . Since Q has separable predual, Ball Q (0, y ∞ ) ⊂ Q is Polish with respect to the strong operator topology. Lemma A.2 implies that the essential range F f ⊂ Ball Q (0, f ∞ ) of f is strongly closed in Q and coincides with the set of essential values of f . Moreover, we may view f as an element of L ∞ (V θ , F f ).
Proof of Claim 5.9. -By construction of Q 0 , we have ι 0 (x n ) ∈ L ∞ (V θ , Q 0 ), for every n ∈ N. Since {x n | n ∈ N} is strongly dense in M 0 and since Q 0 is a von Neumann algebra, this further implies that Choose a faithful state ∈ (Q 0 ) * . Let n ∈ N and set f = ι 0 ( For every k ∈ N, applying [Ma91, Lemma IV.2.5(a)] to B k , there exist h k ∈ V θ and n k ∈ N large enough so that lim k ν V θ (s n k h k B k s −n k ) = 1. For every k ∈ N, set g k = s n k h k ∈ s Z V θ ⊂ P. We will show that σ g k (f ) converges strongly to 1 V θ ⊗ b in Q 0 as k → ∞. This will clearly imply that 1 V θ ⊗ b ∈ ι 0 (M 0 ) and the claim will follow. In view of formula (5.2) and since s acts trivially on N 0 , observe that For all k ∈ N, set C k = s n k h k B k s −n k ⊂ V θ . By assumption, we have lim k ν V θ (C k ) = 1 and we may compute This quantity converges to 0 as k → ∞. Since the sequence (σ g k (f )) k∈N is uniformly bounded, it follows that σ g k (f ) → 1 V θ ⊗ b strongly as k → ∞.
Proof of Claim 5.11. -By contradiction, assume that the action G Z(M 0 ) is ϕ- The same argument as in the proof of Claim 5.8 shows that for every x ∈ Z(M 0 ), the bounded measurable function . Choose a Borel probability measure ν U θ ∈ Prob(U θ ) that is in the same class as the Haar measure m U θ .
Combining the result of the previous paragraph with (5.1), we obtain be the unique projection such that 1 V θ ⊗ z 0 = ι 0 (p 0 ). Then the above computation applied to x = p 0 shows that and so ϕ(p 0 ) = 1. Since ϕ is faithful, we have p 0 = 1 and so z 0 = 1. Thus, ψ 0 | Z(Q 0 ) is faithful.
Remark 5.12. -In order to prove Theorem 5.1 in the case when G has trivial center, it is actually sufficient to prove it when G is simple. Indeed, assume that the result is true for simple groups and assume that (M, ϕ) is an ergodic (G, μ)-von Neumann algebra, where μ is an admissible left K-invariant measure on G and ϕ is faithful. Without loss of generality, we may assume that μ splits as a product of measures on each of the simple factors of G. Assume that ϕ is not G-invariant. Then it is not invariant under at least one simple factor G 1 of G. Write G = G 1 × G 2 . By [BBHP20, Lemma 2.8], there exists a G 1 -equivariant, ϕ-preserving conditional expectation M → M G 2 . Thus, ϕ is not G 1 -invariant on M G 2 and we may apply Theorem 5.1 to the ergodic action (G 1 , μ 1 ) (M G 2 , ϕ), to find a proper parabolic subgroup Q 1 < G 1 and a G 1equivariant von Neumann morphism L ∞ (G 1 /Q 1 ) → M G 2 ⊂ M. The conclusion follows once we realize that G 1 /Q 1 G/Q as measurable G-spaces, where Q = Q 1 × G 2 is a proper parabolic subgroup of G.

Proofs of the main results
In this section, we use the results obtained in Sections 4 and 5 to prove the main results stated in the introduction. We assume that G is a connected semisimple Lie group with finite center and no nontrivial compact factor, all of whose simple factors have real rank at least two. We use the notation from the introduction. Denote by Z(G) the center of G. Proof of Theorem B. -Let < G be any lattice. Assume that φ is not -invariant. Then we may find a -invariant von Neumann subalgebra of M with separable predual on which φ is not -invariant. So we may as well assume that M has separable predual. Consider the induced von Neumann algebra M = Ind G (M) = L ∞ (G/ ) ⊗ M with the corresponding induced G-action arising from a measurable section τ : G/ → G and the corresponding measurable 1-cocycle c : G × G/ → . We assume that τ ( ) = e. As we mentioned in Subsection 2.1, the induced G-action is ergodic since the initialaction is ergodic. By Theorem 4.3, there exists a μ-stationary faithful normal state on M, which is not G-invariant. So Theorem 5.1 implies that there exist a proper parabolic subgroup P ⊂ Q G and a G-equivariant unital * -homomorphism : C(G/Q) → M. We simply denote by σ the actions G C(G/Q) and M. Since A = C(G/Q) is a separable unital C * -algebra, [Ta02,Theorem IV.8.25] implies that there exists an essentially unique measurable field of unital * -homomorphisms Claim 6.1. -For every a ∈ A, the map G×G/ →M:(g, x) →σ c(g,x) −1 (π gx (σ g (a))) is measurable.
Proof of Claim 6.1. -The claim will follow after seeing the desired map as the composition of several measurable maps.
• Obviously, the maps (g, x) → c(g, x) −1 ∈ and (g, x) → gx ∈ G/ are measurable on G × G/ ; • The action map × M → M is weakly continuous (since is discrete), hence it is measurable as well; So indeed the map (a, π) → π(a) is continuous and it follows by composition that the map (x, a) → π x (a) ∈ M is measurable on G/ × A. This is what we wanted.
Since A is separable, a continuity argument allows to change the quantifiers and conclude that for every g ∈ G and almost every x ∈ G/ , Equation (6.1) holds simultaneously for every a ∈ A. Now, we conclude by a variation of the proof of [Zi84, Proposition B.5] that it is possible to modify the maps π x on a null set of x's to actually have equation (6.1) hold everywhere. We give all the details for completeness. Denote by Ball A (0, 1) (resp. Ball M (0, 1)) the closed ball in A (resp. M) of center 0 and radius 1 with respect to the uniform norm. Since M has separable predual, Ball M (0, 1) is a Polish space with respect to the * -strong topology and so it can be realized as a Borel subset of [0, 1]. Using Claim 6.1 and Fubini's theorem, we conclude that the following subset is ess. constant on G is measurable and conull in G/ . For every x ∈ X 0 and every a ∈ Ball A (0, 1), denote by ρ x (a) ∈ M the essential value of the measurable map G → Ball M (0, 1) : g → σ c(g,x) −1 (π gx (σ g (a))). Choose a Borel probability measure η ∈ Prob(G) in the same class as the Haar measure. Recall that we view Ball M (0, 1) ⊂ [0, 1] as a Borel subset. Then for every a ∈ Ball A (0, 1), Claim 6.1 and Fubini's theorem imply that the map X 0 → Ball M (0, 1) : x → ρ x (a) where ρ x (a) = G σ c(g,x) −1 (π gx (σ g (a))) dη(g) is measurable and coincides m G/ -almost everywhere with the measurable map X 0 → Ball M (0, 1) : For all x ∈ G/ , all g, h ∈ G and all a ∈ Ball A (0, 1), the 1-cocycle relation for c gives the formula (6.2) σ c(h,x) −1 c(g,hx) −1 (π ghx (σ gh (a))) = σ c(gh,x) −1 (π ghx (σ gh (a))).

6.2.
Proof of Theorem A. -Before proving Theorem A, we prove a few preliminary results. The following useful result is essentially contained in [Oz16,Remark 13] (see also [CP12,§7]). Proof. -We will use the classical fact that the intersection of the irreducible lattice with any proper normal closed subgroup of G is contained in the center of G. To see this general fact, we can mod out by the center of G to reduce to the center-free case. Then if N is a proper normal closed subgroup of G, we have in fact a splitting G N×N . Now ∩ N is normalized by , while it commutes with N . So it is also normalized by the projection of inside N G/N , which is dense in N. Since ∩ N is closed in N, it must in fact be normalized by the whole of N, by continuity. Since is discrete, ∩ N must be central in N, as claimed.
Observe that when G has trivial center, Lemma 6.2 implies that the action (G/H, ν G/H ) is essentially free.
The following useful lemma is inspired by observations due to Hartman-Kalantar (see [ B defined by σ γ = Ad(π(γ )) for every γ ∈ .
Proof. -Denote by A ⊂ B the separable unital C * -subalgebra generated by π( ) and θ(C(G/Q)) and observe that A ⊂ B is globally -invariant under the action σ . Since A is separable and since φ| A ∈ S(A) is μ 0 -stationary, we may apply Theorem 2.5 to obtain a -equivariant measurable map β φ : G/P → S(A) : w → φ w which satisfies φ = G/P φ w dν P (w). Denote by p Q : G/P → G/Q the projection map that moreover satisfies (p Q ) * ν P = ν Q . Since the state φ • θ is μ 0 -stationary on C(G/Q) and since ν Q is the only μ 0 -stationary state on C(G/Q) (see [Fu73,GM89]), we have φ • θ = ν Q . Since (G/Q, ν Q ) is a ( , μ 0 )-boundary in the sense of Furstenberg, we even deduce that there exists a conull measurable subset 1 ⊂ G/P such that for every w ∈ 1 , the state φ w • θ ∈ S(C(G/Q)) is equal to the Dirac state δ p Q (w) (see [BS04,Theorem 2.14]). Since δ p Q (w) ∈ S(C(G/Q)) is multiplicative, we infer that for all w ∈ 1 , θ(C(G/Q)) lies in the multiplicative domain of φ w (see e.g. [BO08, Proposition 1.5.7]).
We are now ready to prove Theorem A.
Proof of Theorem A. -Let < G be any irreducible lattice. Observe that the set C( , μ 0 ) of all μ 0 -characters on is a nonempty compact convex subset of the space ∞ ( ) endowed with the weak * -topology. Using Krein-Milman's theorem, in order to prove Theorem A, it suffices to show that any extreme point in C( , μ 0 ) is conjugation invariant.

6.3.
Proof of Theorem C. -Assume that G has trivial center. Let < G be any irreducible lattice. Let ϕ be any extreme point in the space of characters of . Denote by (π 0 , H 0 , ξ 0 ) the GNS triple corresponding to φ. As explained in the proof of Theorem A, the von Neumann algebra M = π 0 ( ) is a finite factor and the vector state φ = · ξ 0 , ξ 0 ∈ M * is the canonical faithful normal trace. Denote by J : H 0 → H 0 : xξ 0 → x * ξ 0 the canonical anti-unitary. We have JMJ = M ∩ B(H 0 ). The Hilbert space H 0 is naturally endowed with an M-M-bimodule structure given by xηy = xJy * Jη for all x, y ∈ M and all η ∈ H 0 . Note that we have xξ 0 = Jx * Jξ 0 for every x ∈ M.
The key aspect of Peterson's approach [Pe14] is to study the noncommutative Poisson boundary, defined as the fixed-point von Neumann algebra B = L ∞ (G/P) ⊗ B(H 0 ) with respect to the -action α : L ∞ (G/P, ν P ) ⊗ B(H 0 ) defined by α γ = σ γ ⊗ Ad(Jπ 0 (γ )J) for every γ ∈ . Here, σ : L ∞ (G/P, ν P ) is the natural translation action. Alternatively, we can view B as the von Neumann algebra of all essentially bounded measurable functions f : G/P → B(H 0 ), modulo equality ν P -almost everywhere, that satisfy f (γ w) = Ad(Jπ 0 (γ )J)(f (w)) for every γ ∈ and ν P -almost every w ∈ G/P. Note that C1 ⊗ M ⊂ B corresponds to the von Neumann subalgebra of all essentially constant measurable functions f : G/P → M. Recall that B is amenable (see [CP13, Section 2]).
Define the conjugation action β : L ∞ (G/P) ⊗ B(H 0 ) by β γ = Ad(1 ⊗ π 0 (γ )) for every γ ∈ . Then β commutes with α and so B is globally -invariant under the action β. The next lemma will allow us to apply Theorem B.
Lemma 6.4. -Keep the same notation as above. The following assertions hold true.
(i) The action β : B is ergodic.
Proof of Theorem C. -Let ϕ be any extreme point in the space of characters of . Keep the same notation as above. By Lemma 6.4 and Theorem B, the following dichotomy holds: (1) Either is -invariant with respect to β.
(2) Or there exist a proper parabolic subgroup P ⊂ Q G and a -equivariant map : C(G/Q) → B.
If (2) holds, Lemma 6.3 shows that ϕ = φ • π 0 must be the Dirac map at the identity. If (1) holds, we show that M is a finite dimensional factor and hence ϕ is almost periodic. Since has property (T), M has property (T) in the sense of [CJ83] so it suffices to prove that M is amenable. As we saw, B is amenable so we only need to verify that For every f ∈ B and every γ ∈ , we have Since this quantity does not depend on γ ∈ , the bounded μ 0 -harmonic function → C : γ → G/P f (γ w)ξ 0 , ξ 0 dν P (w) is constant. Since (G/P, ν P ) is the ( , μ 0 )-Poisson boundary, Theorem 2.2 implies that the function G/P → C : w → f (w)ξ 0 , ξ 0 is ν P -almost everywhere constant. Since C1 ⊗ M ⊂ B, we deduce that for all f ∈ B and all a, b ∈ M, (1 ⊗ b * )f (1 ⊗ a) ∈ B and so the measurable function G/P → C : w → f (w)aξ 0 , bξ 0 is essentially constant. By separability of H 0 and density of Mξ 0 in H 0 , we conclude that f is essentially constant. Since f (γ w) = Ad(Jπ 0 (γ )J)(f (w)) for every γ ∈ and ν P -almost every w ∈ G/P, we conclude that the unique essential value of f commutes with JMJ and so lies in M. This shows that f ∈ C1 ⊗ M. Thus, we have B = C1 ⊗ M.

6.4.
Proof of Corollary D. -Before proving Corollary D, we make the following easy observation regarding unitary representations of property (T) groups.
Lemma 6.5. -Let be any countable infinite group with property (T). Then for anyunitary representations π and ρ, if π is weakly mixing and if ρ is weakly contained in π , then ρ is also weakly mixing.
Proof. -By contradiction, assume that ρ is not weakly mixing. Then ρ contains a finite dimensional representation. Up to replacing ρ by this finite dimensional subrepresentation, we may assume that ρ is finite dimensional and is weakly contained in π . Then ρ ⊗ ρ contains the trivial representation and is weakly contained in π ⊗ π . Since has property (T), it follows that π ⊗ π contains the trivial representation and thus π contains a finite dimensional representation. This contradicts the assumption that π is weakly mixing.
Proof of Corollary D. -Assume that G has trivial center. Let < G be any irreducible lattice. Since has property (T), has countably many finite dimensional unitary representations up to unitary conjugacy, that we denote by π n , n ≥ 1 (see [Wa74, Theorem 2.1(iv)]). Denote by π 0 = λ the left regular representation. Theorem C implies that has countably many extreme points in the space of characters: those corresponding to the finite dimensional unitary representations (π n , H n ), denoted by τ n , n ≥ 1; and the one corresponding to the left regular representation π 0 = λ, namely the Dirac map at the identity, denoted by τ 0 = δ e .
Let π be any weakly mixing -unitary representation. Set A = C * π ( ) and denote by σ : A the conjugation action defined by σ γ = Ad(π(γ )) for every γ ∈ . There exists a μ 0 -stationary state φ ∈ S(A). Since ϕ = φ • π is a μ 0 -character, it is in fact a genuine character by Theorem A. This means that φ is a tracial state. Thus, A has at least one tracial state. We prove now that the left regular representation λ is weakly contained in π and that A has a unique tracial state.
Let φ ∈ S(A) be any tracial state and denote by ϕ = φ • π the corresponding character on . By the first paragraph, we may find a sequence (α n ) n∈N of nonnegative real numbers such that 1 = n∈N α n and ϕ = n∈N α n τ n .
Claim 6.6. -For every n ∈ N such that α n = 0, we have that π n is weakly contained in π .
Proof of Claim 6.6. -We view π n and π as representations of the full C * -algebra C * ( ). In particular ϕ = φ • π is now a state on C * ( ). We denote by φ n the canonical faithful normal tracial state on the finite factor π n ( ) so that φ n • π n = τ n . Note that φ n is implemented by a cyclic vector ξ n ∈ H n . By uniqueness of the GNS representation, we have that (π n , H n , ξ n ) is the GNS triple associated with τ n . For all a, b ∈ C * ( ), we have π n (b) π n (a)ξ n = ba 2,τ n ≤ 1 √ α n ba 2,φ•π ≤ 1 √ α n π(b) · π(a) .
Proof of Corollary F. -Assume that G has trivial center. Let < G be any irreducible lattice. Let X be any minimal action. Choose an extreme point ν in the compact convex set of all μ 0 -stationary Borel probability measures on the compact metrizable space X. Then the action (X, ν) is ergodic. Moreover, since the action X is minimal, we have supp(ν) = X. Assume that the action X is not topologically free. Then there exists γ ∈ \ {e} such that Fix(γ ) = {x ∈ X | γ x = x} has nonempty interior. Since supp(ν) = X, this implies that ν(Fix(γ )) > 0 and so the action (X, ν) is not essentially free. Theorem E implies that the action (X, ν) is not faithful or not properly ergodic.
If the action is not faithful, then Margulis' normal subgroup theorem (see [Ma91,Theorem IV.4.10]) implies that ker( (X, ν)) has finite index in , and we get the desired conclusion that X is finite. If now the action is not properly ergodic, then ν is atomic. Since ν is μ 0 -stationary, the maximum principle implies that the set of atoms of ν is finite and ν is -invariant. This implies that supp(ν) coincides with the finite set of atoms and so X = supp(ν) is finite in this case as well.
Let now X ⊂ Sub( ) be any URS. By definition of the URS and since = {e}, for every x = ∈ X, we have Stab (x) = N ( ) = {e}. This implies that X is not topologically free. Therefore, X is finite.

Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Open Access
This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
We first show that F f ⊂ V f . Observe that V f ⊂ Y is a closed subset. Indeed let y ∈ V f and O ⊂ Y be an open subset with y ∈ O. There exists z ∈ V f ∩ O, so we have μ(f −1 (O)) > 0 and hence y ∈ V f . We next show that μ(f −1 (V f )) = 1. Indeed for all y ∈ Y \ V f , there exists an open subset O y ⊂ Y \ V f such that y ∈ O y and μ(f −1 (O y )) = 0. We have Y \ V f = y∈Y\V f O y . Since the topology O on Y has a countable basis, it follows that μ(Y \ V f ) = 0. Thus, V f ⊂ Y is a closed subset satisfying μ(f −1 (V f )) = 1. It follows that F f ⊂ V f . We next show that V f ⊂ F f . Let F ⊂ Y be any closed subset satisfying μ(f −1 (F)) = 1. Let y ∈ Y \ F. Since Y \ F ⊂ Y is an open subset and since μ(f −1 (Y \ F)) = 0, we have y ∈ Y \ V f . Therefore Y \ F ⊂ Y \ V f and hence V f ⊂ F. Since this holds for all closed subsets F ⊂ Y satisfying μ(f −1 (F)) = 1 we have V f ⊂ F f .
Observe that if f , g : X → Y are two Borel measurable maps that agree μ-almost everywhere, we have F f = F g .