Related papers: Complexity classes of Polishable subgroups
We use Fra\" iss\' e theoretic methods to construct a universal and ultrahomogeneous abelian separable metric group. We show that such a group is a universal abelian Polish group, thus we provide another proof of a result already discovered…
Let G be a discrete group. We give methods to compute for a generalized (co-)homology theory its values on the Borel construction (EG x X)/G of a proper G-CW-complex X satisfying certain finiteness conditions. In particular we give formulas…
We fill a lacuna in the literature by giving a version in dimension 1 of the Relative Hurewicz Theorem, and relate this to abelianisations of groupoids, covering spaces and covering morphisms of groupoids, and Crowell's notion of derived…
A Polish space is not always homeomorphic to a computably presented Polish space. In this article, we examine degrees of non-computability of presenting homeomorphic copies of compact Polish spaces. We show that there exists a…
In finite group theory, chief factors play an important and well-understood role in the structure theory. We here develop a theory of chief factors for Polish groups. In the development of this theory, we prove a version of the Schreier…
For an analytic $P$-ideal $I$, $S_I$ is the Polish group of all the permutations of $\mathbb{N}$ whose support is in $I$, with Polish topology given by the corresponding submeasure on $I$. We show that if $\mbox{Fin} \subsetneq I$, then…
A topological space is reversible if each continuous bijection of it onto itself is open. We introduce an analogue of this notion in the category of topological groups: A topological group G is g-reversible if every continuous automorphism…
We prove that there exists a countable metrizable topological group $G$ such that every countable metrizable group is isomorphic to a quotient of $G$. The completion $H$ of $G$ is a Polish group such that every Polish group is isomorphic to…
Complex braid groups are the natural generalizations of braid groups associated to arbitrary (finite) complex reflection groups. We investigate several methods for computing the homology of these groups. In particular, we get the Poincar\'e…
The group of automorphisms of the Cuntz algebra $\mathcal{O}_{2}$ is a Polish group with respect to the topology of pointwise convergence in norm. Our main result is that the relations of conjugacy and cocycle conjugacy of automorphisms of…
Given a countable o-minimal theory T, we characterize the Borel complexity of isomorphism for countable models of T up to two model-theoretic invariants. If T admits a nonsimple type, then it is shown to be Borel complete by embedding the…
We prove that every Polish group with more than two elements admits a non-trivial topological group automorphism. As a consequence, a hypothetical uniquely homogeneous Polish space with more than two points cannot be a semitopological…
In this paper, we give the first examples of connected Polish groups that have ample generics, answering a question of Kechris and Rosendal. We show that any Polish group with ample generics embeds into a connected Polish group with ample…
We obtain new results on the geometry of Hilbert modular varieties in positive characteristic and morphisms between them. Using these results and methods of rigid geometry, we develop a theory of canonical subgroups for abelian varieties…
It is known that the topology of a Polish group is uniquely determined by its Borel structure and group operations, but this does not give us a way to find the topology. In this article we expand on this theorem and give a criterion for a…
In this short note, we give some new results on continuous bounded cohomology groups of topological semigroups with values in complex field. We show that the second continuous bounded cohomology group of a compact metrizable semigroup, is a…
The cohomology of the degree-$n$ general linear group over a finite field of characteristic $p$, with coefficients also in characteristic $p$, remains poorly understood. For example, the lowest degree previously known to contain nontrivial…
We develop the theory of homogeneous Polish ultrametric structures. Our starting point is a Fraisse class of finite structures and the crucial tool is the universal homogeneous epimorphism. The new Fraisse limit is an inverse limit,…
We show that for every countable group, any sequence of approximate homomorphisms with values in permutations can be realized as the restriction of a sofic approximation of an orbit equivalence relation. Moreover, this orbit equivalence…
We present a general framework for constructing polynomial integrable systems on linearizations of Poisson varieties that admit log-canonical systems. Our construction is in particular applicable to Poisson varieties with compatible cluster…