Related papers: Definable Eilenberg--Mac Lane Universal Coefficien…

The paper is devoted to a study of generic representations (homomorphisms) of discrete countable groups $\Gamma$ in Polish groups $G$, i.e. those elements in the Polish space $\mathrm{Rep}(\Gamma,G)$ of all representations of $\Gamma$ in…

This paper studies Moore's measurable cohomology theory for locally compact groups and Polish modules. An elementary dimension-shifting argument is used to show that all classes in that theory have representatives with considerable extra…

We present a general framework for automatic continuity results for groups of isometries of metric spaces. In particular, we prove automatic continuity property for the group of isometries of the Urysohn space and the Urysohn sphere, i.e.…

Consider a compact group $G$ acting on a real or complex Banach Lie group $U$, by automorphisms in the relevant category, and leaving a central subgroup $K\le U$ invariant. We define the spaces ${}_KZ^n(G,U)$ of $K$-relative continuous…

We demonstrate that And\'ujar Guerrero, Thomas and Walsberg's results on definable compactness in o-minimal structures still hold true in definably complete locally o-minimal structures. As an application, we show that a definably simple…

In this paper we work in an arbitrary o-minimal structure with definable Skolem functions and we prove that definably connected, locally definable manifolds are uniformly definably path connected, have an admissible cover by definably…

It is known that a definably compact group G is an extension of a compact Lie group L by a divisible torsion-free normal subgroup. We show that the o-minimal higher homotopy groups of G are isomorphic to the corresponding higher homotopy…

We consider the isometry group of the infinite dimensional separable hyperbolic space with its Polish topology. This topology is given by the pointwise convergence. For non-locally compact Polish groups, some striking phenomena like…

We prove the vanishing of bounded cohomology with separable dual coefficients for many groups of interest in geometry, dynamics, and algebra. These include compactly supported structure-preserving diffeomorphism groups of certain manifolds;…

The coadjoint orbits of compact Lie groups each carry a canonical (positive definite) K\"ahler structure, famously used to realize the group's irreducible representations in holomorphic sections of appropriate line bundles (Borel-Weil…

We prove that the $G$-equivariant mod $p$ Eilenberg--MacLane spectrum arises as an equivariant Thom spectrum for any finite, $p$-power cyclic group $G$, generalizing a result of Behrens and the second author in the case of the group $C_2$.…

We study, for a locally compact group $G$, the compactifications $(\pi,G^\pi)$ associated with unitary representations $\pi$, which we call {\it $\pi$-Eberlein compactifications}. We also study the Gelfand spectra $\Phi_{\mathcal{A}}(\pi)}$…

Let G be a locally compact group, let X be a universal proper G-space, and let Z be a G-equivariant compactification of X that is H-equivariantly contractible for each compact subgroup H of G. Let W be the resulting boundary. Assuming the…

Consider the space Hom(Z^n,G) of pairwise commuting n-tuples of elements in a compact Lie group G. This forms a real algebraic variety, which is generally singular. In this paper, we construct a desingularization of the generic component of…

By recent work on some conjectures of Pillay, each definably compact group $G$ in a saturated o-minimal expansion of an ordered field has a normal ``infinitesimal subgroup'' $G^{00}$ such that the quotient $G/G^{00}$, equipped with the…

All four dimensional orbit spaces of compact coregular linear groups have been determined. The results are obtained through the integration of a universal differential equation, that only requires as input the number of elements of an…

In "On o-minimal homotopy groups", o-minimal homotopy was developed for the definable category, proving o-minimal versions of the Hurewicz theorems and the Whitehead theorem. Here, we extend these results to the category of locally…

We develop a unified framework for locating natural properties of algebraic and analytic structures within the Borel hierarchy. Objects are presented as quotients of a universal generator and definability is read directly from the quotient…

We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$-adically closed fields, real closed and algebraically closed valued…

We analyze definably compact groups in o-minimal expansions of ordered groups as a combination of semi-linear groups and groups definable in o-minimal expansions of real closed fields. The analysis involves structure theorems about their…