Characterizing orbital-reversibility through normal forms (Q2033103)

As usual, the local vector fields \(F\) with \(F(0)=0\) are reversible if there is a local diffeomorphism \(\sigma\), satisfying \(\sigma\circ\sigma = Id\), \(\sigma(0)=0\), and turning \(F\) into \(-F\), i.e., \(\sigma_\ast F = -F\). In this paper, \(F\) is called orbitally reversible if \(F\) is reversible by the time representation. Here the authors utilize the graded Lie algebra to study the formal normal forms of the orbitally reversible ones, whose diffeomorphisms \(\sigma\) have the fixed point set of codimension one. They show that by a near identity formal transformation, any orbitally reversible vector fields can be turned into the orbitally reversible ones, whose fixed points set of \(\sigma\) accords with the coordinate hyperplane. All details about calculating the solvability of the homological equation in the Lie bracket representation are carefully exhibited.