Rigidity of Constant-Scalar-Curvature Ricci Shrinkers with Totally Geodesic Focal Set

Let $(M^n,g,f)$ be a complete connected shrinking gradient Ricci soliton with constant scalar curvature, satisfying \[ \Ric+\nabla^2f=\frac12g. \] We prove that if the focal set of $f$ is totally geodesic, then $M$ is rigid. Equivalently, its universal cover is a product of a compact Einstein mani