Related papers: Dense-separable groups and its applications in $d$…

This book offers to study locally compact groups from the point of view of appropriate metrics that can be defined on them, in other words to study "Infinite groups as geometric objects", as Gromov writes it in the title of a famous…

A topological group $G$ is extremely amenable if every continuous action of $G$ on a compact space has a fixed point. Using the concentration of measure techniques developed by Gromov and Milman, we prove that the group of automorphisms of…

A topological group is locally pseudocompact if it contains a non-empty open set with pseudocompact closure. In this note, we prove that if G is a group with the property that every closed subgroup of G is locally pseudocompact, then G_0 is…

A topological group $G$ is said to have the L\'evy property if it admits a dense subgroup which is decomposed as the union of an increasing sequence of compact subgroups $\mathcal{G}=\{G_i:i\in\mathbb{N}\}$ of $G$ which exhibits…

We study free topological groups defined over uniform spaces in some subclasses of the class NA of non-archimedean groups. Our descriptions of the corresponding topologies show that for metrizable uniformities the corresponding free…

We prove that if $H$ is a topological group such that all closed subgroups of $H$ are separable, then the product $G\times H$ has the same property for every separable compact group $G$. Let $c$ be the cardinality of the continuum. Assuming…

We generalize two of our previous results on abelian definable groups in $p$-adically closed fields to the non-abelian case. First, we show that if $G$ is a definable group that is not definably compact, then $G$ has a one-dimensional…

We show that in a Morse local-to-global group where stable subgroups are separable, the product of any stable subgroups is separable. As an application, we show that the product of stable subgroups in virtually special groups is separable.

In [9] we proved that the space of countable torsion-free abelian groups is Borel complete. In this paper we show that our construction from [9] satisfies several additional properties of interest. We deduce from this that countable…

For an uncountable cardinal \tau and a subset S of an abelian group G, the following conditions are equivalent: (i) |{ns:s\in S}|\ge \tau for all integers n\ge 1; (ii) there exists a group homomorphism \pi:G\to T^{2^\tau} such that \pi(S)…

This work is motivated by the problem of finding locally compact group topologies for piecewise full groups (a.k.a.~ topological full groups). We determine that any piecewise full group that is locally compact in the compact-open topology…

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…

A separable space is strongly sequentially separable if, for each countable dense set, every point in the space is a limit of a sequence from the dense set. We consider this and related properties, for the spaces of continous and Borel…

The unitary group $\mathrm U(\mathcal H)$ on an infinite dimensional complex Hilbert space $\mathcal H$ in its strong topology is a topological group and has some further nice properties, e.g. it is metrizable and contractible if $\mathcal…

We consider the unitary group $\U$ of complex, separable, infinite-dimensional Hilbert space as a discrete group. It is proved that, whenever $\U$ acts by isometries on a metric space, every orbit is bounded. Equivalently, $\U$ is not the…

Let $G$ be a locally compact topological group, $G_0$ the connected component of its identity element, and comp(G) the union of all compact subgroups. A topological group will be called inductively monothetic if any subgroup generated (as a…

In a previous paper the second author introduced a compact topology on the space of closed ideals of a unital Banach algebra A. If A is separable then this topology is either metrizable or else neither Hausdorff nor first countable. Here it…

Every countable topological group $G$ has a closed discrete subset $A$ such that $G=AA^{-1}.$

We study the notion of \emph{separable algebras} in the context of symmetric monoidal stable $\infty$-categories. In the first part of this paper, we compare this context to that of tensor-triangulated categories and show that separable…

A theorem of A. Weil asserts that a topological group embeds as a (dense) subgroup of a locally compact group if and only if it contains a non-empty precompact open set; such groups are called locally precompact. Within the class of locally…