A topological version of a theorem of Mather on shadowing in monotone twist maps
We consider complex dynamics of a critically finite holomorphic map from Pk to Pk, which has symmetries associated with the symmetric group Sk+2 acting on Pk, for each k ≥1. The Fatou set of each map of this family consists of attractive basins of superattracting points. Each map of this family satisfies Axiom A.
We present a new method to compute normal forms, applied to the germs of reversible mappings. We translate the classification problem of these germs to the theory of ideals in the space of the coefficients of their jets. Integral factorization coupled with Gröbner basis constructionjs the key factor that makes the process efficient. We also show that a language with typed objects like AXIOM is very convenient to solve these kinds of problems.