Abstract:Given a computably locally compact Polish space $M$, we show that its 1-point compactification $M^*$ is computably compact. Then, for a computably locally compact group $G$, we show that the Chabauty space $\mathcal S(G)$ of closed subgroups of $G$ has a canonical effectively-closed (i.e., $\Pi^0_1$) presentation as a subspace of the hyperspace $\mathcal K(G^*)$ of closed sets of $G^*$. We construct a computable discrete abelian group $H$ such that $\mathcal S(H)$ is not computably closed in $\mathcal K(H^*)$; in fact, the only computable points of $\mathcal S(H)$ are the trivial group and $H$ itself, while $\mathcal S(H)$ is uncountable. In the case that a computably locally compact group $G$ is also totally disconnected, we provide a further algorithmic characterization of $\mathcal S(G)$ in terms of the countable meet groupoid of $G$ introduced recently by the authors (arXiv: <a class="link-https" data-arxiv-id="2204.09878" href="https://arxiv.org/abs/2204.09878">2204.09878</a>). We apply our results and techniques to show that the index set of the computable locally compact abelian groups that contain a closed subgroup isomorphic to $(\mathbb{R},+)$ is arithmetical.

Submetrizability and First-Countability of Coset Spaces

Metrizable and Weakly Metrizable Coset Spaces

Cardinal Invariants of Coset Spaces

Submetrizability of strongly topological gyrogroups

Quotient spaces with strong subgyrogroups

On rectifiable spaces and paratopological groups

Topologically subordered rectifiable spaces and compactifications

The quotient spaces of topological groups with a $q$-point

Closed and open-closed images of submetrizable spaces

On Topological Spaces with Algebraic Structures

Notes on Remainders of Topological Spaces in Some Compactifications

On some kinds of completeness and semitopological groups with property ( w ⁎)

Computably locally compact groups and their closed subgroups

Subgroups of monothetic groups

On Compactly-Fibered Coset Spaces

The quasi-metrizability of hyperspaces

Closed subsets of compact-like topological spaces

On homomorphism spaces of metrizable groups

Finite Covers of Groups by Cosets or Subgroups

The Shape Of Compact Covers

Some generalized metric properties of $n$-semitopological groups