“…Now, since ι n,n˝ρ has trivial centralizer in PSOpn, nq, results of Goldman [Gol84] on representation varieties of surface groups imply that any ρ-cocycle u : π 1 S Ñ R n,n´1 is realized as the R n,n´1 part of the derivative of a smooth deformation path ε as above (and the sopn, n´1q part may be taken to be trivial). We prove a key lemma (Lemma 8.2) that connects a criterion [GLM09,GT17] for properness of the affine action pρ, uq on E n,n´1 with the first order behavior of the two middle eigenvalues of elements ε pγq, an inverse pair λ n , λ´1 n which converges to the two one-eigenvalues of ι n,n˝ρ as ε Ñ 0. From this eigenvalue behavior, we use [GGKW17, KLP14,KLP15] to prove that if pρ, uq acts properly on R n,n´1 , then the representations ε satisfy an unexpected Anosov condition.…”