Unique normal forms for area preserving maps near a fixed point with neutral multipliers

We study normal forms for families of area-preserving maps which have a fixed point with neutral multipliers $\pm 1$ at $\varepsilon=0$. Our study covers both the orientation-preserving and orientation-reversing cases. In these cases Birkhoff normal forms do not provide a substantial simplification of the system. In the paper we prove that the Takens normal form vector field can be substantially simplified. We also show that if certain non-degeneracy conditions are satisfied no further simplification is generically possible since the constructed normal forms are unique. In particular, we provide a full system of formal invariants with respect to formal coordinate changes.