  We establish an exponential error term for the renewal theorem in the context
of products of random matrices, which is surprising compared with classical
abelian cases. A key tool is the Fourier decay of the Furstenberg measures on
the projective spaces, which is a higher dimensional generalization of a recent
work of Bourgain-Dyatlov.
