A Liouville theorem for Lévy generators

Under mild assumptions, we establish a Liouville theorem for the "Laplace" equation $Au=0$ associated with the infinitesimal generator $A$ of a Lévy process: If $u$ is a weak solution to $Au=0$ which is at most of (suitable) polynomial growth, then $u$ is a polynomial. As a by-product, we obtain new regularity estimates for semigroups associated with Lévy processes.