Related papers: Computable topological groups

Commensurable groups are bi-interpretable, under suitable definability conditions.

We initiate the study of a measurable analogue of small topological full groups that we call $\mathrm L^1$ full groups. These groups are endowed with a Polish group topology which admits a natural complete right invariant metric. We mostly…

According to Haar's Theorem, every compact group $G$ admits a unique (regular, right and) left-invariant Borel probability measure $\mu_G$. Let the Haar integral (of $G$) denote the functional $\int_G:\mathcal{C}(G)\ni f\mapsto \int…

We show that the $\mathrm{Hom}$ functor from the category $\mathbf{LCPAb}$ of locally compact Polish abelian groups to the category $\mathbf{PAb}$ of Polish abelian groups has a total right derived functor, improving on Hoffmann and…

In this paper we investigate hereditarily normal topological groups and their subspaces. We prove that every compact subspace of a hereditarily normal topological group is metrizable. To prove this statement we first show that a…

We introduce a notion of $L^2$-Betti numbers for locally compact, second countable, unimodular groups. We study the relation to the standard notion of $L^2$-Betti numbers of countable discrete groups for lattices. In this way, several new…

The space of unitary $C_{0}$-semigroups on separable infinite dimensional Hilbert space, when viewed under the topology of uniform weak convergence on compact subsets of $\mathbb{R}_{+}$, is known to admit various interesting residual…

We associate to every action of a Polish group on a standard probability space a Polish group that we call the orbit full group. For discrete groups, we recover the well-known full groups of pmp equivalence relations equipped with the…

A semi-computable set S in a computable metric space need not be computable. However, in some cases, if S has certain topological properties, we can conclude that S is computable. It is known that if a semi-computable set S is a compact…

We prove that the additive group $(E^\ast,\tau_k(E))$ of an $\mathscr{L}_\infty$-Banach space $E$, with the topology $\tau_k(E)$ of uniform convergence on compact subsets of $E$, is topologically isomorphic to a subgroup of the unitary…

We prove that locally countably-compact Hausdorff topological groups $\mathbb{G}$ act continuously on their iterated joins $E_n\mathbb{G}:=\mathbb{G}^{*(n+1)}$ (the total spaces of the Milnor-model $n$-universal $\mathbb{G}$-bundles) as…

We describe locally compact groups which are separably categorical metric structures. The paper extends (and corrects) Section 3 of the paper A.Ivanov, "Locally compact groups and continuous logic", arXiv: 1206.5473

It is shown that a topological group G is topologically isomorphic to the isometry group of a (complete) metric space iff G coincides with its G-delta-closure in the Rajkov completion of G (resp. if G is Rajkov-complete). It is also shown…

We first give simplified and corrected accounts of some results in \cite{PiRCP} on compactifications of pseudofinite groups. For instance, we use a classical theorem of Turing \cite{Turing} to give a simplified proof that any definable…

We initiate the study of the effective content of $K$-theory for $\mathrm{C}^*$-algebras. We prove that there are computable functors which associate, to a computably enumerable presentation of a $\mathrm{C}^*$-algebra $\boldA$, computably…

This is Part II in our multi-part series of papers developing the theory of a subclass of locally compact quantum groupoids ("quantum groupoids of separable type"), based on the purely algebraic notion of weak multiplier Hopf algebras. The…

For any class of operators which transform unary total functions in the set of natural numbers into functions of the same kind, we define what it means for a real function to be uniformly computable or conditionally computable with respect…

We give a complete characterization of the locally compact groups that are non-elementary Gromov-hyperbolic and amenable. They coincide with the class of mapping tori of discrete or continuous one-parameter groups of compacting…

It is known that for every second countable locally compact group G, there exists a proper G-invariant metric which induces the topology of the group. This is no longer true for coset spaces G/H viewed as G-spaces. We study necessary and…

Choosing an encoding over binary strings for input/output to/by a Turing Machine is usually straightforward and/or inessential for discrete data (like graphs), but delicate -- heavily affecting computability and even more computational…