Related papers: Computable topological groups

Let G be a locally compact group, and let U be its unitary representation on a Hilbert space H. Endow the space L(H) of linear bounded operators on H with weak operator topology. We prove that if U is a measurable map from G to L(H) then it…

In a convolution semigroup over a locally compact group, measurability of the translation by a fixed element implies continuity. In other words, the measurable centre coincides with the topological centre.

The concept of a C-approximable group, for a class of finite groups C, is a common generalization of the concepts of a sofic, weakly sofic, and linear sofic group. Glebsky raised the question whether all groups are approximable by finite…

In this paper we give conditions under which a topological semigroup can be embedded algebraically and topologically into a compact topological group. We prove that every feebly compact regular first countable cancellative commutative…

There are a variety of results in the literature proving forms of computability for topological entropy and pressure on subshifts. In this work, we prove two quite general results, showing that topological pressure is always computable from…

The study of automorphisms of computable and other structures connects computability theory with classical group theory. Among the noncomputable countable structures, computably enumerable structures are one of the most important objects of…

We classify the locally compact second-countable (l.c.s.c.) groups $A$ that are abelian and topologically characteristically simple. All such groups $A$ occur as the monolith of some soluble l.c.s.c. group $G$ of derived length at most $3$;…

By analogy with the Cayley graph of a group with respect to a finite generating set or the Cayley--Abels graph of a totally disconnected, locally compact group, we detail countable connected graphs associated to Polish groups that we term…

Adapting a result of Bazhenov, Kalimullin, and Yamaleev, we show that if a Turing degree $\textbf{d}$ is the degree of categoricity of a computable structure $\mathcal{M}$ and is not the strong degree of categoricity of any computable…

In a recent paper, two multi-representations for the measurable sets in a computable measure space have been introduced, which prove to be topologically complete w.r.t. certain topological properties. In this contribution, we show them…

We initiate the effective metric structure theory of Keisler randomizations. We show that a classical countable structure $\mathcal{M}$ has a decidable presentation if and only if its Borel randomization $\mathcal{M}^{[0,1)}$ has a…

We introduce the notion of compactifiable classes -- these are classes of metrizable compact spaces that can be up to homeomorphic copies ``disjointly combined'' into one metrizable compact space. This is witnessed by so-called compact…

A subspace Y of a separable metrizable space X is separable, but without X metrizable this is not true even If Y is a closed linear subspace of a topological vector space X. K.H. Hofmann and S.A. Morris introduced the class of pro-Lie…

(1) Every infinite, Abelian compact (Hausdorff) group K admits 2^|K|-many dense, non-Haar-measurable subgroups of cardinality |K|. When K is nonmetrizable, these may be chosen to be pseudocompact. (2) Every infinite Abelian group G admits a…

In this paper we define countable-configuration of groups and prove that two Hopfian groups with the same set of countable-configurations are isomorphic and vice versa. We also study the countable paradoxical decomposition of groups. It is…

It is known that locally compact groups approximable by finite ones are unimodular, but this condition is not sufficient, for example, the simple Lie groups are not approximable by finite ones as topological groups. In this paper the…

The Isbell, compact-open and point-open topologies on the set $C(X,\mathbb{R})$ of continuous real-valued maps can be represented as the dual topologies with respect to some collections $\alpha(X)$ of compact families of open subsets of a…

We study projective unitary (co)representations of compact quantum groups and the associated second cohomology theory. We introduce left/right/bi/strongly projective corepresentations and study them in details. In particular, we prove that…

we prove that if $X$ is a locally compact $\sigma$-compact space then on its quotient, $\gamma(X)$ say, determined by the algebra of all real valued bounded continuous functions on $X$, the quotient topology and the completely regular…

Let $G$ be a compact Lie group. (Compact) topological $G$-manifolds have the $G$-homotopy type of (finite-dimensional) countable $G$-CW complexes (2.5). This partly generalizes Elfving's theorem for locally linear $G$-manifolds [Elf96],…