Rokhlin dimension for C^∗-correspondences

We extend the notion of Rokhlin dimension from topological dynamical systems to C^∗-correspondences. We show that in the presence of finite Rokhlin dimension and a mild quasidiagonal-like condition (which, for example, is automatic for finitely generated projective correspondences), finite nuclear dimension passes from the scalar algebra to the associated Toeplitz–Pimsner and (hence) Cuntz–Pimsner algebras. As a consequence we provide new examples of classifiable C^∗-algebras: if A is simple, unital, has finite nuclear dimension and satisfies the UCT, then for every finitely generated projective H with finite Rokhlin dimension, the associated Cuntz–Pimsner algebra O(H) is classifiable in the sense of Elliott’s Program.