  We consider skew extensions of expanding maps by compact Lie groups. For a
class of natural invariant measures, we prove an explicit lower bound on the
rate of (exponential) mixing involving topological pressure. Proof uses
representation theory and some elliptic pde estimates.
