Related papers: Feathered gyrogroups and gyrogroups with countable…

We show that several new classes of groups are measure strongly treeable. In particular, finitely generated groups admitting planar Cayley graphs, elementarily free groups, and the group of isometries of the hyperbolic plane and all its…

We show that every definable group G in an o-minimal structure is definably finitely generated. That is, G contains a finite subset that is not included in any proper definable subgroup. This provides another proof, and a generalization to…

We prove that in every finitely generated profinite group, every subgroup of finite index is open; this implies that the topology on such groups is determined by the algebraic structure. This is deduced from the main result about finite…

We give sharp bounds in Breuillard, Green and Tao's finitary version of Gromov's theorem on groups with polynomial growth. Precisely, we show that for every non-negative integer d there exists $c=c(d)>0$ such that if $G$ is a group with…

We examine locally compact normal spaces in models of form PFA(S)[S], in particular characterizing paracompact, countably tight ones as those which include no perfect pre-image of omega_1 and in which all separable closed subspaces are…

For compact Hausdorff admissible right topological (CHART) group $G$, we prove $w(G)=\pi\chi(G)$. This equality is well known for compact topological groups. This implies the criteria for the metrizability of CHART groups: if $G$ is…

We formulate and study the notion of $d$-skeletal diffeology, which generalizes that of wire diffeology, introducing the dual notion of $d$-coskeletal diffeology. We first show that paracompact finite-dimensional $C^\infty$-manifolds $M_d$…

We continue the analysis of definably compact groups definable in a real closed field $\mathcal{R}$. In [3], we proved that for every definably compact definably connected semialgebraic group $G$ over $\mathcal{R}$ there are a connected…

The rank rk(G) of a profinite group G is the supremum of d(H), where H ranges over all closed subgroups of G and d(H) denotes the minimal cardinality of a topological generating set for H. A compact topological group G admits the structure…

In previous work, joint with Bux, Fluch, Marschler and Witzel, we proved that the braided Thompson groups are of type $\textrm{F}_\infty$. The proof utilized certain contractible cube complexes, which in this paper we prove are CAT(0). We…

We show that if $Y$ is a dense subspace of a Tychonoff space $X$, then $w(X)\leq nw(Y)^{Nag(Y)}$, where $Nag(Y)$ is the Nagami number of $Y$. In particular, if $Y$ is a Lindel\"of $\Sigma$-space, then $w(X)\leq nw(Y)^\omega\leq…

Let $G$ be a simple algebraic group over an algebraically closed field $k$. Let $\Gamma$ be a finite group acting on $G$. We classify and compute the local types of $(\Gamma, G)$-bundles on a smooth projective $\Gamma$-curve in terms of the…

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…

We define the class of high dimensional graph manifolds. These are compact smooth manifolds supporting a decomposition into finitely many pieces, each of which is diffeomorphic to the product of a torus with a finite volume hyperbolic…

The main results of this note are: It is consistent that every subparacompact space $X$ of size $\omega_1$ is a $D$-space; If there exists a Michael space, then all productively Lindel\"of spaces have the Menger property, and, therefore,…

We study generic properties of topological groups in the sense of Baire category. First we investigate countably infinite (discrete) groups. We extend a classical result of B. H. Neumann, H. Simmons and A. Macintyre on algebraically closed…

We prove that any topological group $G$ containing a subspace $X$ of the Sorgenfrey line has spread $s(G)\ge s(X\times X)$. Under OCA, each topological group containing an uncountable subspace of the Sorgenfrey line has uncountable spread.…

We compare four different types of realizability for saturated fusion systems over discrete $p$-toral groups. For example, when $G$ is a locally finite group all of whose $p$-subgroups are artinian (hence discrete $p$-toral), we show that…

We study classes of right-angled Coxeter groups with respect to the strong submodel relation of parabolic subgroup. We show that the class of all right-angled Coxeter group is not smooth, and establish some general combinatorial criteria…

Given any countable group $G$, we construct uncountably many quasi-isometry classes of proper geodesic metric spaces with quasi-isometry group isomorphic to $G$. Moreover, if the group $G$ is a hyperbolic group, the spaces we construct are…