Rigidity of automorphisms and spherical CR structures

We establish Bochner-type formulas for operators related to $CR$ automorphisms and spherical $CR$ structures. From such formulas, we draw conclusions about rigidity by making assumptions on the Tanaka-Webster curvature and torsion.