Global linearization of asymptotically stable systems without hyperbolicity

We give a proof of an extension of the Hartman-Grobman theorem to nonhyperbolic but asymptotically stable equilibria of vector fields. Moreover, the linearizing topological conjugacy is (i) defined on the entire basin of attraction if the vector field is complete, and (ii) a C k ≥ 1 -diffeomorphism on the complement of the equilibrium if the vector field is C k and the underlying space is not 5-dimensional. We also show that the C k statement in the 5-dimensional case is equivalent to the 4-dimensional smooth Poincaré conjecture.