Let $M$ be a compact, connected, orientable surface and $\varphi\_1,\varphi\_2$ be two orientation-reversing involutions (i.e., diffeomorphisms for which $\varphi^2=Id$) such that the fixed-point set of both is non-empty. I am trying to understand what conditions guarantee the existence of an equivariant self-diffeomorphism $f$. (I.e., such that $f \circ \varphi\_1 = \varphi\_2 \circ f$, which is what I call "equivalen[ce]" in the title.)


The fixed-point set is a union of circles. Perhaps conditions can be derived from how those circles from $\varphi\_1$ and $\varphi\_2$ interact homologically. (More precisely, how the image of their fundamental classes through the inclusion are related to one another. Of course, necessary conditions can arise from this.) Since such a diffeomorphism restricts to a diffeomorphism between the fixed point sets, it is clear that this self-diffeomorphism does not always exist. (E.g., take a $2$-genus surface on $\mathbb{R}^3$ to be lied down, and consider reflection through the middle vertical circle as $\varphi\_1$ and through the $xy$ plane as $\varphi\_2$. The fixed point sets have a different number of connected components.)


I have two main questions:


1. Under what conditions on $M$, $\varphi\_1$ and $\varphi\_2$ (or perhaps their fixed point sets) does this hold?
2. If the above is a little too broad, then is it known if this always holds for $S^2$? What about $S^1 \times S^1$?



Under what conditions are two orientation-reversing involutions of a compact surface equivalent?
Two orientation-reversing involutions of a given closed orientable surface are equivalent if and only they have the same number of fixed point circles and have the same orientation character, in the sense that the quotient surfaces (when there is non-empty fixed point set) are both orientable or both non-orientable.


Here's a sketch.


If there are no fixed points then the orbit map is just the orientation double covering of a non-orientable surface whose Euler characteristic is half that of the given surface, and hence determined by the classification of surfaces. A homeomorphism of quotient surfaces lifts to an equivariant homeomorphism.


More generally, when there are fixed point circles, the orbit map is a surjection onto a connected surface with boundary, with one boundary component for each fixed point circle. Removing annular neighborhoods of the boundary curves we see a double covering of a surface with boundary. The 2-fold covering is connected if and only if the quotient is non-orientable. In each case we know the Euler characteristic of the quotient again is half the original Euler characteristic. Therefore, knowing the number of boundary components we again have determined either the orientable double covering or a trivial double covering, of a specific surface with boundary, which is then completed by equivariantly attaching a set number of invariant annuli joining pairs of boundary components. To do this note that each boundary curve in the target is trivially covered by a pair of boundary curves in the domain. For each such pair of boundary curves one attaches an annulus $S^1\times [-1,1]$ with an involution that interchanges the ends and fixes $S^1\times \{0\}$. The effect in the quotient to to attach $S^1\times [0,1]$ along $S^1\times \{1\}$. Again a homeomorphism of orbit spaces lifts to the required equivariant homeomorphism.


Note that the orientation character condition can be reformulated as saying for each of the two involutions the fixed point set represents a nonzero element of mod 2 homology (in the non-orientable quotient space case) or each represents zero in mod 2 homology (in the orientable quotient space case).


Aside: Involutions of non-orientable surfaces are perhaps more interesting. One has to distinguish fixed point components that are themselves orientation reversing loops. Moreover, a given involution can also have both fixed circles and isolated fixed points, e.g. a standard involution on the projective plane.


