The central limit theorem for eigenvalues

We prove that the spectral radius of a strongly irreducible random walk on GLd® (or more generally the vector of moduli of eigenvalues of a Zariski-dense random walk on a reductive group) satisfies a central limit theorem under an order two moment assumption.