Normal forms and first integrals of planar maps at elliptic fixed points
We study real-analytic, planar, maps, at a neighbourhood of an elliptic fixed point. We construct normal forms for them, when they admit a real-analytic first integral. We prove that a second first integral, when it exists, forces their linearisation. We consider both the resonant and the non-resonant case, whether the maps preserve a symplectic form or not. The second first integral is allowed to be smooth, real-meromorphic or real-analytic.