Filtered ends of infinite covers and groups (Q861864): Difference between revisions

Let \(f: A\to B\) be a covering map of CW complexes of locally finite type. We say that \(A\) has \(e= \widetilde e(A, f)\) filtered ends with respect to \(f\) (or \(B\)) if, for some filtration \(\{C_n\}\) of \(B\) by finite subcomplexes, the cardinality of \(\lim_{\leftarrow}\{\pi_0(A\setminus f^{-1}(C_n))\}\) is \(e\). (Here \((A\setminus B)\) is the largest subcomplex of \(A\) with 0-skeleton \(A^0\setminus B^0\).) The following theorem is the main result of the paper under review. Let \(H\) be a group and let \(Y\) be a path connected free \(H\)-CW complex of locally finite type. Let \(K\subset H\) with \([H:K]=\infty\), and let \(p: Yto Y/H\), \(q: Y\to Y/K\) be the quotient covering maps. Then \(0<\widetilde e(Y, p)<\infty\) implies that \(\widetilde e(Y, q)= 1\).