2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/132462We derive Mok-Siu-Yeung type formulas for horizontal maps from compact contact locally sub-symmetric spaces into strictly pseudoconvex CR manifolds and we obtain some rigidity theorems for the horizontal pseudoharmonic maps.41 pagesDifferential Geometry32V05; 32V10; 53C17; 53C21; 53C24; 53C25; 53C30; 53C35; 53D10; 58E20Mok-Siu-Yeung type formulas on contact locally sub-symmetric spacestext