From refined estimates for spherical harmonics to a sharp multiplier theorem on the Grushin sphere

We prove a sharp multiplier theorem of Mihlin-H"ormander type for the Grushin operator on the unit sphere in ${\mathbb{R}}^3$, and a corresponding boundedness result for the associated Bochner-Riesz means. The proof hinges on precise pointwise bounds for spherical harmonics.