Semisimplicity of the Lyapunov spectrum for irreducible cocycles (Q2414532)

It is shown that a strongly irreducible cocycle of the action of a semisimple Lie group \(G\) on a space \(X\) has, under certain assumptions, semisimple Lyapunov spectrum and is conjugate to a block conformal cocycle. The result can be derived from the results in [\textit{I. Ya. Gol'dshejd} and \textit{G. A. Margulis}, Russ. Math. Surv. 44, No. 5, 11--71 (1989; Zbl 0705.60012); translation from Usp. Mat. Nauk 44, No. 5(269), 13--60 (1989)], [\textit{Y. Guivarc'h} and \textit{A. Raugi}, Z. Wahrscheinlichkeitstheor. Verw. Geb. 69, 187--242 (1985; Zbl 0558.60009); Isr. J. Math. 65, No. 2, 165--196 (1989; Zbl 0677.60007)], but a precise statement is hard to locate in those references. Furthermore, the result plays an important role in the recent paper by the first author and \textit{M. Mirzakhani} [Publ. Math., Inst. Hautes Étud. Sci. 127, 95--324 (2018; Zbl 1478.37002)].