Related papers: The complexity of topological group isomorphism
We find an algorithmic procedure that enables to compute and to describe the structure of the isotropy subgroups of the group of complex orthogonal matrices with respect to the action of similarity on complex symmetric matrices. A key step…
A Polish group is said to be locally Roelcke precompact if there is a neighborhood of the identity element that is totally bounded in the Roelcke (or lower) group uniformity. These form a subclass of the locally bounded groups, while…
We show that the set of locally finite Borel graphs with finite Borel asymptotic dimension is $\mathbf{\Sigma}^1_2$-complete. The result is based on a combinatorial characterization of finite Borel asymptotic dimension for graphs generated…
We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…
We compute the automorphism groups of the Torelli complex and the complex of separating curves for all but finitely many compact orientable surfaces. As an application, we show that the abstract commensurators of the Torelli group and the…
The complexity of a homogeneous space $G/H$ under a reductive group $G$ is by definition the codimension of generic orbits in $G/H$ of a Borel subgroup $B\subseteq G$. We give a representation-theoretic interpretation of this number as the…
We show that for any Polish group $G$ and any countable normal subgroup $\Gamma\triangleleft G$, the coset equivalence relation $G/\Gamma$ is a hyperfinite Borel equivalence relation. In particular, the outer automorphism group of any…
A series of recent papers by Bergfalk, Lupini and Panagiotopoulus developed the foundations of a field known as `definable algebraic topology,' in which classical cohomological invariants are enriched by viewing them as groups with a Polish…
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…
This is an expository paper about the Borel complexity of structure and classification theorems. It sorts several classical problems relative to known benchmarks of complexity. As a corollary various problems proposed by people such as von…
We first explain how to endow the space of subequivalence relations of any non-singular countable equivalence relation with a Polish topology, extending the framework of Kechris' recent monograph on subequivalence relations of probability…
We bound the Borel cardinality of the isomorphism relation for nuclear simple separable C*-algebras: It is turbulent, yet Borel reducible to the action of the automorphism group of the Cuntz algebra O_2 on its closed subsets. The same…
We study global dynamical properties of the isometry group of the Borel randomization of a separable complete structure. In particular, we show that if properties such as the Rohklin property, topometric generics, extreme amenability hold…
We develop topological dynamics for the group of automorphisms of a monster model of any given theory. In particular, we find strong relationships between objects from topological dynamics (such as the generalized Bohr compactification…
This paper is devoted to the study of analytic equivalence relations which are Borel graphable, i.e. which can be realized as the connectedness relation of a Borel graph. Our main focus is the question of which analytic equivalence…
We present a comprehensive theory of boundedness properties for Polish groups developed with a main focus on Roelcke precompactness (precompactness of the lower uniformity) and Property (OB) (boundedness of all isometric actions on…
We give simple upper bounds for rational sectional category and use them to compute invariants of the type of Farber's topological complexity of rational spaces. In particular we show that the sectional category of formal morphisms reaches…
We discuss the isomorphism problem for ergodic actions of locally compact groups. In particular we show that the conjugacy relation is not Borel for ergodic measure preserving actions of indicable groups.
Let G be a complex, connected, reductive algebraic group with Weyl group W and Steinberg variety Z. We show that the graded Borel-Moore homology of Z is isomorphic to the smash product of the coinvariant algebra of W and the group algebra…
The well-known theorem of Eilenberg and Ganea expresses the Lusternik - Schnirelmann category of an aspherical space as the cohomological dimension of its fundamental group. In this paper we study a similar problem of determining…