Involutions of polynomially parametrized surfaces

摘要

We provide an algorithm for detecting the involutions leaving a surface defined by a polynomial parametrization invariant. As a consequence, the symmetry axes, symmetry planes and symmetry center of the surface, if any, can be determined directly from the parametrization, without computing or making use of the implicit representation. The algorithm is based on the fact, proven in the paper, that any involution of the surface comes from an involution of the parameter space R2; therefore, by determining the latter, the former can be found. The algorithm has been implemented in the computer algebra system Maple 18. Evidence of its efficiency for moderate degrees, examples and a complexity analysis are also given.