On the trivializability of rank-one cocycles with an invariant field of projective measures (Q6145008)

Two superrigidity results for cocyles along the lines of the recent work of \textit{U. Bader} et al. concerning representations [Ann. Math. (2) 193, No. 3, 837--861 (2021; Zbl 07353243); \textit{U. Bader} et al., Invent. Math. 233, No. 1, 169--222 (2023; Zbl 07698517)]. The two results are for real and complex hyperbolic lattices. The real case establishes superrigidity for measurable cocycles from \(\Gamma\times\Omega\) to a connected algebraic \(k\)-group over a local field \(k\) where \(\Gamma\) is a lattice in \(\mathrm{SO}^o(n,1)\) for \(n\geqslant3\) and \(\Omega\) is a Borel probability space carrying a \(\Gamma\) action under a compatibility condition between \(G\) and the algebraic group in the following form: If \(\sigma\) admits an equivariant field of probability measures on projective space then it is trivializable. The complex analogue of this result is also shown, and this in particular brings in new technical difficulties. How these results relate to the notion of maximal cocycles is discussed, along with how they may be used to weaken integrability hypotheses in the work of \textit{D. Fisher} and \textit{T. Hitchman} [Int. Math. Res. Not. 2006, No. 4, Article ID 72405, 19 p. (2006; Zbl 1104.22013)] or \textit{U. Bader} et al. [Invent. Math. 194, No. 2, 313--379 (2013; Zbl 1279.22012)].