The Anosov theorem for infranilmanifolds with cyclic holonomy group (Q952900)

Let \(G\) be a connected, simply connected, nilpotent Lie group. An affine endomorphism of \(G\) is an element \((\delta,D)\) of \(G\rtimes\text{End}G\) where \(\delta\in G\) is the translational part and \(D\in\text{End}G\) is the linear part. Let \(\text{Aff}(G):=G\rtimes\text{Aut}G\). An almost-crystallographic group is a subgroup \(E\) of \(\text{Aff}G\) such that \(N:=E\cap G\) has finite index in \(E\) and is a uniform lattice of \(G\). The (finite) group \(F:=E/N\) is called the holonomy group of \(E\). If \(E\) is torsion-free then the orbit space \(M=E\backslash G\) is called an infra-nilmanifold (where \(E\) acts properly discontinuously on \(G\)). Since \(F\) is isomorphic to the image of \(E\) under the natural map \(\text{Aff}G\to\text{Aut}G\) there is the so called holonomy representation \(T:F\to\text{Aut}G\). The main result of this article states: Let \(M\) be an infra-nilmanifold with cyclic holonomy group \(F\) which is generated by \(x_0\). Assume that \(-1\) is not an eigenvalue of \(T_*(x_0)=d(T(x_0))\). Then the Nielsen number \(N(f)\) equals the absolute value of the Lefschetz number \(| L(f)| \) for any continuous map \(f:M\to M\). In case \(M\) is flat the authors show that the condition that \(-1\) be not an eigenvalue is necessary and sufficient for \(N(f)=| L(f)| \) to hold. Finally, they present a nonorientable infra-nilmanifold \(M\) with cyclic holonomy group such that \(-1\) is an eigenvalue for \(T_*(x_0)\) but nevertheless \(N(f)=| L(f)| \) for any map \(f:M\to M\).