Sum-product for real Lie groups

Abstract

We prove a discretized sum-product theorem for representations of Lie groups whose Jordan-H\"older decomposition does not contain the trivial representation. This expansion result is used to derive a product theorem in perfect Lie groups.