Algorithms for Nielsen type periodic numbers of maps with remnant on surfaces with boundary and on bouquets of circles I

Volume 200 / 2008

Evelyn L. Hart, Philip R. Heath, Edward C. Keppelmann Fundamenta Mathematicae 200 (2008), 101-132 MSC: Primary 55M20. DOI: 10.4064/fm200-2-1


In this paper and its sequel we present a method that, under loose restrictions, is algorithmic for calculating the Nielsen type numbers $N{\mit\Phi} _n(f)$ and $NP_n(f)$ of self maps $f$ of hyperbolic surfaces with boundary and also of bouquets of circles. Because self maps of these surfaces have the same homotopy type as maps on wedges of circles, and the Nielsen periodic numbers are homotopy type invariant, we need concentrate only on the latter spaces. Of course the results will then automatically apply to the former spaces as well. The algorithm requires only that $f$ has minimal remnant, by which we mean that there is limited cancellation between the $f_{\ast }$ images of generators of the fundamental group. These methods often work even when the minimal remnant condition is not satisfied.

Our methodology involves three separate techniques. Firstly, beginning with an endomorphism $h$ on the fundamental group, we adapt an algorithm of Wagner to our setting, allowing us to distinguish non-empty Reidemeister classes for iterates of a special representative map for $h$, which we introduce. Secondly, using techniques reminiscent of symbolic dynamics, we assign key algebraic information to the actual periodic points of this special representative. Finally, we use word length arguments to prove that the remaining information required for the calculation of $N{\mit\Phi} _n(f)$ and $NP_n(f)$ can be found with a finite computer search. We include many illustrative examples.

In this first paper we give the tools we need in order to present and give the algorithm for $NP_n(f)$. All the tools introduced here will be needed in the sequel where we develop the extra tools needed in order to compute $N{\mit\Phi} _n(f)$.


  • Evelyn L. HartDepartment of Mathematics
    Colgate University
    13 Oak Drive
    Hamilton, NY 13346-1398, U.S.A.
  • Philip R. HeathDepartment of Mathematics
    Memorial University of Newfoundland
    St. John's, NF, Canada A1C 5S7
  • Edward C. KeppelmannDepartment of Mathematics and Statistics MS084
    University of Nevada
    Reno, NV 89557, U.S.A.

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image