Invariant manifolds associated to nonresonant spectral subspaces

We show that, if the linearization of a map at a fixed point leaves invariant a spectral subspace which satisfies certain nonresonance conditions, the map leaves invariant a smooth manifold tangent to this subspace. This manifold is as smooth as the map—when the smoothness is measured in appropriate scales—but is unique amongC^L invariant manifolds, whereL depends only on the spectrum of the linearization or on some more general smoothness classes that we detail. We show that if the nonresonance conditions are not satisfied, a smooth invariant manifold need not exist, and we also establish smooth dependence on parameters. We also discuss some applications of these invariant manifolds and briefly survey related work.