AN EIGENSPACE CHARACTERIZATION OF LORENTZ-IMPROVING MEASURES ON COMPACT GROUPS

Abstract

A measure μ on a compact group is called Lorentz-improving if for some 1 > p > ∞ and 1 → q ₁ > q ₂ ∞ μ *L (p, q ₂) ⊆ L(p, q ₁). Let T _μ denote the operator on L ² defined by T _μ(f) = μ * f. Lorentz-improving measures are characterized in terms of the eigenspaces of T _μ, if T _μ is a normal operator, and in terms of the eigenspaces of |T _μ| otherwise. This result generalizes our recent characterization of Lorentz-improving measures on compact abelian groups and is modelled after Hare's characterization of L ^p -improving measures on compact groups.