On the algebraic models of symmetric smooth manifolds

Abstract

Abstract Let M be a compact smooth submanifold of ℝn that is symmetric with respect to an affine subspace L. In this paper, we prove that M has a symmetric Nash model N, which is unique up to Nash isomorphism preserving symmetries. Such a model N can be chosen to be a union of nonsingular connected components of a real algebraic set if M is a (not necessarily compact) Nash submanifold of ℝn. If M does not intersect the mirror L, then we are able to construct a symmetric algebraic model of M too. More precisely, in this case, we show that the set of birationally nonisomorphic symmetric algebraic models of M has the power of continuum.