Related papers: Countable subgroups of Euclidean Space

It is shown that a Stallings--Swan theorem holds in a totally disconnected locally compact (= t.d.l.c.) context (cf. Thm. B). More precisely, a compactly generated $\mathcal{CO}$-bounded t.d.l.c. group $G$ of rational discrete cohomological…

Let $\Aut(G)$ denote the group of (bi-)continuous automorphisms %and $\Out(G)$ the outer automorphism group of a non-Archimedean Polish group~$G$. We show that for any such $G$ with an invariant countable basis of open subgroups, the group…

The main objects of study in this article are pairs $(G, \mathcal{H})$ where $G$ is a topological group with a compact open subgroup, and $\mathcal{H}$ is a finite collection of open subgroups. We develop geometric techniques to study the…

We introduce a new class of $\varkappa$-metrizable spaces, namely countably $\varkappa$-metrizable spaces. We show that the class of all $\varkappa$-metrizable spaces is a proper subclass of counably $\varkappa$-metrizable spaces. On the…

Gao and Jackson showed that any countable Borel equivalence relation (CBER) induced by a countable abelian Polish group is hyperfinite. This prompted Hjorth to ask if this is in fact true for all CBERs classifiable by (uncountable) abelian…

The dense amalgam is an operation (introduced in arXiv:1410.4989) which to any finite collection of metrizable compacta associates canonically some new highly disconnected compact metrisable space in which embedded copies of the initial…

A countable poset is ultrahomogeneous if every isomorphism between its finite subposets can be extended to an automorphism. The groups $\operatorname{Aut}(A)$ of such posets $A$ have a natural topology in which $\operatorname{Aut}(A)$ are…

Let $G$ be a Polish group and let $H \leq G$ be a compact subgroup. We prove that there exists a Borel set $T \subset G$ which is simultaneously a complete set of coset representatives of left and right cosets, provided that a certain index…

We introduce and study Polish topologies on various spaces of countable enumerated groups, where an enumerated group is simply a group whose underlying set is the set of natural numbers. Using elementary tools and well known examples from…

We show that for each natural $n>1$ it is consistent that there is a compact Hausdorff space $K_{2n}$ such that in $C(K_{2n})$ there is no uncountable (semi)biorthogonal sequence $(f_\xi,\mu_\xi)_{\xi\in \omega_1}$ where $\mu_\xi$'s are…

Let $(W,S)$ be a Coxeter system with Davis complex $\Sigma$. The polyhedral automorphism group $G$ of $\Sigma$ is a locally compact group under the compact-open topology. If $G$ is a discrete group (as characterised by Haglund--Paulin),…

We show that all sufficiently nice $\lambda$-sets are countable dense homogeneous ($\mathsf{CDH}$). From this fact we conclude that for every uncountable cardinal $\kappa \le \mathfrak{b}$ there is a countable dense homogeneous metric space…

For a locally compact group G and a compact subgroup K, the corresponding Hecke algebra consists of all continuous compactly supported complex functions on G that are K-bi-invariant. There are many examples of totally disconnected locally…

We prove that any countable discrete and torsion free subgroup of a general linear group over an arbitrary field or a similar subgroup of an almost connected Lie group satisfies the integral algebraic K-theoretic (split) Novikov conjecture…

We consider special subclasses of the class of Lindel\"of Sigma-spaces obtained by imposing restrictions on the weight of the elements of compact covers that admit countable networks: A space $X$ is in the class $L\Sigma(\leq\kappa)$ if it…

If a discrete subset S of a topological group G with the identity 1 generates a dense subgroup of G and S \cup {1} is closed in G, then S is called a suitable set for G. We apply Michael's selection theorem to offer a direct,…

We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields, such as (i) G is definably an almost direct product of a semisimple group and a commutative group, and (ii) the group (G, .) is…

Gruenhage asked if it was possible to cover the real line by less than continuum many translates of a compact nullset. Under the Continuum Hypothesis the answer is obviously negative. Elekes and Stepr\=ans gave an affirmative answer by…

Extending some results of a joint work with E. Glasner, we continue to study the Polish group $G:=\mathrm{Aut}(\mathbb{Q}_0)$ of all circular order preserving permutations of the rational circle $\mathbb Q_0=\mathbb Q/\mathbb Z$, endowed…

Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…