Related papers: A topometric Effros theorem

All spaces (and groups) are assumed to be separable and metrizable. Jan van Mill showed that every analytic group $G$ is Effros (that is, every continuous transitive action of $G$ on a non-meager space is micro-transitive). We complete the…

Given a topological group $ G $ and a Hausdorff topological group $ A $ on which $ G $ acts continuously and compatibly with the group operation of $ A $, we study the set of continuous cocycles of $ G $ with value in $ A $. This set is a…

We continue our study of when topological and measure-theoretic entropy agree for algebraic action of sofic groups. Specifically, we provide a new abstract method to prove that an algebraic action is strongly sofic. The method is based on…

We consider a short exact sequence $1\to H\to G\to K\to 1$ of Polish groups and consider what can be deduced about the dynamics of $G$ given information about the dynamics of $H$ and $K$. We prove that if the respective universal minimal…

The ergodic theory and geometry of the Julia set of meromorphic functions on the complex plane with polynomial Schwarzian derivative is investigated under the condition that the forward trajectory of asymptotic values in the Julia set is…

If a finite group acts topologically, faithfully and orientation preservingly on R^3, then it is isomorphic to a subgroup of SO(3).

We give a necessary and sufficient condition for a one-dimensional regular and Hausdorff topological space definable in a definably complete uniformly locally o-minimal structure of the second kind having definable bounded multiplication…

We present the (Lascar) Galois group of any countable theory as a quotient of a compact Polish group by an $F_\sigma$ normal subgroup: in general, as a topological group, and under NIP, also in terms of Borel cardinality. This allows us to…

We show that a Kleinian surface group, or hyperbolic 3-manifold with a cusp-preserving homotopy-equivalence to a surface, has bounded geometry if and only if there is an upper bound on an associated collection of coefficients that depend…

Let $G$ be a compact Lie group. We prove that if $V$ and $W$ are orthogonal $G$-representations such that $V^G=W^G=\{0\}$, then a $G$-equivariant map $S(V) \to S(W)$ exists provided that $\dim V^H \leq \dim W^H$ for any closed subgroup…

The concept of topological gyrogroups is a generalization of a topological group. In this work, ones prove that a topological gyrogroup G is metrizable iff G has an {\omega}{\omega}-base and G is Frechet-Urysohn. Moreover, in topological…

We give completely combinatorial proofs of the main results of [3] using polygons. Namely, we prove that the mapping class group of a surface with boundary acts faithfully on a finitely-generated linear category. Along the way we prove some…

Milnor proved two uniqueness theorems for axiomatic (co)homology: one for pairs of compacta (1960) and another, in particular, for pairs of countable simplicial complexes (1961). We obtain their common generalization: the Eilenberg-Steenrod…

We prove that if a Polish G with a comeagre conjugacy class has a non-nesting action on an R-tree, then every element of G fixes a point.

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…

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)…

We give a necessary and sufficient condition for the mapping class group of the pair of the 3-sphere and a graph embedded in it to be isomorphic to the topological symmetry group of the embedded graph.

For each countable residually finite group $G$, we present examples of irregular Toeplitz subshifts in $\{0,1\}^G$ that are topo-isomorphic extensions of its maximal equicontinuous factor. To achieve this, we first establish sufficient…

Let $P,$ $S,$ and $T$ be semigroups, $f:P\to S$ and $g:P\to T$ semigroup homomorphisms, and $X$ a generating set for $S$ (possibly infinite). Clearly, a <i>necessary</i> condition for there to exist a homomorphism $S\to T$ making a…

In this study, a pairwise comparison matrix is generalized to the case when coefficients create Lie group $G$, non necessarily abelian. A necessary and sufficient criterion for pairwise comparisons matrices to be consistent is provided.…