1: \begin{abstract}

2:     We consider a finite group $G$ acting on a manifold $M$. For any equivariant Morse function, which is a generic condition \cite{wasserman1969equivariant, bao2024morse}, there does not always exist an equivariant metric $g$ on $M$ such that the pair $(f,g)$ is Morse-Smale. Here, the pair $(f,g)$ is called Morse-Smale if the descending and ascending manifolds intersect transversely. The best possible metrics $g$ are those that make the pair $(f,g)$ \emph{stably Morse-Smale}. 

3:     

4:     A diffeomorphism $\phi: M \to M$ is a \emph{reflection}, if $\phi^2 = \op{id}$ and the fixed point set of $\phi$ forms a codimension-one submanifold (with $M \setminus M^{\op{fix}}$ not necessarily disconnected).

5:     In this note, we focus on the special case where the group $G = \{\op{id}, \phi\}$. We show that the condition of being \emph{stably Morse-Smale} is generic for metrics $g$. Given a stably Morse-Smale pair, we introduce a canonical equivariant Thom-Smale-Witten complex by counting certain broken trajectories.

6:     

7:     This has applications to the case when we have a manifold with boundary and when the Morse function has critical points on the boundary. 

8:     We provide an alternative definition of the Thom-Smale-Witten complexes, which are quasi-isomorphic to those defined by \cite{kronheimer2007Monopoles}. 

9:     

10:     We also explore the case when $G$ is generated by multiple reflections. As an example, we compute the Thom-Smale-Witten complex of an upright higher-genus surface by counting broken trajectories.

11: \end{abstract}

12: