Related papers: Polish groupoids and functorial complexity
We review and further develop the theory of $E$-orbit functions. They are functions on the Euclidean space $E_n$ obtained from the multivariate exponential function by symmetrization by means of an even part $W_{e}$ of a Weyl group $W$,…
The space of Lascar strong types, on some sort and relative to a given first order theory T, is in general not a compact Hausdorff space. This paper has at least three aims. First to show that spaces of Lascar strong types and other related…
We prove a general finiteness statement for the ordered abelian group of tropical functions on skeleta in Berkovich analytifications of algebraic varieties. Our approach consists in working in the framework of stable completions of…
A framework to handle tree decompositions of the components of a Borel graph in a Borel fashion is introduced, along the lines of Tserunyan's Stallings Theorem for equivalence relations arXiv:1805.09506. This setting leads to a notion of…
The notion of effective topological complexity, introduced by B{\l}aszczyk and Kaluba, deals with using group actions in the configuration space in order to reduce the complexity of the motion planning algorithm. In this article we focus on…
A Polish group is surjectively universal if it can be continuously homomorphically mapped onto every Polish group. Making use of a type of new metrics on free groups \cite{DG}, we prove the existence of surjectively universal Polish groups,…
We study a fine hierarchy of Borel-piecewise continuous functions, especially, between closed-piecewise continuity and $G_\delta$-piecewise continuity. Our aim is to understand how a priority argument in computability theory is connected to…
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…
In this paper, we prove a result on nonmeasurable subgroups in commutative Polish groups with respect to more generalized structures than sigma-finite measures.
In this paper we study the Borel structure of the space of left-orderings $\mathrm{LO}(G)$ of a group $G$ modulo the natural conjugacy action, and by using tools from descriptive set theory we find many examples of countable left-orderable…
We study topological properties of conjugacy classes in Polish groups, with emphasis on automorphism groups of homogeneous countable structures. We first consider the existence of dense conjugacy classes (the topological Rokhlin property).…
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…
Let $M=I$ or $M=\mathbb{S}^1$ and let $k\geq 1$. We exhibit a new infinite class of Polish groups by showing that each group $\mathop{\rm Diff}_+^{k+AC}(M)$, consisting of those $C^k$ diffeomorphisms whose $k$-th derivative is absolutely…
In this paper we establish the existence of canonical coordinates for generic co-adjoint orbits on triangular groups. These orbits correspond to a set of full Plancherel measure on the associated dual groups. This generalizes a well-known…
Sorin Popa initiated the study of Polish groups which are embeddable into the unitary group of a separable finite von Neumann algebra. Such groups are called of finite type. We give necessary and sufficient conditions for Polish groups to…
We investigate the effectivizations of several equivalent definitions of quasi-Polish spaces and study which characterizations hold effectively. Being a computable effectively open image of the Baire space is a robust notion that admits…
The aim of this paper is to review and discuss in detail local aspects of principal bundles with groupoid structure. Many results, in particular from the second and third section, are already known to some extents, but, due to the lack of a…
Given a space $X$ we investigate the descriptive complexity class $\G_X$ of the set $\FF_0(X)$ of all its closed zero-dimensional subsets, viewed as a subset of the hyperspace $\FF(X)$ of all closed subsets of $X$. We prove that $\max \{…
We prove that the category $\mathcal{M}$ of abelian groups with a Polish cover introduced in collaboration with Bergfalk and Panagiotopoulos is the left heart of (the derived category of) the quasi-abelian category $\mathcal{A}$ of abelian…
We study several distinguished function algebras on a Polish group $G$, under the assumption that $G$ is Roelcke precompact. We do this by means of the model-theoretic translation initiated by Ben Yaacov and Tsankov: we investigate the…