Abstract:We extend the classical theory of homotopical $\Sigma$-sets $\Sigma^n$ developed by Bieri, Neumann, Renz and Strebel for abstract groups, to $\Sigma$-sets $\Sigma_{\mathrm{top}}^n$ for locally compact Hausdorff groups. Given such a group $G$, our $\Sigma_{\mathrm{top}}^n(G)$ are sets of continuous homomorphisms $G \to \mathbb{R}$ ("characters"). They match the classical $\Sigma$-sets $\Sigma^n(G)$ if $G$ is discrete, and refine the homotopical compactness properties $\mathrm C_n$ of Abels and Tiemeyer. Moreover, our theory recovers the definition of $\Sigma_{\mathrm{top}}^1$ and $\Sigma_{\mathrm{top}}^2$ proposed by Kochloukova. Besides presenting various characterizations of $\Sigma_{\mathrm{top}}^n$ (particularly for $n\in \{1,2\}$), we show that characters in $\Sigma_{\mathrm{top}}^n(G)$ are also in $\Sigma_{\mathrm{top}}^n(H)$ if $H\le G$ is a closed cocompact subgroup, and we generalize several classical results. Namely, we prove that the set of nonzero elements of $\Sigma_{\mathrm{top}}^n(G)$ is open, we prove that characters in a group of type $\mathrm C_n$ that do not vanish on the center always lie in $\Sigma_{\mathrm{top}}^n(G)$, and we relate the $\Sigma$-sets of a group with those of its quotients by closed subgroups of type $\mathrm C_n$. Lastly, we describe how $\Sigma_{\mathrm{top}}^n(G)$ governs whether a closed normal subgroup with abelian quotient is of type $\mathrm C_n$, generalizing one of the highlights of the classical theory.

Digital topological groups

On digital H-spaces

Subdivision of Maps of Digital Images

Certain topological methods for computing digital topological complexity

Homotopy Theory in Digital Topology

Topological transformation groups

Classical and digital homotopy classes

Digital homotopy relations and digital homology theories

Strong digital topological complexity of digital maps

Generic properties of topological groups

Geometric invariants of locally compact groups: the homotopical perspective

Categorically Proper Homomorphisms of Topological Groups.

Remarks on the digital-topological $k$-group structures and the development of the $AP_1$-$k$- and $AP_1^\ast$-$k$-group

Multivalued Functions in Digital Topology

On structure of topological metagroups

Locally compact piecewise full groups of homeomorphisms

Algorithms for Computing Topological Invariants in 2D and 3D Digital Spaces

Counterexamples for Topological Complexity in Digital Images

A Second Homotopy Group for Digital Images

Topological Properties of Almost Abelian Groups