Connectedness at infinity of systolic complexes and groups.

From MaRDI portal
Publication:2369825



Abstract: By studying connectedness at infinity of systolic groups we distinguish them from some other classes of groups, in particular from the fundamental groups of manifolds covered by euclidean space of dimension at least three. We also study semistability at infinity for some systolic groups.


Given a natural number \(k\geq 4\), a simplicial complex \(X\) is called \(k\)-large if it is flag (every finite subset of vertices pairwise connected by edges spans a simplex in \(X\)) and if every cycle \(\gamma\) in \(X\) with \(4\leq|\gamma|\leq k\) has a diagonal. A simplicial complex \(X\) is locally \(k\)-large if the link \(X_\sigma\) of every simplex \(\sigma\neq 0\) is \(k\)-large. \(X\) is \(k\)-systolic if it is locally \(k\)-large, connected and simply connected. When \(k=6\), the \(k\)-systolic complex \(X\) is called systolic. The subject of the paper is the topology at infinity of systolic complexes and systolic groups -- groups acting geometrically (properly discontinuously and cocompactly) on systolic complexes. For the topological space \(X\) the condition \(\text{Conn}_k^\infty(X)\) is vanishing at infinity of the \(k\)-th homotopy group condition: for every compact \(K\subset X\) there exists a compact \(L\subset X\) such that \(K\subset L\) and every map \(S^k\to X\setminus L\) extends to a map \(B^{k+1}\to X\setminus K\). For the group \(G\) the condition \(\text{Conn}_k^\infty(G)\) means that \(\text{Conn}_k^\infty(X)\) holds for some contractible, rigid CW-complex \(X\) on which \(G\) acts geometrically. The most significant results are the following. Every locally finite systolic complex \(X\) satisfies the condition \(\text{Conn}_k^\infty(X)\) for \(k\geq 2\). Every systolic group satisfies the condition \(\text{Conn}_k^\infty(G)\) for \(k\geq 2\). Systolic groups are not simply connected at infinity. It follows from the last statement that for \(n\geq 3\) fundamental groups of closed manifolds covered by \(\mathbb{R}^n\) are not systolic.











This page was built for publication: Connectedness at infinity of systolic complexes and groups.

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