Non-embeddability of general unipotent diffeomorphisms up to formal conjugacy (Q2390087)

Let us denote {Diff}\((\mathbb{C}^n,0)\) the set of germs of complex analytic diffeomorphisms at \((\mathbb{C}^n,0)\) whereas \(\widehat{\text{Diff}}(\mathbb{C}^n,0)\) is the formal completion of Diff\((\mathbb{C}^n,0)\). The formal class of a germ of diffeomorphism \(\varphi\) is embeddable in a flow if \(\varphi\) is formally conjugated to the exponential of a germ of vector field. The main theorem of this paper is: There exists a unipotent germ of complex analytic diffeomorphism at Diff\((\mathbb{C}^2,0)\) whose formal class is not embeddable.