Superrigidity of maximal measurable cocycles of complex hyperbolic lattices

Let Γ\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} be a torsion-free lattice of PU(p,1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$PU (p,1)$$\end{document} with p≥2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$p \ge 2$$\end{document} and let (X,μX)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(X,\mu _X)$$\end{document} be an ergodic standard Borel probability Γ\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}-space. We prove that any maximal Zariski dense measurable cocycle σ:Γ×X⟶SU(m,n)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma : \Gamma \times X \longrightarrow SU (m,n)$$\end{document} is cohomologous to a cocycle associated to a representation of PU(p,1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$PU (p,1)$$\end{document} into SU(m,n)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$SU (m,n)$$\end{document}, with 1≤m≤n\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$1 \le m \le n$$\end{document}. The proof follows the line of Zimmer’ Superrigidity Theorem and requires the existence of a boundary map, that we prove in a much more general setting. As a consequence of our result, there cannot exist maximal measurable cocycles with the above properties when 1


Introduction
Given ≤ L a torsion-free lattice of a semisimple Lie group, a fruitful way to study representation spaces of is based on numerical invariants coming from bounded cohomology. Typically those invariants have bounded absolute value and representations attaining the maximum (that is maximal representations) are all conjugated to some fixed representation of the ambient group. For instance, in the particular case of surface groups, Goldman [15] studied the relation between the Teichmüller space and the maximality of the Euler invariant. Indeed the maximality of the latter corresponds to the choice of a specific component of the PSL(2, R)-character variety. By substituting PSL(2, R) with any Hermitian Lie group G, Burger, Iozzi and Wienhard [9] gave a structure theorem for tight representations of locally compact groups into G. A representation is called tight if the map induced in bounded cohomology preserves the norm of the Kähler class κ b G associated to G. Later, the Section de Mathématiques, University of Geneva, Rue Du Lièvre 2, Geneva 1227, Switzerland same authors focused their attention on surface groups (also with boundary components) and studied systematically maximal representations into Hermitian Lie groups leading to a complete characterization of such representations [10].
In this paper we are going to focus our attention on complex hyperbolic lattices, that is torsion-free lattices of PU( p, 1), with p ≥ 2. The theory of maximal representations of complex hyperbolic lattices has been widely studied so far. For instance, when is a non-uniform lattice, Koziarz and Maubon [21] showed that maximal representations into the group PU(q, 1), where q ≥ p ≥ 2, must be conjugated to the standard lattice embedding → PU( p, 1), possibly modulo a compact subgroup when q > p. This result was obtained by using techniques relying on the theory of harmonic maps, whereas Burger and Iozzi [7] proved the same result using a bounded cohomology approach.
Also some superrigidity phenomena are given. For instance, Pozzetti [29] proved that maximal representations into SU(m, n) with Zariski dense image must be induced by representations of the ambient group PU( p, 1). In particular, this suggests that when 1 < m < n such representations cannot exist. Additionally, she gave also a structure theorem for maximal representations, following the line of some previous works by Hamlet and herself [17,18,20]. More recently Koziarz and Maubon [22] refined such a characterization with the use of Higgs bundles.
Inspired by the work by Bader, Furman and Sauer [5] for couplings and by Burger and Iozzi [6] for representations, one of the author together with Moraschini [26,28,30,31] has recently developed the theory of numerical invariants of measurable cocycles, that is part of a program whose aim is to generalize rigidity results for representations of rank-one lattices. Those invariants are obtained by pulling back preferred classes in bounded cohomology along cocycles, imitating the case of representations. The aim of this paper is to apply this machinery to the study of measurable cocycles of complex hyperbolic lattices to get a superrigidity result similar to the one obtained by Pozzetti. More precisely, let < PU( p, 1) be a torsion-free lattice, (X , μ X ) be an ergodic standard Borel probability -space and σ : × X → SU(m, n) be a measurable cocycle. Exploiting the Kähler form on the symmetric space associated to SU(m, n), one can define the bounded Kähler class of SU(m, n) in H 2 cb (SU(m, n); R), that we denote by k b SU(m,n) . The pullback of such a class along σ gets back a class in H 2 b ( ; R) and through the transfer map we obtain a class in H 2 cb (PU( p, 1); R). Hence we can consider the multiplicative constant obtained by comparing such a class with the Cartan class in H 2 cb (PU( p, 1); R). This turns out to be a numerical invariant t b (σ ) that we are going to call Toledo invariant associated to σ . Since the latter has absolute value bounded by the rank of SU(m, n), it makes sense to define the notion of maximal measurable cocycles as those ones with maximal Toledo invariant.
If in addition σ admits a boundary map into the Shilov boundary S m,n of SU(m, n), namely a measurable map φ : ∂H p C × X → S m,n which is σ -equivariant, the machinery of [26,28] can be exploited to get a useful representative for the pull back of k b SU(m,n) . More precisely, we recall that S m,n can be identified with the quotient of SU(m, n) by a maximal parabolic subgroup stabilizing a maximal isotropic subspace of C n+m . On this boundary one can define naturally a bounded measurable SU(m, n)-invariant cocycle, the Bergmann cocycle, that corresponds to the bounded Kähler class through the canonical map H 2 (B ∞ ((S m,n ) •+1 ; R)) → H 2 cb (SU(m, n); R) defined by Burger and Iozzi [6]. Hence we can apply the theory of pullback along boundary maps getting a class in SU(m,n) . Even though the definition of Toledo invariant for measurable cocycles ×X → SU(m, n) can be given without boundary maps, those maps are fundamental in order to adapt the proof by Zimmer. For this reason our first result, which is given in a much more general setting, investigates the existence of boundary maps. In the following statement a -boundary is an amenable -space which is relatively metrically ergodic (see Definition 2.14) Theorem 1 Let be a locally compact and second countable group and let H be a simple Lie group of non-compact type. Let (X , μ X ) be an ergodic standard Borel probability -space and let σ : × X → H be a Zariski dense measurable cocycle. Then, for any -boundary B there exists a σ -equivariant map φ : The proof of the above result relies on the techniques by Bader and Furman ( [4]) concerning the category of algebraic representations of ergodic spaces. A fundamental tool will be the notion of relative metric ergodicity, that we recall in Sect. 2.5. Here the assumption of Zariski density of σ refers to the fact that the algebraic hull coincides with the whole target group.
As a consequence of Theorem 1, given a torsion-free lattice < PU( p, 1) and an ergodic standard Borel probability -space (X , μ X ), any Zariski dense measurable cocycle σ : × X → SU(m, n) admits a boundary map φ : ∂H p C × X → S m,n . We are going to prove even more. Indeed, exploiting the ergodicity of the space X , we will show that the slice φ x (ξ ) := φ(ξ, x) is essentially Zariski dense for almost every x ∈ X (see Proposition 4.4).
Finally notice that Theorem 1 has important consequences also on the work of one of the author [31], answering to the question of [31,Section 4.1] about the existence of boundary maps for Zariski dense measurable cocycles of surface groups.
Thanks to the existence of a boundary map, we are going to prove the following superrigidity result.
Theorem 2 Consider p ≥ 2 and 1 ≤ m ≤ n. Let < PU( p, 1) be a torsion-free lattice and let (X , μ X ) be an ergodic standard Borel probability -space. If σ : × X → SU(m, n) is a maximal Zariski dense measurable cocycle, then it is cohomologous to the restriction of a cocycle associated to a representation ρ : PU( p, 1) → SU(m, n).
In the particular case when m = 1, we get back [26,Theorem 3] for Zariski dense cocycles. We also point out that, under the Zariski density assumption, Theorem 2 does not follow by Zimmer' Superrigidity Theorem [33,Theorem 4.1] since the rank of PU( p, 1) is one. So our result should be considered as a suitable adaptation of Zimmer's theorem in the context of rank-one lattices, where to get the desired trivialization one needs to introduce the maximality assumption.
It is worth noticing that it was conjectured that maximal representations of a complex hyperbolic lattice into a Hermitian Lie group are superrigid. Theorem 2 suggests that a similar conjecture should hold also for measurable cocycles.
As an easy application of the results by Pozzetti, we also obtain the following Proposition 3 Consider p ≥ 2. Let < PU( p, 1) be a torsion-free lattice and let (X , μ X ) be an ergodic standard Borel probability -space. Assuming 1 < m < n, there is no maximal Zariski dense measurable cocycle σ : × X → SU(m, n).
The proof of Theorem 2 is not a mere adaptation of Pozzetti's proof. We need an additional study of the slices of the boundary map. Indeed, since the slice φ x is measurable for almost every x ∈ X [24, Chapter VII, Lemma 1.3], the maximality of σ implies that the slice φ x preserves the chain geometry for almost every x ∈ X . Being essentially Zariski dense by Proposition 4.4, by [29,Theorem 1.6] we argue that φ x is a rational map for almost every x ∈ X . This gives us back a measurable map : X → Rat(∂H p C , S m,n ), (x) := φ x . Thus following the line of the proof of [33,Theorem 4.1], we exploit the ergodicity of on X and the smoothness of the action of PU( p, 1) × SU(m, n) on Rat(∂H p C , S m,n ) to get the desired statement. In the proof we will exploit the fact that stabilizers of measures on quotients of PU( p, 1) by a closed subgroup are algebraic (see Lemma 5.1). Plan of the paper. The paper is divided into four sections. In Sect. 2 we recall some preliminary definitions and known results. More precisely, we start by giving the definition of measurable cocycle, we remark how it extends the notion of representation and we generalize conjugation by defining what cohomologous cocycles are. Afterwards, we focus on bounded cohomology of locally compact groups, recalling basic definitions and Burger-Monod's functorial approach which provides a useful technique for the computation. Then we move to the definition of two specific cohomology classes, the Kähler class and the Cartan class. Finally we remind the notion of smooth, ergodic and amenable actions. We conclude with the notions of relative metric ergodicity and boundaries.
The aim of Sect. 3 is to introduce the Toledo invariant of a measurable cocycle and to prove some of its properties. Using boundary maps to implement the pullback in bounded cohomology and applying the transfer map, we are allowed to compare the pullback of the Kähler class with the Cartan class. The real number obtained by such a comparison will be our desired invariant. Then we prove that the module of such invariant is bounded by the rank rk(X m,n ) of the symmetric space associated to SU(m, n).
In Sect. 4 we prove Theorem 1 and Proposition 4.4, where we investigate the relation between the Zariski density of the cocycle and the essential Zariski density of the slices of the boundary map.
Section 5 is spent to prove the Theorem 2 and Proposition 3.

Measurable cocycles
Let G and H be locally compact groups endowed with their Haar measurable structures. Let (X , μ X ) be a standard Borel probability space equipped with a measure preserving G-action. Additionally, suppose that μ X is atom-free. Under those assumptions, we say that (X , μ X ) is a standard Borel probability G-space. If the G-action preserves only the measure class of μ X , we are going to call (X , μ X ) a Lebesgue G-space. Given another measure space (Y , μ Y ), we denote by Meas(X , Y ) the space of measurable maps from X to Y , where we identify two measurable functions if they coincide up to a measure zero subset. We endow Meas(X , Y ) with the topology of convergence in measure. In the previous setting we can give the following Definition 2.1 A measurable cocycle is a measurable function σ : G × X → H which satisfies the cocycle condition for almost every g 1 , g 2 ∈ G and for almost every x ∈ X .
The cocycle condition (1) can be suitably interpreted as a generalization of the chain rule for differentiation. Moreover, it is equivalent to the equation defining Borel 1-cocycles of Meas(G, Meas(X , H )) in the sense of Eilenberg-MacLane (see for instance [14]).
The notion of measurable cocycle is quite ubiquitous in mathematics, but for our purposes we will mainly focus our attention on how measurable cocycles extend the concept of representations. More precisely, given a representation one can naturally define a cocycle associated to it as follows.
Definition 2.2 Let ρ : G → H be a continuous representation and let (X , μ X ) be a standard Borel probability G-space. The cocycle associated to ρ is defined by for every g ∈ G and for almost every x ∈ X .
Notice that when is a lattice, it naturally inherits the discrete topology from the ambient group and hence any representation is automatically continuous.
By following the interpretation of measurable cocycles as Borel 1-cocycles, we now introduce the notion of cohomologous cocycles.

Definition 2.3
Let σ 1 , σ 2 : G × X → H be two measurable cocycles, let f : X → H be a measurable map and denote by σ f 1 the cocycle defined as for every g ∈ G and almost every x ∈ X . The cocycle σ f 1 is the f -twisted cocycle associated to σ 1 . We say that σ 1 is cohomologous to σ 2 if there exists a measurable map f such that As well measurable cocycles may be interpreted as a generalization of representations, so the notion of cohomologous cocycles actually extends conjugacy between representations.
An important tool that may encode useful information about a given representation is the closure of its image. One would like to introduce a similar notion in the context of measurable cocycles. Unfortunately this attempt may reveal quite difficult since a priori the image of a cocycle does not have any nice algebraic property like a group structure. Nevertheless, when the target is an algebraic group, it is possible to introduce the notion of algebraic hull.

Definition 2.4
Let H be a semisimple real algebraic group and denote by H = H(R) the real points of H. The algebraic hull of a measurable cocycle σ : G × X → H is the (conjugacy class of the) smallest algebraic subgroup L of H such that L(R) • contains the image of a cocycle cohomologous to σ .
We say that σ is Zariski dense if its algebraic hull coincides with the whole group H.
The fact that the notion of algebraic hull is well-defined follows by the descending chain condition in H, which is algebraic and hence Noetherian [34, Proposition 9.2.1]. Notice that by [34, Proposition 3.1.6] simple Lie groups are real points of algebraic groups, thus it makes sense to speak about Zariski density in that case. This should clarify the assumption of Theorem 1

Continuous bounded cohomology
In this section we are going to recall both the definitions of continuous and continuous bounded cohomology for locally compact groups. We refer to [11,25] for more details.
We define the sets of real continuous functions on G •+1 as There exists a natural G-action for every f ∈ C • c (G; R) and for every g, g 0 , . . . , g • ∈ G. Hence, if we consider the sets of is the cochain complex of real-valued invariant continuous functions on G.

Definition 2.5
The continuous cohomology of the group G with real coefficients is the cohomology of the complex (C • c (G; R) G , δ • | ) and it is denoted by H • c (G; R). Similarly, we can consider the subspace of continuous bounded cochains, that is the cochain complex given by and the coboundary is obtained by restriction, since it preserves boundedness.

Definition 2.6
The continuous bounded cohomology of the group G with real coefficients is the cohomology of the complex It is worth mentioning that the space H • cb (G; R) admits a standard seminormed structure. Indeed, given an element α ∈ H • cb (G; R), we can define its seminorm as follows In this way H • cb (G; R) becomes a seminormed space with the quotient seminorm. The computation of continuous bounded cohomology groups may reveal quite complicated using the standard definition. Burger and Monod [11,25] circumvent this problem showing a way to compute continuous bounded cohomology with the use of strong resolutions by relatively injective G-modules. Since it would be too technical to introduce those notions here, we prefer to omit them and we refer to Monod's book [25] for a more detailed exposition. The result by Burger and Monod [11,Corollary 1.5.3.] shows that given a locally compact group G and a strong resolution of R by relatively injective Banach G-modules Unfortunately the isomorphism above is not isometric a priori, in the sense that it does not necessarily preserve seminorms.
We will spend the rest of the section to define a strong resolution which actually realizes the isomorphism isometrically. Let (S, μ) be an amenable G-space (we refer the reader to Definition 2.11). The cochain complex of essentially bounded measurable functions on where δ • is the standard homogeneous coboundary operator. If we consider the G-action defined by Equation (2) and we complete the previous complex with the inclusion of coefficients R → L ∞ (S; R), we obtain a resolution of R that is strong and consists of relatively injective G-modules [11,Theorem 1]. Hence, by [11, Corollary 1.5.3], we have the following isomorphism The striking result is that this isomorphism is in fact isometric [11,Theorem 2].
Even if S is not amenable, it is sufficient to consider the complex (B ∞ (S •+1 ; R), δ • ) of bounded measurable functions on S •+1 to gain information about the continuous bounded cohomology of G. Indeed with the G-action defined by Equation (2) and the inclusion R → B ∞ (S; R), we obtain a resolution of R which is strong (but not necessarily by relatively injective modules). By Burger and Iozzi [6, Corollary 2.2] there exists a canonical map We will tacitly exploit the previous result to ensure that the pullback of measurable cochain along boundary maps lies in L ∞ .

Cartan and Kähler classes
In this section we are going to define two bounded measurable cocycles that will be the main ingredients for the definition of the Toledo invariant associated to a measurable cocycle.
Let 1 ≤ m ≤ n. Let SU(m, n) be the subgroup of SL(n + m, C) which preserves the Hermitian form defined by the following matrix where the matrices appearing above are the identity matrix of order given by the subscript. Denote by X m,n the associated symmetric space. It is well-known that the latter is a Hermitian symmetric space, that is it admits a SU(m, n)-invariant complex structure. Additionally, when m = n, the Hermitian space is of tube type, namely it can be biholomorphically realized as a domain of the form V + i , where V is a real vector space and ⊆ V is a proper convex cone. More generally X m,n contains maximal tube type subdomains which are all isometric to the symmetric space X m,m assuming 1 ≤ m ≤ n.
The space X m,n can also be realized biholomorphically as a bounded convex subspace of C n . In that case, SU(m, n) acts via biholomorphisms and this action extends continuously to the boundary ∂X m,n , which is not a homogeneous SU(m, n)-space but it admits a unique closed SU(m, n)-orbit called Shilov boundary. The Shilov boundary S m,n is the smallest closed subset on which one can apply the maximum principle and it can be identified with the quotient SU(m, n)/Q, where Q is a maximal parabolic subgroup stabilizing a maximal isotropic subspace of C m+n . Notice that when 1 ≤ m ≤ n, the Shilov boundaries of maximal tube type subdomains of X m,n naturally embed into S m,n . Those boundaries are called mchains. A measurable map ϕ : ∂H p C → S m,n will be chain-preserving if it sends chains to chains.
If ω ∈ 2 (X m,n ) SU(m,n) is the Kähler form of X m,n , denoting by X (3) m,n the set of distinct triples of points in X m,n , we can define the following function where (x, y, z) is any triangle with vertices x, y, z and geodesic edges. Since ω is SU(m, n)invariant, it is closed by Cartan's Lemma [19,Lemma VII.4], and using Stokes' Theorem we get that β is a well-defined SU(m, n)-invariant bounded cocycle. Clerc and Øersted [12] proved that it is possible to extend β to triple of points of the Shilov boundary S m,n in a measurable way getting a map β S m,n called Bergmann cocycle. In this way we obtain a bounded SU(m, n)-invariant measurable cocycle, that is β S m,n ∈ B ∞ ((S m,n ) 3 ; R) SU(m,n) , and hence by Sect. 2.2 we obtain a class in H 2 cb (SU(m, n); R).

Definition 2.7
The bounded SU(m, n)-invariant measurable cocycle β S m,n is the Bergmann cocycle and the class determined by the Bergmann cocycle in H 2 cb (SU(m, n); R) is called Kähler class.
We recall some properties of the Bergmann cocycle listed in [29, Proposition 2.1] and that we will use later in the proof of the main theorem. The following hold (1) The map β S m,n is an alternating cocycle defined everywhere such that for every ξ 0 , ξ 1 , ξ 2 in S m,n ; (2) The map β S m,n attains its maximum only on triples of distinct points lying on m-chains.
Such triples are called maximal.
In the case m = p and n = 1 the Bergmann cocycle boils down to the Cartan angular invariant c p (see [16]) and we will call the associated cohomology class the Cartan class.

Ergodic, smooth and amenable actions
In this section we are going to recall the definitions of ergodic, smooth and amenable actions. These notions will be crucial in the proof of Theorem 2. We refer the reader to [34], where all those definitions are discussed with more details.
In order to define both smooth and ergodic actions we first need to introduce the notion of countably separated space. B) is countably separated if there exists a countable family of Borel sets {B j } j∈J that separate points.
A relevant example of countably separated space is the quotient space of an algebraic variety defined over a local field of characteristic zero by an algebraic action of an algebraic group. This is a consequence of [34, Theorem 2.1.14] together with [34,Proposition 3.1.3].
Using the notion of countably separated space we are ready to define the concept of smooth action. (X , B) be a countably separated G-space. The action is called smooth if the quotient Borel structure on X /G is countably separated.

Definition 2.9 Let
Smooth actions are crucial in the study of boundary theory. Indeed one of the key point of the proofs of both Margulis [23] and Zimmer [33] superrigidity results relies on the smoothness of the action of product groups on the set of rational functions between boundaries.
To be more precise, we are going to give an explicit example in our context. Denote by G = PU( p, 1) and by H = SU(m, n). Recall that G can be seen as the real points of its complexification G = PSL( p+1, C) once we have suitably fixed a real structure on it. A similar thing holds for H and its complexification H = SL(m + n, C). Additionally, there exist parabolic subgroups P < G and Q < H for which ∂H p C = (G/P)(R) and S m,n = (H/Q)(R). We say that a map between ∂H p C and S m,n is rational, if it is the restriction of a rational map between G/P and H/Q. This enables us to speak about the set Q:=Rat(∂H p C , S m,n ) of rational maps between ∂H p C and S m,n . It is possible to define a joint action of G and H as follows We conclude this brief section by recalling the notion of amenable spaces.

Definition 2.11
Let G be a locally compact second countable group. Let (S, μ) be a Lebesgue which has norm one, it is positive and it satisfies m(χ G×S ) = χ S . An action of G on S is amenable, or equivalently S is an amenable G-space, if there exists a mean on L ∞ (G × S; R).
Actions determined by amenable groups are amenable, but more generally one can characterize the amenability of a group using actions. Indeed any group acting amenably on a space with finite invariant measure is amenable [34,Proposition 4.3.3]. The crucial property that we are going to use later is given by the fact that, given a closed subgroup H ≤ G, then H is amenable if and only if the G-action of the quotient space G/H is amenable [34,Proposition 4.3.2]. In particular, given a semisimple Lie group G of non-compact type, since any minimal parabolic subgroup P ≤ G is amenable, the quotient G/P must be an amenable G-space.

Relative metric ergodicity, boundaries and boundary maps
The goal of this section is to introduce the notion of boundary for a generic locally compact and second countable group . This definition is due to Bader and Furman and we refer to [3] for further details. We point out that in [3] the authors first provide the more general definition of boundary pairs and then the one of -boundary, but here we will not deal with pairs. The objects that we introduce in this section are the main characters of Theorem 1 and of Sect. 4.
We start with the following first refinement of the notion of ergodic space. We note that a metrically ergodic action is actually ergodic, taking as M the space {0, 1} with the trivial -action. For our goal, we need a further refinement of metric ergodicity. Before doing that, we give the definition of relative -isometric action.

Definition 2.13
A metric on a Borel function p : M → T between standard Borel probability spaces is a function d : Given a metric on p : M → T , an action of on M is fiber-wise isometric if there exists a p-compatible -action on T such that, for any t ∈ T , x, y ∈ p −1 (t) and γ ∈ we have The notion of fiberwise isometric action allows us to introduce the following It is worth noticing that relative metric ergodicity boils down to metric ergodicity if we consider the trivial projection q : X → { * } on a point.
We finally have all the needed tools to give the notion of boundary.

Definition 2.15
A -boundary is a Lebesgue -space B such that the projections pr 1 : B × B → B and pr 2 : B × B → B on the two factors are relative metric ergodic.

Remark 2.16 As observed in [3, Remarks 2.4] a -boundary in the sense of Definition 2.15
is a strong -boundary in the sense of Burger and Monod [11].
Bader and Furman [3, Theorem 2.3] proved that for any lattice in a connected semisimple Lie group G of non-compact type, the quotient G/P is a -boundary, where P is a minimal parabolic subgroup. This leads naturally to the following Definition 2.17 Let < G be a torsion-free lattice in a semi-simple Lie group of noncompact type and let H be a locally compact group. Consider a standard Borel probability -space (X , μ X ) and a Lebesgue H -space (Y , ν). A boundary map for a measurable cocycle σ : × X → H is a measurable map for all γ ∈ and almost every ξ ∈ G/P, x ∈ X . Remark 2. 18 We now compare the notion of boundary map with the ones of Sect. 2.1.
(i) If ρ : G → H is a representation and σ = σ ρ is the induced cocycle as in Definition 2.2, a ρ-equivariant map ϕ : G/P → Y naturally defines a σ ρ -equivariant map φ : for every ξ ∈ G/P and x ∈ X . (ii) If φ : G/P × X → Y is a boundary map for a cocycle σ : G × X → H and f : X → G is a measurable function, the map φ f : is a boundary map for the twisted cocycle σ f introduced in Definition 2.3.
The existence of boundary maps for Zariski dense cocycles will be a crucial result in the proof of our main theorem.

Toledo invariant associated to a cocycle
In this section we define the Toledo invariant associated to a measurable cocycle, generalizing the standard definition given for representations. Firstly, we do not use boundary maps, as done by the second author in [31] and then we follow the approach adopted by the second author and Moraschini in [26,28,30,31] for the definition of multiplicative constants. Indeed the Toledo invariant will be a particular case of multiplicative constant in the sense of [26].
We are going to fix the following Setup 3.1 Consider p ≥ 2 and 1 ≤ m ≤ n. We assume that: As proved in [31, Lemma 2.7], the map is a well-defined cochain map and hence induces the following map at a cohomological level Then we can compose with the transfer map associated to . The latter, denoted by (PU( p, 1); R) , it is the map induced in cohomology by (PU( p, 1); R) PU( p, 1) , Here μ is the probability measure induced on the quotient by the Haar measure on PU( p, 1) (see [1,26,28] for more details about the transfer map). Since H 2 cb (PU( p, 1); R) ∼ = R and it is generated by the Cartan class, we can give the following Definition 3.2 In the situation of Setup 3.1, the Toledo invariant associated to σ is the real number t b (σ ) satisfying where k b SU(m,n) is the Kähler class of SU(m, n) and [c p ] is the Cartan class. If σ admits a boundary map φ : G/P × X → S m,n , on can implement the pullback in an alternative way. Thanks to [28,Lemma 4.2] we know that the map defined as induces the following map at a cohomological level In degree two, the composition of the above map with the transfer map T 2 b applied to the class [β S m,n ] induced by the Bergmann cocycle defines a class T 2 (PU ( p, 1); R). It follows by [31, Lemma 2.10] that the following diagram commutes Even if the Toledo invariant is defined independently of a boundary map, we prefer to maintain here its expression in terms of boundary maps since this formulation is crucial in the proof of our superrigidity result. For our purpose, we want to rewrite Equation (3) that can be at the level of cochains in terms of φ and β S m,n . Since the transfer map is also induced by the map 1) ψ(gξ, . . . , gξ • )dμ(g) , the diagram (4) leads to the following formula Moreover, as proved for instance in [1,2,29], Equation (5) holds for every triple (ξ 0 , ξ 1 , ξ 2 ) of pairwise distinct points in ∂H p C . (5) is a suitable adaptation of [26,Proposition 1] to this particular context. The absence of coboundary terms is due to the doubly ergodic action of on the boundary ∂H p C and to the fact that all the considered cochains are alternating. Additionally, the Toledo invariant t b (σ ) is the multiplicative constant λ β Sm,n ,c p (σ ) associated to σ, β S m,n , c p , namely

Remark 3.3 It is worth noticing that Equation
according to [26,Definition 3.16].

Proposition 3.4 In the situation of Setup 3.1, the Toledo invariant t b (σ ) satisfies:
Proof Ad 1. By Sect. 2.3 we know that ||c p || ∞ ≤ 1 and that ||β S m,n || ∞ ≤ rk(X m,n ). Hence we obtain since both the transfer map T 2 b and the pullback map C 2 ( X ) are norm non-increasing. Ad 2. Assume that the slice φ x is chain preserving for almost every x ∈ X . Fixed a point x ∈ X , if φ x is chain preserving and the triple (ξ 0 , ξ 1 , ξ 2 ) lies on a chain, then the triple (φ x (gξ 0 ), φ x (gξ 1 ), φ x (gξ 2 )) lies on a m-chain for almost every g ∈ \PU( p, 1). Hence, if we fix a triple (ξ 0 , ξ 1 , ξ 2 ) ∈ (∂H p C ) (3) of positive points on a chain, it holds c p (ξ 0 , ξ 1 , ξ 2 ) = 1 and by hypothesis it follows for almost every g ∈ \PU( p, 1), x ∈ X . In this way we obtain as claimed. For the converse assume t b (σ ) = rk(X m,n ). Fixing a positive triple (ξ 0 , ξ 1 , ξ 2 ) ∈ (∂H p C ) (3) on a chain, it follows by Equation (5) that, for almost every g ∈ \ PU( p, 1) and x ∈ X . By the σ -equivariance of φ we argue that for almost every g ∈ PU( p, 1) and x ∈ X . By the transitivity of the PU( p, 1)-action on chains, the map φ x is chain preserving, as desired.
The same arguments can be used for the negative case.
By Proposition 3.4 it follows naturally the next Definition 3.5 In the situation of Setup 3.1, a cocycle σ : It is worth mentioning that the notion of maximal measurable cocycles is a substantial extension of that one of maximal representations. Indeed, given any maximal ρ : → SU(m, n) in the sense of Pozzetti [29] and any measurable function f : X → SU(m, n), it is easy to check that the twisted cocycle σ We conclude this section with a characterization of boundary maps associated to maximal cocycles.

Lemma 3.6 In the situation of Setup 3.1, if σ is maximal and the slice φ x has essentially
Zariski dense image for almost every x ∈ X, then φ x is rational for almost every x ∈ X.
Proof It follows by [29,Theorem 1.6] since φ x is essentially Zariski dense for almost x ∈ X and it is chain preserving by Proposition 3.4.

Boundary maps
In this section our aim is to investigate the existence of a boundary map for cocycle with specific properties. In particular we exploit [4, Theorem 5.3] to prove Theorem 1. From this we will argue the existence of boundary maps in our specific context. Then we will show that Zariski density of a measurable cocycle and the ergodicity of the standard Borel space imply that the boundary map must have Zariski dense slices.
We recall that, by [4,Theorem 5.3], in the setting of Theorem 1 for any ergodic Lebesgue -space Y there exists an algebraic subgroup L < H and a -equivariant universal map φ : Y → H /L such that, for any algebraic H -space V and for any -equivariant measurable map ψ : Y → V , there exists a -equivariant measurable map π : L/H → V which makes the following diagram commutative This universal property is the fundamental ingredient in the proof of Theorem 1. Consider now the map φ • π 2 where π 2 : B × B × X → B × X is the projection on the last two factors. By the universal property of φ 0 , we get a -equivariant map π : H /L 0 → H /L such that the following diagram commutes

Proof of Theorem 1 Since
Again, up to conjugation, we can assume that L 0 < L and, denoting by Hence, for every γ ∈ and for almost every ξ ∈ B we have Thus, if we define an action of on Meas(X , H /L) as for any γ ∈ and f ∈ Meas(X , H /L), we actually showed that is a -equivariant map. Similarly one can check the -equivariance of 0 . Consider now the following commutative diagram where p X 2 ( f )(·):= p 2 ( f (·)), and pr 2 : B × B → B is the projection on the second factor. We remark that the existence of the map follows from the fact that p X 2 is fiberwiseisometric and from the relative metric ergodicity of pr 2 . In fact, a metric on Meas(X , H /L 0 R) compatible with the -action defined in (6) for every f , g ∈ Meas(X , L/L 0 R). Since the group Meas(X , H ) acts transitively on Meas(X , H /L 0 R), we can move the metric d 0 on the whole Meas(X , H /L 0 R). To show the compatibility of the collection of metrics on the fibers, let h ∈ Meas(X , H /L) and let where we used the transitivity of Meas(X , H ) and the definition of the metrics on the fibers to move from the first line to the second one and we concluded exploiting the -invariance of μ X . Define the -equivariant map ψ : B × X → H /L 0 R as ψ(ξ, x):= (ξ )(x) for almost every ξ ∈ B and almost every x ∈ X . By the universal property of φ, there exists q : H /L → H /L 0 R which is in fact a isomorphism, and hence, up to conjugation, we can assume that L 0 R = L.
By defining we know by the universal property of φ 0 that we have the following commutative diagram Additionally, notice that given γ 1 , γ 2 ∈ we have , for almost every ξ 1 , ξ 2 ∈ B, x ∈ X by the σ -equivariance of φ. As a consequence of the Zariski density of σ , the essential image of φ × φ is Zariski dense in H /L × H /L. Thus H /L 0 is Zariski dense in H /L × H /L or, equivalently, RL 0 R is Zariski dense in H . Thus, by [3,Lemma 3.5] H is parabolic and, being amenable, is also minimal. This concludes the proof. 1) is a lattice and G is a Hermitian Lie group, one the author [31,Section 4.1] conjectured that σ has a boundary map. Theorem 1 gives an answer to that question and has important consequences on the study of measurable cocycles of surface groups. Indeed, in the case that σ is also maximal in the sense of Definition 3.5, then by [31, Theorem 1] the target must be a group of tube type. In this way one obtains a true generalization of [10,Theorem 5] to the context of measurable cocycles.

Remark 4.1 Given a Zariski dense measurable cocycle
We can now prove the existence of a boundary map in our specific setting.  Since the essential Zariski density of the slices of a boundary map will be needed in the proof of the main theorem, we are going to prove that property in the next Proposition 4.4 In the setting of Setup 3.1 we assume that is ergodic on X and that σ is Zariski dense. Then for almost every x ∈ X the slice φ x is essentially Zariski dense.
Proof Before starting the proof, recall that the Shilov boundary S m,n corresponds to the real points S m,n = (H/Q)(R) of the quotient of the complexification H of SU(m, n) (which is SL(m + n, C)) modulo a maximal parabolic subgroup Q stabilizing a maximal isotropic subspace of C m+n . For almost every x ∈ X , we are going to denote by V x ⊂ H/Q the smallest Zariski closed set such that V x := V x (R) ⊂ S m,n and φ −1 x (V x ) has full measure in ∂H n C . As noticed in [29] those sets exist by the Noetherian property. By embedding suitably H/Q in some complex projective space P N (C), we can define a map, Here Var(P N (C)) is the set of all the possible closed varieties inside P N (C) with the measurable structure coming from the Hausdorff metric (Zariski closed sets are closed in the Euclidean topology and this makes sense). The map v is measurable since the slice φ x varies measurably with respect to x ∈ X as a consequence of [24, Chapter VII, Lemma 1.3], by the measurability of φ. By the same proof of [32,Proposition 4.2], the map v is also σ -equivariant, that is for every γ ∈ and almost every x ∈ X . On Var(P N (C)) the group GL(N +1, C) acts naturally on the left. As noticed in the proof of [34,Proposition 3.3.2], the set Var(P N (C)) decomposes as a countable union of varieties and the action of GL(N +1, C) on those varieties is algebraic and hence smooth. Seeing SU(m, n) as a subgroup of GL(N + 1, C), we argue that the quotient := Var((P N (C))/SU(m, n) is countably separated and v induces a map v : which is -invariant, since v was σ -equivariant by Equation (7). By the ergodicity of on X , the above map must be essentially constant. Equivalently v must take values into a unique orbit SU(m, n) · V x 0 , for some x 0 ∈ X . Hence there must exist a measurable map g : X → SU(m, n) such that and the measurability of g follows by the measurability of φ and by [34,Corollary A.8]. This implies that σ is cohomologous to a cocycle preserving V x 0 and the latter must coincide with H/Q by the Zariski density assumption on σ . Hence for almost every x ∈ X , we have V x = H/Q and hence V x = S m,n , which means that almost every slice is essentially Zariski dense.

Proof of the main theorem
The aim of this section is to prove Theorem 2. The proof follows the line of that in [33,Theorem 4.1] and is based on both Lemma 3.6 and the following useful result about invariant measures on quotients of algebraic groups. Before stating the lemma, recall that a R-group is an algebraic group whose defining equations are given by polynomials with real coefficients. Lemma 5.1 Let G be a semisimple algebraic R-group and let G 0 be a R-subgroup. Denote by G = G(R) and G 0 = G 0 (R) the associated real points, respectively. Consider a lattice in G. Then, any measure on G/G 0 which is invariant by left translations in , it is also a G-invariant measure.
Proof Since G is an affine algebraic group, by Chevalley's Theorem [34, Proposition 3.1.3] there exists a suitable positive integer N and a rational representation π : G → PGL(N , C) defined over R such that the image π(G 0 ) coincides with the stabilizer in G of a line ⊂ R N . Thus we get a map Consider now a measure μ on G/G 0 . Its push-forward measure ν := π * μ on P N −1 (R) where the first equality follows by the Borel Density Theorem [34, Theorem 3.2.5]. Hence the stabilizer of μ in G is the whole group and we are done.
We are now able to give the proof of the main theorem.

Proof of Theorem 2
Assuming the same algebraic structures on ∂H p C and S m,n as those ones described in Sect. 2.4, we denote the set of rational maps between boundaries by Q:=Rat(∂H p C , S m,n ) .
As described in Sect. 2.4, there exists a natural action of PU( p, 1) × SU(m, n) on it defined as follows: for each h ∈ PU( p, 1), g ∈ SU(m, n), ξ ∈ ∂H p C and f ∈ Q, Since σ is Zariski dense, by Corollary 4.2 we know that there exists a boundary map φ : Since φ is a boundary map for σ , its equivariance implies In the equation above, notice that γ ∈ acts on the quotient Q via γ · (SU(m, n) · ψ) := SU(m, n) · (γ · ψ), where γ · ψ is the rational map (γ · ψ)(ξ ) = ψ(γ −1 ξ), for ξ ∈ ∂H p C . As a consequence of Equation (8) we get (γ x) ∈ SU(m, n) · γ · (x) , and hence it holds from which we deduce that is a -equivariant map on the quotient. It follows that the induced map is -invariant and, since acts ergodically on X , it is essentially constant or, equivalently, takes values in a single PU( p, 1)-orbit. Notice that to conclude that is essentially constant, we exploited the fact that Q is countably separated because of the smoothness of the joint action of both PU( p, 1) and SU(m, n) on Q (see Sect. 2.4).
Let x 0 ∈ X be a point such that takes value in the orbit PU( p, 1) · (x 0 ) and set G 0 :=Stab PU( p,1) ( (x 0 )). The latter is an algebraic R-subgroup of PU( p, 1) by [34, Proposition 3.3.2]. Since the orbit PU( p, 1) · (x 0 ) may be identified with PU( p, 1)/G 0 by the smoothness of the action [34, Theorem 2.1.14], we can compose the map with a measurable section s : PU( p, 1)/G 0 → PU( p, 1) , which exists by [34,Corollary A.8]. The previous composition gives us a map g : X → PU( p, 1) which is measurable (being the composition of measurable maps) and such that for almost every x ∈ X . By definition, we have for every γ ∈ and almost every x ∈ X . On the other hand, by equivariance we get (γ x) = γ ( (x)) and thus (γ g(x)) −1 g(γ x) ∈ G 0 .

The induced mapḡ
: X → PU( p, 1)/G 0 is -equivariant and this ensures the existence of a -invariant finite measure (by pushforward) on PU( p, 1)/G 0 . By Lemma 5.1, such a measure is in fact PU( p, 1)-invariant and, since G 0 is a closed subgroup, it coincides with PU( p, 1) again by the Borel Density Theorem The measurability of f follows by the same argument we used to prove the measurability of g. By rewriting Equation (8) using f we obtain and then We define β : × X → SU(m, n), β(γ , x):= f (γ x) −1 σ (γ, x) f (x) and, by Equation (10), we get for all γ ∈ and for almost all ξ ∈ ∂H p C , x 1 , x 2 ∈ X . Hence β(γ, x 1 ) −1 β(γ, x 2 ) lies in the stabilizer of the image of φ 0 . Since the latter is essentially Zariski dense, the product β(γ, x 1 ) −1 β(γ, x 2 ) actually stabilizes S m,n . Since the pointwise stabilizer of S m,n (that is the kernel of the action of SU(m, n) on S m,n ) is trivial, it follows that β does not depend on X and hence it is the cocycle associated to a representation ρ : → SU(m, n) .
Moreover, by Equation (10), the map φ 0 is a boundary map for ρ, it is rational and has essentially Zariski dense image in SU(m, n). It follows by [29, Theorem 1.1] that ρ is the restriction of a representation ρ : PU( p, 1) → SU(m, n) and, finally, σ is cohomologous to the restriction to of the induced cocycle σρ, as desired.
We can now prove that, except when either m = 1 or m = n, there are no maximal Zariski dense cocycle as in the statement of Theorem 2.

Proof of Proposition 3
Following the proof of Theorem 2, given such a maximal cocycle, there exists a maximal representation ρ : → SU(m, n). Following [29, Corollary 1.2], if m = n, such a representation cannot exist.
Since maximal measurable cocycles into SU(m, n) cannot be Zariski dense when 1 < m < n, it is quite natural to ask which could be their algebraic hull. We answered to this question in [32] and we report here both the statement and the proof for sake of completeness. One can see that the characterization we obtained is completely analogous to the one given in [29,Theorem 1.3].
Proposition 5.2 [32,Proposition 1.2] In the setting of Setup 3.1 we assume that 1 < m < n, that X is -ergodic and that σ is maximal. Denoting by H the algebraic hull of σ and by H = H(R) • , then H splits as the product K × L nt × L t , where K is a compact subgroup of SU(m, n), L t is a Hermitian Lie group of tube type and L nt is a Hermitian Lie group not of tube type that splits again as a product of several copies of SU(n, 1).

Proof
Recall that a measurable cocycle σ : × X → SU(m, n) is tight if it satisfies H 2 ( X )(β S m,n ) ∞ = m .
Since we assumed σ maximal, it must be tight by the same proof of [32,Proposition 4.7]. By [31,Theorem 3.5] the group H is reductive and hence it splits as the product of a compact factor L c = K and a non compact factor L nc . By splitting L nc in simple factors L 1 , . . . , L k , we notice that the composition of σ with any projection π i : L 1 × . . . × L k → L i is a Zariski dense maximal measurable cocycle from a complex hyperbolic lattice to L i . It follows by [26,Theorem 5] that none of the L i 's can be isomorphic to SU (1,1). Hence the inclusion L nc → SU(m, n) satisfies the hypothesis of [29,Proposition 2.5], which states that each factor L i is either of tube type or isomorphic to some SU( p i , q i ). We denote by L t the tubetype part and we focus on the non-tube type factors. Again by [26,Theorem 5], if one of SU( p i , q i )'s is actually of the form SU(s, 1) (that is q i = 1), we must have that s is equal to n by Zariski density. By Corollary 3 the Zariski density of an ergodic cocycle taking values into SU( p i , q i ) implies necessarily that q i = 1 and we are done.
One can investigate the behavior of measurable cocycles of complex hyperbolic lattices into other Hermitian Lie groups than SU(m, n). In [32] we study the case of isometries of infinite dimensional Hermitian symmetric spaces. A hint for working with infinite dimensional measurable cocycles was given by the recent paper by Duchesne, Lécureux and Pozzetti [13] that investigate maximal representations of surface groups and hyperbolic lattices into infinite dimensional Hermitian groups.