Related papers: Frucht's theorem in Borel setting
It is introduced a certain approach for equipment of an arbitrary set of the cardinality of the continuum by structures of Polish groups and two-sided (left or right) invariant Haar measures. By using this approach we answer positively…
We prove that for a countable discrete group $\Gamma$ containing a copy of the free group $\F_n$, for some $2\leq n\leq\infty$, as a normal subgroup, the equivalence relations of conjugacy, orbit equivalence and von Neumann equivalence of…
We show that if $\mathcal{F}$ is any "well-behaved" subset of the Borel functions and we assume the Axiom of Determinacy then the hierarchy of degrees on $\pow(\mathbb{R})$ induced by $\mathcal{F}$ turns out to look like the Wadge hierarchy…
A fundamental problem at the confluence of algebraic geometry and representation theory is to describe the cohomology of line bundles on flag varieties over a field of characteristic p. When p=0, the solution is given by the celebrated…
Assume that there is a free group action of automorphisms on a bipartite graph. If there is a perfect matching on the factor graph, then obviously there is a perfect matching on the graph. Surprisingly, the reversed is also true for…
We study homeomorphisms and the homeomorphism groups of compact metric spaces using the automorphism groups of projective Fra\"iss\'e limits. In our applications, we investigate the Polish group ${\rm Homeo}(P)$ of all homeomorphisms of the…
The paper follows two interconnected directions. 1. Let $G$ be a Roelcke precompact closed subgroup of the group $\Sym(\omega)$ of permutations of the natural numbers. Then $\Inn(G)$ is closed in $\Aut(G)$, where $\Aut(G)$ carries the…
The {\em topological symmetry group} of an embedding $\Gamma$ of an abstract graph $\gamma$ in $S^3$ is the group of automorphisms of $\gamma$ which can be realized by homeomorphisms of the pair $(S^3, \Gamma)$. These groups are motivated…
We prove a homological stability theorem for the subgroup of the mapping class group acting as the identity on some fixed portion of the first homology group of the surface. We also prove a similar theorem for the subgroup of the mapping…
T. Mostowski showed that every (real or complex) germ of an analytic set is homeomorphic to the germ of an algebraic set. In this paper we show that every (real or complex) analytic function germ, defined on a possibly singular analytic…
We prove a converse theorem for split even special orthogonal groups over finite fields. This is the only case left on converse theorems of split classical groups and the difficulty is the existence of the outer automorphism. In this paper,…
In this paper we study CAT(0) groups and their splittings as graphs of groups. For one-ended CAT(0) groups with isolated flats we prove a theorem characterizing exactly when the visual boundary is locally connected. This characterization…
We define some coding of Borel sets in admissible sets. Using this we generalize certain results from model theory involving admissible sets to the case of continuous actions of closed permutation groups on Polish spaces. In particular we…
We explain how Johnstone's 1989 proof of the closed subgroup theorem for localic groups can be viewed as a point-free version of Pettis's theorem for Baire topological groups. We then use it to derive localic versions of the open mapping…
Let $\mathfrak g$ be a simple complex Lie algebra of finite dimension. This paper gives an inequality relating the order of an automorphism of $\mathfrak g$ to the dimension of its fixed-point subalgebra, and characterizes those…
We introduce and study Polish topologies on various spaces of countable enumerated groups, where an enumerated group is simply a group whose underlying set is the set of natural numbers. Using elementary tools and well known examples from…
We give a descriptive construction of trees for multi-ended graphs, which yields yet another proof of Stallings' theorem on ends of groups. Even though our proof is, in principle, not very different from already existing proofs and it draws…
We prove a new kind of homological stability theorem for automorphism groups of finitely-generated projective modules over Dedekind domains, which takes into account all possible stabilisation maps between these, rather than only…
We generalise the definition of a group algebra so that it makes sense for non-locally compact topological groups, in particular, we require that the representation theory of the group algebra is isomorphic (in the sense of Gelfand-Raikov)…
For every countable structure $M$ we construct an $\aleph_0$-stable countable structure $N$ such that $Aut(M)$ and $Aut(N)$ are topologically isomorphic. This shows that it is impossible to detect any form of stability of a countable…