Vol. 164, No. 1, 1994

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 332: 1  2
Vol. 331: 1  2
Vol. 330: 1  2
Vol. 329: 1  2
Vol. 328: 1  2
Vol. 327: 1  2
Vol. 326: 1  2
Vol. 325: 1  2
Online Archive
Volume:
Issue:
     
The Journal
About the journal
Ethics and policies
Peer-review process
 
Submission guidelines
Submission form
Editorial board
Officers
 
Subscriptions
 
ISSN 1945-5844 (electronic)
ISSN 0030-8730 (print)
 
Special Issues
Author index
To appear
 
Other MSP journals
Periodic points on nilmanifolds and solvmanifolds

Edward Keppelmann

Vol. 164 (1994), No. 1, 105–128
Abstract

Let M be a compact manifold and f : M M a self map on M. For any natural number n, the n-th iterate of f is the n-fold composition fn : M M. The fixed point set of f is fix(f) = {x M : f(x) = x}. We say that x M is a periodic point of f if x is a fixed point of some fn and we denote the set of all periodic points of f by per(f) = n=1fix(fn). A periodic point x of f is said to have minimal period k provided that k is the smallest integer for which x fix(fk). We say that per(f) is homotopically finite, denoted per(f) finite, iff there is a g homotopic to f such that per(g) is finite. When M is a torus B. Halpern has shown that per(f) finite iff the sequence of Nielsen numbers {N(fn)}n=1 is bounded. The main objective of this work is to extend these results to all nilmanifolds and to consider to what extent they can be extended for compact solvmanifolds. A compact nilmanifold is a coset space of the form M = G∕Γ where G is a connected, simply connected nilpotent Lie group and Γ is a discrete torsion free uniform subgroup. For these spaces we have the additional result that when the homotopy can be accomplished, the resulting g satisfies |fix(gn)| = N(fn) for all n with N(fn)0 and if {N(fn)}n=1 = {0} then we can choose g to be periodic point free. Also, when f is induced by a homomorphism F : G G, then we can write g = ufv where u and v are isotopic to the identity. This form for the homotopy is used to find sufficient conditions for per(f) finite when M is a solvmanifold. We then present a model for a specific class of solvmanifolds where these conditions can be considered. This allows us to prove the general result in a variety of low dimensional examples.

Mathematical Subject Classification 2000
Primary: 55M20
Secondary: 58F20
Milestones
Received: 27 April 1992
Revised: 10 December 1992
Published: 1 May 1994
Authors
Edward Keppelmann