$\textrm {C}^*$-correspondences and compact quantum group actions on Pimsner algebras
$H^{3}(G,{\mathbb T})$-valued index of symmetry-protected topological phases with on-site finite group symmetry for two-dimensional quantum spin systems