Related papers: Bounded Invariant Equivalence Relations

We begin the systematic study of decision problems for finitely generated groups given by a solution to their word problem. We relate this to the study of computable analysis on the space of marked groups. We point out that several distinct…

One of the main themes of this long article is the study of projective varieties which are K(H,1)'s, i.e. classifying spaces BH for some discrete group H. After recalling the basic properties of such classifying spaces, an important class…

We study quotients of quasi-affine schemes by unipotent groups over fields of characteristic 0. To do this, we introduce a notion of stability which allows us to characterize exactly when a principal bundle quotient exists and, together…

We make explicit certain results around the Galois correspondence in the context of definable automorphism groups, and point out the relation to some recent papers dealing with the Galois theory of algebraic differential equations when the…

By using the notion of a Haar ambivalent set introduced by Balka, Buczolich and Elekes (2012), essentially new classes of statistical structures having objective and strong objective estimates of unknown parameters are introduced in a…

A topological space is defined to be banalytic (resp. analytic) if it is the image of a Polish space under a Borel (resp. continuous) map. A regular topological space is analytic if and only if it is banalytic and cosmic. Each (regular)…

This is a long overdue write up of the following: If the fundamental group of a normal complex algebraic variety (respectively Zariski open subset of a compact K\"ahler manifold) is a solvable group of matrices over Q (respectively…

We define the class of high dimensional graph manifolds. These are compact smooth manifolds supporting a decomposition into finitely many pieces, each of which is diffeomorphic to the product of a torus with a finite volume hyperbolic…

For a group $G$ first order definable in a structure $M$, we continue the study of the "definable topological dynamics" of $G$. The special case when all subsets of $G$ are definable in the given structure $M$ is simply the usual…

We show that the existence of rational points on smooth varieties over a field can be detected using homotopy fixed points of etale topological types under the Galois action. As our main example we show that the surjectivity statement in…

A topological space is almost locally compact if it contains a dense locally compact subspace. We generalize a result from \cite{Ma}, showing that isomorphism on Borel classes of almost locally compact Polish metric structures is always…

In this paper, we study some characterizations of $q$-spaces, strict $q$-spaces and strong $q$-spaces under $\omega$-balanced topological groups as follows: (1) A topological group $G$ is $\omega$-balanced and a $q$-space if and only if for…

We revisit Kolchin's results on definability of differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. In certain classes of differential topological…

After introducing some motivations for this survey, we describe a formalism to parametrize a wide class of algebraic structures occurring naturally in various problems of topology, geometry and mathematical physics. This allows us to define…

A group G is called bounded if every conjugation-invariant norm on G has finite diameter. We introduce various strengthenings of this property and investigate them in several classes of groups including semisimple Lie groups, arithmetic…

The group of homeomorphisms of the closed interval that are absolutely continuous and have an absolutely continuous inverse was shown by Solecki to admit a natural Polish group topology $\tau_{ac}$. We show that, under mild conditions on a…

We give a constructive account of the de Groot duality of stably compact spaces in the setting of strong proximity lattice, a point-free representation of a stably compact space. To this end, we introduce a notion of strong continuous…

We prove several theorems relating amenability of groups in various categories (discrete, definable, topological, automorphism group) to model-theoretic invariants (quotients by connected components, Lascar Galois group, G-compactness,…

This is a largely expository paper about how groups arise or are of interest in model theory. Included are the following topics: classifying groups definable in specific structures or theories and the relation to algebraic groups, groups…

The outlines of a "Galois theory" for bimeromorphic geometry is here developed, via the study of model-theoretic definable binding groups in the theory CCM of compact complex spaces. As an application, a structure theorem about principal…