Mapping classes are almost determined by their finite quotient actions
Mapping classes are almost determined by their finite quotient actions
Given any connected compact orientable surface, a pair of mapping classes is said to be procongruently conjugate if it induces a conjugate pair of outer automophisms on the profinite completion of the fundamental group of the surface. For example, this occurs if they induce conjugate outer automorphisms on every characteristic …