Filtered ends of infinite covers and groups

DOI10.1016/J.JPAA.2006.02.001MaRDI QIDQ861864zbMATH OpenOpenAlexFDO

Authors Tom Klein

Publication date 2 February 2007

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0512087

zbMATH Keywords

CW-complexesends of groupsfiltered endsreactive endsThomson groups

Mathematics Subject Classification ID

General structure theorems for groups (20E34) Structure and classification of infinite or finite groups (20E99) Other groups related to topology or analysis (20F38) Asymptotic properties of groups (20F69) Topological methods for abelian groups (20K45) General topology of complexes (57Q05)

Abstract: Let f:A-->B be a covering map. We say A has e filtered ends with respect to f (or B) if for some filtration {K_n} of B by compact subsets, A - f^{-1}(K_n) "eventually" has e components. The main theorem states that if Y is a (suitable) free H-space, if K < H has infinite index, and if Y has a positive finite number of filtered ends with respect to HY, then Y has one filtered end with respect to KY. This implies that if G is a finitely generated group and K < H < G are subgroups each having infinite index in the next, then 0 < { ilde e}(G)(H) < infty implies { ilde e}(G)(K) = 1, where { ilde e}(.)(.) is the number of filtered ends of a pair of groups in the sense of Kropholler and Roller.

Review text

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\).

Recommendations

• On the space of ends of infinitely generated groups
• Coverings and dimensions in infinite profinite groups
• Finite coverings of groups
• scientific article; zbMATH DE number 4034663
• scientific article; zbMATH DE number 6011083
• Finite n-coverings of groups
• On infinite complete groups
• scientific article; zbMATH DE number 1124826
• On some infinite groups
• On infinite groups

Cites work

• Filtered ends, proper holomorphic mappings of Kähler manifolds to Riemann surfaces, and Kähler groups
• Relative ends and duality groups
• Topological methods in group theory

Cited in

(3)

• Ends of spaces related by a covering map
• scientific article; zbMATH DE number 4034663 (Why is no real title available?)
• Bipolar Coxeter groups.

This page was built for publication: Filtered ends of infinite covers and groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q861864)