1: \begin{abstract}

2: Given $\Gamma < \su$ a torsion-free lattice and $(X,\mu_X)$ a standard Borel $\Gamma$-space, we introduce the notion of Toledo invariant of a measurable cocycle

3: $\sigma:\Gamma \times X \rightarrow \pup$. Since that invariant has bounded absolute value, it makes sense to speak about maximality.

4:  We prove that any maximal measurable cocycle is finitely reducible, that is it admits 

5:  a cohomologous cocycle with image contained in a copy of $\pupnp$ inside $\pup$, which is a finite algebraic subgroup. 

6:  Even if we do not provide a real rigidity result in this setting, our statement can be seen as 

7:  the natural adaption of the results for representations due to Duchesne, Lecureux and Pozzetti.

8: 

9:  We conclude the paper by completing the analysis of maximal cocycles of complex hyperbolic lattices started in \cite{sarti:savini}

10:  with a characterization of their algebraic hull.

11:  

12: \end{abstract}

13: